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