ЛОГИКА

В этой форме аксиома силлогизма формулируется так: «Всё, что утверждается относительно целого рода или вида, должно утверждаться и относительно всего подчинённого этому роду или виду, и всё, что отрицается относительно целого рода или вида, должно отрицаться относительно всего подчинённого этому роду или виду.»

§ 50. Каждая из приведённых двух формулировок есть выражение аксиомы силлогизма. Первая раскрывает необходимое отношение между содержанием понятий, составляющих посылки, и содержанием понятий, составляющих вывод. Вторая раскрывает необходимое отношение между объёмами тех же понятий.

Если целью силлогизма является установление принадлежности класса к классу, то логическое основание вывода выражается второй формулой: «Всё, что утверждается относительно целого рода или вида и т. д.»

Но хотя, таким образом, вторая формула так же правильно, как и первая, выражает аксиому силлогизма, а в некоторых случаях (там, где специальным предметом нашего интереса являются отношения объёмов) даже заслуживает предпочтения, основной является первая формула.

И действительно, отношение между объёмами понятий, устанавливаемое в выводе силлогизма, само опирается, как мы неоднократно убеждались в этом, на отношение между теми же понятиями по содержанию.

Условия истинности силлогистических выводов

§ 51. До сих пор, рассматривая силлогистические выводы, мы всегда предполагали, что посылки, на основе которых делается вывод, истинны. Если данные посылки истинны, рассуждали мы, и если отношения между понятиями в этих посылках соответствуют условиям правильных выводов, то должны быть истинны и сами выводы.

В практике мышления это условие далеко не всегда выполняется. Далеко не всегда посылки, из которых делают вывод, являются действительно истинными.

Если одна из посылок или обе ложны, то, даже в точности выполнив все правила вывода, определяемые его фигурой, модусом, условиями распределённости терминов в посылках и т. д., мы, вообще говоря, не можем получить правильный вывод.

Рассмотрим следующий вывод:

Все растения содержат хлорофил.

Все грибы — растения.

————————————

Все грибы содержат хлорофил.

Делая этот вывод, мы, очевидно, полагаем, что обе посылки истинны. Если бы они действительно были обе истинны, то, так как мы не нарушили при выводе ни одного общего и ни одного специального правила фигур силлогизма, наше заключение в выводе также было бы истинным.

В действительности, однако, бо́льшая посылка ложна по существу своего содержания. Хлорофил имеют не все растения. Это значит, что в большей посылке мы мыслили не то отношение между содержанием понятий, а следовательно, и не то отношение между объёмами понятий, которое существует в действительности. В действительности только часть растений имеет существенные признаки растений, обладающих хлорофилом, и потому только часть растений входит в разряд растений, имеющих хлорофил. Истину выражала бы посылка «некоторые растения имеют хлорофил». Соединив её с другой истинной посылкой «все грибы — растения», мы получили бы систему посылок: «некоторые растения содержат хлорофил», «все грибы— растения», из которой нельзя получить никакого вывода о грибах, так как средний термин («растения») не распределён ни в одной из посылок, и отношение между S и Р остаётся слишком неопределённым для вывода. Вместо этого мы, допустив ложную посылку «все растения содержат хлорофил», получили также ложный вывод: «все грибы содержат хлорофил».

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

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

Всякий силлогизм предполагает (пусть иногда ошибочно) истинность посылок; помня об этом, мы вправе мысленно отвлекаться от вопроса об истинности посылок и сосредоточиваться только на вопросе о логической связи между посылками и выводом, т. е. на вопросе о том, вытекает ли данный вывод из данных (и всегда предполагаемых истинными) посылок или нет.