Рис. 49
На рисунке представлены отношения понятий, выражаемые посылками. Объём понятия «великие поэты» представлен кругом М, объём понятия «люди, обладающие сильным воображением»» — кругом Р, объём понятия «впечатлительные люди» — кругом S. Из посылок видно, что в объём Р безусловно входит вся та часть объёма S, которая занята объёмом М. Поэтому посылки дают правильный вывод: «некоторые S принадлежат к объёму Р». Но выводить из посылок больше этого мы не вправе. Только о той части объёма S, которая совпадает с М, достоверно известно из посылок, что она входит в объём Р. А так как эта часть, равная М, не исчерпывает ни всего объёма S, ни всего объёма Р, то отсюда видно, что не все S, но лишь некоторые S принадлежат к объёму Р.
Другой пример: из посылок «все студенты должны держать экзамены» и «аспиранты — не студенты» нельзя сделать вывод, будто «аспиранты не должны держать экзаменов». В самом деле, в выводе «аспиранты не должны держать экзаменов» больший термин как предикат отрицательного суждения был бы распределён. Но в большей посылке — «все студенты должны держать экзамены» — больший термин как предикат утвердительного суждения (ср. гл. VI, § 25) не распределён. Понятно, что, не будучи распределён в посылке, он не может оказаться распределёнными в выводе (см. рис. 50).
Рис. 50
На рисунке представлены отношения понятий, выражаемые посылками. Объём понятия «студенты» представлен кругом М, объём понятия «лица, обязанные держать экзамены» — кругом Р и объём понятия «аспиранты» — кругом S. Из рисунка видно, что мы не вправе заключать, будто объём S необходимо будет находиться вне объёма Р. Так как термин Р не распределён, то объём М составляет лишь какую-то часть объёма Р. Поэтому вполне возможно, что весь объём S, о котором из другой посылки нам известно, что он не входит в объём М, окажется всё же целиком внутри объёма Р — как другая, наряду с М, часть этого объёма (1). В нашем примере так оно и есть: аспиранты, не будучи студентами, всё же принадлежат к числу лиц, обязанных держать экзамены.
Правила, определяющие связь между качеством и количеством посылок и выводов силлогизма
§ 19. Пятое общее правило формулируется так: если обе посылки отрицательны, то из них нельзя получить никакого вывода. Так, из посылок «киты — не рыбы» и «дельфины — не рыбы» нельзя сделать никакого вывода об отношении дельфинов к китам. И действительно, обе посылки здесь — отрицательные. Из них видно, что весь объём большего и весь объём меньшего термина вне всего объёма среднего термина: ни один кит и ни один дельфин не входят в число рыб. Но зная это, мы ещё ничего не знаем о том, в каком отношении друг к другу находятся объёмы большего и меньшего терминов: они могут стоять вне друг друга, могут частично совпадать и могут оказаться один внутри другого (см. рис. 51).
Рис. 51
На рисунке представлены отношения понятий, выражаемые посылками. Объём понятия «рыбы» представлен кругом М, объём понятия «дельфины» — кругом S, объём понятия «киты»— кругом Р. Из рисунка видно, что мы не вправе сделать какое бы то ни было заключение о необходимом отношении объёма S к объёму Р. Из того, что весь объём S находится вне объёма М и весь объём Р также находится вне объёма М, ещё не видно, в каком отношении будет объём S к объёму Р. Рисунок показывает, что здесь остаются открытыми четыре возможности: весь объём S находится вне всего объёма Р; 2) объёмы S и Р частично совпадают между собой; 3) объём S целиком входит как часть в объём Р; 4) объём Р целиком входит как часть в объём S.
§ 20. Шестое общее правило формулируется так: если вывод из данных посылок вообще возможен и если одна из посылок при этом отрицательная, то вывод также будет отрицательный.
Рассмотрим силлогизм:
Ни один злак не есть споровое растение.
Пшеница — злак.
———————————————
Пшеница не есть споровое растение.
Здесь одна из посылок — отрицательная, а другая — утвердительная. Это значит, что объём одного из терминов, входящих в вывод, стоит вне объёма среднего термина, а объём другого термина, входящего в вывод, составляет часть объёма среднего термина (см. рис. 52).