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