Логический ход умозаключения в силлогизмах первой и второй фигур

§ 38. Логический ход умозаключения в силлогизмах второй фигуры существенно отличается от хода умозаключений в силлогизмах первой фигуры.

В силлогизмах первой фигуры умозаключение идёт от группы предметов к отдельным предметам. И действительно: большая посылка в силлогизме первой фигуры есть суждение о целой группе предметов. Но вместе с тем предикат этого суждения есть не только предикат всей группы, но и предикат каждого её члена порознь. Поэтому, установив в меньшей посылке, что какой-нибудь предмет в действительности есть один из членов группы, мы можем приписать этому отдельному предмету определение всей группы.

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

 

Третья фигура и её особые правила

 

§ 39. Третья фигура простого категорического силлогизма:

 

М-Р

M-S

S-P

Выводы по третьей фигуре применяются всюду там, где предметом нашего интереса является познание частного. Область интереса к частному чрезвычайно обширна. Было бы неверно думать, будто частное может нас интересовать только как средство к познанию общего. Конечно, в ряде случаев частное привлекает ваше внимание именно как такое средство. К познанию общего мы идём через познание частного. В этих случаях мы пользуемся тем, что общее раскрывает свои свойства, проявляясь в частном. Так, мы хотим познать свойства дерева вообще, всякого дерева. Но мы не видим «дерева вообще», мы видим только частные случаи или разновидности дерева – вот этот дуб, вот эту- берёзу, вот эту ель и т. д. Изучая свойства дуба, берёзы, ели, мы уясняем свойства не только этих частных пород, но и свойства дерева вообще.

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

Рис. 63

 

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

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

Примеры силлогизмов третьей фигуры:

 

Все китообразные – млекопитающие. Ни один паук – не насекомое.

Все китообразные – водные животные. Все пауки – членистоногие.

 

Некоторые водные животные – млекопитающие. Некоторые членистоногие не насекомые.

 

В первом примере большая посылка удостоверяет, что все М принадлежат к классу Р, меньшая– что все М принадлежат к классу S (см. рис. 63).

На рисунке представлены отношения между понятиями в посылках. Из рисунка видно, что весь объём М входит как часть и в объём Р и в объём S. Но так как из посылок не видно, какую именно часть объёма Р и какую именно часть объёма S занимает объём М, то в выводе мы не можем утверждать, что все S принадлежат к Р; мы можем утверждать только то, что некоторые S принадлежат к Р. А именно: общей у S и Р будет та часть объёма каждого из этих понятий, которая занята объёмом М.

Во втором примере большая посылка устанавливает, что ни одно М не принадлежит к числу Р. Меньшая посылка устанавливает, что все М принадлежат к S (см. рис. 64).

На рисунке изображены отношения между понятиями в посылках. Из рисунка видно, что весь объём класса М находится вне всего объёма класса Р и что тот же весь объём класса М входит как часть в объём класса S. Так как, будучи все членистоногими, пауки в то же время не являются насекомыми, то отсюда следует вывод, что некоторая часть членистоногих (пауки) –не насекомые: некоторые S не принадлежат к Р.

 

 

Рис.64

 

И в том и в другом примере третьей фигуры вывод получается частный: в первом примере частноутвердительный, во втором – частноотрицательный Часто третья фигура применяется для доказательства частичной совместимости двух понятий, о которых почему-либо принято думать, будто они вовсе несовместимы. Пусть кто-нибудь полагает, будто ни одно млекопитающее не кладёт яиц. Полагающий таким образом, очевидно, утверждает полную несовместимость понятий «млекопитающее» и «яйцекладущее». Мысль его может быть выражена посредством общего суждения «ни одно млекопитающее не есть яйцекладущее».

Чтобы опровергнуть это общее суждение, достаточно доказать истинность противоречащего ему частного суждения. Таким частным суждением будет, очевидно, суждение «некоторые млекопитающие – яйцекладущие». Суждение это может быть выведено по третьей фигуре силлогизма:

 

Все утконосы– яйцекладущие.

Все утконосы – млекопитающие.

Некоторые млекопитающие – яйцекладущие.

 

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

§ 40. Из этих задач вытекает особое правило третьей фигуры. Правило это формулируется так: меньшая посылка должна быть утвердительной. И действительно, если бы меньшая посылка третьей фигуры была отрицательной, то вывод также должен был бы быть отрицательным. Но это значит, что больший термин, как сказуемое отрицательного суждения, должен был бы быть распределён в выводе. Однако, чтобы быть распределённым в выводе, больший термин должен быть распределён в большей посылке. Так как мы предположили, что меньшая посылка отрицательная, то большая должна быть утвердительной. Но так как в третьей фигуре больший термин–предикат, то как предикат утвердительного суждения, выражающего подчинение понятия S понятию Р, он не может быть распределён, и, стало быть, вывод о третьей фигуре в случае отрицательности меньшей посылки невозможен.

§ 41. Исключив из числа шестнадцати арифметически возможных модусов третьей фигуры все модусы, противоречащие общим правилам всех фигур и специальному правилу третьей, получаем шесть модусов третьей фигуры: АА, ЕА, IA, AI, ОА, EI.

В модусе АА вывод получается частноутвердительный (I), и всё строение модуса может быть обозначено AAI.

Пример: «Все киты – млекопитающие, все киты – водные животные, следовательно, некоторые водные животные – млекопитающие».

В модусе ЕА вывод получается частноотрицательный (О), в всё строение модуса может быть обозначено ЕАО.

Пример: «Ни один гриб не имеет хлорофила, все грибы – растения, следовательно, некоторые растения не имеют хлорофила».

В модусе IA вывод получается частноутвердительный (I), в всё строение модуса может быть обозначено IAI.

Пример: «Некоторые планеты имеют спутников, все планеты вращаются вокруг солнца, следовательно, некоторые тела, вращающиеся вокруг солнца, имеют спутников».

В модусе AI вывод получается частноутвердительный (I), и всё строение модуса может быть обозначено АII.

Пример: «Все бобры – водные животные, некоторые бобры строят себе домики для жилья, следовательно, некоторые животные, строящие себе домики для жилья, водные животные».

В модусе ОА вывод получается частноотрицательный (О), и всё строение модуса может быть обозначено ОАО.

Пример: «Некоторые планеты не имеют спутников, все планеты вращаются вокруг солнца, следовательно, некоторые тела, вращающиеся вокруг солнца, не имеют спутников».

Наконец, в модусе EI вывод получается также чаотноотрицательный (О), и всё строение модуса может быть обозначено ЕIO.

Пример: «Ни один аспирант не есть студент, некоторые аспиранты обязаны слушать лекции, следовательно, некоторые лица, обязанные слушать лекции, – не студенты».

Условные имена шести модусов третьей фигуры следующие:

Darapti, Felapton, Disamis, Datisi, Bocardo, Ferison.

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