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