«Дедукция»

(от deducere — выводить) — термин современной логики, обозначающий выведение одной мысли из другой, делаемое на основании логических законов. Большинство логиков под словом Д. разумеют выведение частного из общего: такое ограничение, однако, не имеет основания. Д. получила значение термина лишь в новой логике, главным образом благодаря трудам английских мыслителей, рассматривающих Д. в противоположность индуктивному методу. Понятие Д. встречается уже у Аристотеля (άπαγωγή). Λатинская форма, deductio, впервые встречается в сочинениях Боэция; но как у Аристотеля, так и у Боэция Д. не противополагается индукции, а обозначает собой понятие, тождественное с силлогизмом и с доказательством. В средневековой, схоластической логике слово Д. не играет роли термина. В знаменитой пор-рояльской логике Арно ("Logique ou l'art de penser") Д. как термин тоже не встречается, нет его еще и в логике Канта. Следовательно, термин Д. составляет принадлежность логики XIX века. Еще и в настоящее время в некоторых сочинениях по логике Д. отождествляют с силлогизмом и считают его единственным правомерным способом умозаключения (см., напр., Rabier, "Logique", 1886). Отождествлению Д. с силлогизмом мешает, однако, то обстоятельство, что силлогизм есть лишь форма Д., а не самый процесс. От узкого значения термина Д. следует отличать более широкое: совокупность процессов научного мышления (разделение и определение понятий, доказательство положения) за вычетом индукции. Понимаемая в таком смысле, Д. оказывается процессом, прямо противоположным индукции; эту противоположность видят как в исходных точках, так и в способах перехода от одной мысли к другой и, наконец, в конечных целях. Такое воззрение зашищал в русской литературе М. П. Владиславлев ("Логика", СПб., 1872), стоявший в данном случае под влиянием Милля, Бэна и др. Нельзя отрицать различия между Д. и индукцией, но противоположение их не имеет никакого основания. Человеческое мышление одно; как бы ни были разнообразны предметы, направление и цель мышления, одни и те же законы управляют мыслью. Противополагать Д. во всем индуктивному мышлению — значит вносить дуализм в человеческое сознание. Различие Д. от индукции получило характер противоположности вследствие развития опытных наук в новое время. Успехи опытного знания повлекли за собой подробное исследование методов его, причем иногда забывали, что в индукции имеется дело с тем же самым мышлением, в применении его к фактам внутреннего и внешнего мира. Неудачи спекулятивной философии, пользовавшейся по преимуществу Д., способствовали расширению пропасти между индукцией и дедукцией. Между тем, легко заметить сродство индукции с Д.; не говоря о так называемой полной индукции (умозаключении от всех членов известной группы к самой группе), которая представляет собою пример совершенно правильного силлогизма, т. е. Д. — и так называемая неполная индукция, т. е. заключение от частного к общему, имеет своим основанием закон тождества, ибо в неполной индукции от некоторых случаев мы заключаем ко всем на том основании, что рассматриваем эти некоторые случаи как типичные представители всей группы. Д. С. Милль свел индуктивные методы исследования к четырем основным: метод различия, согласия, остатков и сопутствующих изменений. Рассматривая их, легко убедиться, что они представляют собой не что иное, как различные способы умозаключения, основанные на законе тождества. Метод остатков, например, представляет собой чистый случай определения путем исключения, т. е. умозаключение разделительное. В превосходном труде Каринского "Классификация выводов" (СПб., 1880) есть множество доказательств тому, что противоположность индукции и Д. в той форме, в которой оно обыкновенно делается, неосновательно и что поэтому нельзя делить все выводы на индуктивные и дедуктивные. С другой стороны, некоторые силлогистические выводы представляют собой пример умозаключений от частного к частному, на что впервые обратил внимание Дж. С. Милль. Таким образом, отождествляя Д. с силлогизмом, нельзя в то же время утверждать, что Д. есть всегда умозаключение от общего к частному, а следует дать более общее определение, с которого мы и начали настоящую заметку. Полное определение понятия Д. требует, помимо указания отношения ее к индукции, еще рассмотрения отношения Д. к анализу. Анализом называется прием мышления, посредством которого разлагается на составные элементы то, что в сознании дано как нечто целое; анализ противополагается синтезу; но и в Д. выводится из известной мысли с необходимостью другая, которая была заключена implicite в первой; отсюда сходство Д. и анализа очевидно. Если, однако, допустить, что форма Д. — силлогизм, то придется сказать, что анализ — более общее понятие, чем Д. Всякая Д. есть анализ, ибо разъясняет данное положение, выводя из него другое, заключенное в нем; но не всякий анализ есть Д. Анализ есть действие более простое, чем Д. В состав каждого процесса Д. входят следующие элементы: положение, из которого делается вывод и которое в таком случае назыв. основанием; самый процесс выведения из основания мысли, в нем заключенной, и, наконец, вывод или мысль, добытая из основания и поставленная как отдельное положение. Положения, из которых делаются выводы, могут быть чрезвычайно разнообразны, но в конце концов сводятся к двум родам: самоочевидные истины (аксиомы) и обобщения, добытые из опыта. Процесс выведения не меняет характера основания, из которого получается вывод, т. е. вывод из аксиомы сам получает аксиоматический характер; вывод из эмпирического положения есть факт, могущий быть проверенным на опыте. Самый процесс Д. основан на законе тождества. Частное подводится под общее на том основании, что оно по содержанию тождественно с общим; то же самое положение можно заметить и в заключении от частного к частному. Самый вывод, наконец, есть положение, в котором признается тождество подводимого с тем положением, под которое мы подводим. См. Силлогизм.

