Силлогистика (Фролов, 1991)

СИЛЛОГИСТИКА — учение о силлогистическом умозаключении (силлогизме), исторически первая, сформулированная Аристотелем логическая система дедукции. Пример силлогизма: «Если всякий металл электропроводен и некоторые жидкости — металлы, то некоторые жидкости электропроводны». Силлогизм состоит из трех терминов, составляющих попарно три суждения субъектно-предикативной структуры: двух посылок и заключения. Суждения в силлогизме различаются по качеству — утвердительные или отрицательные и по количеству — общие или частные. Суждения, содержащие термин, не входящий в заключение (называется средним термином), составляют посылки силлогизма. В зависимости от положения среднего термина в посылках (является ли он субъектом или предикатом) все силлогизмы делятся на четыре фигуры. А в зависимости от качества и количества составляющих силлогизм суждений каждая из четырех фигур силлогизма подразделяется на различные модусы силлогизма. Основная задача силлогистики — выяснить, когда из посылок с необходимостью следует определенное заключение, а когда не следует. Силлогистика представляет собой узкую теорию дедукции. Использованием средств и методов математической логики достигается построение силлогистики как формализованной теории, осуществляется ее строгая аксиоматизация, доказываются непротиворечивость и разрешимость этой системы.

Философский словарь. Под ред. И.Т. Фролова. М., 1991, с. 407.