Читаем ЛОГИКА онлайн бесплатно

На рисунке представлены отношения понятий в двух частноутвердительных посылках. Посылки удостоверяют, что объём S известной частью входит в объём М, а объём М входит известной частью в объём Р. Но так как из посылок не видно, какой именно частью своего объёма входит S в М и какой — М в Р, то остаются открытыми две возможности: 1) объём S входит в объём М и объём М — в объём Р таким образом, что ни одна часть объёма S не оказывается принадлежащей объёму Р; 2) объёмы S, М и Р так относятся между собой, что некоторая часть объёма S оказывается принадлежащей объёму Р. В первом случае вывод будет отрицательный, во втором — частноутвердительный. Так как из посылок не видно, какая именно из обеих возможностей должна иметь место в каждом отдельном случае, то вывод из двух частноутвердительных посылок невозможен.

Но вывод невозможен и в случае, если одна из двух частных посылок утвердительная, а другая — отрицательная (I, О). Рассмотрим посылки «некоторые птицы — животные, вьющие гнёзда» и «некоторые животные, вьющие гнёзда, — не хищники». В таких посылках один термин, а именно предикат, отрицательной посылки распределён. Но мы знаем, что если одна из посылок отрицательная, то и вывод может получиться только отрицательный. Допустим, что вывод будет частноотрицательный. В таком случае в посылках силлогизма должны быть распределены по крайней мере два термина: средний, как во всяком силлогизме, и больший, так как, будучи предикатом отрицательного вывода, больший термин распределён в выводе, а потому должен быть распределён и в посылке. Но так как в наших посылках распределён только один термин, то вывод невозможен.

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

Если же из двух посылок одна утвердительная, а другая отрицательная, причём одна из них частная (IE, EI, ОА, АО), то в посылках будут распределены два термина: субъект общего суждения и предикат отрицательного. Однако и в этом случае вывод не может быть общим. И действительно, при одной отрицательной посылке вывод может получиться только отрицательный. Так как наши посылки — IE, EI, ОА, АО, то вывод из них может быть лишь отрицательный. Таким образом, наш общий вывод, в случае если бы он был возможен, должен был бы быть отрицательным. Но так как в общеотрицательном выводе распределены и субъект и предикат (субъект как субъект общего, предикат как предикат отрицательного суждения), то они должны быть распределены и в посылках. Кроме того, в одной из посылок должен быть распределён также и средний термин. Итак, для того чтобы вывод из наших посылок мог оказаться общим, в посылках должны быть распределены целых три термина. А так как в наших посылках распределены только два термина, то общий вывод из них невозможен.

§ 24. Десятое правило, общее для всех фигур силлогизма, формулируется так: если бо́льшая посылка — частная, а меньшая — отрицательная, то вывод невозможен. Рассмотрим, например, посылки: «некоторые гвардейцы — орденоносцы», «ни один боец Н-ской части — не гвардеец». Согласно большей посылке отношение между средним термином М («гвардейцы») и бо́льшим термином Р («орденоносцы») таково, что часть объёма М входит в объём Р (см. рис. 56).

Рис. 56

Согласно меньшей посылке отношение между меньшим термином S («бойцы Н-ской части») и средним термином М («гвардейцы») таково, что весь объём S целиком находится вне всего объёма М (см. рис. 57).

Рис. 57

Сопоставим теперь обе посылки и посмотрим, что можно вывести из них об отношении «бойцов Н-ской части» к «орденоносцам» (S к Р). То, что известно из посылок об отношениях между терминами М, Р и S, оставляет открытыми три возможных отношения между S и Р (см. рис. 58).

Рис. 58