ДЕДУКЦИЯ

ДЕДУКЦИЯ (от лат. deductio – выведе­ние) – логический вывод (следование), обес­печивающий истинность заключения на ос­новании истинности посылок и соблюдения правильной формы рассуждения. Посылка­ми дедукции выступают аксиомы или просто гипотезы, имеющие характер общих утверж­дений, а заключениями – следствия из по­сылок (напр., теоремы). Если посылки де­дуктивного рассуждения истинны, то истин­ны и его следствия. Таким образом, дедук­ция выступает в качестве базового средства доказательства. Науки, содержание которых преимущественно является следствием не­которых общих принципов, постулатов, при­нято называть дедуктивными, среди них ма­тематика, теоретическая механика и др.

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

А. Г. Кислое

Июль 16, 2011 | |

COMMENTS

 

Comments are closed.