Download - ресурсы логической игры_2
Льюис Кэрролл
Ресурсы Логической Игры
© MetaPractice
А. Бояркин
Вид классического силлогизма Все колибри имеют яркое оперение.
Все Х есть M Все имеющие яркое оперение питаются
нектаром
Все M есть Y Вывод: Все колибри питаются нектаром
Все Х есть Y
Виды суждений
которые являются посылками классического силлогизма
Все Х есть M Все М есть Х Некоторые Х есть М Ни один Х не есть М
Формальная запись
Формальная запись КС по ЛК
Формальная запись Суждение вида:
Некоторые Х есть М
В формальной записи выглядит:
XМ1 или МX1
Формальная запись Суждение вида:
Ни один Х не есть М
В формальной записи выглядит:
MX0 или ХM0
Средние термины Даны посылки:
Все Х есть M
Все М есть Y Формальная запись = X1MꞋ0 - М1YꞋ0 Рассмотрим средние термины:
MꞋ0 - МꞋ1они имеют одинаковые знаки (Ꞌ - Ꞌ), и разные сущности (-0 -1)
Эти качества М будут использованы для получения правильного вывода
Средние термины Даны посылки:
Все Х есть M
Некоторые М есть Y Формальная запись = X1MꞋ0 - МY1 Рассмотрим средние термины:
MꞋ0 - М1
они имеют разные (Ꞌ - ), и разные сущности (-0 -1)
Эти качества М будут использованы для получения правильного вывода
3 правила создания правильного вывода
Правило 1: Для средних терминов имеющих разные знаки
Правило 2: Для средних терминов имеющих один знак
Правило 3: Ошибки вывода (исключения)
Правило 1 Когда средние термины разных знаков
(MꞋ0 – M0) (MꞋ0 – M1) (МꞋ1 – M1)
то ХиY, в выводе, сохраняют свои
знаки и сущностьНапример:
X1MꞋ0 – Y1M0 = X1Y1
MꞋ1XꞋ0 – YꞋM0 = XꞋYꞋ0
Когда средние термины одного знака
(MꞋ0 – MꞋ1) (МꞋ1 – MꞋ1)
(M0 – M1) (М1 – M1)
то вывод имеет вид: XY1
Некоторые Х есть Yи ХиY, в выводе, меняют знак на противоположный, кроме
стоящих в посылках XМ1
Например: М1ХꞋ0 – Y1M0 = XYꞋ1MꞋ1XꞋ0 – MꞋ1YꞋ = XY1
Правило 2
Правило 3Вывод НЕВОЗМОЖЕН
Когда средние знаки “нулевые” и одного знака.
M0 – M0 (M’0 – M’0 )
Х1MꞋ0 – YMꞋ0 Когда одна посылка имеет вид XМ1, а средний
термин во второй посылке отличается по знаку.
Х1MꞋ0 – YM1
MꞋ1XꞋ0 – YM1
Пример 1:
Все британцы храбры.Ни один моряк не трусы.
Формальная запись:
Х1MꞋ0 - YMꞋ0
Правило 3
Вывод сделать нельзя
Пример 2:Некоторые свиньи дикие.
Все свиньи жирные.
Формальная запись:
MХ1 - M1YꞋ0
Правило 2
1) Вывод имеет вид YХ1
2) XY1
Вывод: Некоторые дикие животные жирные