Философская энциклопедия

ДЕДУКЦИЯ

ДЕДУКЦИЯ
(от лат. deductio — выведение) — переход от посылок к заключению, опирающийся на логический закон, в силу чего заключение с логической необходимостью следует из принятых посылок. Характерная особенность Д. заключается в том, что от истинных посылок она всегда ведет только к истинному заключению.
Д. как умозаключению, опирающемуся на логический закон и с необходимостью дающему истинное заключение из истинных посылок, противопоставляется индукция — умозаключение, не опирающееся на закон логики и ведущее от истинных посылок к вероятному, или проблематичному, заключению.
Дедуктивными являются, напр., умозаключения:
Если лед нагревается, он тает.
Лед нагревается.
Лед тает.
Черта, отделяющая посылки от заключения, стоит вместо слова «следовательно».
Примерами индукции могут служить рассуждения:
Бразилия — республика; Аргентина — республика.
Бразилия и Аргентина — южноамериканские государства.
Все южноамериканские государства являются республиками.
Италия — республика; Португалия — республика; Финляндия — республика; Франция — республика.
Италия, Португалия, Финляндия, Франция — западноевропейские страны.
Все западноевропейские страны являются республиками.
Индуктивное умозаключение опирается на некоторые фактические или психологические основания. В таком умозаключении заключение может содержать информацию, отсутствующую в посылках.Достоверность посылок не означает поэтому достоверности выведенного из них индуктивного утверждения. Заключение индукции проблематично и нуждается в дальнейшем исследовании. Так, посылки и первого, и второго приведенных индуктивных умозаключений истинны, но заключение первого из них истинно, а второго — ложно. Действительно, все южноамериканские государства — республики; но среди западноевропейских стран имеются не только республики, но и монархии.
Особенно характерными Д. являются логические переходы от общего знания к частному типа:
Все люди смертны.
Все греки — люди.
Все греки смертны.
Во всех случаях, когда требуется рассмотреть какое-то явление на основании уже известного общего правила и вывести в отношении этого явления необходимое заключение, мы умозаключаем в форме Д. Рассуждения, ведущие от знания о части предметов (частного знания) к знанию обо всех предметах определенного класса (общему знанию), — это типичные индукции. Всегда остается вероятность того, что обобщение окажется поспешным и необоснованным («Сократ — умелый спорщик; Платон — умелый спорщик; значит, каждый человек — умелый спорщик»).
Нельзя вместе с тем отождествлять Д. с переходом от общего к частному, а индукцию — с переходом от частного к общему. В рассуждении «Шекспир писал сонеты; следовательно, неверно, что Шекспир не писал сонетов» есть Д., но нет перехода от общего к частному. Рассуждение «Если алюминий пластичен или глина пластична, то алюминий пластичен» является, как принято думать, индуктивным, но в нем нет перехода от частного к общему. Д. — это выведение заключений, столь же достоверных, как и принятые посылки, индукция — выведение вероятных (правдоподобных) заключений. К индуктивным умозаключениям относятся как переходы от частного к общему, так и аналогия, каноны индукции, целевое обоснование и т.д.
Дедуктивные умозаключения позволяют из уже имеющегося знания получать новые истины, и притом с помощью чистого рассуждения, без обращения к опыту, интуиции, здравому смыслу и т.п. Д. дает стопроцентную гарантию успеха. Отправляясь от истинных посылок и рассуждая дедуктивно, мы обязательно во всех случаях получим достоверное знание.
Не следует, однако, отрывать Д. от индукции и недооценивать последнюю. Почти все общие положения, включая и научные законы, являются результатами индуктивного обобщения. В этом смысле индукция — основа нашего знания. Сама по себе она не гарантирует его истинности и обоснованности, но она порождает предположения, связывает их с опытом и тем самым сообщает им определенное правдоподобие, более или менее высокую степень вероятности. Опыт — источник и фундамент человеческого знания. Индукция, отправляющаяся от того, что постигается в опыте, является необходимым средством его обобщения и систематизации.
В обычных рассуждениях Д. только в редких случаях предстает в полной и развернутой форме. Чаще всего указываются не все используемые посылки, а лишь некоторые. Общие утверждения, которые кажутся хорошо известными, опускаются. Не всегда явно формулируются и заключения, вытекающие из принятых посылок. Сама логическая связь, существующая между исходными и выводимыми утверждениями, лишь иногда отмечается словами, подобными «следовательно» и «значит». Нередко Д. является настолько сокращенной, что о ней можно только догадываться. Проводить дедуктивное рассуждение, ничего не опуская и не сокращая, обременительно. Однако всякий раз, когда возникает сомнение в обоснованности сделанного вывода, необходимо возвращаться к началу рассуждения и воспроизводить его в возможно более полной форме. Без этого трудно или даже невозможно обнаружить допущенную ошибку.
Дедуктивная аргументация представляет собой выведение обосновываемого положения из иных, ранее принятых положений. Если выдвинутое положение удается логически (дедуктивно) вывести из уже установленных положений, это означает, что оно приемлемо в той же мере, что и сами эти положения. Обоснование одних утверждений путем ссылки на истинность или приемлемость др. утверждений — не единственная функция, выполняемая Д. в процессах аргументации. Дедуктивное рассуждение служит также для верификации (косвенного подтверждения) утверждений: из проверяемого положения дедуктивно выводятся его эмпирические следствия; подтверждение этих следствий оценивается как индуктивный довод в пользу исходного положения. Дедуктивное рассуждение используется также для фальсификации утверждений путем показа того, что вытекающие из них следствия являются ложными. Не достигшая успеха фальсификация представляет собой ослабленный вариант верификации: неудача в опровержении эмпирических следствий проверяемой гипотезы является аргументом, хотя и весьма слабым, в поддержку этой гипотезы. И наконец, Д. используется для систематизации теории или системы знания, прослеживания логических связей входящих в нее утверждений, построения объяснений и пониманий, опирающихся на общие принципы, предлагаемые теорией. Прояснение логической структуры теории, укрепление ее эмпирической базы и выявление ее общих предпосылок является вкладом в обоснование входящих в нее утверждений.
Дедуктивная аргументация является универсальной, применимой во всех областях рассуждения и в любой аудитории. «И если блаженство есть не что иное, как жизнь вечная, а жизнь вечная — это познание истины, то блаженство — это не что иное, как познание истины» — Иоанн Скот (Эриугена). Это теологическое рассуждение представляет собой дедуктивное рассуждение, а именно силлогизм.
Удельный вес дедуктивной аргументации в разных областях знания существенно различен. Очень широко она применяется в математике и математической физике и только эпизодически — в истории или эстетике. Имея в виду сферу приложения Д., Аристотель писал: «Не следует требовать от оратора научных доказательств, точно так же как от математика не следует требовать эмоционального убеждения». Дедуктивная аргументация является очень сильным средством, но, как и всякое такое средство, она должна использоваться узконаправленно. Попытка строить аргументацию в форме Д. в тех областях или в той аудитории, которые для этого не годятся, приводит к поверхностным рассуждениям, способным создать только иллюзию убедительности.
В зависимости от того, насколько широко используется дедуктивная аргументация, все науки принято делить на деду кти вн ы е и индуктивные. В первых используется по преимуществу или даже единственно дедуктивная аргументация. Во вторых такая аргументация играет лишь заведомо вспомогательную роль, а на первом месте стоит эмпирическая аргументация, имеющая индуктивный, вероятностный характер. Типично дедуктивной наукой считается математика, образцом индуктивных наук являются естественные науки. Однако деление наук на дедуктивные и индуктивные, широко распространенное еще в нач. 20 в., сейчас во многом утратило свое значение. Оно ориентировано на науку, рассматриваемую в статике, как систему надежно и окончательно установленных истин.
Понятие «Д.» является общеметодологическим понятием. В логике ему соответствует понятие доказательства.

