Большая Советская энциклопедия - силлогизм

(греч. syllogismós)

вид дедуктивного умозаключения, две посылки и заключение которого имеют одну и ту же субъектно-предикатную структуру. Наименование «С.» прилагают чаще всего к так называемым категорическим С., посылки и заключения которых суть высказывания (суждения (См. Суждение)), выраженные посредством простых предложений, предикатами которых (в обычном грамматическом смысле, т. е. попросту сказуемыми) служит глагол-связка «есть» (в изъявительном наклонении, единственном или множественном числе, с отрицанием или без такового), связывающий термины данного предложения: субъект (подлежащее) и предикат (в логическом смысле слова; в данном случае — наименование некоторого класса), причём предложения эти образованы с помощью т. н. кванторных слов (см. Квантор) «все» (или «всякий», «каждый», «любой» и т. п.) и «некоторый» (или «имеется», «существует» и т. п.). Такие предложения могут иметь одну из следующих четырёх форм (прописными лат. буквами обозначаются термины): «Всякое R есть Q» (такое высказывание называется общеутвердительным и обозначается обычно буквой А), «Ни одно R не есть Q» (общеотрицательное, обозначается через Е), «Некоторое R есть Q» (частноутвердительное, I) и «Некоторое R не есть Q» (частноотрицательное, О). Примерами категорических С. могут служить рассуждения: «Ни одно Р не есть М, некоторые S суть М; следовательно, некоторые S не суть Р» (или, в форме условного высказывания: «Если ни одно Р не есть М и некоторые S есть М, то некоторое S не есть Р»), «Всякое М есть Р, всякое S есть М; следовательно, всякое S есть Р» (такой вид имеет хрестоматийный пример С.: «Все люди смертны, все греки — люди; следовательно, все греки смертны») и т. п. Посылку, содержащую предикат заключения («больший термин» Р), называют большей посылкой; посылку, содержащую субъект заключения («меньший термин» S), — меньшей посылкой. По положению «среднего термина» М, входящего лишь в посылки С., различают четыре фигуры С.: в 1-й М служит субъектом в большей посылке и предикатом в меньшей, во 2-й — предикатом в обеих посылках, в 3-й — субъектом в обеих посылках, в 4-й — предикатом в большей и субъектом в меньшей. В зависимости же от форм силлогистических предложений (А, Е, I или О) говорят о различных модусах С. Поскольку в каждой фигуре мыслимы 4·4·4 = 64 модуса, то имеет смысл говорить всего о 256 модусах. Правильными же (т. е. обеспечивающими получение истинного заключения из истинных посылок) оказываются лишь 24, в том числе 5 «ослабленных» (допускающих усиление, например замену частного предложения в заключении на общее), так что во всех 4 фигурах остаётся 19 неослабленных правильных модусов С. (первая буква характеризует ниже вид большей посылки, вторая — меньшей, третья — заключения): ААА, EAE, All и EIO 1-й фигуры, EAE, AEE, EIO и AOO 2-й, AAI, IAI, AII, EAO, OAO и EIO 3-й и AAI, AEE, IAI, EAO и EIO 4-й фигуры. Обоснование правильности этих модусов С. и неправильности остальных даётся в силлогистике (См. Силлогистика).

Термином «С.» пользуются также в более широком смысле — в применении к умозаключениям, образованным из предложений других видов; так, говорят об условных, условно-категорических, разделительно-категорических и условно-разделительных С. Наконец, тот же термин употребляется иногда и просто в качестве синонима термина «умозаключение».

Лит. см. при ст. Силлогистика.

Большая советская энциклопедия. — М.: Советская энциклопедия

1969—1978