СИЛЛОГИЗМ

вид дедуктивного умозаключения, в котором из двух высказываний (посылок) субъекгно-предикатной структуры следует новое высказывание (заключение) той же логической структуры. Обычно силлогизмом называют категорический силлогизм, состоящий из трех терминов, попарно связанных в высказываниях посредством одного из следующих четырех логических отношений: «Всякое... есть...», «Ни одно... не есть...», «Некоторое... есть...», «Некоторое... не есть...» (обозначаемых соответственно буквами А, Е, I, О). Напр.: «Ни один кит (М) не есть рыба (Р), всякий кит (At) имеет рыбообразную форму (5); следовательно, некоторые имеющие рыбообразную форму (5) не есть рыбы (Р)». Высказывания, содержащие термин, не входящий в заключение силлогизма (средний термин, М), составляют посылки силлогизма. Посылка, содержащая предикат заключения (больший термин, Р), называется большей посылкой. Посылка, содержащая субъект заключения (меньший термин, S), называется меньшей посылкой. По положению среднего термина в посылках (в зависимости от того, является ли он субъектом или предикатом) силлогизм подразделяют на четыре фигуры. В зависимости от логических отношений, связывающих термины в высказываниях силлогизма, выделяют различные его модусы.

А. Л. Субботин