Непосредственный вывод является выводом , который можно сделать только из одного заявления или предложений . [1] Например, из утверждения «Все жабы зеленые» можно сразу сделать вывод, что «никакие жабы не зеленые». Существует ряд непосредственных выводов, которые можно обоснованно сделать с помощью логических операций, результатом которых является форма, логически эквивалентная данному утверждению. Есть также недействительные немедленные выводы, которые являются силлогистическими заблуждениями .
Действительные немедленные выводы [ править ]
Converse [ править ]
- Учитывая утверждение типа E , из традиционного квадрата оппозиции «Нет S не являются P », можно сделать немедленный вывод, что «Никакие P не являются S », что является обратным данному утверждению.
- Учитывая утверждение типа I , «Некоторые S суть P. », Можно сразу сделать вывод, что «Некоторые P суть S », что является обратным данному утверждению.
Аверс [ править ]
- Учитывая утверждение типа A , «Все 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 », что является противоположностью данного утверждения.
Недействительные немедленные выводы [ править ]
Случаи неправильного применения отношений обратного, субподряда и субальтернации являются силлогистическими заблуждениями, называемыми незаконным противодействием , незаконным субподрядным соглашением и незаконным субальтернацией . Случаи неправильного применения противоречивого соотношения настолько редки, что заблуждение «незаконного противоречия» обычно не распознается.
Незаконное противное [ править ]
- Это неверно , что все являются B , поэтому нет не B .
- Это неверно , что нет не B , поэтому все являются B .
Незаконный субподряд [ править ]
- Некоторые являются B , поэтому неверно , что некоторые не B .
- Некоторые не B , поэтому некоторые являются B .
Незаконная субальтернация (Superalternation) [ править ]
- Некоторые не B , поэтому нет не B .
- Это неверно , что все являются B , поэтому неверно , что некоторые являются B .
См. Также [ править ]
Ссылки [ править ]
- ^ Черчилль, Роберт Пол (1990). Логика: Введение (2-е изд.). Нью-Йорк: Издательство Св. Мартина. п. 162. ISBN. 0-312-02353-7. OCLC 21216829 .
Непосредственный вывод - это допущение без вмешательства - или «опосредствования» - предпосылок, что, поскольку одно категориальное утверждение истинно (или ложно), логически эквивалентное категориальное утверждение также должно быть истинным (или ложным).