<<
>>

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

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

С. была разработана Аристотелем и явилась исторически первой логич. теорией дедуктивного рассуждения. Она послужила отправным пунктом для разработки формальной логики. В школе перипатетиков, в работах рим., визант. и араб. мыслителей, в ср.-век. схола-стич. логике, а затем и в новое время С. детализировалась и уточнялась, оставаясь вместе с тем в целом в рамках, очерченных Аристотелем в его «Органоне», Вплоть до 17 в. С. считалась совершенной в своей законченности и чуть ли не единственно возможной логич. теорией, и в многочисл. школьных пособиях дош-

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

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

<< | >>
Источник: Федосеев, Ильичев. Философский энциклопедический словарь. 1986

Еще по теме СИЛЛОГИСТИКА: