ДЕДУКЦИЯ

Большая советская энциклопедия (БЭС)

(от лат. deductio — выведение)
        переход от общего к частному; в более специальном смысле термин «Д.» обозначает процесс логического вывода, т. е. перехода по тем или иным правилам логики (См. Логика) от некоторых данных предложений — посылок к их следствиям (заключениям), причём в некотором смысле следствия всегда можно характеризовать как «частные случаи» («примеры») общих посылок. Термин «Д.» употребляется и для обозначения конкретных выводов следствий из посылок (т. е. как синоним термина «вывод» в одном из его значений), и — чаще — как родовое наименование общей теории построений правильных выводов (умозаключений (См. Умозаключение)). В соответствии с этим последним словоупотреблением, науки, предложения которых получаются (хотя бы преимущественно) как следствия некоторых общих «базисных законов» (принципов, постулатов, аксиом и т.п.), принято называть дедуктивными (математика, теоретическая механика, некоторые разделы физики и др.), а Аксиоматический метод, посредством которого производятся выводы этих частных предложений, часто называют аксиоматико-дедуктивным.
         Изучение Д. составляет главную задачу логики; иногда логику — во всяком случае логику формальную — даже определяют как «теорию Д.», хотя логика далеко не единственная наука, изучающая методы Д.: Психология изучает реализацию Д. в процессе реального индивидуального мышления и его формирования, а гносеология (Теория познания) — как один из основных (наряду с другими, в частности различными формами индукции (См. Индукция)) методов научного познания мира.
         Хотя сам термин «Д.» впервые употреблён, по-видимому, Боэцием (См. Боэций), понятие Д. — как Доказательство какого-либо предложения посредством Силлогизма — фигурирует уже у Аристотеля (См. Аристотель) («Первая Аналитика»). В философии и логике средних веков и нового времени имели место значительные расхождения во взглядах на роль Д. в ряду др. методов познания. Так, Р. Декарт противопоставлял Д. интуиции (См. Интуиция), посредством которой, по его мнению, человеческий разум «непосредственно усматривает» истину, в то время как Д. доставляет разуму лишь «опосредованное» (полученное путём рассуждения) знание. (Провозглашённый Декартом примат интуиции над Д. возродился гораздо позже и в значительно изменённых и развитых формах в концепциях так называемого интуиционизма.) Ф. Бэкон, а позднее др. английские логики-«индуктивисты»(У. Уэвелл, Дж. С. Милль, А. Бэн и др.), справедливо отмечая, что в заключении, полученном посредством Д., не содержится (если выражаться на современном языке) никакой «информации», которая не содержалась бы (пусть неявно) в посылках, считали на этом основании Д. «второстепенным» методом, в то время как подлинное знание, по их мнению, даёт только индукция. Наконец, представители направления, идущего в первую очередь от немецкой философии (X. Вольф, Г. В. Лейбниц), также, исходя по сути дела из того, что Д. не даёт «новых» фактов, именно на этом основании приходили к прямо противоположному выводу: полученные путём Д. знания являются «истинными во всех возможных мирах» (или, как говорил позже И. Кант, «аналитически истинными»), чем и определяется их «непреходящая» ценность [в отличие от полученных индуктивным обобщением данных наблюдения и опыта «фактических» («синтетических») истин, верных, так сказать, «лишь в силу стечения обстоятельств»].
         С современной точки зрения вопрос о взаимных «преимуществах» Д. или индукции в значительной мере утратил смысл. Уже Ф. Энгельс писал, что «индукция и дедукция связаны между собой столь же необходимым образом, как синтез и анализ. Вместо того чтобы односторонне превозносить одну из них до небес за счет другой, надо стараться применять каждую из них на своем месте, а этого можно добиться лишь в том случае, если не упускать из виду их связь между собой, их взаимное дополнение друг друга» («Диалектика природы», 1969, с. 195 — 196). Однако и независимо от отмечаемой здесь диалектической взаимосвязи Д. и индукции и их применений изучение принципов Д. имеет громадное самостоятельное значение. Именно исследование этих принципов как таковых и составило по существу основное содержание всей формальной логики — от Аристотеля до наших дней. Более того, в настоящее время всё активнее ведутся работы по созданию различных систем «индуктивной логики», причём (такова диалектика этих на первый взгляд полярных понятий) своего рода идеалом здесь представляется создание «дедуктивноподобных» систем, т. е. совокупностей таких правил, следуя которым можно было бы получать заключения, имеющие если не 100%-ную достоверность (как знания, полученные путём Д.), то хотя бы достаточно большую «степень правдоподобия», или «вероятность» (см. Вероятностная логика).
         Что же касается формальной логики в более узком смысле этого термина, то как к самой по себе системе логических правил, так и к любым их применениям в любой области в полной мере относится положение о том, что всё, что заключено в любой полученной посредством дедуктивного умозаключения «аналитической (или «логической») истине», содержится уже в посылках, из которых она выведена: каждое применение правила в том и состоит, что общее положение относится (применяется, прилагается) к некоторой конкретной («частной») ситуации. Некоторые правила логического вывода подпадают под такую характеристику и совсем явным образом; например, различные модификации так называемого правила подстановки гласят, что свойство доказуемости (или выводимости из данной системы посылок) сохраняется при любой замене элементов произвольной формулы данной формальной теории «конкретными» выражениями «того же вида». То же относится к распространённому способу задания аксиоматических систем посредством так называемых схем аксиом, т. е. выражений, обращающихся в «конкретные» аксиомы после подстановки вместо входящих в них «родовых» обозначений конкретных формул данной теории.
         Но какой бы конкретный вид ни имело данное правило, любое его применение всегда носит характер Д. «Непреложность», обязательность, «формальность» правил логики, не ведающая никаких исключений, таит в себе богатейшие возможности автоматизации самого процесса логического вывода с использованием ЭВМ (см. Алгоритм, Кибернетика).
         Под Д. часто понимают и сам процесс логического следования. Это обусловливает тесную связь (а иногда даже отождествление) понятия Д. с понятиями вывода и следствия, находящую своё отражение и в логической терминологии; так, «теоремой о Д.» принято называть одно из важных соотношений между логической связкой импликации (формализующей словесный оборот «Если..., то... ») и отношением логического следования (выводимости): если из посылки А выводится следствие В, то импликация А В («Если А..., то В...») доказуема (т. е. выводима уже без всяких посылок, из одних только аксиом). (Теорема о Д., справедливая при некоторых достаточно общих условиях для всех «полноценных» логических систем, в некоторых случаях просто постулируется для них в качестве исходного правила.) Аналогичный характер носят и другие связанные с понятием Д. логические термины; так, дедуктивно эквивалентными называются предложения, выводимые друг из друга; дедуктивная полнота системы (относительно какого-либо свойства) состоит в том, что все выражения данной системы, обладающие этим свойством (например, истинностью при некоторой интерпретации (См. Интерпретация)), доказуемы в ней.
         Свойства Д. — это по сути дела свойства отношения выводимости. Поэтому и раскрывались они преимущественно в ходе построения конкретных логических (и логико-математических) формальных систем (исчислений (См. Исчисление)) и общей теории таких систем (так называемой теории доказательства). Большой вклад в это изучение внесли: создатель формальной логики Аристотель и др. античные учёные; выдвинувший идею формального логического исчисления (и справедливо считающийся провозвестником математической логики) Г. В. Лейбниц; создатели первых алгебрологических систем Дж. Буль, У. Джевонс, П. С. Порецкий, Ч. Пирс; создатели первых логико-математических аксиоматических систем Дж. Пеано, Г. Фреге, Б. Рассел; наконец, идущая от Д. Гильберта школа современных исследователей (К. Гёдель, А. Чёрч, Ж. Эрбран и др.), включая создателей теории Д. в виде так называемых исчислений естественного вывода (или «натуральной Д.») немецкого логика Г. Генцена, польского логика С. Яськовского и нидерландского логика Э. Бета. Теория Д. активно разрабатывается и в настоящее время, в том числе и в СССР (П. С. Новиков, А. А. Марков, Н. А. Шанин, А. С. Есенин-Вольпин и др.).
         Лит.: Аристотель, Аналитики первая и вторая, пер. с греч., М., 1952; Декарт P., Правила для руководства ума, пер. с. лат., М. — Л., 1936; его же, Рассуждение о методе, М., 1953; Лейбниц Г. В., Новые опыты о человеческом разуме М. — Л., 1936; Тарский А., Введение в логику и методологию дедуктивных наук, пер. с англ., М., 1948; Асмус В. Ф., Учение логики о доказательстве и опровержении, М., 1954.
         Ю. А. Гастев.

Современная Энциклопедия

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

Орфографический словарь Лопатина

дед`укция, дед`укция, -и

Словарь Ожегова

ДЕД’УКЦИЯ, -и, жен. Способ рассуждения от общих положений к частным выводам; противоп. индукция.
прил. дедуктивный, -ая, -ое.

Словарь Ушакова

ДЕД’УКЦИЯ, дедукции, мн. нет, ·жен. (·лат. deductio - выведение) (научн.). Метод мышления, при котором новое положение выводится чисто логическим путем из предшествующих; ант. индукция.

Толковый словарь Ефремовой

[дедукция]
ж.
Логическое умозаключение, переход от общих положений, законов и т.п. к частному, конкретному выводу (противоп.: индукция) (в философии).

Большой психологический словарь

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

Краткий психологический словарь

(от лат. deductio — выведение) — движение знания от более общего к менее общему, частному, выведение следствия из посылок. Д. тесно связана с индукцией. Логика рассматривает Д. как вид умозаключения. Психология изучает развитие и нарушение дедуктивных рассуждений. Движение знания от более общего к менее общему анализируется в его обусловленности всеми психическими процессами, строением мыслительной деятельности в целом.

Психологический словарь (И.М.Кондаков)

Этимология.
Происходит от лат. deductio - выведение.
Категория.
Познавательный процесс.
Специфика.
Процесс логического вывода на основании перехода от общих положений к частным.

