Исчисление одноместных предикатов как исчисление классов Теория категорических суждений и силлогизмов Аристотеля

Совокупность предметов, на которые одноместный предикат принимает значение «И», называется характеристическим классом.

Используя понятие характеристического класса можно установить соответствие между теорией множеств и исчислением одноместных предикатов. При этом операция конъюнкции двух предикатов будет соответствовать операции пересечения их характеристических классов, дизъюнкция – объединению, отрицание – дополнению и т.д.

Заметим, что множество и класс – не эквивалентные понятия. Для каждого множества можно определить предикат, характеристический класс которого будет совпадать с этим множеством, однако не всякий характеристический класс – множество. Примером класса, не являющего множеством, является класс Рассела (известный также как парадокс брадобрея), определяемый предикатом: .

В логике Аристотеля (384-322 до н.э.) и его последователей вплоть до конца XIXстолетия основная роль приписывалась четырем видам суждений, называемых «категорическими». Категорическими суждениями в логике Аристотеля называли высказывания о двух классах:

1. общеутвердительное высказывание вида: «Все предметы класса Pсуть предметы классаQ» (Обозначение:Aот лат.affirmo – утверждаю);

2. общеутвердительное высказывание вида: «Никакие предметы класса Pне суть предметы классаQ» (Обозначение:Eот лат.nego – отрицаю);

3. частноутвердительное высказывание вида: «Некоторые предметы класса Pсуть предметы классаQ» (Обозначение:I от лат.affirmo – утверждаю);

4. частноотрицательное высказывание вида: «Некоторые предметы класса Pне суть предметы классаQ» (Обозначение:O от лат.nego – отрицаю).

Пользуясь эквивалентными соотношениями логики предикатов, категорические суждения можно формализовать следующим образом.

Законы формальной логики Аристотеля

I. Законы отрицания категорических суждений.

II. Законы обращения категорических суждений (обращением называется перестановка мест классовPиQ).

III. Законы логики.

Категорическим силлогизмомназывается конструкция из трех категорических суждений о трех классах, в которой третье суждение логически следует из двух первых. При этом первое суждение называетсябольшой посылкой, второе –малой, а третье –заключением.

Класс, присутствующий в большой и малой посылах, называется средним. Будем обозначать его буквойP. Класс, присутствующий в большой посылке и заключении, называетсябольшим. Будем обозначать его буквойQ. Класс, присутствующий в малой посылке и заключении, называетсямалым. Будем обозначать его буквойS.

Силлогизм называется правильным, если истинность ссылок всегда вызывает истинность заключения, независимо от содержания высказываний. Не каждые два суждения могут явиться посылками силлогизма и дать в выводе правильное заключение. Для этого надо соблюсти рядправил силлогизма:

Правила терминов:

1. терминов должно быть в силлогизме только три;

2. средний термин должен присутствовать хотя бы в одной из посылок;

3. термин, не распределенный в посылке, не может быть распределен в выводе.

Правила посылок:

1. из двух отрицательных или частных посылок нельзя сделать никакого заключения;

2. если одна из посылок является отрицательным или частным суждением, то и заключение должно быть, соответственно, отрицательным или частным суждением.

Аристотель классифицировал все виды силлогизмов по типам (модусам) и выделил из всех модусов правильные. Все модусы он подразделили на 4 группы (фигуры) по расположению классов. Поскольку категорические суждения бываю четырех типов, каждая группа силлогизмов содержит 64 различных модуса. Для запоминания, какие из них правильные, используют мнемонические имена. Пользуются этими именами следующим образом. Гласные буквы подставляют в заданном этим именем порядке в шаблон группы модусов. Эти буквы означают тип категорического суждения. Каждая из фигур силлогизма имеет свои правила и назначения.

Первая фигура Правильные модусы: Barbara Celarent Darii Ferio	Назначение: подведение частного случая под общее правило. Правила: большая посылка должна быть суждением общим; малая посылка должна быть суждением утвердительным. Первая фигура – единственная фигура силлогизма, которая может иметь в заключении общеутвердительное суждение (А). Только по первой фигуре можно доказать каждое из четырех видов суждений (A, E, I, O).
Вторая фигура Правильные модусы: Cesare Camestres Festino Baroco	Назначение: получение вывода в тех случаях, когда доказывается, что предметы данного класса (S)не могут принадлежать к другому классу(Q)на том основании, что им не присущи признаки предметовQ. Правила: большая посылка должна быть суждением общим; одна из посылок должна быть отрицательной. Во второй фигуре вывод всегда отрицательный, а положительный невозможен. Задача вывода состоит в том, чтобы доказать несовместимость признаков предметов двух классов, несовпадающих объемов понятий, отображающих классы.
Третья фигура Правильные модусы Datisi Ferison Disamis Bocado	Назначение: получение вывода в процессе познания частных фактов, а также – в ходе доказательств ложности каких-либо общих высказываний. Правило: меньшая посылка должна быть утвердительной. Вывод по третьей фигуре всегда получается частным (частноутвердительным или частноотрицательным). Суть вывода заключается в том, что заметив два качества совместно существующих в одном предикате, мы делаем заключение о взаимном соотношении их.
Четвертая фигура Правильные модусы: Fresison Dimatis Calemes	Назначение: средний термин выражает такое отношение между двумя видами, при котором данные виды не совпадаю по своим признакам. Правило: меньшая посылка должна быть утвердительной. По четвертой фигуре нельзя получить общеутвердительного вывода, а только частноутвердительный, частноотрицательный и общеотрицательный.