В соответствии с этим силлогизмы, т. е. умозаключения, посылки которых представляют суждения о принадлежности предмета классу предметов, дают в выводе также суждения о принадлежности предмета классу предметов. В силлогизмах рассматриваются такие отношения между понятиями по содержанию, из которых сразу и легко могут, быть выводимы отношения между теми же понятиями по объёму.
Поэтому отношения между понятиями по содержанию, выражаемые в посылках силлогизма и обосновывающие его заключение, легко могут быть изображены посредством кругов или других фигур, взаимное положение которых представляет отношение между объёмами тех же понятий. Мы могли убедиться в этом, рассматривая пример силлогизма: «все бамбуки — злаки, все злаки цветут колосками; следовательно, все бамбуки цветут колосками».
Но силлогизмы составляют только часть всех видов умозаключений. Существуют умозаключения, формы которых не могут быть сведены к формам силлогизмов. В этих умозаключениях решается вопрос не о том, принадлежит ли известный класс предметов другому классу предметов. В этих умозаключениях решаются вопросы об отношении между предметами по величине, по положению в пространстве, по одновременности или последовательности во времени, по причине и действию, по силе, по родству и т. д. Уже в посылках этих умозаключений предметом мысли является не отношение принадлежности предмета классу предметов, но иные виды отношений. В соответствии с этим и в выводах этих умозаключений предметом мысли оказываются не отношения принадлежности предмета классу предметов, а отношения по величине, по положению в пространстве, по времени и т. д.
Но именно поэтому для несиллогистических умозаключений вовсе не характерны отношения между объёмами понятий, входящих в посылки и выводы. Правда, и в случае несиллогистических умозаключений, как и в случае силлогизмов, известное отношение между содержанием субъекта и содержанием предиката в посылках и выводе необходимо определяет известное отношение между объёмами этих понятий. Так, в нашем примере несиллогистического умозаключения в посылке «Москва лежит к востоку от Смоленска» отношение между понятиями «положение Москвы по долготе» и «положение Смоленска по долготе» определяет также и отношение между объёмами обоих понятий. Согласно этому отношению весь объём понятия «Москва» входит как часть в объём понятия «все города, лежащие к востоку от Смоленска». Подобные отношения объёмов выражает также и вторая посылка и вывод нашего умозаключения «Казань лежит к востоку от Москвы», «Казань лежит к востоку от Смоленска».
Но хотя, таким образом, и в случае несиллогистических умозаключений отношения между содержанием понятий, входящих в посылки и в вывод, определяют отношения также и между их объёмами, отношения эти в несиллогистических умозаключениях не отвечают на тот вопрос, какой решается в умозаключении.
Когда мы утверждаем, что «все бамбуки — злаки», суждение это отвечает на вопрос об отношении между объёмами понятий «бамбуки» и «злаки». Здесь мы действительно мыслим принадлежность класса предметов к другому классу.
Напротив, суждение «Москва лежит к востоку от Смоленска» отвечает не на вопрос об отношении между объёмами понятий «Москва» и «города, лежащие к востоку от Смоленска». Правда, из суждения «Москва лежит к востоку от Смоленска» бесспорно следует, что объём понятия «Москва» есть часть объёма понятия «все города, лежащие к востоку от Смоленска». Но не это отношение между объёмами понятий составляет ответ на запрос нашей мысли, когда мы утверждаем, что Москва лежит к востоку от Смоленска. Даже преобразовав это суждение в суждение об отношении между объёмами, мы под видом отношения между объёмами мыслим отношение по положению в пространстве. Сущность этого отношения не зависит от того, включается ли понятие «Москва» в более обширный класс «все города, лежащие к востоку от Смоленска».
Говоря «Москва лежит к востоку от Смоленска», я в сущности вовсе не мыслю отношение Москвы к классу городов, лежащих к востоку от Смоленска. В этом случае суждение высказывается не об отношении Москвы к целому классу других городов, а о положении одного единственного города Москвы по долготе относительно другого — тоже единственного — города Смоленска.
Простой категорический силлогизм
§ 9. Цель силлогизма, как и всякого другого умозаключения, состоит в получении из посылок нового суждения, или вывода. При этом мыслимое в выводе отношение между субъектом и предикатом вывода устанавливается не прямо. Отношение это не видно непосредственно ни из первой, ни из второй посылки, отдельно взятых. Отношение это выясняется для мысли только после сопоставления обеих посылок силлогизма. Сопоставляя посылки, мы рассматриваем отношение субъекта и предиката вывода к некоторому третьему понятию. Только через отношение этого третьего понятия к субъекту вывода и к предикату вывода выясняется отношение между субъектом и предикатом вывода.
Для удобства анализа обозначим все составные части силлогизма особыми знаками. С этой целью запишем силлогизм, расположив одну посылку под другой, а заключение, или вывод, — под второй посылкой. Отделим заключение от посылок горизонтальной чертой.
Пример силлогизма:
Все лягушки — амфибии.
Все амфибии — позвоночные.
——————————
Все лягушки — позвоночные.
Рассмотрим сначала заключение, или вывод. В нём понятие предиката обозначим буквой Р, понятие субъекта — буквой S. Так как посылки выражают отношения принадлежности, то и вывод также выражает отношение принадлежности. Поэтому все отношения между понятиями, входящими в посылки и в вывод, будучи отношениями между содержанием понятий, будут в то же время и отношениями их объёмов. Очевидно, объём предиката в выводе больше объёма субъекта (объём понятия «позвоночные» больше объёма понятия «амфибии»).
На этом основании предикат вывода (Р) называется бо́льшим понятием, или бо́льшим термином силлогизма, а субъект вывода (S) — меньшим термином. Та посылка, в которую входит больший термин (Р), называется большей посылкой силлогизма. В нашем примере больший термин — понятие «позвоночные», меньший термин — понятие «лягушки», бо́льшая посылка — суждение «все амфибии —позвоночные». Та посылка, в которую входит меньший термин (S), называется меньшей посылкой силлогизма. В нашем примере меньшая посылка — суждение «все лягушки — амфибии».
Вывод «все лягушки — позвоночные» действительно обоснован данными посылками. Признав, что «все амфибии — позвоночные» и что «все лягушки — амфибии», мы не можем не признать, что «все лягушки — позвоночные».
Как же обоснован этот вывод? — В меньшей посылке мы установили отношение меньшего термина к некоторому третьему понятию — к понятию «амфибии». Меньшая посылка установила, что «все лягушки — амфибии», т. е. что весь объём понятия «лягушки» полностью входит в объём понятия «амфибии». В большей посылке мы установили отношение этого же самого третьего понятия к большему термину — к понятию «позвоночные». Бо́льшая посылка установила, что «все амфибии — позвоночные», т. е. что весь объём понятия «амфибии» полностью входит в объём понятия «позвоночные». В результате оказалось возможным установить — через третье понятие (понятие «амфибии») — связь между понятием «лягушки» и понятием «позвоночные»: так как все лягушки входят в число амфибий, а все амфибии, в свою очередь, входят в число позвоночных, то все лягушки должны также входить в число позвоночных. Или иначе: так как в число позвоночных входят все амфибии, а в число амфибий — все лягушки, то в число позвоночных должны входить все лягушки.
Третье понятие, посредством которого в выводе выясняется отношение между меньшим и бо́льшим терминами, называется средним термином силлогизма.
Как видно из примера, средний термин входит в каждую из посылок, но не входит в заключение, или в вывод, силлогизма. Нетрудно понять, почему это так. Цель силлогизма, как мы уже знаем, состоит в выяснении отношения между двумя понятиями S и Р. Средний термин появляется в силлогизме не потому, что средний термин нас интересует сам по себе. Он появляется потому, что только через отношение среднего термина к S и Р может, быть выяснено не видное непосредственно отношение между S и Р. Но выяснение отношения среднего термина к S и Р достигается уже в посылках силлогизма: бо́льшая посылка раскрывает отношение среднего термина к Р, меньшая — к S. Как только задача выяснения этих отношений выполнена, как только отношение между S и Р стало ясным из отношения каждого из них в отдельности к среднему термину, средний термин перестаёт быть предметом нашей мысли. Наша мысль направляется уже не на средний термин, а на то отношение между S и Р, которое было выяснено с помощью среднего термина. Поэтому в выводе, или в заключении, силлогизма выступают только S и Р.
Обозначим средний термин буквой М. Тогда наш силлогизм может быть представлен следующей схемой, или, как говорят в логике, «фигурой»:
| М — P | S — M | |
| S — М | или | М — Р |
| ——— | ——— | |
| S — P | S — Р |
Как видно из примера и из его схемы, порядок посылок никакой роли не играет: бо́льшая посылка может быть первой, а меньшая — второй и наоборот. От порядка посылок в силлогизме вывод, т. е. логическая связь между субъектом и предикатом, не зависит.
Обстоятельство это необходимо запомнить, чтобы не связывать названия «бо́льшая посылка» и «меньшая посылка» с тем порядком, в каком посылки следуют одна за другой. Независимо от этого порядка большей будет только та посылка, в которую входит больший термин, т. е. предикат вывода (Р), а меньшей — только та, в которую входит