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