Силлогистика

Материал из Википедии — свободной энциклопедии
(перенаправлено с «Силлогистические теории»)
Перейти к навигации Перейти к поиску

Силлогистика (др.-греч. συλλογιστικός умозаключающий) — теория логического вывода, исследующая умозаключения, состоящие из т. н. категорических высказываний (суждений).

В силлогистике рассматриваются, например, выводы заключения из одной посылки (т. н. непосредственные умозаключения), «сложные силлогизмы», или полисиллогизмы, имеющие не менее трёх посылок. Однако основное внимание силлогистика уделяет теории категорического силлогизма, имеющего ровно две посылки и одно заключение указанного вида. Классификацию различных форм (модусов) силлогизмов и их обоснование дал основатель логики как науки Аристотель. В дальнейшем силлогистика усовершенствовалась различными школами античных (перипатетики, стоики) и средневековых логиков. Несмотря на ограниченный характер применения, отмечавшийся ещё Ф. Бэконом, Р. Декартом, Дж. С. Миллем и другими учёными, силлогистика долгое время являлась неотъемлемым традиционным элементом «классического» гуманитарного образования, из-за чего её часто называют традиционной логикой. С созданием исчислений математической логики роль силлогистики стала весьма скромной. Оказалось, в частности, что почти всё её содержание (а именно все выводы, не зависящие от характерного для силлогистики предположения о непустоте предметной области) может быть получено средствами фрагмента исчисления предикатов — т. н. одноместного исчисления предикатов. Получен также (начиная с Я. Лукасевича, 1939) ряд аксиоматических изложений силлогистики в терминах современной математической логики.

Типы суждений[править | править код]

Высказывание, в котором утверждается, что все предметы класса обладают или не обладают определённым свойством, называется общим (соответственно общеутвердительным или общеотрицательным). Высказывание, в котором утверждается, что некоторые предметы класса обладают или не обладают определённым свойством, называется частным (соответственно частноутвердительным или частноотрицательным). По Аристотелю, все простые высказывания делятся на следующие шесть типов: единичноутвердительные, единичноотрицательные, общеутвердительные, общеотрицательные, частноутвердительные, частноотрицательные. Самостоятельную роль имеют лишь высказывания последних четырёх типов, поскольку единичноутвердительные и единичноотрицательные высказывания сводятся, соответственно, к общеутвердительным и общеотрицательным при множествах субъекта, состоящих из одного элемента.[1].

Обычно для обозначения субъекта (класса предметов) высказывания используется символ S, а для предиката (свойства) — P.

В средние века для высказываний четырёх простых типов стали использовать обозначения с применением гласных букв латинских слов affirmo — утверждаю, и nero — отрицаю[1]:

для общеутвердительного суждения : «Все предметы класса S обладают свойством P». («Все S суть P».) Символически: SaP — с первой буквой affirmo;
для общеотрицательного суждения «Ни один предмет класса S не обладает свойством P». («Ни один S не есть P».) Символически: SeP — с первой гласной буквой nego;
для частноутвердительного суждения: «Некоторые предметы класса S обладают свойством P». («Некоторые S суть P».) Символически: SiP — с буквой i слова affirmo;
для частноотрицательного суждения: «Некоторые предметы класса S не обладают свойством P». («Некоторые S не суть P».) Символически: SoP — с буквой o слова nego.

Соответственно, типы простых высказываний, относящихся к классам предметов, стали обозначаться буквами латинского алфавита: A — общеутвердительные, E — общеотрицательные, I — частноутвердительные, O — частноотрицательные.

Все эти суждения на языке логики предикатов имеют вид:

Эти же формулы можно равносильно преобразовать следующим образом:

Силлогистические умозаключения[править | править код]

Аристотель выделяет важнейший вид дедуктивных умозаключений — так называемые силлогистические умозаключения, или силлогизмы. Аристотелев силлогизм представляет собой схему логического вывода (умозаключения), состоящую из трёх простых высказываний S,M,P одного из четырёх указанных видов A,E,I,O: два первых высказывания S,M — посылки, третье P — заключение. В результате, возможно всего 4 типа силлогизмов:[1]

Здесь и запись SzP (как и MxP и SyM и т. п.) обозначает в зависимости от значения z одно из четырёх суждений видов A,E,I,O. Каждая фигура доставляет следующее количество силлогизмов (схем): . Поскольку фигур 4, то получаем силлогизмов.

