Рис. 67
Пример апагогического доказательства. В геометрии доказывается теорема (см. рис. 67), согласно которой при условии если два равных угла АОВ и COD имеют общую вершину О и две стороны ОВ и ОС на одной прямой линии, то и две другие стороны ОА и OD составляют одну прямую линию, и потому углы АОВ и COD — вертикальные. Доказывается теорема следующим образом. Положим, что АОD — не прямая, а ломаная линия. Положим, далее, что ОЕ есть продолжение стороны АО. Тогда углы АОВ и СОЕ как углы, составленные пересечением двух прямых линий, будут углы вертикальные и, следовательно, равные между собой. Но по положению ∠DОС равен ∠АОВ. Две величины, равные порознь третьей, равны между собой. Поэтому ∠ЕОС должен равняться ∠СОD (так как ∠ЕОС и ∠COD равны порознь каждый ∠АОВ).
Но ∠ЕОС, очевидно, не может равняться ∠СОD, так как ∠СОЕ есть только часть ∠СОD. Итак, предположение, будто АОD не есть прямая линия, как предположение, приводящее к нелепому заключению, будто часть равна своему целому, ложно. Но если ложно, что АОD не есть прямая линия, то должно быть истинным, что АОD — прямая и что углы AОВ и СОD — вертикальные.
Присматриваясь к ходу этого рассуждения, мы видим, что оно вполне подходит под схему рассматриваемой разновидности обусловливающего доказательства. Задачей рассуждения было доказательство теоремы посредством опровержения противоречащего ей тезиса. Опровергаемый тезис был сделан одной из посылок умозаключения. Все остальные посылки, кроме тезиса, оказались истинными. Само умозаключение также оказалось правильным. Полученное из этого вывода заключение (равенство ∠ЕОС ∠СОD), сопоставленное с аксиомой о том, что целое больше своей части, оказалось несовместимым с нею.
Тем самым было удостоверено, что заключение, будто ∠ЕОС равен ∠COD, ложно. Но ложность заключения означает ложность того умозаключения, из которого это заключение добыто. В свою очередь исследование ложности умозаключения приводит к следующему разделительному силлогизму: «Источником ошибки в нашем умозаключении могла быть либо ложность посылок, либо ошибочность логической связи между ними. Но в данном случае логическая связь была правильная, все посылки, кроме той, которая является опровергаемым тезисом, — тоже правильные. Стало быть, ложен опровергаемый тезис».
§ 18. Логическая схема рассмотренной разновидности обусловливающего доказательства сама по себе совершенно проста и ясна. Однако при её осуществлении на практике часто приходится преодолевать значительные трудности.
Трудности эти возникают обычно в той части доказательства, где заключению, выведенному из основного умозаключения, необходимо противопоставить другое — несовместимое с ним и в то же время заведомо истинное суждение.
И действительно, для успешного решения этой задачи требуется, чтобы заключение, добываемое из основного умозаключения, непременно было ложным, а противопоставляемое ему и несовместимое с ним суждение было непременно истинным.
Что касается ложности заключения, то, вообще говоря, как заключение вывода, в составе которого имеется ложная посылка (опровергаемый тезис), заключение это должно быть ложным. Однако иногда при ложной большей посылке заключение силлогизма может случайно оказаться истинным. Например, из посылок «все студенты изучают французский язык» и «Николаев — студент» получается заключение «Николаев изучает французский язык». Может случиться, что, несмотря на ложность большей посылки, утверждающей, будто все студенты изучают французский язык, Николаев случайно окажется принадлежащим к той части студентов, которые, не исчерпывая собой всех студентов, действительно изучают французский язык. В этом случае ложность одной из посылок не препятствует истинности тезиса. Объясняется это не тем, что истинность эта логически следует из ложности посылки, а тем, что она не зависит от количества большей посылки: чтобы студент Николаев оказался принадлежащим к изучающим французский язык, нет необходимости в том, чтобы все студенты изучали этот язык. Для этого достаточно, чтобы хотя бы часть студентов изучала этот язык и чтобы Николаев оказался принадлежащим именно к этой части.