Э. Радлов.

(от лат. deductio — выведение)

переход от общего к частному; в более специальном смысле термин «Д.» обозначает процесс логического вывода, т. е. перехода по тем или иным правилам логики (См. Логика) от некоторых данных предложений — посылок к их следствиям (заключениям), причём в некотором смысле следствия всегда можно характеризовать как «частные случаи» («примеры») общих посылок. Термин «Д.» употребляется и для обозначения конкретных выводов следствий из посылок (т. е. как синоним термина «вывод» в одном из его значений), и — чаще — как родовое наименование общей теории построений правильных выводов (умозаключений (См. Умозаключение)). В соответствии с этим последним словоупотреблением, науки, предложения которых получаются (хотя бы преимущественно) как следствия некоторых общих «базисных законов» (принципов, постулатов, аксиом и т.п.), принято называть дедуктивными (математика, теоретическая механика, некоторые разделы физики и др.), а Аксиоматический метод, посредством которого производятся выводы этих частных предложений, часто называют аксиоматико-дедуктивным.

Изучение Д. составляет главную задачу логики; иногда логику — во всяком случае логику формальную — даже определяют как «теорию Д.», хотя логика далеко не единственная наука, изучающая методы Д.: Психология изучает реализацию Д. в процессе реального индивидуального мышления и его формирования, а гносеология (Теория познания) — как один из основных (наряду с другими, в частности различными формами индукции (См. Индукция)) методов научного познания мира.

