Дедукция в философии: значение, правильные выводы и ошибки

Предположим, на занятии по логике преподаватель объявил: «Если документ получил электронную подпись уполномоченного лица, то система пометит его как подписанный». Затем выяснилось, что конкретный документ действительно получил такую подпись. Можно ли заключить, что система пометит его как подписанный? При данных посылках — да. Но из одной только отметки «подписан» ещё нельзя вывести, каким именно способом она появилась. Дедукция позволяет увидеть эту разницу между обоснованным следованием и убедительно звучащей догадкой.

Проблема: когда вывод действительно следует из сказанного?

В разговоре мы нередко называем «логичным выводом» всё, что кажется правдоподобным. Для философии и логики этого недостаточно. Вопрос точнее: возможно ли, чтобы все посылки были истинными, а заключение — ложным? Если при заданном понимании выражений это невозможно, рассуждение дедуктивно правильно (валидно). Если возможно, то заключение не гарантировано посылками, даже если в жизни оно часто оказывается верным.

Дедукция — это тип вывода, претендующего на необходимое следование заключения из посылок. В строгом логическом смысле её успешность связана с валидностью: истинность посылок гарантирует истинность заключения. При этом дедуктивное рассуждение может быть ошибочным; слово «дедуктивный» не означает автоматически «правильный». Различение видов аргументов и способов их оценки подробно разбирается в статье Internet Encyclopedia of Philosophy «Deductive and Inductive Arguments».

Разбор по шагам: от формы к проверке

1. Найдите посылки. «Все участники закрытого семинара получили индивидуальный код». «Мира — участница этого семинара». Здесь обе фразы выступают исходными утверждениями.
2. Запишите заключение. «Мира получила индивидуальный код». Оно необходимо следует из посылок, если выражение «участница семинара» сохраняет один смысл.
3. Проверьте форму. «Все A обладают свойством B; x принадлежит A; следовательно, x обладает свойством B». Нельзя одновременно признать обе посылки истинными, а вывод ложным.
4. Оцените истинность посылок. Форма правильна независимо от того, проводился ли семинар и действительно ли всем выдали коды. Если одна из посылок ложна, фактическая истинность вывода не обеспечена.

Граница понятия. Валидность — характеристика связи посылок и вывода; обоснованность в смысле soundness (корректность аргумента по форме и фактам) требует и валидности, и истинных посылок. Логический тест не подменяет проверку фактических данных.

Два способа смотреть на дедукцию

Формально-логический взгляд

В этом подходе важны правила следования. Для примера возьмём форму «Если P, то Q; P; следовательно, Q». Это modus ponens, классическая правильная схема. Смысл отдельных слов может меняться, а форма гарантирует сохранение истинности. Поэтому дедукция применима в математических доказательствах, формальных теориях и анализе аргументов, где нужно явным образом показать основания заключения.

Ещё одна правильная схема: «Если P, то Q; не Q; следовательно, не P». Её называют modus tollens. Например: «Если устройство работает и подключено к исправному индикатору так, что индикатор обязан гореть, лампа горит. Лампа не горит. Значит, нельзя одновременно утверждать все описанные условия». Вся осторожность здесь — в точности первой посылки: повседневные фразы часто скрывают условия, которых нет в формальной записи.

Эпистемологический взгляд

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

Эти два взгляда не конкурируют как несовместимые теории. Первый изучает необходимое следование, второй спрашивает, как такой вывод участвует в формировании знания. Когда школьник доказывает теорему, он может применять оба уровня одновременно: правила вывода обеспечивают структуру доказательства, а исходные аксиомы и уже установленные результаты задают основания.

Возражение: разве дедукция не даёт нового знания?

Иногда говорят: «Всё уже содержится в посылках, значит, дедукция ничего не открывает». Выражение «содержится» здесь метафорично. Человек может не видеть сложного следствия, пока не выполнит цепочку правильных выводов. Математическое доказательство способно раскрыть результат, который раньше не был очевиден, хотя по правилам он следовал из принятых положений. Поэтому отсутствие логического расширения содержания не тождественно отсутствию познавательной ценности.

Обратная ошибка — считать дедукцией любую уверенную последовательность фраз. Схема «Если P, то Q; Q; значит, P» неверна. Например: «Если идёт дождь, дорожка мокрая. Дорожка мокрая. Следовательно, идёт дождь». Дорожка могла стать мокрой после полива. Здесь ошибка формы известна как утверждение следствия. Несоответствие видно без статистики: можно представить истинные посылки при ложном заключении.

Дедукция, индукция и абдукция

Индуктивное рассуждение от повторяющихся наблюдений обычно поддерживает вероятностное обобщение: если десять осмотренных экземпляров имели свойство, это ещё не логически гарантирует свойство всем экземплярам. Абдукция выдвигает объясняющую гипотезу — например, наиболее подходящую причину следов события. При дедукции же вопрос о правильности заключается не в степени правдоподобия, а в невозможности ложного заключения при истинных посылках. В реальном исследовании разные способы рассуждения часто объединяются.

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

Академические источники

• Internet Encyclopedia of Philosophy: Deductive and Inductive Arguments — критерии разграничения.
• Internet Encyclopedia of Philosophy: Validity and Soundness — различение валидности и истинных посылок.
• Internet Encyclopedia of Philosophy: Argument — устройство аргумента и доказательства.