СИЛЛОГИСТИКА

(от греч. выводя­щий умозаключение; дедуктивный), теория дедуктивно­го вывода, оперирующая высказываниями субъектно-предикативной структуры: S есть Р (где S - логич. подлежащее, или субъект, Р - логич. сказуемое, или предикат). В С. выясняются общие условия, при к-рых из одного, двух или более высказываний - посылок ука­занной структуры - с необходимостью следует нек-рое новое высказывание - заключение, а также усло­вия, при к-рых такое следование не имеет места. В случае следования заключения лишь из одной посылки имеется непосредств. силлогистич. вывод; в случае сле­дования заключения из двух посылок - собственно силлогизм; в случае следования заключения из многих досылок - полисиллогизм, или сорит. Традиционно одна из осн. задач С. состояла в выяснении того, какие модусы каждой из четырёх фигур силлогизма являются правильными умозаключениями, а какие неправиль­ными. В связи с этим были сформулированы как общие правила силлогизма, так и специальные правила фигур, а также предложены графич. интерпретации силлоги­стич. умозаключений, служащие средством наглядного их обоснования или опровержения.

С. была разработана Аристотелем и явилась истори­чески первой логич. теорией дедуктивного рассужде­ния. Она послужила отправным пунктом для разработ­ки формальной логики. В школе перипатетиков, в рабо­тах рим., визант. и араб. мыслителей, в ср.-век. схоластич. логике, а затем и в новое время  С. детализирова­лась и уточнялась, оставаясь вместе с тем в целом в рамках, очерченных Аристотелем в его «Органоне», Вплоть до 17 в. С. считалась совершенной в своей за­конченности и чуть ли не единственно возможной ло­гич. теорией, и в многочисл. школьных пособиях дошла до нашего времени, составляя традиц. логич. эле­мент гуманитарного образования. Математич. логика выработала более общую, чем С., логич. систему - ис­числение предикатов и строгие методы самого логич. исследования. В свете этих достижений стали очевид­ными и частность С. как теории дедукции и несовершен­ства её традиц. построения. С помощью средств математич. логики С. представима в виде формализов. теории, вписывающейся в общий ансамбль совр. символич. ло­гики. Помимо теории классич. (аристотелевской) С., предложены также различные обобщения и расширения этой системы. До сих пор остаются мало исследованны­ми вопросы модальной С., поставленные ещё Аристоте­лем.