частного суждения (см. гл. VI, § 25).
Так как средний термин в обеих посылках не распределён, то в каждой посылке имеется в виду какая-то неопределённая точно часть его объёма. При таком положении вполне возможно, что в одной посылке речь идёт о какой-то одной, а в другой посылке — о какой-то другой части объёма среднего термина (см. рис. 48).
Рис. 48
На рисунке изображены отношения понятий, выражаемые посылками. Объём понятия «млекопитающие» изображён кругом М, объём понятия «тюлени» — кругом S, объём понятия «водные животные» — кругом Р. Из рисунка видно, что посылки оставляют нас в неизвестности об отношении между понятиями S и Р. Так как из посылок неизвестно, какую именно часть объёма М составляет объём S и какую именно часть объёма Р составляет объём М, то остаются открытыми три возможности: 1) весь объём S находится вне всего объёма Р; 2) объёмы S и Р совпадают частично; 3) объём S целиком входит как часть в объём Р. Но это значит, что связь между субъектом и предикатом вывода, которая должна была бы быть раскрыта через их отношение к среднему термину, не может быть установлена: в сущности здесь даже нет среднего термина, а есть два означаемые одним словом понятия, из которых одно, возможно, отмечает одну часть объёма, а другое — другую.
§ 18. Четвёртое общее правило формулируется так: если больший или меньший термины не распределены в посылках, они не могут оказаться распределёнными в выводе. Так, из посылок «все великие поэты обладают сильным воображением», «все великие поэты — впечатлительные люди» нельзя вывести, будто «все впечатлительные люди обладают сильным воображением». Здесь правильным будет только частный вывод: «некоторые впечатлительные люди обладают сильным воображением». И действительно, понятие «впечатлительные люди» — меньший термин нашего силлогизма — не распределено в посылке. В суждении «все великие поэты — впечатлительные люди» понятие «впечатлительные люди» мыслится не во всём своём объёме. Совершенно очевидно, что и в выводе, где понятие «впечатлительные люди» становится субъектом, нет достаточного основания брать это понятие во всём его объёме (см. рис. 49).
Рис. 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).
Рис. 52
На рисунке изображены отношения понятий, выражаемые посылками. Объём понятия «злаки» изображён кругом М, объём понятия «пшеница» — кругом S, объём понятия «споровые растения» — кругом Р. Из рисунка видно, что так как весь объём М находится вне объёма Р (бо́льшая посылка), то и объём S, входящий целиком как часть в объём М (меньшая посылка), находится весь вне объёма Р (вывод).
§ 21. Седьмое общее правило силлогизма формулируется так: из двух утвердительных посылок никогда нельзя получить отрицательного вывода. И действительно, отрицательный вывод получается при таком отношении между субъектом и предикатом вывода, когда весь объём предиката (Р) находится вне всего объёма субъекта (S) или по крайней мере вне какой-то части объёма субъекта. Для этого в свою очередь необходимо, чтобы весь объём Р оказался находящимся вне всего объёма среднего термина (М). Тогда, даже при условии, что объём S окажется принадлежащим в какой-то своей части к объёму М, весь объём Р будет находиться вне если не всего объёма S, то по крайней мере вне какой-то части объёма S, т. е. вывод будет отрицательный (см. рис. 53).
Рис. 53
На рисунке изображены отношения между понятиями силлогизма, обеспечивающие отрицательный вывод. Из рисунка видно, что объём Р во всяком случае должен быть весь вне всего объёма М. Что касается отношения объёма S к объёму М, то вывод может получиться отрицательным и в том случае, когда S входит в М только в известной части своего объёма (1), и — тем более — в случае, когда S входит в М всем своим объёмом (2). В первом случае вывод может получиться частноотрицательный, во втором — вывод всегда будет общеотрицательный.
Итак, объём Р должен быть весь вне всего объёма М, для того чтобы вывод мог получиться отрицательный. Но это значит, что одна из посылок силлогизма (бо́льшая) должна быть отрицательной.
Напротив, в случае, если обе посылки утвердительные, предикат вывода (Р) никак не может оказаться в таком отношении к субъекту вывода (S), при котором весь объём Р мог бы находиться вне всего или хотя бы вне какой-то части объёма S (см. рис. 54).
Рис. 54
На рисунке изображены отношения между S и Р в случае, когда обе посылки утвердительные. Из рисунка видно, что в этом случае вывод возможен только утвердительный: общеутвердительный (1) и частноутвердительный (2).
Итак, отрицательный вывод никогда не может быть получен пз двух утвердительных посылок.
§ 22. Восьмое общее правило силлогизма формулируется так: из двух частных посылок ни по какой фигуре силлогизма нельзя получить правильного вывода. И действительно, если обе посылки частноутвердительные (I, I), то это значит, что в них не распределён ни один термин. Так, в посылках «некоторые птицы зерноядны» и «некоторые водные животные — птицы» ни один термин не распределён. Термины субъекта не распределены как субъекты в частных суждениях, термины предиката не распределены как предикаты утвердительных суждений, выражающих подчинение понятий. Так как средний термин должен быть распределён по крайней мере в одной из посылок и так как при двух частных посылках условие это не может быть выполнено, то вывод из двух частных посылок невозможен (см. рис. 55).
Рис. 55
На рисунке представлены отношения понятий в двух частноутвердительных посылках. Посылки удостоверяют, что объём S известной частью входит в объём М, а объём М входит известной частью в объём Р. Но так как из посылок не видно, какой именно частью своего объёма входит S в М и какой — М в Р, то остаются открытыми две возможности: 1) объём S входит в объём М и объём М — в объём Р таким образом, что ни одна часть объёма S не оказывается принадлежащей объёму Р; 2) объёмы S, М и Р так о