Словарь практического психолога

— движение знания от более общего к менее общему, частному; выведение следствия из посылок. Тесно связана с индукцией. Логика рассматривает дедукцию как вид умозаключения. Психология изучает развитие и нарушение дедуктивных рассуждений. Движение знания от более к менее общему анализируется в его обусловленности всеми психическими процессами, строением мыслительной деятельности в целом.
Пример эмпирических исследований дедуктивных рассуждений — анализ доверия к посылкам и выводам из них.

Социологический Энциклопедичечкий Словарь

ДЕДУКЦИЯ (от лат. deductio - выведение) - англ. deduction; нем. Deduktion. 1. Одна из форм умозаключения от общего к частному и единичному, характеризующаяся тем, что новое знание о к.-л. предмете или группе однородных предметов выводится на основании знания класса, к к-рому при - надлежат исследуемые предметы, и общего правила, действующего в пределах данного класса предметов. 2. В противоположность индукции получение по определенным логическим правилам из данных суждений (посылок) новых суждений (выводов или следствий). см. МЕТОД АКСИОМАТИЧЕСКИЙ.

Философский словарь

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

Философский энциклопедический словарь

ДЕДУКЦИЯ (от лат. deductio – выведение) – выведение частного из общего; путь мышления, который ведет от общего к частному, от общего положения к особенному. Общей формой дедукции является при этом силлогизм (см. УМОЗАКЛЮЧЕНИЕ), посылки которого образует указанное общее положение, а выводы – соответствующее частное суждение. Дедукция, или дедуктивный метод, применяется только в естественных науках, особенно в математике. Так, напр., из аксиомы Гильберта («две отличные друг от друга точки А к В всегда определяют прямую а») дедуктивным путем можно сделать вывод, что кратчайшей линией между двумя точками является соединяющая эти две точки прямая. Противоположностью дедукции является индукция (см. также ДОКАЗАТЕЛЬСТВО). Трансцендентальной дедукцией Кант называет объяснение того, каким образом априорные понятия могут относиться к предметам, т.е. каким образом допонятийное восприятие может оформиться в понятийный опыт (познание). Трансцендентальная дедукция отличается от эмпирической, которая указывает лишь на способ образования понятия благодаря опыту и рефлексии.