Хотя сам термин «Д.» впервые употреблён, по-видимому, Боэцием (См. Боэций), понятие Д. — как Доказательство какого-либо предложения посредством Силлогизма —фигурирует уже у Аристотеля (См. Аристотель) («Первая Аналитика»). В философии и логике средних веков и нового времени имели место значительные расхождения во взглядах на роль Д. в ряду др. методов познания. Так, Р. Декарт противопоставлял Д. интуиции (См. Интуиция), посредством которой, по его мнению, человеческий разум «непосредственно усматривает» истину, в то время как Д. доставляет разуму лишь «опосредованное» (полученное путём рассуждения) знание. (Провозглашённый Декартом примат интуиции над Д. возродился гораздо позже и в значительно изменённых и развитых формах в концепциях так называемого интуиционизма.) Ф. Бэкон, а позднее др. английские логики-«индуктивисты»(У. Уэвелл, Дж. С. Милль, А. Бэн и др.), справедливо отмечая, что в заключении, полученном посредством Д., не содержится (если выражаться на современном языке) никакой «информации», которая не содержалась бы (пусть неявно) в посылках, считали на этом основании Д. «второстепенным» методом, в то время как подлинное знание, по их мнению, даёт только индукция. Наконец, представители направления, идущего в первую очередь от немецкой философии (X. Вольф, Г. В. Лейбниц), также, исходя по сути дела из того, что Д. не даёт «новых» фактов, именно на этом основании приходили к прямо противоположному выводу: полученные путём Д. знания являются «истинными во всех возможных мирах» (или, как говорил позже И. Кант, «аналитически истинными»), чем и определяется их «непреходящая» ценность [в отличие от полученных индуктивным обобщением данных наблюдения и опыта «фактических» («синтетических») истин, верных, так сказать, «лишь в силу стечения обстоятельств»].

С современной точки зрения вопрос о взаимных «преимуществах» Д. или индукции в значительной мере утратил смысл. Уже Ф. Энгельс писал, что «индукция и дедукция связаны между собой столь же необходимым образом, как синтез и анализ. Вместо того чтобы односторонне превозносить одну из них до небес за счет другой, надо стараться применять каждую из них на своем месте, а этого можно добиться лишь в том случае, если не упускать из виду их связь между собой, их взаимное дополнение друг друга» («Диалектика природы», 1969, с. 195 — 196). Однако и независимо от отмечаемой здесь диалектической взаимосвязи Д. и индукции и их применений изучение принципов Д. имеет громадное самостоятельное значение. Именно исследование этих принципов как таковых и составило по существу основное содержание всей формальной логики — от Аристотеля до наших дней. Более того, в настоящее время всё активнее ведутся работы по созданию различных систем «индуктивной логики», причём (такова диалектика этих на первый взгляд полярных понятий) своего рода идеалом здесь представляется создание «дедуктивноподобных» систем, т. е. совокупностей таких правил, следуя которым можно было бы получать заключения, имеющие если не 100%-ную достоверность (как знания, полученные путём Д.), то хотя бы достаточно большую «степень правдоподобия», или «вероятность» (см. Вероятностная логика).

Что же касается формальной логики в более узком смысле этого термина, то как к самой по себе системе логических правил, так и к любым их применениям в любой области в полной мере относится положение о том, что всё, что заключено в любой полученной посредством дедуктивного умозаключения «аналитической (или «логической») истине», содержится уже в посылках, из которых она выведена: каждое применение правила в том и состоит, что общее положение относится (применяется, прилагается) к некоторой конкретной («частной») ситуации. Некоторые правила логического вывода подпадают под такую характеристику и совсем явным образом; например, различные модификации так называемого правила подстановки гласят, что свойство доказуемости (или выводимости из данной системы посылок) сохраняется при любой замене элементов произвольной формулы данной формальной теории «конкретными» выражениями «того же вида». То же относится к распространённому способу задания аксиоматических систем посредством так называемых схем аксиом, т. е. выражений, обращающихся в «конкретные» аксиомы после подстановки вместо входящих в них «родовых» обозначений конкретных формул данной теории.

Но какой бы конкретный вид ни имело данное правило, любое его применение всегда носит характер Д. «Непреложность», обязательность, «формальность» правил логики, не ведающая никаких исключений, таит в себе богатейшие возможности автоматизации самого процесса логического вывода с использованием ЭВМ (см. Алгоритм, Кибернетика).

