Силлогистические теории

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

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

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

Высказывание, в котором утверждается, что все предметы класса обладают или не обладают определенным свойством, называется общим (соответственно общеутвердительным или общеотрицательным). Высказывание, в котором утверждается, что некоторые предметы класса обладают или не обладают определенным свойством, называется частным (соответственно частноутвердительным или частноотрицательным). По Аристотелю, все простые высказывания делятся на следующие шесть типов: единичноутвердительные, единичноотрицательные, общеутвердительные, общеотрицательные, частноутвердительные, частноотрицательные.

Типы простых высказываний, относящихся к классам предметов, обозначаются гласными буквами латинского алфавита: A — общеутвердительные, E — общеотрицательные, I — частноутвердительные, O — частноотрицательные. Далее класс предметов обозначается буквой S, свойство — буквой P. При этом S называется субъектом, а P — предикатом. Эти четыре типа простых высказываний, имеют следующую общелогическую форму:

A (общеутвердительное суждение): "Все предметы класса S обладают свойством P". ("Все S суть P".) Символически: SaP;

E (общеотрицательное суждение): "Ни один предмет класса S не обладает свойством P". ("Ни один S не есть P".) Символически: SeP;

I (частноутвердительное суждение): "Некоторые предметы класса S обладают свойством P". ("Некоторые S суть P".) Символически: SiP;

O (частноотрицательное суждение): "Некоторые предметы класса S не обладают свойством P". ("Некоторые S не суть P".) Символически: SoP.

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

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

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

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

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

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

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

BARBARA, CELARENT, DARII, FERIO que prioris;

CESARE, CAMESTRES, FESTINO, BAROCO sedundae;

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)

Теоретико-множественная интерпретация аристотелевой силлогистики[править | править вики-текст]

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

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

Пусть строчные латинские буквы 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:

Литература[править | править вики-текст]

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

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

Ссылки[править | править вики-текст]