Ошибка подтверждения следствия: почему вывод не работает

Ошибка подтверждения следствия — формальная ошибка дедуктивного рассуждения: из условия «если A, то B» и установленного B ошибочно делают вывод, что A обязательно истинно. В учебниках логики этот ход также называют утверждением следствия (англ. affirming the consequent). Ошибка состоит в том, что одно возможное основание события принимают за единственно возможное.

Три шага ошибочного вывода

1. Условие: «Если идёт дождь, асфальт мокрый». В обозначениях: A → B.
2. Наблюдение: «Асфальт мокрый». То есть B.
3. Неверное заключение: «Следовательно, идёт дождь». То есть A.

Посылки могут оказаться истинными, а заключение — ложным. Например, на улице сухая погода, но асфальт только что помыла коммунальная машина. Тогда A ложно, B истинно, а условное высказывание «если A, то B» остаётся истинным: оно не обещало, что мокрый асфальт бывает только после дождя. Это конкретный контрпример, поэтому дедуктивная форма A → B; B; значит, A невалидна.

Где граница ошибки

Например, врач может рассматривать симптом как повод проверить конкретную гипотезу. Но наличие симптома не доказывает один диагноз, если симптом встречается при разных состояниях. В этом различие между вероятностным поиском объяснения и строгим дедуктивным следованием.

Чем отличается правильный вывод

Сравним ошибку с modus ponens — корректной схемой. «Если A, то B; A; следовательно, B». Здесь истинность двух посылок гарантирует заключение. В ошибочной схеме вторая посылка сообщает B, а не A; причинное направление незаконно переворачивают.

Существует и другая допустимая дедуктивная схема — modus tollens: «Если A, то B; не B; следовательно, не A». Она также не превращается в подтверждение следствия, поскольку использует отрицание B для исключения A.

Отдельно проверяйте скрытую подмену условия. Фраза «Если ученик готовился, он получил высокий балл» не означает «Высокий балл бывает лишь у тех, кто готовился». Итоговый балл может зависеть также от предыдущих знаний и сложности задания. Без посылки, исключающей другие пути к B, обратный переход остаётся необоснованным, даже когда исходная условная связь полностью верна.

Как быстро распознать такую ошибку

Спросите: «Может ли наблюдаться B без A?» Если да, а довод претендует на строгую логическую необходимость, перед вами подтверждение следствия. Если же утверждается более сильная исходная связь «A тогда и только тогда, когда B», вывод от B к A уже корректен — но двустороннюю связь нужно обосновать отдельно.

Итог: подтверждение следствия — не просто неудачная догадка, а конкретная неправильная форма дедукции. Один успешный прогноз ещё не доказывает единственность гипотезы, из которой он получен.

Источники

• Internet Encyclopedia of Philosophy — Fallacies, подраздел Affirming the Consequent.
• Stanford Encyclopedia of Philosophy — Fallacies, обсуждение ошибки следствия.