Логика и теория аргументации. Скачков А.С. - 48 стр.

UptoLike

Составители: 

Рубрика: 

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