[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 комментариев

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