[userpic]

... ↑

bavi в посте Metapractice (оригинал в ЖЖ)

ПРАВИЛО 2: если средние термины равны (М=М), то вывод: а) частный б) знаки терминов (Х и Y) инвертируются, кроме стоящих в частной посылке.

Вывод частный - это вид: Некоторые Х суть Y

Опять пошаговая стратегия:
1) Создаем формальную запись
2) Смотрим средние термины и посылки (есть нет частная - Некоторые ХМ)
3) Средние равны, то инверитируем по правилам
4) Вывод, как частная посылка - Некоторые ХY

Несколько примеров:
а) Две ОБЩИЕ посылки
M1X'0 + Y1M0 = Y’X1

Вывод - частное суждение - Некоторые Х суть не-Y

б) Общая и частная посылки
M1X'0 + YM1 = YX1

Вывод - частный - Некоторые Х есть Y

в) Общая и отрицательная

M1X'0 + Y0M0 = Y’X1

Вывод - частное суждение - Некоторые Х суть не-Y

г) Отрицательная и частная
MX'1 + Y0M0 = Y’X’1

Вывод - частное суждение - Некоторые не-Х суть не-Y

Итого: Правило 2 четко действует, если мы контролируем:
а) Знаки средних терминов
б) Знаки терминов
в) Инвертирование терминов, кроме термина частного суждения (знак остается такой же)

В итоге получаем ЧАСТНОЕ суждение

28 комментариев

сначала старые сначала новые