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