2. Вид классического силлогизма
Все колибри имеют яркое оперение.
Все Х есть M
Все имеющие яркое оперение питаются
нектаром
Все M есть Y
Вывод: Все колибри питаются нектаром
Все Х есть Y
8. Средние термины
Даны посылки:
Все Х есть M
Все М есть Y
Формальная запись = X1MꞋ0 - М1YꞋ0
Рассмотрим средние термины:
MꞋ0 - МꞋ1
они имеют одинаковые знаки (Ꞌ
- Ꞌ), и разные сущности (-0 -1)
Эти качества М будут использованы для
получения правильного вывода
9. Средние термины
Даны посылки:
Все Х есть M
Некоторые М есть Y
Формальная запись = X1MꞋ0 - МY1
Рассмотрим средние термины:
MꞋ0 - М1
они имеют разные
(Ꞌ - ), и разные сущности (-0 -1)
Эти качества М будут использованы для
получения правильного вывода
10. 3 правила создания правильного
вывода
Правило 1: Для средних терминов
имеющих разные знаки
Правило 2: Для средних терминов
имеющих один знак
Правило 3: Ошибки вывода (исключения)
11. Правило 1
Когда средние термины разных знаков
(MꞋ0 – M0) (MꞋ0 – M1) (МꞋ1 – M1)
то ХиY, в выводе, сохраняют свои
знаки и сущность
Например:
X1MꞋ0 – Y1M0 = X1Y1
MꞋ1XꞋ0 – YꞋM0 = XꞋYꞋ0
12. Правило 2
Когда средние термины одного знака
(MꞋ0 – MꞋ1) (МꞋ1 – MꞋ1)
(M0 – M1) (М1 – M1)
то вывод имеет вид:
XY1
Некоторые Х есть Y
и ХиY, в выводе, меняют знак на противоположный, кроме
стоящих в посылках XМ1
Например:
М1ХꞋ0 – Y1M0 = XYꞋ1
MꞋ1XꞋ0 – MꞋ1YꞋ = XY1
13. Правило 3
Вывод НЕВОЗМОЖЕН
Когда средние знаки “нулевые” и одного знака.
M0 – M0 (M’0 – M’0 )
Х1MꞋ0 – YMꞋ0
Когда одна посылка имеет вид XМ1, а средний термин
во второй посылке отличается по знаку.
Х1MꞋ0 – YM1
MꞋ1XꞋ0 – YM1
14. Пример 1:
Все британцы храбры.
Ни один моряк не трусы.
Формальная запись:
Х1MꞋ0 - YMꞋ0
Правило 3
Вывод сделать нельзя
15. Пример 2:
Некоторые свиньи дикие.
Все свиньи жирные.
Формальная запись:
MХ1 - M1YꞋ0
Правило 2
1) Вывод имеет вид YХ1
2) XY1
Вывод: Некоторые дикие животные
жирные