Философия: Энциклопедический словарь. — М.: Гардарики.Под редакцией А.А. Ивина.2004.

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

Философский энциклопедический словарь. — М.: Советская энциклопедия.Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов.1983.

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

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

ДЕДУКЦИЯ
(от лат. deductio – выведение) – выведение следствий из посылок в соответствии с законами логики. Д. является предметом исследования логики, диалектич. материализма и психологии. Логика изучает Д., анализируя формальные правила, к-рым подчиняется логич. следование. Диалектич. материализм исследует Д. как один из приемов (методов) науч. познания в связи с историч. развитием человеч. мышления и общественно-историч. практики, выявляя место Д. в системе приемов науч. исследования. Психология изучает Д. как процесс реального индивидуального мышления и его формирования в процессе развития индивидуума.
При выявлении правил Д. формальная логика пользуется методом формализации. Правила Д. формулируются обычно в таком виде: "если посылки имеют такую-то структуру и если они при этом являются истинными, доказанными, то и заключение, имеющее такую-то структуру, также будет истинным, доказанным". В логике эти правила обычно облекаются в символич. форму.
Термин "Д." встречается уже у Аристотеля, понимавшего Д. как доказательство к.-л. положения посредством силлогизма. Термин "ἀπαγωγή" (равнозначный Д.) у Аристотеля ("Первая Аналитика", II 25, 69а 20–36) означает решение к.-л. проблемы путем сведéния ее к более очевидным положениям. Термин "deductio" встречается впервые в соч. Боэция ("Введение в категорический силлогизм" – "Ad cathegoricos syllogismos introductio", 1492) в аристотелевском смысле. Ф. Бэкон недооценивал роль Д. в процессе науч. познания. Декарт противопоставлял Д. не индукции, а интуиции. С помощью интуиции, согласно Декарту, человеч. разум непосредственно усматривает истину, тогда как с помощью Д. он постигает истину опосредованно, т.е. путем рассуждения. Лейбниц впервые выдвинул идею построения логики как исчисления ("универсальная характеристика") и поставил задачу изучения логич. свойств отношений в целях расширения средств дедуктивного вывода.
Англ. логики-индуктивисты (Дж. С. Милль, Бэн и др.), односторонне преувеличивая ценность индукции, преуменьшали роль Д. в науч. исследовании. Так, напр., Милль полагал, что Д. якобы равносильна чисто вербальным оборотам речи и сводится лишь к суммированию случаев, попавших в сферу наблюдения. Милль смешивал два аспекта в понимании общего: общее как зафиксированная сумма отд. частных случаев (что особенно заметно в т.н. полной "индукции") и общее. как выражение нек-рой закономерности.
Вопросы Д. начали интенсивно разрабатываться с конца 19 в. в связи с бурным развитием математич. логики, выяснением оснований математики. Это привело к расширению средств дедуктивного доказательства (напр., была разработана "логика высказываний"), к уточнению мн. понятий Д. (напр., понятия логич. следования), введению новой проблематики в теории дедуктивного доказательства (напр., вопросы о непротиворечивости, о полноте дедуктивных систем, проблема разрешимости) и т.п.
Разработка вопросов Д. в 20 в. связана с именами Буля, Фреге, Пеано, Порецкого, Шрëдера, Пирса, Рассела, Гёделя, Гильберта, Тарского и др. Так, напр., Буль считал, что Д. состоит лишь в исключении (элиминации) средних терминов из посылок. Обобщая идеи Буля и пользуясь собственными алгебрологич. методами, рус. логик Порецкий показал, что такое понимание Д. является слишком узким (см. "О способах решения логических равенств и об обратном способе математической логики", Казань, 1884). Согласно Порецкому, Д. состоит не в исключении средних терминов, а в исключении свéдений. Процесс исключения свéдений состоит в том, что при переходе от логич. выражения L = 0 к одному из его следствий достаточно отбросить в левой его части, представляющей собой логич. многочлен в совершенной нормальной форме, нек-рые из его конституент.
В. совр. бурж. философии весьма распространенным является чрезмерное преувеличение роли Д. в познании. В ряде работ по логике принято подчеркивать ту якобы совершенно исключит. роль, к-рую Д. играет в математике, в отличие от др. науч. дисциплин. Акцентируя внимание на этом "отличии", доходят до утверждения, будто бы все науки можно разделить на т.н. дедуктивные и эмпирические. (см., напр., L. S. Stebbing, A modern introduction to logic, L., 1930). Однако такое разграничение является принципиально неправомерным и оно отрицается не только учеными стоящими на диалектико-материалистич. позициях, но и нек-рыми бурж. исследователями (напр., Я. Лукасевичем; см. Я. Лукасевич, Аристотелевская силлогистика с точки зрения современной формальной логики, пер. с англ., М., 1959), осознавшими, что как логич., так и математич. аксиомы являются в конечном счете отражением нек-рых экспериментов с материальными предметами объективного мира, действий над ними в процессе обществ.-историч. практики. И в этом смысле математич. аксиомы не противостоят положениям наук о природе и обществе. Важной чертой Д. является ее аналитич. характер. Еще Милль заметил, что в заключении дедуктивного рассуждения нет ничего такого, что не содержалось бы уже в его посылках. Чтобы описать аналитич. характер дедуктивного следования формально, прибегнем к точному языку алгебры логики. Допустим, что данное дедуктивное рассуждение формализовано средствами алгебры логики, т.е. точно зафиксированы отношения между объемами понятий (классами) как в посылках, так и в заключении. Тогда окажется, что разложение посылок на конституенты (элементарные классы) единицы содержит все те конституенты, к-рые имеются в разложении следствия.
Ввиду особого значения, к-рое приобретает во всяком дедуктивном выводе раскрытие компонент посылок, Д. часто связывают с анализом. Поскольку же в процессе Д. (в выводе дедуктивного умозаключения) часто происходит объединение знаний, данных нам в отд. посылках, Д. связывают с синтезом.
Единственно правильное методологич. решение вопроса о соотношении Д. и индукции дали классики марксизма-ленинизма. Д. неразрывно связано со всеми др. формами умозаключений и прежде всего с индукцией. Индукция тесно связана с Д., т.к. любой единичный факт может быть понят только через включение его образа в уже сложившуюся систему понятий, а Д., в конечном счете, зависит от наблюдения, эксперимента и индукции. Д. без помощи индукции никогда не может обеспечить познание объективной действительности. "Индукция и дедукция связаны между собою столь же необходимым образом, как синтез и анализ. Вместо того чтобы односторонне превозносить одну из них до небес за счет другой, надо стараться применять каждую на своем месте, а этого можно добиться лишь в том случае, если не упускать из виду их связь между собою, их взаимное дополнение друг друга" (Энгельс Ф., Диалектика природы, 1955, с. 180–81). Содержание посылок дедуктивного умозаключения не дано заранее в готовом виде. Общее положение, к-рое непременно должно быть в одной из посылок Д., всегда является результатом всестороннего исследования множества фактов, глубокого обобщения закономерных связей и отношений между вещами. Но и одна индукция невозможна без Д. Характеризуя "Капитал" Маркса как классич. пример диалектич. подхода к действительности, Ленин отметил, что в "Капитале" индукция и Д. совпадают (см. "Философские тетради", 1947, с. 216 и 121), подчеркивая тем самым их неразрывную связь в процессе науч. исследования.
Д. иногда применяют с целью проверки к.-л. суждения, когда из него выводятся следствия по правилам логики с тем, чтобы затем эти следствия проверить на практике; в этом состоит один из методов проверки гипотез. Д. пользуются также при раскрытии содержания тех или иных понятий.
Лит.:Энгельс Ф., Диалектика природы, М., 1955; Ленин В. И., Соч., 4 изд., т. 38; Аристотель, Аналитики первая и вторая, пер. с греч., М., 1952; Декарт Р., Правила для руководства ума, пер. с лат., М.–Л., 1936; его же, Рассуждение о методе, М., 1953; Лейбниц Г. В., Новые опыты о человеческом разуме, М.–Л., 1936; Каринский М. И., Классификация выводов, в сб.: Избр. труды русских логиков XIX в., М., 1956; Льар Л., Английские реформаторы логики в XIX в., СПБ, 1897; Кутюра Л., Алгебра логики, Одесса, 1909; Поварнин С., Логика, ч. 1 – Общее учение о доказательстве, П., 1915; Гильберт Д. и Аккерман В., Основы теоретической логики, пер. с нем., М., 1947; Тарский Α., Введение в логику и методологию дедуктивных наук, пер. с англ., М., 1948; Асмус В. Φ., Учение логики о доказательстве и опровержении, М., 1954; Boole G., An investigation of the laws of thought..., N. Y., 1951; Schröder Ε., Vorlesungen über die Algebra der Logik, Bd 1–2, Lpz., 1890–1905; Reichenbach H. Elements of symbolic logic, Ν. Υ., 1948.
Д. Горский. Москва.

