(лат. deductio - выведение) - в широком смысле слова способ рассуждения, при котором осуществляется переход от знания общего к знанию частному или единичному. В этом смысле Д. противопоставляется индукции как переходу от единичного и частного к общему. В современной логике и методологии науки с понятом Д. связывается более узкое содержание - под Д. понимается процесс вывода, представляющий собой переход от посылок к заключениям на основе применения правил, гарантирующих истинность последних при истинности первых. Как метод научного познания Д. (в узком смысле) широко применяется для построения научных теорий. Науки, где этот метод является господствующим, называются дедуктивными. К ним относятся прежде всего математика и логика. Процессы Д. изучаются теорией познания, психологией и логикой. Теория познания рассматривает дедуктивные процессы в связи с развитием знаний, выявляет их место в системе методов научного познания, исследует их гносеологические корни. Психология изучает формирование и протекание дедуктивных процессов в мышлении индивида. Предметом логики выступают законы и правила Д., соотношения между ними, возможные системы этих законов и правил. Раскрываемый в логике формальный характер дедуктивных процессов дает возможность автоматизировать их с применением компьютерной техники. В.Ф. Верное