Философский энциклопедический словарь 2

        (от лат. deductio — выведение), переход от общего к частному; в более спец. смысле термин «Д.» обозначает процесс логич. вывода, т. е. перехода по тем или иным правилам логики от некоторых данных предложений-посылок к их следствиям (заключениям). Термин «Д.» употребляется и для обозначения конкретных выводов следствий из посылок (т.е. как синоним термина «вывод» в одном из его значений), и как родовое наименование общей теории построений правильных выводов (умозаключении). Науки, предложения которых преим., получаются как следствия некрых общих принципов, постулатов, аксиом, принято наз. дедуктивными (математика, теоретич. механика, некрые разделы физики и др.), а аксиоматический метод, посредством которого производятся выводы этих частных предложений, часто наз. аксиоматико-дедуктивным.
        Изучение Д. составляет гл. задачу логики; иногда формальную логику даже определяют как теорию Д., хотя логика далеко не единств, наука, изучающая методы Д.: психология изучает реализацию Д. в процессе реального индивидуального мышления, а теория познания — как один из осн. (наряду с другими, в частности различными формами индукции) методов науч. познания.
        Хотя термин «Д.» впервые употреблён, но-видимому, Боэцием, понятие Д.— как доказательство к.-л. предложения посредством силлогизма — фигурирует уже у Аристотеля («Первая Аналитика»). В философии и логике ср. веков и нового времени существовали различные взгляды на роль Д. в ряду др. методов познания. Так, Декарт противопоставлял Д. интуиции, посредством крой, но его мнению, человеч. разум «непосредственно усматривает» истину, в то время как Д. доставляет разуму лишь «опосредованное» (полученное путём рассуждения) знание. Ф. Бэкон, а позднее и др. англ. логики-«индуктивисты» (У. Уэвелл, Дж. С. Милль, А. Бэн и др.) считали Д. «второстепенным» методом, в то время как подлинное знание, по их мнению, даёт только индукция. Лейбниц и Вольф, исходя из того, что Д. не даёт «новых фактов», именно на этом основании приходили к прямо противоположному выводу: полученные путём Д. знания являются «истинными во всех возможных мирах».
        Диалектич. взаимосвязь Д. и индукции была раскрыта Ф. Энгельсом, который писал, что «индукция и дедукция связаны между собой столь же необходимым образом, как синтез и анализ. Вместо того чтобы односторонне превозносить одну из них до небес за счет другой, надо стараться применять каждую из них на своем месте, а этого можно добиться лишь в том случае, если не упускать иа «иду их связь между собой, их взаимное дополнение друг друга» (Маркс К. и Энгельс Ф., Соч., т. 20, с. 542—43).
        В формальной логике к системе логич. правил и к их применениям в любой области относится след, положение: всё, что заключено в любой полученной посредством дедуктивного умозаключения логич. истине, содержится уже в посылках, из которых она выведена. Каждое применение правила состоит в том, что общее положение относится (применяется) к некоторой конкретной (частной) ситуации. Некоторые правила логич. вывода подпадают под такую характеристику и совсем явным образом. Так, напр., различные модификации т. н. правила подстановки гласят, что свойство доказуемости (или выводимости из данной системы посылок) сохраняется при любой замене элементов произвольной формулы данной формальной теории конкретными выражениями того же вида. То же относится к распространённому способу задания аксиоматич. систем посредством т. н. схем аксиом, т, е. выражений, обращающихся в конкретные аксиомы после подстановки вместо входящих в них общих обозначений конкретных формул данной теории.
        Под Д. часто понимают и сам процесс логич. следования. Это обусловливает тесную связь понятия Д. с понятиями вывода и следствия, находящую своё отражение и в логич. терминологии. Так, «теоремой о Д.» принято называть одно из важных соотношений между логич. связкой импликации (формализующей словесный оборот «если..., то...») и отношением логич. следования (выводимости): если из посылки А выводится следствие В, то импликация А В («если А..., то В...) доказуема (т. е. выводима уж« без всяких посылок, из одних только аксиом). Аналогичный характер носят и др. связанные с понятием Д. логич. термины. Так, дедуктивно эквивалентными наз. предложения, выводимые друг из друга; дедуктивная полпота системы (относительно к.-л. свойства) состоит в том, что все выражения данной системы, обладающие этим свойством (напр., истинностью при некоторой интерпретации), доказуемы в ней.
        Свойства Д. раскрывались преим. в ходе построения конкретных логич. формальных систем (исчислений) и общей теории таких систем (т. н. теории доказательства).
        см. Логика.
        Энгельс Ф., Диалектика природы, Маркс К. и Э н-г е л ь сф., Соч., т. 20; Ленин В. И., Филос. тетради, ПСС, т. 29; Т a p с к и й А., Введение в логику и методологию дедуктивных наук, пер. с англ., М., 1948; Асмус В. Ф., Учение логики о доказательстве и опровержении, М., 1954.

Экономический словарь краткий

логическое умозаключение от общих суждений к частным.

Если вы желаете блеснуть знаниями в беседе или привести аргумент в споре, то можете использовать ссылку:

будет выглядеть так: ДЕДУКЦИЯ

будет выглядеть так: Что такое ДЕДУКЦИЯ