Философская Энциклопедия. В 5-х т. — М.: Советская энциклопедия.Под редакцией Ф. В. Константинова.1960—1970.

ДЕДУКЦИЯ
ДЕДУКЦИЯ (от лат. deductio — выведение) — переход от общего к частному; в более специальном смысле термин “дедукция” обозначает процесс логического вывода, т. е. перехода по тем или иным правилам логики от некоторых данных предложений-посылок к их следствиям (заключениям). Термин “дедукция” употребляется и для обозначения конкретных выводов следствий из посылок (т. е. как синоним термина “вывод” в одном из его значений), и как родовое наименование общей теории построений правильных выводов. Науки, предложения которых преимущественно получаются как следствия некоторых общих принципов, постулатов, аксиом, принято называть дедуктивными (математика, теоретическая механика, некоторые разделы физики и др.), а аксиоматический метод, посредством которого производятся выводы этих частных предложений,—аксиоматико-дедуктивным.
Изучение дедукции составляет задачу логики; иногда формальную логику даже определяют как теорию дедекции. Хотя термин “дедукция” впервые употреблен, по-видимому, Боэцием, понятие дедукции — как доказательство какого-либо предложения посредством силлогизма—фигурирует уже у Аристотеля (“Первая Аналитика”). В философии и логике Нового времени существовали различные взгляды на роль дедукции в ряду методов познания. Так, Декарт противопоставлял дедукции интуицию, посредством которой, по его мнению, разум “непосредственно усматривает” истину, в то время как дедукция доставляет разуму лишь “опосредованное” (полученное путем рассуждения) знание. Ф. Бэкон, а позднее и др. английские логики-“индуктивисты” (У. Уэвелл, Дж. С. Милль, А. Бэн и др.) считали дедукцию “второстепенным” методом, в то время как подлинное знание дает только индукция. Лейбниц и Вольф, исходя из того, что дедукция не дает “новых фактов”, именно на этом основании приходили к прямо противоположному выводу: полученные путем дедукции знания являются “истинными во всех возможных мирах”. Взаимосвязь дедукции и индукции была раскрыта Ф. Энгельсом, который писал, что “индукция и дедукция связаны между собой столь же необходимым образом, как синтез и анализ. Вместо того чтобы односторонне превозносить одну из них до небес за счет другой, надо стараться применять каждую из них на своем месте, а этого можно добиться лишь в том случае, если не упускать из виду их связь между собой, их взаимное дополнение друг друга” (Маркс К., Энгельс Ф. Соч., т. 20, с. 542-543), применениям в любой области относится следующее положение: все, чтозаключено в любой полученной посредством дедуктивного умозаключения логической истине, содержится уже в посылках, из которых она выведена. Каждое применение правила состоит в том, что общее положение относится (применяется) к некоторой конкретной (частной) ситуации. Некоторые правила логического вывода подпадают под такую характеристику и совсем явным образом. Так, напр., различные модификации т. н. правила подстановки гласят, что свойство доказуемости (или выводимости из данной системы посылок) сохраняется при любой замене элементов произвольной формулы данной формальной теории конкретными выражениями того же вида. То же относится к распространенному способу задания аксиоматических систем посредством т. н. схем аксиом, т. е. выражений, обращающихся в конкретные аксиомы после подстановки вместо входящих в них общих обозначений конкретных формул данной теории. Под дедукцией часто понимают и сам процесс логического следования. Это обусловливает его тесную связь с понятиями вывода и следствия, находящую свое отражение и в логической терминологии. Так, “теоремой о дедукции” принято называть одно из важных соотношений между логической связкой импликации (формализующей словесный оборот “если... то...”) и отношением логического следования (выводимости): если из посылки А выводится следствие В, то импликация АэВ (“если А... то В...”) доказуема (т. е. выводима уже без всяких посылок, из одних только аксиом). Аналогичный характер носят и др. связанные с понятием дедукции логические термины. Так, дедуктивно-эквивалентными называют предложения, выводимые друг из друга; дедуктивная полнота системы (относительно какого-либо свойства) состоит в том, что все выражения данной системы, обладающие этим свойством (напр., истинностью при некоторой интерпретации), доказуемы в ней.
Свойства дедукции раскрывались в ходе построения конкретных логических формальных систем (исчислений) и общей теории таких систем (т. н. теории доказательства). Лит.: Тарский А. Введение в логику и методологию дедуктивных наук, пер. с англ. М., 1948; Асмус В. Ф. Учение логики о доказательстве и опровержении. М., 1954.
ДЕДУКЦИЯ ТРАНСЦЕНДЕНТАЛЬНАЯ (нем. transzendentale Deduktion) — ключевой раздел “Критики чистого разума” И. Канта. Главная задача дедукции—обосновать правомерность априорного применения категорий (элементарных понятий чистого рассудка) к предметам и показать их возможность в качестве принципов априорного синтетического познания. Необходимость трансцендентальной дедукции была осознана Кантом за 10 лет до выхода “Критики”, в 1771. Центральный аргумент дедукции впервые сформулирован в рукописных набросках 1775. Текст дедукции полностью переработан Кантом во 2-м издании “Критики”. Решение главной задачи дедукции подразумевает доказательство тезиса, что категории составляют необходимые условия возможности вещей. Первая часть дедукции (“объективная дедукция”) уточняет, что такими вещами в принципе могут быть только предметы возможного опыта. Вторая часть (“субъективная дедукция”) и есть искомое доказательство тождества категорий с априорными условиями возможного опыта. Отправной точкой дедукции является понятие апперцепции. Кант утверждает, что все возможные для нас представления должны быть связаны в единстве апперцепции, т. е.вЯ. Необходимыми условиями такой связи и оказываются категории. Доказательство этого центрального положения осуществляется Кантом посредством анализа структуры объективных суждений опыта, базирующихся на использовании категорий, и постулата о параллелизме трансцендентального объекта и трансцендентального единства апперцепции (это позволяет “перевернуть” на Я необходимость категориальных синтезов для отнесения представлений к объекту). В итоге Кант делает вывод, что все возможные восприятия как осознанные, т. е. относящиеся к Я, созерцания необходимо подчинены категориям (сначала Кант показывает, чтоэто верно относительно “созерцаний вообще”, затем—относительно “наших созерцаний” в пространстве и времени). Это означает возможность антиципации предметных форм опыта, т. е. априорного познания предметов возможного опыта с помощью категорий. В рамках дедукции Кант развертывает учение о познавательных способностях, особую роль среди которых играет трансцендентальное воображение, связывающее чувственность и рассудок. Именно воображение, подчиняясь категориальным “инструкциям”, законосообразно оформляет мир явлений. Кантовская дедукция категорий вызвала многочисленные дискуссии в современной историко-философской литературе.
В. В. Васильев

