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
Если идет дождь, то улицы мокрые. Дождь идет. Улицы мокрые.
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.