ВУЗ:
Составители:
Рубрика:
48
Не содержит логического следования модус oae первой фигуры ПКС:
Некоторое животное (M) не является бегемотом (P) (o).
Всякий гиппопотам (S) — животное M) (a).
__________________________________________________________________________
Ни один гиппопотам (M) не является бегемотом (P) (e).
Модусы ПКС, в которых отсутствует логическое следование, квалифициру-
ются как неправильные, а те модусы, для которых логическое следование имеет
место, называются правильными. Всего существует 24 правильных модуса.
4.5. Модельные схемы простого категорического силлогизма
Решить вопрос о правильности того или иного модуса ПКС можно семанти-
ческим методом и синтаксическим методом. Семантический метод состоит в
рассмотрении модельных схем, отвечающих истинности как суждений-посылок,
так и заключения. Рассмотрим в качестве примера модус oao третьей фигуры. Се-
мантический анализ показывает, что множество модельных схем данного модуса
по трём
переменным S, P, M состоит из четырёх рядов модельных схем (рис. 12):
I
Большая посылка:
Меньшая посылка:
______________________
II
Большая посылка:
Меньшая посылка:
______________________
III
Большая посылка:
Меньшая посылка:
______________________
IV
Большая посылка:
Меньшая посылка:
_______________________
Рис. 12
U
M
-
P
+
U
S
-
M
+
U
S
-
P
+
U
M
-
P
+
U
S
-
M
+
U
S
-
P
+
U
M
-
P
+
U
S
+
,
M
+
U
S
-
P
+
U
M
-
P
+
U
S
+
, M
+
U
S
-
P
+
Не содержит логического следования модус oae первой фигуры ПКС:
Некоторое животное (M) не является бегемотом (P) (o).
Всякий гиппопотам (S) — животное M) (a).
__________________________________________________________________________
Ни один гиппопотам (M) не является бегемотом (P) (e).
Модусы ПКС, в которых отсутствует логическое следование, квалифициру-
ются как неправильные, а те модусы, для которых логическое следование имеет
место, называются правильными. Всего существует 24 правильных модуса.
4.5. Модельные схемы простого категорического силлогизма
Решить вопрос о правильности того или иного модуса ПКС можно семанти-
ческим методом и синтаксическим методом. Семантический метод состоит в
рассмотрении модельных схем, отвечающих истинности как суждений-посылок,
так и заключения. Рассмотрим в качестве примера модус oao третьей фигуры. Се-
мантический анализ показывает, что множество модельных схем данного модуса
по трём переменным S, P, M состоит из четырёх рядов модельных схем (рис. 12):
U
- -
U SS I II III IV
U -S-S + + + + ++
SM- M
Большая
SM ,- M,посылка:
M
Большая посылка: Большая посылка: Большая посылка:
- --
SM
M PP++P+P+
P+
Меньшая посылка: Меньшая посылка: Меньшая посылка: Меньшая посылка:
______________________ ______________________ ______________________ _______________________
Рис. 12
48
Страницы
- « первая
- ‹ предыдущая
- …
- 46
- 47
- 48
- 49
- 50
- …
- следующая ›
- последняя »
