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

 

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

Большая посылка («все утконосы – животные, кладущие яйца») устанавливает, что класс М принадлежит к классу Р, т. е. что весь объём класса М входит как часть в объём класса Р (см. рис. 44).

 

Рис. 44

 

Меньшая посылка («все утконосы – млекопитающие») устанавливает, что класс М принадлежит к классу S, т. е., что весь объём класса М входит как часть в объём класса S (см. рис. 45).

Сопоставляя эти отношения понятий, выяснившиеся из посылок, заключаем в выводе («некоторые млекопитающие – животные, кладущие яйца»), что какая-то часть класса S принадлежит к классу Р, т. е. объём S в какой-то своей части совпадает с объёмом Р (см. рис. 46).

 

Рис. 45 Рис. 46

 

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

 

М – Р

M – S (III)

S – P

 

Здесь расположение терминов отличается от их расположения в силлогизмах первой и второй фигуры:

 

А именно: в третьем силлогизме средний термин в обеих посылках оказывается субъектом. Силлогизм с таким расположением терминов называется силлогизмом третьей фигуры.

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

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

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

Сравним два силлогизма:

 

 

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

 

Во втором силлогизме большая посылка есть суждение общеотрицательное, меньшая – общеутвердительное, вывод – суждение общеотрицательное. Схема этого силлогизма:

 

 

Сравним ещё два силлогизма:

 

 

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

 

Во втором силлогизме большая посылка есть суждение общеотрицательное, меньшая – частноутвердительное, вывод – суждение частноотрицательное. Схема этого силлогизма:

 

 

Сравнивая качество и количество выводов во всех четырёх примерах силлогизма первой фигуры, приведённых выше, видим, что в первом примере вывод – общеутвердительный («все бамбуковые – однодольные растения»), во втором – общеотрицательный («ни одно бамбуковое не есть двудольное растение»), в третьем - частноутвердительный («некоторые бесцветковые – споровые растения»), в четвёртом – частноотрицательный («некоторые светила – не звёзды»).

Разновидности силлогизмов одной и той же фигуры, обусловленные различным качеством и количеством посылок и выводов, называются модусами (от латинского слова «modus», означающего «способ», «вид»),

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

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

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

Рассмотрим, например, суждения:

 

Все студенты обязаны держать экзамены.

Все аспиранты – не студенты.

 

В этих суждениях налицо три понятия, расположенные по схеме первой фигуры простого категорического силлогизма. Термин «студенты» в одной из посылок является субъектом, в другой – предикатом. В одной посылке устанавливается отношение термина «студенты» к одному понятию, в другой – отношение того же термина к другому понятию.

Итак, расположение терминов в суждениях как будто в точности соответствует схеме первой фигуры:

 

 

Первое суждение будет общеутвердительное, второе – общеотрицательное.

Схематически количество и качество этих суждений будет следующее:

 

A

E

 

Но хотя расположение терминов в этом случае как будто отвечает условиям первой фигуры, правильный вывод из этих двух посылок невозможен. Из того, что «все студенты обязаны держать экзамены», и из того, что «все аспиранты – не студенты», никак нельзя вывести в качестве необходимого заключения, что, например, «аспиранты не обязаны держать экзамены». Хотя первая посылка выясняет отношение «студентов» к «лицам, обязанным держать экзамены», а вторая – отношение «студентов» к «аспирантам», – отношения эти не таковы, чтобы из них видно было, каким должно быть отношение «аспирантов» к «лицам, обязанным держать экзамены». Как видно из рисунка (см. рис. 47), здесь логически возможны – при данных посылках – три случая. Не будучи студентами (М), аспиранты (S) 1) могут все принадлежать к числу лиц, обязанных держать экзамены (Р), 2) могут принадлежать к числу этих лиц лишь в некоторой своей части и 3) могут вовсе не принадлежать к числу этих лиц.

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

 

 

 

Рис. 47

 

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

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

§ 15. Существуют десять правил, общих для всех фигур простого категорического силлогизма. Из этих десяти общих правил два определяют число терминов и число суждений, входящих в состав силлогизма. Два других правила определяют необходимые условия распределённости терминов в посылках и в выводах силлогизма. Остальные общие правила определяют необходимую связь между качеством и количеством посылок и качеством и количеством выводов (заключений) силлогизма.