Под Д. часто понимают и сам процесс логического следования. Это обусловливает тесную связь (а иногда даже отождествление) понятия Д. с понятиями вывода и следствия, находящую своё отражение и в логической терминологии; так, «теоремойо Д.» принято называть одно из важных соотношений между логической связкой импликации (формализующей словесный оборот «Если..., то... ») и отношением логического следования (выводимости): если из посылки А выводится следствие В, то импликация А ⊃ В («Если А..., то В...») доказуема (т. е. выводима уже без всяких посылок, из одних только аксиом). (Теорема о Д., справедливая при некоторых достаточно общих условиях для всех «полноценных» логических систем, в некоторых случаях просто постулируется для них в качестве исходного правила.) Аналогичный характер носят и другие связанные с понятием Д. логические термины; так, дедуктивно эквивалентными называются предложения, выводимые друг из друга; дедуктивная полнота системы (относительно какого-либо свойства) состоит в том, что все выражения данной системы, обладающие этим свойством (например, истинностьюпри некоторой интерпретации (См. Интерпретация)), доказуемы в ней.

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

Лит.: Аристотель, Аналитики первая и вторая, пер. с греч., М., 1952; Декарт P., Правила для руководства ума, пер. с. лат., М. — Л., 1936; его же, Рассуждение о методе, М., 1953; Лейбниц Г. В., Новые опыты о человеческом разуме М. — Л., 1936; Тарский А., Введение в логику и методологию дедуктивных наук, пер. с англ., М., 1948; Асмус В. Ф., Учение логики о доказательстве и опровержении, М., 1954.

Ю. А. Гастев.

1. деду́кция;
2. деду́кции;
3. деду́кции;
4. деду́кций;
5. деду́кции;
6. деду́кциям;
7. деду́кцию;
8. деду́кции;
9. деду́кцией;
10. деду́кциею;
11. деду́кциями;
12. деду́кции;
13. деду́кциях.

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

| прил. дедуктивный, -ая, -ое.

-и, ж. лог.

Способ рассуждения от общих положений к частным, логический вывод частных положений из какой-л. общей мысли; противоп. индукция.

[лат. deductio]

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

ж.

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

Ant:

индукция

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

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

Дедукция (от лат. deductio - выведение) - процесс логического вывода на основании перехода от общих положений к частным.

жен.;
лог. deductionж. лог. deduction.

f.deduction

ж

Deduktion f

дедукция ж Deduktion f c

ж.

déduction f

ж.

deducción f

ж.

deduzione

ДЕДУКЦИЯ

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

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

Дедуктивными являются, напр., умозаключения:

Если лед нагревается, он тает.

Лед нагревается.

Лед тает.

Черта, отделяющая посылки от заключения, стоит вместо слова «следовательно».

Примерами индукции могут служить рассуждения:

Бразилия — республика; Аргентина — республика.

Бразилия и Аргентина — южноамериканские государства.

Все южноамериканские государства являются республиками.

Италия — республика; Португалия — республика; Финляндия — республика; Франция — республика.

Италия, Португалия, Финляндия, Франция — западноевропейские страны.

Все западноевропейские страны являются республиками.

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

Особенно характерными Д. являются логические переходы от общего знания к частному типа:

Все люди смертны.

Все греки — люди.

Все греки смертны.

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

Нельзя вместе с тем отождествлять Д. с переходом от общего к частному, а индукцию — с переходом от частного к общему. В рассуждении «Шекспир писал сонеты; следовательно, неверно, что Шекспир не писал сонетов» есть Д., но нет перехода от общего к частному. Рассуждение «Если алюминий пластичен или глина пластична, то алюминий пластичен» является, как принято думать, индуктивным, но в нем нет перехода от частного к общему. Д. — это выведение заключений, столь же достоверных, как и принятые посылки, индукция — выведение вероятных (правдоподобных) заключений. К индуктивным умозаключениям относятся как переходы от частного к общему, так и аналогия, каноны индукции, целевое обоснование и т.д.

Дедуктивные умозаключения позволяют из уже имеющегося знания получать новые истины, и притом с помощью чистого рассуждения, без обращения к опыту, интуиции, здравому смыслу и т.п. Д. дает стопроцентную гарантию успеха. Отправляясь от истинных посылок и рассуждая дедуктивно, мы обязательно во всех случаях получим достоверное знание.

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

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

