Закон противоречия. Объем и содержание понятия. Требования точности и ясности к понятиям. Логические операции с понятиями, страница 13

S

P

A

+

-

E

+

+

I

-

-

O

-

+

1.  Меньшая посылка – утвердительная. Теорема 1.

2.  Средний термин в меньшей посылке имеет знак распределенности -. Пункт 1 и таблица распределенности.

3.  Средний термин в большей посылке имеет знак распределенности +. Пункт 2 и правило терминов 2.

4.  Большая посылка – общая. Пункт 3 и таблица распределенности.

·  Celarent

·  Darii

·  Ferio

Большая посылка общая.

Меньшая посылка утвердительная.

Теорема 1. Правило №2. Меньшая  посылка – утвердительная.

S

P

A

+

-

E

+

+

I

-

-

O

-

+

10.  Меньшая посылка отрицательна. Это предположение.

11.  Вывод отрицательный. Предыдущий пункт и правило посылок 2.

12.  Больший термин P в выводе имеет знак +. Предыдущий пункт и таблица распределенности.

13.  Больший термин в большей посылке имеет знак распределенности +. Пункт 3 и правило 3 терминов. Термин, который распределен в выводе, должен быть распределен в посылке.

14.  Большая посылка утвердительна. Пункт 1 и правило ПКС 1.

15.  Больший термин в большей посылке имеет знак распределенности -.

16.  Пункт 4 и пункт 6 – абсурд.

17.  Пункт 1 – ложь – на основании пункта 7.

18.  Меньшая посылка – утвердительная. Пункт 8 и Закон исключенного третьего.

II фигура

·  Camestres

·  Cesare

·  Baroco

·  Festino

Правило №1 – большая посылка - общая.

Правило №2 – одна из посылок является отрицательной.

S

P

A

+

-

E

+

+

I

-

-

O

-

+

Теорема 1. Одна из посылок является отрицательной.

1.  Средний термин в большей посылке или в меньшей посылке будет иметь знак распределенности +.

2.  Большая посылка или меньшая посылка отрицательная. Пункт 1 и таблица распределенности.

Теорема 2. Большая посылка – общая.

1.  Большая посылка или меньшая посылка отрицательная. Теорема 1.

2.  Вывод отрицательный. Пункт 1 и правило посылок 2.

3.  Больший термин имеет знак распределенности +. Пункт 2 и таблица распределенности.

4.  Больший термин в большей посылке имеет знак распределенности +. Правило терминов 3.

5.  Большая посылка – общая. Пункт 4 и таблица распределенности.

III фигура – только частные выводы.

·  Dorapti

·  Datisi

·  Disamis

·  Bocardo

·  Felapton

·  Ferison

Правило №1. Меньшая посылка утвердительная.

Правило №2. Вывод частный.

S

P

A

+

-

E

+

+

I

-

-

O

-

+

IV фигура

·  Camenes

·  Bramalip

·  Dimaris

·  Fesapo

·  Fresison

09.12.10

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

Апельсин утоляет жажду.

Картошка не является апельсином.

Картошка не утоляет жажду.

S - картошка

P – утоляет жажду

M - апельсин

MaP-

SeM

SeP+

 

4.  Выводы из сложного суждения и формальный способ их проверки.

·  Чистый условный силлогизм – умозаключение, в котором и посылки, и вывод являются условными суждениями.

AB

BC

AC

·  Условный категорический силлогизм – одна из посылок – условное суждение, вторая – простое суждение, вывод обычно – простое суждение.

Modus ponens – утверждающий способ рассуждения.

AB

A

B

Если идет дождь, то улицы мокрые. Дождь идет. Улицы мокрые.