Валентин Асмус - ЛОГИКА

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

Наконец, аксиома силлогизма несовместима и с нарушением закона тождества. Всякое нарушение в силлогизме закона тождества, т. е. всякая попытка мыслить во второй раз в посылках или в выводе уже не понятие Р, а некоторое другое понятие Р 1, не понятие М, а некоторое другое понятие М 1и не понятие S, а некоторое другое понятие S 1, очевидно, означало бы нарушение аксиомы силлогизма. И действительно, всякая подстановка в силлогизме, например, вместо понятия Р некоторого другого понятия P 1означала бы невозможность, согласившись, что мы имеем дело с признаком признака некоторой вещи, утверждать, что признак этот является признаком именно этой самой, а не какой-либо другой вещи.

§ 49.Аксиома силлогизма в рассмотренной нами её форме выражает то значение, которое имеет для мышления содержание наших понятий. Аксиома эта выражает, что необходимая связь понятий, раскрываемая силлогизмом, есть связь между понятиями по их содержанию , т. е. по их существенным признакам: «признак признака некоторой вещи есть признак самой вещи».

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Рассматриваемые с этой точки зрения выводы могут быть правильными или неправильными. Правильными они будут, если посылки удовлетворяют всем общим и специальным условиям фигур, необходимым для получения из них вывода. Неправильными они будут, если вывод сделан вопреки этим условиям.