Дедукция как метод рассуждения¶
Дедукция — метод рассуждения, при котором из общих посылок выводится частное следствие; форма логического вывода, в котором истина выводного суждения (конклюзии) гарантирована истинностью посылок. Дедукция противопоставляется индукции (движение от частного к общему) и аналогии (перенос признака от одного объекта к другому на основании сходства). Термин происходит от латинского deductio — «выведение, умозаключение».
¶Основные характеристики
Дедукция относится к выводным (дедуктивным) рассуждениям, в которых содержание заключения не добавляет ничего нового к посылкам в смысле логической формы — оно лишь эксплицирует то, что уже содержится в посылках. В этом смысле дедукция считается «нисходящим» рассуждением: от общего к частному, от правила к случаю, от причины к следствию.
Ключевое свойство дедуктивного вывода — его аподиктический (необходимый) характер: если посылки истинны и форма вывода правильна, то заключение необходимо истинно. Это отличает дедукцию от индукции, дающей лишь вероятностное, илистина которой зависит от полноты перебора случаев.
¶Структура дедуктивного вывода
Классический пример дедукции — силлогизм Аристотеля:
- Все люди смертны (большая посылка).
- Сократ — человек (меньшая посылка).
- Следовательно, Сократ смертен (заключение).
Здесь общее утверждение («все люди смертны») применяется к частному случаю (Сократ). Вывод считается правильным, если он соответствует правилам логики, а посылки — истинны. Если хотя бы одна посылка ложна, заключение может оказаться ложным, хотя форма вывода останется корректной.
¶Виды дедукции
¶Силлогистика
Силлогистика — система дедуктивных рассуждений, разработанная Аристотелем (IV в. до н. э.) в трактатах «Первая аналитика». Она описывает выводы, включающие три суждения (две посылки и заключение) с тремя терминами: большим, средним и малым. Аристотель выделил три фигуры силлогизма и 15 (в более поздней традиции — 19) валидных модусов.
¶Математическая дедукция
В математике дедукция служит основным методом построения теорий: из аксиом и определений с помощью доказательств выводятся теоремы. Систематическое описание математической дедукции дал Георг Кантор, Давид Гильберт и другие основатели математической логики. Метод математической индукции, несмотря на название, по своей структуре является дедуктивным.
¶Формальная дедукция
В математической логике дедуктивные системы формализуются как исчисления, в которых допустимые выводы определяются синтаксическими правилами. Примеры — исчисление предикатов, интуиционистская логика, модальные логики. Понятие дедуктивной системы связано с работами Готлоба Фреге, Бертрана Рассела, Альфреда Тарского и Курта Гёделя.
¶Дедукция и индукция
Соотношение дедукции и индукции обсуждалось ещё античными философами. Аристотель считал дедукцию основой научного познания, а индукцию — путём получения первоначальных посылок. Фрэнсис Бэкон в «Новом органе» (1620) противопоставил дедуктивной схоластике индуктивный метод как способ получения знаний об опыте. Джон Стюарт Милль разработал систему индуктивных методов (метод согласия, различия, сопутствующих изменений, остатков), противопоставив их дедуктивным умозаключениям.
В современной эпистемологии и философии науки дедукция и индукция рассматриваются как взаимодополняющие: индукция генерирует гипотезы, дедукция выводит из них следствия, проверяемые опытом.
¶Проблема дедукции
Понятие дедукции связано с рядом философских проблем:
- Проблема критерия дедукции («третья индукция» Ганса Рейхенбаха): как обосновать, что дедукция надёжна, не прибегая к дедукции или индукции?
- Проблема демаркации: где проходит граница между дедуктивно обоснованным знанием и верой?
- Парадокс Гёделя (1931): в любой достаточно мощной непротиворечивой формальной системе существуют истинные, но недоказуемые в этой системе суждения, что ограничивает возможности дедуктивного метода.
¶Применение
Дедукция применяется в математике, логике, юриспруденции (квалификация деяния по закону), программировании (логическое программирование, доказательство корректности программ), искусственном интеллекте (экспертные системы, автоматическое доказательство теорем), а также в повседневном рассуждении. В криминалистике дедуктивный метод (метод исключения) традиционно связывают с именем Шерлока Холмса, хотя сам Артур Конан Дойл использовал термин «дедукция» в расширенном, неточном смысле.
¶Исторический очерк
Истоки дедуктивного метода лежат в античной логике. Аристотель сформулировал законы мышления (закон тождества, закон противоречия, закон исключённого третьего) и построил силлогистику. Стоики (Хрисипп) разработали пропозициональную логику, описавшие дедуктивные схемы с союзами «если… то», «или», «и». В эпоху Средневековья дедуктивная традиция развивалась в трудах Пьера Абеляра, Роджера Бэкона, Уильяма Оккама. Новое время принесло формализацию логики: Готфрид Лейбниц мечтал о «калькуле рассуждений», а в XIX–XX веках работы Фреге, Пеано, Рассела, Гёделя и Гильберта превратили дедукцию в строгий формальный аппарат, ставший основой математической логики и теоретического программирования.