(от лат. deductio — выведение) —
1) процесс логического вывода, т. е. перехода от посылок к заключениям в соответствии с правилами логики;
2) конкретный вывод;
3) родовое наименование общей теории построения правильных умозаключений;
4) вид умозаключения, в котором осуществляется переход от общего к частному. В последнем значении дедуктивный вывод не м. б. более общим, чем посылки (утверждения), приводящие к нему. Посылками м. б. аксиомы, постулаты, принципы.
Дедуктивный вывод всегда оказывается истинным при: а) истинности посылок, б) правильном употреблении логических законов; но истинность посылок не м. б. доказана с помощью Д.
Дедуктивная логика ведет свое начало от Аристотеля, но особенно интенсивно она стала разрабатываться с XIX в., когда в связи с развитием математической логики начали развиваться учения о доказательстве, о логическом следовании и т. д.,. о непротиворечивости и полноте дедуктивных систем. Взгляды на роль и ценность Д. отличались разнообразием. Декарт считал, что Д. дает знание, полученное путем рассуждения («опосредованное», «опосредствованное»), и противопоставлял ее интуиции, посредством которой разум усматривает истину «непосредственно». Ф. Бэкон, Дж. Ст. Милль, А. Бэн относились к Д. пренебрежительно, считая, что, в противоположность индукции, она вообще не дает нового знания. Этот же факт рационалисты Г. Лейбниц и Х. Вольф интерпретировали в положительном смысле: знания, полученные Д., «истинны во всех возможных мирах». Дедуктивное знание получается без обращения к эмпирическим фактам, непосредственному опыту. Исходя из этого, Кант считал необходимым при построении философии опираться не только на Д., но и на эмпирические факты.
Ограниченность применимости Д. в познании связана г. о. с тем, что Д. предполагает неизменность предмета рассуждения и, следовательно, исключает представление о предмете как развивающемся; дедуктивные системы не могут включать противоречия, и потому все противоречивые отношения действительности в дедуктивном…
читать дальше