ЛОГИКА

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

Рис. 47

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

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

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

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

Правила, определяющие число терминов и число суждений в силлогизме

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

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