Льюис Кэрролл

Ресурсы Логической Игры

© 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

Вывод: Некоторые дикие животные жирные