СИЛЛОГИСТИКА
С. была разработана Аристотелем и явилась исторически первой логич. теорией дедуктивного рассуждения. Она послужила отправным пунктом для разработки формальной логики. В школе перипатетиков, в работах рим., визант. и араб. мыслителей, в ср.-век. схола-стич. логике, а затем и в новое время С. детализировалась и уточнялась, оставаясь вместе с тем в целом в рамках, очерченных Аристотелем в его «Органоне», Вплоть до 17 в. С. считалась совершенной в своей законченности и чуть ли не единственно возможной логич. теорией, и в многочисл. школьных пособиях дош-
ла до нашего времени, составляя традиц. логич. элемент гуманитарного образования. Математич. логика выработала более общую, чем С., логич. систему — исчисление предикатов и строгие методы самого логич. исследования. В свете этих достижений стали очевидными и частность С. как теории дедукции и несовершенства её традиц. построения. С помощью средств матема-тич. логики С. представима в виде формализов. теории, вписывающейся в общий ансамбль совр. символич. логики. Помимо теории классич. (аристотелевской) С., предложены также различные обобщения и расширения этой системы. До сих пор остаются мало исследованными вопросы модальной С., поставленные ещё Аристотелем.
• Аристотель, Аналитики первая и вторая, пер. с греч.. Соч., т. 2, М., 1978; Челпанов Г. И., Учебник логики, М., 1946; Гильберт Д., Аккерман В., Основы теоре-тич. логики, пер. с нем., М., 1947; Лукасевич Я., Аристотелевская С. с т. зр. совр. формальной логики, пер. с англ., М., 1959; Субботин А. Л.. Теория С. в совр. формальной логике, М., 1965; е г о ж е, Традиц. и совр. формальная логика, М., 1969; Джиджян Р. 3., Расширенная С., Ер., 1977; Хилькевич А. П., Проблема расширения традиц. С., Минск, 1981. А. Л. Субботин.