По способу ведения доказательства бывают прямые и косвенные. Прямое доказательство основывается на каком-нибудь несомненном положении, из которого непосредственно выводится истинность тезиса[8]. В косвенном доказательстве истинность тезиса обосновывается посредством опровержения истинности противоречащего положения; иначе говоря, в ходе косвенного доказательства вначале доказывают ложность отрицания предложенного тезиса и из этого выводят истинность заданного тезиса. Косвенное доказательство имеет два вида: 1) апагогическое косвенное доказательство и 2) разделительное косвенное доказательство. При апагогическом косвенном доказательстве (греч. apagoge — вывод; apagogos — уводящий, отводящий) осуществляется непрямое, как бы в сторону направленное доказательство. Апагогическое доказательство ведется следующим образом. Нам необходимо доказать истинность какого-то тезиса. Мы временно допускаем, что противоречащий тезис истинен, и выводим из него все вытекающие следствия. Поскольку тезис ложен, естественно, что следствия, вытекающие из него, будут противоречащими действительности. Доказав это, мы тем самым показали, что тезис, противоречащий нашему тезису, ложен. Но если данный тезис ложен, то противоречащий ему тезис, т.е. наш, необходимо истинен. Такой тип доказательства называется также "доказательством от противного", что терминологически неточно, так как в действительности это "доказательство от противоречащего", ибо из ложности противного суждения нельзя сделать вывод об истинности другого противного суждения, это возможно только в случае противоречащих суждений. Разделительное косвенное доказательство применяется в тех случаях, когда известно, что доказываемый тезис входит в число альтернатив, которые полностью исчерпывают все возможные альтернативы данной области. Доказательство ведется следующим образом: последовательно исключаются все члены разделительного суждения, кроме одного, который и является доказываемым тезисом. Так, если установлено, что некоторое действие могло быть вызвано только одной из четырех причин — А, Б, В, Г, и если, кроме того, выяснено, что ни А, ни Б, ни В не могли вызвать его, то, следовательно, причиной данного следствия является Г. Косвенное доказательство является частным случаем доказательства от предположения, известного еще Аристотелю и заключающегося в том, что доказываемое суждение выводится путем допущения какого-либо предположения. — 84 —
|