Дедукция

Дедукция

(от лат. deductio - выведение) - логический вывод (следование), обеспечивающий истинность заключения на основании истинности посылок и соблюдения правильной формы рассуждения.

Посылками дедукции выступают аксиомы или просто гипотезы, имеющие характер общих утверждений, а заключениями - следствия из посылок (напр., теоремы). Если посылки дедуктивного рассуждения истинны, то истинны и его следствия. Таким образом, дедукция выступает в качестве базового средства доказательства. Науки, содержание которых преимущественно является следствием некоторых общих принципов, постулатов, принято называть дедуктивными, среди них математика, теоретическая механика и др.

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

А. Г. Кислов

Источник: Общие проблемы философии науки: Словарь для аспирантов и соискателей / сост. и общ. ред. Н. В. Бряник ; отв. ред. О. Н. Дьячкова. - Екатеринбург: Изд-во Урал. ун-та, 2007. – С. 31 (318 с.)