Общих правил категорического силлогизмаПравила терминов 1. В силлогизме должно быть три и только три термина. Доказательство Силлогизм определяется как умозаключение об отношении двух понятий друг к другу на основании их отношения к третьему понятию, следовательно, данное правило вытекает из самого определения силлогизма. 2. Если средний термин не распределен ни в одной из посылок, нельзя сделать никакого заключения. Доказательство Обратимся к большой посылке. В нее входят предикат силлогизма (Р) и средний термин (М). Допустим, что М не распределен. Тогда, согласно определению распределенности, между Р и произвольным подмножеством М возможно любое отношение. В целях дальнейшего доказательства нас интересует отношение подчиненности Р подмножеству М:
Пунктиром на рисунке выделено произвольное подмножество М. Данная схема согласуется с любым случаем нераспределенности М. Хотя это положение должно быть понятно, так как вытекает из определения распределенности, поясним его дополнительно. Согласно таблице распределенностей, М не распределен в большей посылке при следующих, и только следующих, её формах: Все Р естьМ. Некоторые М есть Р. Некоторые Р есть М. Некоторые М не есть Р. Очевидно, что схема действительно согласуется с каждой из этих форм. Аналогичным образом, изображенная ниже схема соответствует любому случаю нераспределенности М в меньшей посылке:
Отсюда очевидно, что каждая из изображенных ниже пяти схем соответствует любому случаю нераспределенности М в обеих посылках:
Таким образом, при нераспределенности среднего термина в обеих посылках между S и Р силлогизма возможно любое отношение, а значит, заключение сделать нельзя, что и требовалось доказать.
3. Если термин не распределен в посылке, то он не может быть распределен и в заключении. Доказательство В данном правиле речь идет лишь о крайних терминах, ибо М вообще не входит в заключение. Каждый из крайних терминов входит только в одну из посылок. Если эта посылка не содержит информации о его распределенности, то в заключении такая информация может появиться лишь помимо посылок, что неправомерно. Правила посылок 1. Из двух отрицательных посылок нельзя сделать никакого заключения.
Таким образом, при любых двух отрицательных посылках между S и Р возможны любые отношения, а значит, заключение сделать нельзя, что и требовалось доказать.
2. Если одна посылка отрицательная, то невозможно утвердительное заключение. Доказательство Для того, чтобы было возможно хотя бы какое-то утвердительное заключение, из посылок должно с достоверностью вытекать наличие у крайних терминов общих элементов. Покажем, что при любом сочетании утвердительной и отрицательной посылок возможна несовместимость между крайними терминами. Обозначим крайний термин в утвердительной посылке через Т1, в отрицательной - через Т2. Исходя из того, что суждение вида А согласуется с отношениями 1 и 2 между его S и Р, а вида J - с 1,2,3,4, вида Е - с %, вида О - с 3,4 и 5, легко видеть, что приведенная ниже схема соответствует любому сочетанию утвердительной и отрицательной посылок:
Так как в данной схеме крайние термины несовместимы, утвердительное заключение невозможно, что и требовалось доказать.
3. Из двух частных посылок нельзя сделать заключения. Доказательство Возможны следующие сочетания частных посылок: J J; J О; О О. Рассмотрим их: а) случай О О отбрасывается на основании первого правила посылок; б) в случае J J в обеих посылках нет ни одного распределенного термина, значит, согласно второму правилу терминов, заключение будет невозможно; в) в случае J О в обеих посылках есть только один распределенный термин. Второе правило терминов будет соблюдено, только если этот термин - М. Поскольку одна из посылок - О, заключение не может быть утвердительным. Допустим, что заключение - отрицательное. Тогда в нем распределен Р. Но, согласно третьему правилу терминов, для того, чтобы быть распределенным в заключении, Р должен быть распределен в посылке. Однако это невозможно, т.к. в посылках распределен только М. Значит, и в случае О заключение невозможно. Итак, ни при каком сочетании частных посылок нельзя сделать заключение, что и требовалось доказать.
4. Если одна посылка частная, то заключение не может быть общим. Доказательство Возможны следующие сочетания частной и общей посылок А J; А О; Е J; Е О. Рассмотрим их: а) случай Е О отбрасывается на основании первого правила посылок; б) в случае А J в обеих посылках есть только один распределенный термин. Второе правило терминов будет соблюдено, только если этот термин М. Для того, чтобы в заключении могло быть общее суждение, необходимо, чтобы в нем был распределен S. Однако согласно третьему правилу терминов S может быть распределен в заключении, лишь если он распределен в посылке, что невозможно, так как в посылках распределен только М. Значит, в случае А общее заключение невозможно; в) в случае А О в посылках два распределительных термина. Один из них, согласно второму правилу терминов, - М. Рассуждая аналогично случаю О в доказательстве предыдущего правила, видим, что вторым распределенным в посылках термином должно быть Р. В таком случае, рассуждая аналогично случаю А J настоящего правила, видим, что заключение не может быть общим суждением; г) случай Е J доказывается аналогично случаю А О. Итак, ни при каком сочетании частной и общей посылок заключение не может быть общим.
5. Из двух утвердительных посылок нельзя сделать отрицательного заключения. Исходя из того, что суждение вида А согласуется с отношениями 1 и 2 между его S и Р, вида J - с 1,2,3 и 4, вида Е - с 5, вида О - с 3,4 и 5, легко видеть, что приведенная выше схема согласуется с любым сочетанием утвердительных посылок и противоречит любому отрицательному заключению:
Таким образом, из 2-х утвердительных посылок нельзя сделать отрицательного заключения, что и требовалось доказать.
|
1. 2.
3. 4.
5.
Исходя из того, что суждение вида Е согласуется с отношением 5 между S и Р, а суждение вида - с отношениями 3,4 и 5, легко видеть, что каждая из пяти следующих схем согласуется с любым сочетанием отрицательных посылок:
1. 2.
3. 4.
5.