Дедуктивная аргументация представляет собой выведение обосновываемого положения из иных, ранее принятых положений. Если выдвинутое положение удается логически (дедуктивно) вывести из уже установленных положений, это означает, что оно приемлемо в той же мере, что и сами эти положения. Обоснование одних утверждений путем ссылки на истинность или приемлемость др. утверждений — не единственная функция, выполняемая Д. в процессах аргументации. Дедуктивное рассуждение служит также для верификации (косвенного подтверждения) утверждений: из проверяемого положения дедуктивно выводятся его эмпирические следствия; подтверждение этих следствий оценивается как индуктивный довод в пользу исходного положения. Дедуктивное рассуждение используется также для фальсификации утверждений путем показа того, что вытекающие из них следствия являются ложными. Не достигшая успеха фальсификация представляет собой ослабленный вариант верификации: неудача в опровержении эмпирических следствий проверяемой гипотезы является аргументом, хотя и весьма слабым, в поддержку этой гипотезы. И наконец, Д. используется для систематизации теории или системы знания, прослеживания логических связей входящих в нее утверждений, построения объяснений и пониманий, опирающихся на общие принципы, предлагаемые теорией. Прояснение логической структуры теории, укрепление ее эмпирической базы и выявление ее общих предпосылок является вкладом в обоснование входящих в нее утверждений.

Дедуктивная аргументация является универсальной, применимой во всех областях рассуждения и в любой аудитории. «И если блаженство есть не что иное, как жизнь вечная, а жизнь вечная — это познание истины, то блаженство — это не что иное, как познание истины» — Иоанн Скот (Эриугена). Это теологическое рассуждение представляет собой дедуктивное рассуждение, а именно силлогизм.

Удельный вес дедуктивной аргументации в разных областях знания существенно различен. Очень широко она применяется в математике и математической физике и только эпизодически — в истории или эстетике. Имея в виду сферу приложения Д., Аристотель писал: «Не следует требовать от оратора научных доказательств, точно так же как от математика не следует требовать эмоционального убеждения». Дедуктивная аргументация является очень сильным средством, но, как и всякое такое средство, она должна использоваться узконаправленно. Попытка строить аргументацию в форме Д. в тех областях или в той аудитории, которые для этого не годятся, приводит к поверхностным рассуждениям, способным создать только иллюзию убедительности.

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

Понятие «Д.» является общеметодологическим понятием. В логике ему соответствует понятие доказательства.

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

ДЕДУ́КЦИЯ -и; ж. [лат. deductio] Лог. Способ рассуждения от общих положений к частным, логический вывод частных положений из какой-л. общей мысли (противоп.: инду́кция).

◁ Дедукти́вный, -ая, -ое.

* * *

(от лат. deductio — выведение), вывод по правилам логики; цепь умозаключений (рассуждение), звенья которой (высказывания) связаны отношением логического следования. Началом (посылками) дедукции являются аксиомы, постулаты или просто гипотезы, имеющие характер общих утверждений («общее»), а концом — следствия из посылок, теоремы («частное»). Если посылки дедукции истинны, то истинны и её следствия. Дедукция — основное средство доказательства (см. Аксиоматический метод, Индукция).

* * *

ДЕДУ́КЦИЯ (от лат. deductio — выведение), вывод по правилам логики; цепь умозаключений (рассуждение), звенья которой (высказывания) связаны отношением логического следования. Началом (посылками) дедукции являются аксиомы, постулаты или просто гипотезы, имеющие характер общих утверждений («общее»), а концом — следствия из посылок, теоремы («частное»). Если посылки дедукции истинны, то истинны и ее следствия. Дедукция — основное средство доказательства (см. Аксиоматический метод(см. АКСИОМАТИЧЕСКИЙ МЕТОД), Индукция(см. ИНДУКЦИЯ (умозаключение))).

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

деду́кция ж.

deduction

гипотети́ческая деду́кция — hypothetic(al) deduction

ж.

deduzione f

матем.

деду́кція

матем.

деду́кція

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

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

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