В-36 ВИДЫ ДОКАЗАТЕЛЬСТВА

Виды доказательства. В прямом доказательстве тезис непосредственно обосновывается аргументами, без обращения к конкурирующим с тезисом допущениям. В косвенном доказатель­ствеистинность тезиса обосновывается с помощью антитезиса — то есть утверждения, прямо про­тивоположного тому, которое требуется доказать. Сначала мы доказываем ложность антитезиса, а затем ссы­лаемся на закон исключенного третьего, согласно кото­рому из двух противоположных суждений одно обязательно является истинным. Существует два вида косвенных доказательств — апагогическое и разделительное.

Апагогическое косвенное доказательство иначе на­зывают «приведением к абсурду». Здесь мы выводим из анти­тезиса следствия и показываем, что хотя бы некоторые из них противоречат истине. Таким образом, антитезис ведет к противоречию, следовательно, он ложен, а те­зис — истинен.

Разделительное косвенное доказательство состоит в по­строении разделительного (дизъюнктивного) суждения, элементами которого являются доказываемый тезис и некоторые противоречащие ему антитезисы. После этого показывается, что за исключением тезиса все элементы дизъюнкции являются ложными. Остается одно — признать тезис истинным.

Следует отметить, чтотолько прямое доказательство яв­ляется стопроцентно убедительным.