Зарегистрироваться

Дедукция

Категории Логика | Под редакцией сообщества: Философия

Дедукция (от лат. deductio – выведение) – метод рационального познания, состоящий в извлечении логических следствий из совокупности исходных утверждений (посылок).

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

Характерная особенность дедуктивного метода состоит в том, что информация, которой обладает выводное суждение, составляет часть совокупной информации исходных утверждений. Такое понимание сути дедукции представляет собой существенное уточнение и современную экспликацию ее традиционной трактовки как перехода от общего к частному.

То обстоятельство, что в процессе дедукции не происходит приращение информации и отсутствует возможность достижения принципиально нового знания, ранее не содержавшегося в посылках (именно это свойство дедукции послужило главной мишенью критики ее основателями индуктивной логикиФ.Бэконом, Дж.Ст.Миллем и др.), вовсе не снижает познавательной значимости дедуктивных процедур. Обеспечивая сохранение истинности в ходе вывода, они не только гарантируют надлежащую строгость рассуждений и способствуют решению главной познавательной задачи – получению адекватных знаний о мире. Использование дедуктивных средств позволяет вычленять имплицитно содержащееся в посылках знание, явным образом выражать его, что является особенно сложной задачей, когда исследователь имеет дело с большими массивами информации.

Разработка аппарата дедукции является главной задачей логики как науки с момента ее возникновения. Уже Аристотелем, стоиками, в средневековой и традиционной логике были выделены многие важные типы дедуктивных способов рассуждений (силлогизмы, условно-категорические, разделительно-категорические, лемматические умозаключения и др.). Однако эти разработки носили несистематический характер, описывалась лишь небольшая часть дедуктивных процедур, отсутствовали точные критерии их логической корректности. В символической логике исследование дедуктивных методов было поднято на качественно иной, подлинно теоретический уровень. Средствами современных логических исчислений удается обосновать всю совокупность форм правильных способов рассуждения в рамках определенного формализованного языка. Критерием логической корректности получения следствия В из исходного множества утверждений Г выступает здесь существование логического вывода В из Г, осуществляемого в соответствии со строгими правилами данного исчисления. Многие логические системы допускают собственные расширения за счет присоединения постулатов нелогического характера, что позволяет формулировать конкретные, прикладные теории на основе точно заданного аппарата дедукции.

Рекомендуемая литература

Бочаров В. А., Маркин В. И. Основы логики, М., 1994

Эта статья еще не написана, но вы можете сделать это.