Подчинение
Подчинение [1] [2] — это непосредственный вывод , который делается только между категорическими суждениями A (Все S являются P ) и I (Некоторые S являются P ) и между категорическими суждениями E (Ни одно S не является P или изначально, Ни одно S не является P ) и O (Некоторые S не являются P или изначально, Не каждое S является P ) традиционного квадрата оппозиции и исходного квадрата оппозиции. [3] Если суждение A истинно, мы можем немедленно вывести, что I истинно. Если суждение E истинно, мы можем немедленно вывести, что O истинно. И наоборот , если I ложно, мы можем немедленно вывести, что A также ложно, а если O ложно, то E ложно. Однако, если суждение A ложно, это ничего не скажет нам об истинностном значении суждения I. Аналогично, если суждение E ложно, это ничего не скажет нам об истинностном значении суждения O.
Примером подчинения является предложение «Если все леопарды — млекопитающие, то некоторые леопарды — млекопитающие».
Когда вывод применяется неправильно, силлогистическая ошибка называется неправомерным подчинением .
Ссылки
- ^ Херли, Патрик (1991). Краткое введение в логику, 4-е издание . Wadsworth Publishing. стр. 192.
- ^ Копи, Ирвинг М.; Коэн, Карл (2005). Введение в логику . Prentice Hall. стр. 189.
- ^ Парсонс, Теренс (2012). «Традиционный квадрат оппозиции». В Эдварде Н. Залте (ред.). Стэнфордская энциклопедия философии (ред. осень 2012 г.). 3-4.