Задача аристотелевой силлогистики, блестяще решённая самим Аристотелем, состоит в том, чтобы обнаружить все те силлогизмы (схемы умозаключений), которые справедливы, то есть представляют собой логические следования. Таких силлогизмов, как установил Аристотель, имеется ровно 19, остальные — неверны. При этом 4 из 19 правильных силлогизмов оказываются условно правильными.

Для запоминания правильных силлогизмов средневековыми схоластами было придумано следующее мнемотехническое латинское стихотворение:

BARBARA, CELARENT, DARII, FERIO que prioris;

CESARE, CAMESTRES, FESTINO, BAROCO secundae;

Tertia DARAPTI*, DISAMIS, DATISI, FELAPTON*, BOCARDO, FERISON habet; quarta insuper addit

BAMALIP*, CAMENES, DIMATIS, FESAPO*, FRESISON.

Здесь слова, выделенные большими буквами, а точнее, гласные в этих словах, означают суждения A,E,I,O, подставляемые на место x, y, z в каждой фигуре силлогизма (слова в первой строке стиха соответствуют первой фигуре, второй строке -второй и т. д.) То есть для первой фигуры будут верны варианты силлогизмов (т. н.модусы) первой строки BARBARA (AAA), CELARENT (EAE), DARII (AII), FERIO (EIO):

аналогично для других фигур силлогизма применяются модусы из строки стиха, соответствующей номеру фигуры.

При этом необходимо отметить, что в аристотелевской логике все классы M, P, S считаются непустыми, то есть имеющие хотя бы один элемент. Если это не учитывать, то получаются очевидные ошибки. Пример Рассела: Пусть M означает класс (пустой) «золотые горы», P — класс «золотые объекты», а S — класс «горы» Тогда имеем по модусу DARAPTI третьей фигуры:

Все золотые горы — золотые.

Все золотые горы — горы. -

Следовательно некоторые горы золотые.

Таким образом из двух верных (тавтологичных) утверждений мы получим отнюдь не тавтологичное, но заведомо неверное утверждение.

Так как в современной математике, физике и даже структурной лингвистике часто работают с пустыми множествами, то в этом случае нельзя применять модусы, выделенные у нас звёздочками (DARAPTI, FELAPTON, BAMALIP, FESAPO)[1].

Формализация теории аристотелевых силлогизмов[править | править код]

Описанная формализация придумана в 1950-х годах польским логиком Лукасевичем.[источник не указан 328 дней]

Пусть строчные латинские буквы a, b, c,… обозначают переменные термины силлогистики, две прописные латинские буквы A и I — два силлогических бинарных отношения: Aab: «Всякое a есть b», Iab: «Некоторое a есть b».

Понятие формулы даётся посредством следующего индуктивного определения:

1) Aab и Iab — простые (или атомарные) формулы силлогистики;

2) если  — формулы силлогистики, то формулами силлогистики будут также ;

3) никаких других формул, кроме получающихся по правилам пунктов 1 и 2, нет.

Формулировка аксиом. Во-первых, считаем, что имеется некоторое формализованное исчисление высказываний, так что его аксиомы открывают список аксиом формальной силлогистики. В качестве специальных аксиом принимаются такие силлогические предложения:

(силлогизм Barbara);

(силлогизм Datisi).

С помощью следующих определений введём ещё два силлогических бинарных отношения E' и O: Eab означает , Oab означает .

В качестве правил вывода в системе формализованной силлогистики FS принимаются два правила подстановки и правило заключения modus ponens:[источник не указан 328 дней]

См. также[править | править код]

Примечания[править | править код]

  1. 1 2 3 4 Бочаров В. А., Маркин В. И. Введение в логику. — М.: ИД «ФОРУМ»: ИНФРА-М, 2010. — 560 с. — ISBN 978-5-8199-0365-0 (ИД «ФОРУМ») ISBN 978-5-16-003360-0 («ИНФРА-М»)

Литература[править | править код]

Энциклопедии
Книги
  • Аристотель. Сочинения: В 4 т.. — М., 1976—1981.
  • Ахманов А. С. Логическое учение Аристотеля. — М., 1960.
  • Игошин В. И. Математическая логика и теория алгоритмов. — Academia, 2008.
  • Лукасевич Я. Аристотелевская силлогистика с точки зрения формальной логики: Пер. с англ.. — М., 1959.