теория дедукции

Ответ от Денис Соколов[гуру]
Дедукция (лат. deductio — выведение) — метод мышления, при котором частное положение логическим путем выводится из общего, вывод по правилам логики; цепь умозаключений (рассуждений) , звенья которой (высказывания) связаны отношением логического следования.
Началом (посылками) дедукции являются аксиомы, постулаты или просто гипотезы, имеющие характер общих утверждений («общее») , а концом — следствия из посылок, теоремы («частное») . Если посылки дедукции истинны, то истинны и ее следствия. Дедукция — основное средство доказательства. Противоположно индукции.
Автором дедуктивного метода является Ренэ Декарт, читай его книгу:
РЕНЭ ДЕКАРТ, "Рассуждение о методе, чтобы верно направлять свой разум и отыскивать истину в науках"
ДЕДУКТИВНЫЙ МЕТОД - — способ построения научных теории, специфической особенностью к-рого является применение дедуктивной техники вывода (Дедукция) . В философии имелись попытки проведения резкой грани между Д. м. и др. методами (напр. , индуктивным) , истолкования дедуктивного рассуждения как внеопытного и чрезмерного преувеличения роли дедукции в науке. В действительности дедукция и индукция неразрывно связаны между собой, и структура дедуктивного рассуждения обусловлена многовековой практически-познавательной деятельностью человека. Д. м. — один из возможных методов построения научного знания. Он применяется, как правило, после того, как накоплен и теоретически истолкован эмпирический материал для цели систематизации его, более строгого и последовательного выведения всех следствий из него и т. д. При этом получается и новое знание — в виде множества следствий дедуктивной теории и как совокупность возможных интерпретаций дедуктивно построенной теории. Общая схема организации дедуктивных систем (теорий) включает: 1) исходный базис, т. е. совокупность исходных терминов и утверждений; 2) используемые логические средства (правила вывода и определения) ; 3) совокупность утверждений (предложений) , получаемых из (1) путем применения (2). При исследовании таких теорий анализу подвергаются взаимоотношения между отдельными их компонентами, абстрагированными от генезиса и развития знания. Поэтому их целесообразно рассматривать как своеобразные формализованные языки, к-рые можно анализировать либо в синтаксическом (когда изучается соотношение между входящими в язык знаками и выражениями вне учета их внеязыкового значения) , либо в семантическом (когда взаимоотношения знаков и выражений системы рассматривают с т. зр. их значения) аспектах. Дедуктивные системы подразделяются на аксиоматические (Аксиоматический метод) и конструктивные (Конструктивный метод) . Д. м. при использовании его в знании, основанном на опыте и эксперименте, выступает как гипотетико-дедуктивный метод. Анализ дедуктивного способа построения научного знания начался уже в античной философии (Платон, Аристотель, Евклид. стоики) , много места занимал в философии нового времени (Декарт, Паскаль, Спиноза, Лейбниц и др.) , но полно и четко принципы дедуктивной организации знания были сформулированы лишь в конце 19 — начале 20 в. (при этом широко использовался аппарат математической логики) . Вплоть до начала 20 в. Д. м. применялся в осн. в сфере математики и логики. В 20 в. широкое распространение получили попытки дедуктивного (в частности, аксиоматического) построения также мн. нематематических дисциплин — отдельных разделов физики, биологии, лингвистики, социологии и др.
Источник: РЕНЭ ДЕКАРТ, "Рассуждение о методе, чтобы верно направлять свой разум и отыскивать истину в науках"