Дедукция
Дедукция (от лат. deductio – выведение) – метод рационального познания, состоящий в извлечении логических следствий из совокупности исходных утверждений (посылок).
В процессе дедукции используются лишь логически строгие, корректные способы рассуждений – так называемые дедуктивные рассуждения, логическая форма которых гарантирует получение истинных следствий из истинных посылок.
Характерная особенность дедуктивного метода состоит в том, что информация, которой обладает выводное суждение, составляет часть совокупной информации исходных утверждений. Такое понимание сути дедукции представляет собой существенное уточнение и современную экспликацию ее традиционной трактовки как перехода от общего к частному.
То обстоятельство, что в процессе дедукции не происходит приращение информации и отсутствует возможность достижения принципиально нового знания, ранее не содержавшегося в посылках (именно это свойство дедукции послужило главной мишенью критики ее основателями индуктивной логики – Ф.Бэконом, Дж.Ст.Миллем и др.), вовсе не снижает познавательной значимости дедуктивных процедур. Обеспечивая сохранение истинности в ходе вывода, они не только гарантируют надлежащую строгость рассуждений и способствуют решению главной познавательной задачи – получению адекватных знаний о мире. Использование дедуктивных средств позволяет вычленять имплицитно содержащееся в посылках знание, явным образом выражать его, что является особенно сложной задачей, когда исследователь имеет дело с большими массивами информации.
Разработка аппарата дедукции является главной задачей логики как науки с момента ее возникновения. Уже Аристотелем, стоиками, в средневековой и традиционной логике были выделены многие важные типы дедуктивных способов рассуждений (силлогизмы, условно-категорические, разделительно-категорические, лемматические умозаключения и др.). Однако эти разработки носили несистематический характер, описывалась лишь небольшая часть дедуктивных процедур, отсутствовали точные критерии их логической корректности. В символической логике исследование дедуктивных методов было поднято на качественно иной, подлинно теоретический уровень. Средствами современных логических исчислений удается обосновать всю совокупность форм правильных способов рассуждения в рамках определенного формализованного языка. Критерием логической корректности получения следствия В из исходного множества утверждений Г выступает здесь существование логического вывода В из Г, осуществляемого в соответствии со строгими правилами данного исчисления. Многие логические системы допускают собственные расширения за счет присоединения постулатов нелогического характера, что позволяет формулировать конкретные, прикладные теории на основе точно заданного аппарата дедукции.
Рекомендуемая литература
Бочаров В. А., Маркин В. И. Основы логики, М., 1994
Выходные данные:
- Просмотров: 1487
- Комментариев: 0
- Опубликовано: 11.10.2010
- Версий: 5 , текущая: 5
- Статус: экспертная
- Рейтинг: 100.0
Автор:
Маркин Владимир Ильич
- профессор; доктор философских наук
Ссылки отсюда
Персоны:
Аристотель; Бочаров Вячеслав Александрович; Бэкон Фрэнсис; Маркин Владимир Ильич; Милль Джон Стюарт;
Произведения:Категории:Детализирующие понятия:Ссылки сюда
Категории:
Землеустройство; История философии; Криминалистика; Криминология; Логика; Теория государства и права; Теория культуры; Экономика народонаселения; Экономическая теория;
Детализирующие понятия:Индукция; Логическое исчисление; Умозаключение; Философия Возрождения и Нового Времени; Формализованный язык; Элементарная геометрия.