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

Большая советская энциклопедия (БЭС)

(от греч. syllogistikos — выводящий умозаключение)
теория логического вывода, исследующая умозаключения, состоящие из т. н. категорических высказываний (См. Высказывание) (суждений (См. Суждение)): общеутвердительных («всякое S есть Р»), общеотрицательных («ни одно S не есть Р»), частноутвердительных («некоторое S есть Р») и частноотрицательных («некоторое S не есть Р»). В С. рассматриваются, например, выводы заключения из одной посылки (т. н. непосредственные умозаключениями (См. Непосредственное умозаключение) «сложные силлогизмы», или Полисиллогизмы, имеющие не менее трёх посылок. Однако основное внимание С. уделяет теории категорического Силлогизма, имеющего ровно две посылки и одно заключение указанного вида. Классификацию различных форм (Модусов) силлогизмов и их обоснование дал основатель логики как науки Аристотель. В дальнейшем С. усовершенствовалась различными школами античных (перипатетики, стоики) и средневековых логиков. Несмотря на ограниченный характер применения, отмечавшийся ещё Ф. Бэконом, Р. Декартом, Дж. С. Миллем (См. Милль) и другими учёными, С. долгое время являлась неотъемлемым традиционным элементом «классического» гуманитарного образования, из-за чего её часто называют традиционной логикой. С созданием исчислений (См. Исчисление) математической логики роль С. стала весьма скромной. Оказалось, в частности, что почти всё её содержание (а именно все выводы, не зависящие от характерного для С. предположения о непустоте предметной области (См. Предметная область)) может быть получено средствами фрагмента исчисления Предикатов — т. н. одноместного исчисления предикатов. Получен также (начиная с Я. Лукасевича, 1939) ряд аксиоматических изложений С. в терминах современной математической логики.
Лит.: Аристотель, Аналитики, первая и вторая, пер. с греч., Л., 1952; Бэкон Ф., Новый органон, пер. с англ., Л., 1935; Декарт Р., Избр. произв., пер. с франц., М., 1950; Гильберт Д., Аккерман В., Основы теоретической логики, пер. с нем., М., 1947, гл. II, § 3; Лукасевич Я., Аристотелевская силлогистика с точки зрения современной формальной логики, пер. с англ., М., 1959; Бурбаки Н., Очерки по истории математики, пер. с франц., М., 1963; Калбертсон Д ж., Математика и логика цифровых устройств, пер. с англ., М., 1965, гл. 5; Субботин А. Л., Теория силлогистики в современной формальной логике, М., 1965; его же, Традиционная и современная формальная логика, М., 1969.

Орфографический словарь Лопатина

силлог`истика, силлог`истика, -и

Словарь Ушакова

СИЛЛОГ’ИСТИКА, силлогистики, мн. нет, ·жен. В формальной логике - учение о силлогизмах, об их построении (филос.).
перен. Общие рассуждение, не имеющие практической, жизненной ценности (·книж. ирон.).

Толковый словарь Ефремовой

[силлогистика]
ж.
1) Учение о силлогизмах (в формальной логике).
2) перен. Бесплодные, беспредметные рассуждения.

Философский словарь

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

Философский энциклопедический словарь 2

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

Если вы желаете блеснуть знаниями в беседе или привести аргумент в споре, то можете использовать ссылку:

будет выглядеть так: СИЛЛОГИСТИКА

будет выглядеть так: Что такое СИЛЛОГИСТИКА