Немедленный вывод

— Непосредственный вывод это вывод , который можно сделать только на основе одного утверждения или предложения . ^[1] Например, из утверждения «Все жабы зеленые» можно сделать немедленный вывод, что «ни одна жаба не была бы зеленой» или «Ни одна жаба не была бы незеленой» (аверс). Существует ряд непосредственных выводов , которые можно обоснованно сделать с помощью логических операций, результатом которых является логически эквивалентная форма утверждения данному утверждению. Существуют также неверные непосредственные выводы, которые являются силлогистическими ошибками .

Действительные непосредственные выводы

Конверсы

Учитывая утверждение типа E : «Ни одно S не является P », можно сделать немедленный вывод , что «Ни одно P не является S », что является обратным данному утверждению.
Учитывая утверждение типа I : «Некоторые S суть P », можно сделать немедленный вывод , что «Некоторые P суть S », что является обратным данному утверждению.

Лицевой

Учитывая утверждение типа А : «Все S являются P. », можно сделать немедленный вывод , что «Ни одно S является не P », что является обратной стороной данного утверждения.
Учитывая утверждение типа E : «Ни одно S не является P », можно сделать немедленный вывод , что «Все S являются не P », что является обратной стороной данного утверждения.
Учитывая утверждение типа I : «Некоторые S являются P », можно сделать немедленный вывод , что «Некоторые S не являются не-P », что является обратной стороной данного утверждения.
Учитывая утверждение типа O : «Некоторые S не являются P », можно сделать немедленный вывод , что «Некоторые S не являются P », что является обратной стороной данного утверждения.

Контрапозитивный

Учитывая утверждение типа А : «Все S являются P. », можно сделать немедленный вывод , что «Все не-P являются не-S », что является противоположностью данного утверждения.
Учитывая утверждение типа O : «Некоторые S не являются P », можно сделать немедленный вывод , что «Некоторые не-P не являются не-S », что является противоположностью данного утверждения.

Неверные непосредственные выводы

Случаи неправильного применения отношений противоположности, субпротивоположности и подчинения (они имеют место в традиционном квадрате оппозиции , а не в современном квадрате оппозиции) представляют собой силлогистические ошибки, называемые незаконным противоположностью , незаконным субпротивоположным и незаконным субальтернацией соответственно. Случаи неправильного применения отношения противоречия (это соотношение справедливо как в традиционных, так и в современных квадратах оппозиции) настолько редки, что «незаконное противоречивое» заблуждение обычно не распознается. Ниже приведены примеры таких случаев.

Незаконное противоречие

Неверно, что все являются Б , поэтому ни одно А не является Б. А
Неверно, что ни одно A не B , поэтому все A являются B. является

Незаконное обратное

Некоторые A являются B , поэтому неверно, что некоторые не являются B. A
Некоторые А не являются Б , поэтому А являются Б. некоторые

Незаконное субальтернирование и незаконное суперальтернирование

Некоторые A не являются B , поэтому ни одно не является B. A
Ложно, что все А суть Б ложно и то, что некоторые А суть Б. , следовательно ,

См. также

Ссылки

^ Черчилль, Роберт Пол (1990). Логика: Введение (2-е изд.). Нью-Йорк: Пресса Святого Мартина. п. 162. ИСБН 0-312-02353-7 . OCLC 21216829 . Непосредственный вывод — это предположение без вмешательства или «опосредования» предпосылок о том, что, поскольку одно категорическое утверждение истинно (или ложно), логически эквивалентное категорическое утверждение также должно быть истинным (или ложным).

[1] Черчилль, Роберт Пол (1990). Логика: Введение (2-е изд.). Нью-Йорк: Пресса Святого Мартина. п. 162. ИСБН 0-312-02353-7 . OCLC 21216829 . Непосредственный вывод — это предположение без вмешательства или «опосредования» предпосылок о том, что, поскольку одно категорическое утверждение истинно (или ложно), логически эквивалентное категорическое утверждение также должно быть истинным (или ложным).

[1]