Новая философская энциклопедия: В 4 тт. М.: Мысль.Под редакцией В. С. Стёпина.2001.


Синонимы:
вывод, следствие, умозаключение


Антонимы:
индукция, посылка


  1. дедукциядвижение знания от более общего к менее общему частному выведение следствия из посылок. Тесно связана с индукцией. Логика рассматривает дедукцию как вид умозаключения. Пс...Словарь практического психолога
  2. дедукцияот лат. deductio выведение движение знания от более общего к менее общему частному выведение следствия из посылок. Д. тесно связана с индукцией. Логика рассматривает Д....Большая психологическая энциклопедия
  3. дедукцияДЕДУКЦИЯ от лат. deductio выведение переход от общего к частному в более спец. смысле термин Д. обозначает процесс логич. вывода т. е. перехода по тем или иным правилам ...Большая советская энциклопедия
  4. дедукцияот лат. deductio выведение переход от общего к частному в более специальном смысле термин Д. обозначает процесс логического вывода т. е. перехода по тем или иным правила...Большая Советская энциклопедия II
  5. дедукциялат. deductio выведение рассуждение от общего к частному. Дедуктивное умозаключение считается адекватным если оно логически непротиворечиво то есть согласуется с исходным...Большая энциклопедия по психиатрии
  6. дедукцияж. deduzione Итальянорусский словарь. Синонимы вывод следствие умозаключение Антонимы индукция посылка...Большой итальяно-русский и русско-итальянский словарь
  7. дедукцияжDeduktion f вывод следствие умозаключение Антонимы индукция посылка...Большой немецко-русский и русско-немецкий словарь
  8. дедукциядедукция ж Deduktion f cСинонимы вывод следствие умозаключение Антонимы индукция посылка...Большой немецко-русский и русско-немецкий словарь
  9. дедукцияДЕДУКЦИЯ от лат. deductio выведение процесс логического вывода т. е. перехода от посылок к заключениям в соответствии с правилами логики конкретный вывод родовое наи...Большой психологический словарь
  10. дедукцияж.deduccin f...Большой русско-испанский словарь
  11. дедукциясущ. жен. рода только ед. ч....Большой русско-украинский словарь
  12. дедукцияж. dduction f...Большой русско-французский словарь
  13. дедукцияот лат. deductio выведение англ. deduction нем. Deduktion. . Одна из форм умозаключения от общего к частному и единичному характеризующаяся тем что новое знание о к.л. ...Большой толковый социологический словарь II
  14. дедукцияж.dduction f вывод следствие умозаключение Антонимы индукция посылка...Большой французско-русский и русско-французский словарь
  15. дедукцияот лат. deductio выведение вывод по правилам логики цепьумозаключений рассуждение звенья которой высказывания связаныотношением логического следования. Началом посылкам...Большой энциклопедический словарь II
  16. дедукцияДЕДУКЦИЯ от лат. deductio выведение вывод по правилам логики цепь умозаключений рассуждение звенья которой высказывания связаны отношением логического следования. Начал...Большой Энциклопедический словарь V
  17. дедукцияот лат. deductio выведение англ. deduction логическое умозаключение от общего к частному от общих суждений к частным или др. общим выводам.Синонимы вывод следствие умоз...Большой юридический словарь
  18. дедукциявыводы по правилам ломки цепь умозаключений рассуждений звенья которой связаны отношением логического следования. Началом дедукции являются аксиомы постулаты гипотезы и...Глобальная экономика. Энциклопедия
  19. дедукцияпереход от общего к частному согласно логическим правилам....Глоссарий философских терминов
  20. дедукцияспособ метод предсказания или получения частных следствий из общих правил с помощью логических рассуждений процесс восхождения познания от общего к единичному. Противопол...Глоссарий философских терминов ИФ им.Киренского РАН
  21. дедукциялогическое умозаключение от общего к частному от общих суждений к частным или другим менее общим выводам. Дедукция противоположна индукции когда мысль движется от частног...Евразийская мудрость от А до Я
  22. дедукцияот лат. deductio выведение вывод по правилам логики цепь умозаключений рассуждение звенья крой высказывания связаны отношением логич. следования. Началом посылками Д. яв...Естествознание. Энциклопедический словарь
  23. дедукцияdeduction. Доказательство от общего к частному. Применяется в науке при выведения из общей теории гипотезы конкретного исследования....Исследование в психологии: методы и планирование
  24. дедукциявид умозаключения от общего к частному когда из массы частных случаев делается обобщенный вывод обо всей совокупности таких случаев....Исследовательская деятельность
  25. дедукцияДЕДУКЦИЯ и ж. dduction f. нем. Deduktion ampLTлат. deductio выведение. strong. дипл. Изложение изъяснение чегол.em Сл. . Шведы против сего мира пространную дедукцию писме...Исторический словарь галлицизмов русского языка
  26. дедукциялат. deductio выведение умозаключение от общего к частному все А В Х есть А следно Х В. В спец. смысле термин Д. обозначает процесс логич. вывода т.е. перехода по опр...История и философия науки. Энциклопедический словарь
  27. дедукцияосновное средство доказательства цепь логических умозаключений звенья которой связаны отношением логического следования Начало аксиомы постулаты гипотезы имеющих характе...История экономических учений
  28. дедукциядедуктивное умозаключение вид опосредованного умозаключения в котором из общего правила выводится частный случай в дедукции рассуждение идет от большего к меньшему знани...Краткий курс логики
  29. дедукциярассуждение которое движется от абстрактных утверждений об общих соотношениях к конкретным утверждениям об отдельных процессах....Краткий социологический словарь
  30. дедукциядедукция...Крымскотатарско-русский словарь II
  31. дедукцияи ж. лог.em Способ рассуждения от общих положений к частным логический вывод частных положений из какойл. общей мысли противоп.em индукция.[лат. deductio] вывод следствие...Малый академический словарь
  32. дедукцияформа организации мысли при которой выведение следствия не предполагает обращенности к материалу дополнительных содержаний опирается на систему готовых понятийных средств...Методологический словарь для управленцев
  33. дедукциякорень ДЕДУКЦ окончание ИЯ Основа слова ДЕДУКЦВычисленный способ образования слова Бессуфиксальный или другой ДЕДУКЦ ИЯ Слово Дедукция содержит следующие морфемы или...Морфемный разбор слова по составу
  34. дедукцияНачальная форма Дедукция единственное число женский род именительный падеж неодушевленное...Морфологический разбор существительных
  35. дедукцияот лат. deductio выведение логическое умозаключение от общего к частному от общих суждений к частным и другим общим выводам. Общей формой дедукции является при этом сил...Начала современного естествознания
  36. дедукцияот лат. deductio выведение логический вывод следование обеспечивающий истинность заключения на основании истинности посылок и соблюдения правильной формы рассуждения. Пос...Новая философская энциклопедия
  37. дедукцияДЕДУКЦИЯ лат. deductio выведение в широком смысле слова способ рассуждения при котором осуществляется переход от знания общего к знанию частному или единичному. В этом ...Новейший философский словарь
  38. дедукциядедукция ж. Логическое умозаключение переход от общих положений законов и т.п. к частному конкретному выводу противоп. индукция в философии....Новый толково-словообразовательный словарь русского языка
  39. дедукциястрогое умозаключение применяющее общий принцип к частному случаюБлестящая иллюстрация дедукции силлогизм Всякий человек смертен Сократ человек следовательно Сократ сме...Новый философский словарь
  40. дедукциякатегория философии и методологии науки имеющая два основных значения в широком смысле любой вывод вообще в более специфическом и наиболее употребительном смысле доказат...Нравственное развитие взрослого человека
  41. дедукциялогическое умозаключение движение знания от общего к частному. Противоположность индукция....Общие основы педагогики
  42. дедукцияРассуждение которое начинается с определенного набора предположений и в ходе которого делается попытка вывести из них заключения или теоремы. Вообще это логическая операц...Оксфордский толковый словарь по психологии
  43. дедукцияРассуждение которое начинается с определенного набора предположений и в ходе которого делается попытка вывести из них заключения или теоремы. Вообще это логическая операц...Оксфордский толковый словарь по психологии
  44. дедукциядедукция дедукция и...Орфографический словарь
  45. дедукцияu жu Р.u Д.u Пр.u дедукции вывод следствие умозаключение Антонимы индукция посылка...Орфографический словарь русского языка
  46. дедукциядедукция...Орысша-қазақша «Математика» терминологиялық сөздік
  47. дедукциядедукция...Орысша-қазақша «Электроника, радиотехника және байланыс» терминологиялық сөздік
  48. дедукциялат.u deductio выведение переход от общего знания о предметах данного класса к единичному частному знанию об отдельном предмете этого класса один из методов познания. Д...Педагогический терминологический словарь
  49. дедукцияdduction...Политехнический русско-французский словарь
  50. дедукциядедукция дедукции дедукции дедукций дедукции дедукциям дедукцию дедукции дедукцией дедукциею дедукциями дедукции дедукциях...Полная акцентуированная парадигма по Зализняку
  51. дедукцияЛогическое умозаключение построенное на принципе от общего к частному. Понятие диаметральное индукции см....Полный толковый словарь по неврологии
  52. дедукцияОрфографическая запись слова дедукция Ударение в слове дедукция Деление слова на слоги перенос слова дедукция Фонетическая транскрипция слова дедукция [дидука] Характери...Полный фонетический разбор слов
  53. дедукцияот лат. deductic выведение форма мышления вид умозаключения логический метод исследования когда новая мысль новое знание выводится по правилам логики из некоторых данны...Прикладные аспекты современной психологии
  54. дедукцияот лат. deductio выведение логическое умозаключение от общего к частному выведение частного из общего движение знания от более общего к менее общему частному путь мышле...Профессиональное образование
  55. дедукцияДедукция от лат. deductio выведение процесс логического вывода на основании перехода от общих положений к частным....Психологический словарь
  56. дедукцияСловообразование. Происходит от лат. deductio выведение. Категория. Познавательный процесс. Специфика. Процесс логического вывода на основании перехода от общих положени...Психологический словарь II
  57. дедукциядедукця....Російсько-український словник (Українська академія наук)
  58. дедукциядедукця...Російсько-український словник логіки
  59. дедукцияот лат. deductio выведение переход от общего знания о предметах данного класса к единичному частному знанию об отд. предмете класса один из методов познания. Дедуктивные...Российская педагогическая энциклопедия
  60. дедукциядедукция иСинонимы вывод следствие умозаключение Антонимы индукция посылка...Русский орфографический словарь
  61. дедукцияЖ fls. deduksiya dnm prosesind mumidn xsusiy getm....Русско-азербайджанский словарь
  62. дедукциядедукция ж.udeductionгипотетическая дедукция hypothetical deductionСинонимы вывод следствие умозаключение Антонимы индукция посылка...Русско-английский политехнический словарь
  63. дедукцияж.логическое умозаключение от общего к частномуem deduction...Русско-английский психологический словарь
  64. дедукциядедукция ж.ideduction...Русско-английский словарь
  65. дедукциядедукция ж. лог. deduction....Русско-английский словарь II
  66. дедукцияf. вывод следствие умозаключение Антонимы индукция посылка...Русско-английский словарь математических терминов
  67. дедукцияж....Русско-английский словарь по физике
  68. дедукцияdeduction вчт....Русско-английский словарь по электронике
  69. дедукцияdeduction гипотетическая дедукцияСинонимы вывод следствие умозаключениеАнтонимы индукция посылка...Русско-английский технический словарь
  70. дедукцияdeduction...Русско-английский толковый словарь терминов по информатике
  71. дедукцияДэдукцыя...Русско-белорусский словарь
  72. дедукциялог.i дэдукцыя жен.i...Русско-белорусский словарь II
  73. дедукцияж. deduzione f...Русско-итальянский политехнический словарь
  74. дедукцияж лог. только ед. дедукция ойлауды жалпыдан жалыа бтннен блшекке кшп нтиже шыаруы...Русско-казахский словарь
  75. дедукциядедукция жалпылау...Русско-казахский терминологический словарь «Философия и политология»
  76. дедукцияж. дедукция логикада ойлоо ыгы мында акыл жгрт жолу жалпы ойлоодон айрым корутундулар чыгаруу аркылуу болот....Русско-киргизский словарь
  77. дедукцияж лог.[] yny[f]Синонимы вывод следствие умозаключение Антонимы индукция посылка...Русско-китайский словарь
  78. дедукцияDeduktsiya...Русско-крымскотатарский словарь
  79. дедукциядедукция...Русско-крымскотатарский словарь II
  80. дедукцияdedukcija...Русско-латышский словарь
  81. дедукцияDeduktion логика...Русско-немецкий политехнический словарь
  82. дедукциядедукцияж...Русско-новогреческий словарь
  83. дедукцияжdeduo f вывод следствие умозаключение Антонимы индукция посылка...Русско-португальский словарь
  84. дедукцияДедукцияnjia ya ugunduzi kwa lijulikanalo...Русско-суахили словарь
  85. дедукциядедукция дедукция...Русско-таджикский словарь
  86. дедукцияматем. дедукця Синонимы вывод следствие умозаключение Антонимы индукция посылка...Русско-украинский политехнический словарь
  87. дедукцияdedukce odvozen...Русско-чешский словарь
  88. дедукцияDeduktsioon...Русско-эстонский словарь
  89. дедукциядедукция иСинонимы вывод следствие умозаключение Антонимы индукция посылка...Русское словесное ударение
  90. дедукциястрогое умозаключение применяющее общий принцип к частному случаю Блестящая иллюстрация дедукции силлогизм Всякий человек смертен Сократ человек следовательно Сократ см...Сверхкраткий философский словарь
  91. дедукцияот лат. deductio выведение рассуждение которое движется от абстрактных утверждений об общих соотношениях к конкретным утверждениям об отдельных процессах [Мангейм Джаро...Сводный словарь по политологии
  92. дедукцияиндукцияпосылкаСинонимы вывод следствие умозаключение Антонимы индукция посылка...Словарь антонимов
  93. дедукцияДЕДУКЦИЯ лат. deductio от deducere выводить. Вывод частных фактов из общих основных положений. Словарь иностранных слов вошедших в состав русского языка. Чудинов А.Н. Д...Словарь иностранных слов русского языка
  94. дедукцияот лат. deductio выведение переход от посылок к заключению опирающийся на логический закон в силу чего заключение с логической необходимостью следует из принятых посылок...Словарь логики
  95. дедукцияот лат. deductio выведение метод мышления при котором новое положение выводится чисто логическим путем из предшествующих вывод по правилам логики цепь умозаключений расс...Словарь по истории психологии
  96. дедукцияДЕДУКЦИЯ от лат. deductio iвыведение переход от посылок к заключению опирающийся на логический закон в силу чего заключение с логической необходимостью следует из приня...Словарь по логике
  97. дедукция1ДЕДУКЦИЯ и ж.iФр. dduction.Дипл.iИзложение изъяснение чегол.Шведы против сего мира пространную дедукцию писменно Королю подали. ЖПВ II . Министерство потом вручило ему п...Словарь русского языка XVIII в
  98. дедукциядедукция выведение вывод умозаключение заключение Словарь русских синонимов. дедукция сущ. колво синонимов вывод следствие умозаключение Словарь синонимов ASIS.В.Н...Словарь синонимов II
  99. дедукциядедукция выведение вывод умозаключение заключение...Словарь синонимов
  100. дедукциямыслительная операция выведение частного от общего движение мысли от общего к частному от общего положения к особенному. Вывод по правилам логики цепь умозаключений расс...Словарь-справочник по философии
  101. дедукцияот лат. deductio выведение переход от общего к частному в более спец. смысле термин Д. обозначает процесс логич. вывода т. е. перехода по тем или иным правилам логики от...Советский философский словарь
  102. дедукцияДЕДУКЦИЯ от латинского deductio выведение вывод по правилам логики цепь умозаключений рассуждение звенья которой высказывания связаны отношением логического следования. ...Современная энциклопедия
  103. дедукциявид умозаключения от общего к частному когда из массы частных случаев делается обобщенный вывод о всей совокупности таких случаев [ c. ]....Современный образовательный процесс
  104. дедукцияДЕДУКЦИЯ от лат . deductio выведение вывод по правилам логики цепь умозаключений рассуждение звенья которой высказывания связаны отношением логического следования. Начал...Современный энциклопедический словарь
  105. дедукциявыведение путь мышления который вдет от общего положения к частному от общего к особенному....Тематический философский словарь
  106. дедукцияДедукция deduction deductive inference логический вывод когда логическое заключение выводится из конкретного множества предпосылок.Допустимый синоним Дедуктивный логичес...Терминологический словарь автоматизации строительства и производственных процессов
  107. дедукцияэкон. обратный индукции процесс при котором на базе общих положений обосновываются те или иные частности экономических объектов процессов.Синонимы вывод следствие умозак...Терминологический словарь библиотекаря по социально-экономической тематике
  108. дедукциядедукция [lt лат. deductio выведение] логическое умозаключение от общего к частному от общих суждений к частным или другим общим выводам в научном познании д. неразрывно...Толковый словарь иностранных слов
  109. дедукцияДЕДУКЦИЯ и ж. Способ рассуждения от общих положений к частнымвыводам противоп. индукция. II прил. дедуктивный ая ое....Толковый словарь Ожегова
  110. дедукцияДЕДУКЦИЯ дедукции мн. нет ж. латин. deductio выведение науч. Метод мышления при кром новое положение выводится чисто логическим путем из предшествующих противоп. индукци...Толковый словарь русского языка II
  111. дедукциядедукция дедукция и ж. Способ рассуждения от общих положений к частным выводам противоп. индукция.прил. дедуктивный ая ое....Толковый словарь русского языка II
  112. дедукцияДЕДУКЦИЯ и ж. Способ рассуждения от общих положений к частным выводам противоп. индукция. прилагательное дедуктивный ая ое....Толковый словарь русского языка
  113. дедукциядэдукцыя вывядзеньне...Тэрмінолёгія лёгікі і псыхолёгіі
  114. дедукцияУдарение в слове дедукцияУдарение падает на букву уБезударные гласные в слове дедукция...Ударение и правописание
  115. дедукцияRzeczownik дедукция f dedukcja f...Универсальный русско-польский словарь
  116. дедукциядедуктивный метод логическая операция и метод познания в ходе которого частное конкретное знание выводится из общего из универсальной теории путем логических построений ...Философия - конспект лекций и словарь терминов
  117. дедукциякатегория философии и методологии науки имеющая два основных значения вывод от общего знания к менее общему частному и даже единичному с помощью правила подстановки вмес...Философия науки
  118. дедукцияот лат. выведение метод познания основанный на получении частных выводов из общих положений. Дедукция это движение нашего мышления от общего к единичному т.е. переход п...Философия науки и техники
  119. дедукциялат. deduction выведение умозаключение от общего к частому. Началом посылками этого умозаключения являются догмы аксиомы постулаты или просто гипотезы имеющие характер о...Философия политики
  120. дедукцияD Deduktion EDeductionF DeductionEsp Deduction Метод познавательной деятельности заключающийся в выведении частных утверждений из общего положения. Дедукция используется ...Философия, практическое руководство
  121. дедукцияот лат. deductio выведение выведение следствий из посылок в соответствии с законами логики. Д. является предметом исследования логики диалектич. материализма и психолог...Философская Энциклопедия (в 5 томах)
  122. дедукцияот лат. deductio выведение выведение частного из общего путь мышления который ведет от общего к частному от общего положения к особенному. Общей формой дедукции является ...Философский энциклопедический словарь II
  123. дедукциялат. deductio выведение один из осн. способов рассуждения умозаключения и методов исследования. Под Д. в широком смысле понимается любой вывод вообще в более специфичес...Философский энциклопедический словарь
  124. дедукциядедукция дедукции дедукции дедукций дедукции дедукциям дедукцию дедукции дедукцией дедукциею дедукциями дедукции дедукциях Источник Полная акцентуированная парадигма по А...Формы слова
  125. дедукцияДек Дедукция Дед Идея Кед Уик Цея Цик Цук Яик Дея...Электронный словарь анаграмм русского языка
  126. дедукцияДедукция от deducere выводить термин современной логики обозначающий выведение одной мысли из другой делаемое на основании логических законов. Большинство логиков под с...Энциклопедический словарь
  127. дедукцияот deducere выводить термин современной логики обозначающий выведение одной мысли из другой делаемое на основании логических законов. Большинство логиков под словом Д. ...Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
  128. дедукцияот лат. deductio выведение англ. deduction нем. Deduktion. . Одна из форм умозаключения от общего к частному и единичному характеризующаяся тем что новое знание о к.л. ...Энциклопедия социологии
  129. дедукцияДЕДУКЦИЯ от лат. deductio выведение. В современной логике термин Д . используется как синоним более точного но более громоздкого термина дедуктивно правильное рассужден...Энциклопедия эпистемологии и философии науки