Information | |
---|---|
has gloss | (noun) reasoning from the general to the particular (or from cause to effect) synthesis, deductive reasoning, deduction |
has gloss | eng: Deduction is one of the two main types of reasoning. The other is induction. In deduction, we apply a general rule to a particular case. |
has gloss | eng: Deductive reasoning, also called Deductive logic, is reasoning which constructs or evaluates deductive arguments. In logic, an argument is deductive when its conclusion is a logical consequence of the premises. Deductive arguments are valid or invalid, never true or false. A deductive argument is valid if and only if the conclusion does follow necessarily from the premises. If the conclusion is false, then at least one of the premises must be false. If a deductive argument is not valid then it is invalid. A valid deductive argument with true premises is said to be sound; a deductive argument which is invalid or has one or more false premises or both is said to be not sound (unsound). |
lexicalization | eng: deduction |
lexicalization | eng: Deductive Reasoning |
lexicalization | eng: synthesis |
lexicalization | eng: Theories of deduction |
subclass of | (noun) thinking that is coherent and logical reasoning, abstract thought, logical thinking |
has subclass | (noun) deductive reasoning in which a conclusion is derived from two premises syllogism |
has instance | e/Conventionalism |
has instance | e/Dialetheism |
has instance | e/Epilogism |
has instance | e/Intuitionism |
has instance | e/Logical holism |
has instance | e/Mathematical constructivism |
has instance | e/Modal fictionalism |
has instance | e/Object theory |
has instance | e/Polylogism |
has instance | e/Preintuitionism |
has instance | e/Psychologism |
has instance | e/Quasi-empiricism |
has instance | e/Ramism |
has instance | e/Semantic theory of truth |
has instance | e/Supervaluationism |
has instance | e/Trivialism |
has instance | e/Ultrafinitism |
has instance | e/Unifying theories in mathematics |
Meaning | |
---|---|
Arabic | |
has gloss | ara: الاستنباط deduction أو الاستنتاج الاستنباطي deductive reasoning ، أحيانا يطلق عليه المنطق الاستنباطي Deductive logic هو أحد أشكال الاستنتاج و يمكن قياس الجدل عندما تعتمد صحة البرهان على منطقية الفرضية . |
lexicalization | ara: استنتاج استنباطي |
Asturian | |
Show unreliable ▼ | |
lexicalization | ast: deducción |
Bosnian | |
has gloss | bos: Dedukcija je logička metoda. To je oblik posrednog zaključka kod kojeg se zaključni sud izvodi od općeg ka posebnom ili pojedinačnom. Kada deduktivni zaključak ima tačno dvije premise (polazni sud) i konkluziju on se naziva silogizam. U zavisnosti od toga od kakvih je sudova građen može biti: kategorički, hipotetički i disjunktivni. Najčešći oblik silogizma je "kategorički silogizam", on je građen od tri kategorička suda, na primjer: |
lexicalization | bos: Dedukcija |
Bulgarian | |
has gloss | bul: Дедукция произлиза от латинската дума deductio (извеждам, продължавам) и във философията означава извеждане на особеното и единичното от общото, както и схващане на единичния случай на базата на един всеобщ закон. В кибернетиката дедукция означава извеждане на сигурни твърдения от други твърдения с помощта на логически заключения. При дедуктивните умозаключения говорим за пренасяне на общото към частното. |
lexicalization | bul: Дедукция |
Catalan | |
has gloss | cat: El raonament deductiu, deducció o mètode lògic deductiu és un mètode lògic que, a diferència de la raonament inductiu, considera que la conclusió és implícita en les premisses, el raonament deductiu infereix aquests mateixos fets en base a la llei general. És a dir que la conclusió no és nova, se segueix necessàriament de les premisses. Si un raonament deductiu és vàlid i les premisses són veritables, la conclusió només pot ser veritable. Respon al raonament deductiu que va ser descrit per primera vegada per filòsofs de lAntiga Grècia, especialment Aristòtil. La seva principal aplicació es realitza mitjançant el mètode dextrapolació. |
lexicalization | cat: raonament deductiu |
Show unreliable ▼ | |
lexicalization | cat: deducció |
Czech | |
has gloss | ces: Dedukce (lat. deductio – odvození) je proces usuzování, ve kterém se od předpokladů (premis) dochází k závěru z těchto předpokladů vyplývajícího, přičemž odvozování je jisté, nikoliv jen pravděpodobné. Jde tedy o základní postup při dokazování. |
lexicalization | ces: dedukce |
Central Kurdish | |
has gloss | ckb: بەڵگەھێنانەوەی دەرەنجامگری (بە ئینگلیزی: Deductive reasoning) یەکێ لە شێوەکانی بەڵگەھێنانەوەیە کە لە گوزارەگەلی بنەمایی دەرەنجامی نوێ دەدات بە دەستەوە. |
lexicalization | ckb: بەڵگەهێنانەوەی دەرەنجامگری |
Danish | |
has gloss | dan: Deduktion er en logisk gyldig slutningsform, hvor konklusionen nødvendigvis følger af præmisserne. Hvis præmisserne er sande må konklusionen også være sand. Hvis man for eksempel erkender at præmisserne "alle hajer er fisk" og "alle fisk har finner" er sande, må man nødvendigvis aflede deraf, at hajer har finner. Det adskiller sig her fra induktion, da der ved induktion er tale om en vis sandsynlighed for at ens konklusion er rigtig, men aldrig kan være 100% sikker (rent teoretisk). |
lexicalization | dan: Deduktion |
German | |
has gloss | deu: Die Deduktion (v. lat.: deductio = „Abführen“, „Fortführen“, zu: deducere = „deduzieren“, „herabführen“, „fortführen“, „den Ursprung [von etwas] ableiten/herleiten“) – auch: deduktive Methode oder deduktiver Schluss – ist in der Philosophie und der Logik eine Art der Schlussfolgerung vom Allgemeinen auf das Besondere. Genauer gesagt werden mit Hilfe der Deduktion spezielle Einzelerkenntnisse aus allgemeinen Theorien gewonnen. Sie bezeichnet das Verfahren, aus gegebenen Prämissen auf rein logischem Wege, d. h. auf extensionaler Grundlage, die mit Notwendigkeit folgenden Schlüsse abzuleiten. |
lexicalization | deu: Deduktion |
lexicalization | deu: deduktive Methode |
lexicalization | deu: deduktiver Schluss |
lexicalization | deu: Ableitung |
Estonian | |
has gloss | est: Deduktsioon on arutlemise viis, mis tagab, et tõestest eeldustest saadakse tõesed järeldused. Deduktsiooniks nimetatakse ka deduktiivse arutluse esitamist või arutlemist, mida vaadeldakse deduktiivset arutlust järgivana. |
lexicalization | est: deduktsioon |
Basque | |
lexicalization | eus: kenkari |
Persian | |
has gloss | fas: استنتاج (Deduction) یا استدلال استنتاجی (Deductive reasoning) در منطق، ریاضیات، و هوش مصنوعی بدست آوردن یک گزاره از دنبالهای از یک مجموعه گزارهها است. دنبالهٔ گزاره استفاده شده مفروضات و گزارهٔ بدست آمده نتیجه نامیده میشود. |
lexicalization | fas: استدلال استنتاجی |
Finnish | |
has gloss | fin: Deduktiivinen päättely eli validi päättely on päättelytapa, jossa tosista premisseistä seuraa välttämättä tosi johtopäätös. Toisinaan deduktiivinen päättely määritellään esittämällä, että päättely etenee johtamalla yleistyksestä yksittäistapausta koskeva johtopäätös. Sana deduktio tulee latinankielen sanasta deduco, joka tarkoittaa "esiin johtaa". Nimensä mukaisesti deduktiivinen päättely ei anna uutta tietoa, vaan johtaa esiin annettuihin premisseihin sisältyvän oletuksen. Tällä tarkoitetaan sitä, että deduktiivinen päättely, on päättelyä tunnetuista tapauksista toisiin tunnettuihin tapauksiin. |
lexicalization | fin: deduktiivinen päättely |
French | |
has gloss | fra: En logique, la déduction procède de la conception que les moyens ne sont pas plus importants que la fin (conclusion), par opposition à l'induction logique qui consiste à former des représentations générales à partir de faits particuliers. La déduction est un principe de la logique développée entre autres par Aristote. |
lexicalization | fra: déduction |
lexicalization | fra: Deduction logique |
lexicalization | fra: Déduction logique |
Galician | |
has gloss | glg: A dedución ou razoamento dedutivo foi descrito por primeira vez por filósofos da Antiga Grecia, en especial Aristóteles. |
lexicalization | glg: dedución |
Serbo-Croatian | |
has gloss | hbs: Dedukcija je logička metoda. To je oblik posrednog zaključka kod kojeg se zaključni sud izvodi od općeg ka posebnom ili pojedinačnom. Kada deduktivni zaključak ima tačno dvije premise (polazni sud) i konkluziju on se naziva silogizam. U zavisnosti od toga od kakvih je sudova građen može biti: kategorički, hipotetički silogizam, disjunktivni silogizam i hipotetičko-disjunktivni silogizam (ili dilema). Najčešći oblik silogizma je "kategorički silogizam". |
lexicalization | hbs: Dedukcija |
Hebrew | |
has gloss | heb: דדוקציה (Deduction, בעברית אִפְרוּט) היא הסקת מסקנות מן הכלל אל הפרט, זאת בניגוד לאינדוקציה בה המסקנות מתקבלות מן הפרט אל הכלל. בדדוקציה המסקנות בהכרח נובעות מהנחות היסוד של הטיעון. באופן כללי ניתן לומר שבדדוקציה משתמשים בהנחות יסוד ועקרונות כלליים על מנת לגזור מהם מסקנות פרטיות. הסקה דדוקטיבית מגלה את ההשלכות של טענות, חוקים או עקרונות כלליים, אך, על פי טענתם של כמה פילוסופים, אינה מוסיפה דבר לאמת לאמת הידועה כבר מתוך הטענות. |
lexicalization | heb: דדוקציה |
Croatian | |
has gloss | hrv: Svi ljudi(M) su živa bića(P) |
lexicalization | hrv: Dedukcija |
Hungarian | |
has gloss | hun: Dedukció vagy levezetés, bizonyítás logikai fogalom. |
lexicalization | hun: dedukció |
Indonesian | |
has gloss | ind: Deduksi berarti penarikan kesimpulan dari keadaan yang umum atau penemuan yang khusus dari yang umum. Metode deduksi akan membuktikan suatu kebenaran baru berasal dari kebenaran-kebenaran yang sudah ada dan diketahui sebelumnya (berkesinambungan ). Metode deduksi umumnya dipakai pada bidang matematika untuk membuat turunan-turunan rumus yang lebih simpel. |
lexicalization | ind: Metode Deduksi |
Icelandic | |
has gloss | isl: Afleiðsla kallast það þegar dregin er ályktun af almennari forsendum og ályktunin er nauðsynleg afleiðing þeirra. Það er að segja, ef forsendurnar eru sannar, þá verður niðurstaðan að vera sönn líka ef röksemdafærslan er á annað borð gild (röksemdafærsla er ógild ef allar forsendurnar geta verið sannar en niðurstaðan ósönn). Þvert á við aðleiðslu/tilleiðslu, þá virkar afleiðsla frá því almenna yfir á það einstaka. Almenna hluti eins og það að menn eru dauðlegir er því hægt að heimfæra upp á einstaklinginn með þessum hætti: |
lexicalization | isl: Afleiðsla |
Italian | |
has gloss | ita: Il metodo deduttivo o deduzione è il procedimento razionale che fa derivare una certa conclusione da premesse più generiche, dentro cui quella conclusione è implicita. Il termine significa letteralmente «condurre da», perché proviene dal latino "de" (traducibile con da, preposizione indicante provenienza, o moto di discesa dall'alto verso il basso), e "ducere" (condurre). |
lexicalization | ita: deduzione |
Japanese | |
has gloss | jpn: 演繹(えんえき、ラテン語 deducere)法は、一般的・普遍的な前提から、より個別的・特殊的な結論を得る推論方法である。対義語は帰納法。帰納の導出関係は蓋然的に正しいのみだが、演繹の導出関係は前提を認めるなら絶対的、必然的に正しい。したがって実際上は、前提が間違っていたり適切でない前提が用いられれば、誤った結論が導き出されることがある。近代的には、演繹法とは記号論理学によって記述できる論法の事を指す。 |
lexicalization | jpn: 演繹 |
Korean | |
has gloss | kor: 논리학에서 연역 추론(deductive reasoning)은 이미 알고 있는 판단을 근거로 새로운 판단을 유도하는 추론이다. 여기서 이미 알고 있는 판단은 전제, 새로운 판단은 결론이다. 진리일 가능성을 따지는 귀납 추론과는 달리, 명제들 간의 관계와 논리적 타당성을 따진다. 즉, 연역 추론으로는 전제들로부터 절대적인 필연성을 가진 결론을 이끌어 낼 수 있다. 용어 및 어원 * 전제 : 주어진 조건 명제는 논리학에서 전제라 부르며, 이것은 이미 알려진 사실을 바탕으로 한다. 영어에서 전제(premise, proposition)라는 낱말은 고대 그리스어 protasis, 라틴어 praemissa, propositio에서 비롯되었다. * 결론 : 전제를 바탕으로 필연적으로 이끌어 내어지는 새로운 명제를 결론이라 부른다. 결론은 전제와 다른 사실을 담고 있어야 한다. 영어에서 결론(conclusion)이라는 낱말은 고대 그리스어 syllogismos, 라틴어 conclusio에서 비롯되었다. |
lexicalization | kor: 연역 |
Latin | |
lexicalization | lat: dēductiō |
Latvian | |
has gloss | lav: Deduktīvs slēdziens (, "novešana") ir jēdziens loģikā, kas apzīmē slēdzienu, kurā secinājums tiek iegūts no premisām ar loģisko nepieciešamību. Šo spriešanas veidu sauc par dedukciju, un tā nepaplašina, bet tikai padziļina zināšanas, jo ar deduktīviem slēdzieniem nevar uzzināt neko tādu, kas nebūtu bijis jau netieši ietverts premisās. |
lexicalization | lav: Deduktīvs slēdziens |
Macedonian | |
has gloss | mkd: Дедукција е постапка со помош на која од општото се изведуваат посебни или поединечни заклучоци. Овие заклучоци логично нужно следат од општото, но не мора да бидат вистинити. |
lexicalization | mkd: Дедукција |
Dutch | |
has gloss | nld: Deductie is een methode in de filosofie en in de logica, waarbij een gevolgtrekking wordt gemaakt uit het algemene naar het bijzondere - van de algemene regel (major-premisse) naar de bijzondere regel (minor-premisse) of waar de verzameling van premissen en de negatie van de conclusie inconsistent zijn. |
lexicalization | nld: Deductie |
lexicalization | nld: bewijsvoering |
Norwegian Nynorsk | |
has gloss | nno: Deduksjon (frå latin deducere, å utleida) er ein metode for å draga logiske slutningar om einskildting ut frå ålmenne observasjonar, og er det motsette av induksjon. I vitskaplege granskingsopplegg er deduksjon å utleida problemstellingar frå ein teori som skal testast - ein prøver generelle teoriar oppmot empiriske tilfelle. |
lexicalization | nno: deduksjon |
Norwegian | |
has gloss | nor: Deduksjon (la. de «ut» og ducere «lede, føre») beskriver innenfor en og logikken en slutning der bevegelsen fra premissene til konklusjonen er slik at hvis premissene er sanne, må konklusjonen nødvendigvis være sann. |
lexicalization | nor: Deduksjon |
Polish | |
has gloss | pol: Dedukcja to rodzaj rozumowania logicznego, mającego na celu dojście do określonego wniosku na podstawie założonego wcześniej zbioru przesłanek. Istotą jest przechodzenie od ogółów do szczegółów. Rozumowanie dedukcyjne w odróżnieniu od rozumowania indukcyjnego jest w całości zawarte wewnątrz swoich założeń, to znaczy nie wymaga tworzenia nowych twierdzeń czy pojęć, lecz jest tylko prostym wyciąganiem wniosków. Jeśli jest przeprowadzone poprawnie, zaś zbiór przesłanek nie zawiera zdań fałszywych, to wnioski wyciągnięte w wyniku rozumowania dedukcyjnego są nieodparcie prawdziwe i nie można ich zasadnie zakwestionować. |
lexicalization | pol: Rozumowanie dedukcyjne |
Portuguese | |
has gloss | por: Método dedutivo é a modalidade de raciocínio lógico que faz uso da dedução para obter uma conclusão a respeito de determinada(s) premissa(s). |
lexicalization | por: dedução |
lexicalization | por: método dedutivo |
lexicalization | por: Teorias dedutivas |
Moldavian | |
has gloss | ron: Raţionamentul deductiv este o operaţie a gândirii ordonate prin care se obţine o judecată nouă numită concluzie din două judecăţi anterioare dintre care prima este denumită premisă, iar a doua termen mediu pe baza raporturilor logice dintre ele. |
lexicalization | ron: Raţionament deductiv |
lexicalization | ron: Raționament deductiv |
Russian | |
has gloss | rus: Дедукция ( — выведение) — метод мышления, при котором частное положение логическим путем выводится из общего, вывод по правилам логики; цепь умозаключений (рассуждение), звенья которой (высказывания) связаны отношением логического следования. Началом (посылками) дедукции являются аксиомы, постулаты или просто гипотезы, имеющие характер общих утверждений («общее»), а концом — следствия из посылок, теоремы («частное»). Если посылки дедукции истинны, то истинны и ее следствия. Дедукция — основное средство доказательства. Противоположно индукции. |
lexicalization | rus: умозаключение |
lexicalization | rus: Дедуктивное умозаключение |
Slovenian | |
has gloss | slv: Dedukcija je v logiki izpeljava ugotovitve, ki izvira iz ene ali več navedb, od katerih je vsaka navedba predhodnica ali posledica ugotovitve, ki nastopa v danem dokazu. |
lexicalization | slv: Dedukcija |
Castilian | |
has gloss | spa: El pensamiento deductivo parte de categorías generales para hacer afirmaciones sobre casos particulares. |
lexicalization | spa: razonamiento deductivo |
lexicalization | spa: deducción |
Serbian | |
has gloss | srp: Дедукција је поступак којим се из општег суда изводи неки други, посебни или појединачни суд. Овај појединачни суд логички нужно следи из општијег, али не мора бити и истинит. |
lexicalization | srp: Дедукција |
Swedish | |
has gloss | swe: Deduktion är ett filosofiskt förfaringssätt för att härleda slutsatser från premisser. Utifrån ett antal premisser deducerar man en slutsats, exempel: "från A och B följer C". Deduktionen säger således ingenting om huruvida de ingående premisserna är sanna eller inte, bara att de kan sammankopplas till slutsatser, se exempel nedan. |
lexicalization | swe: Deduktion |
Thai | |
has gloss | tha: อีดักต์(อังกฤษ:Educt) เรียกอีกอย่างว่า ตัวทำปฏิกิริยา (Reactant) เป็นสารตั้งตั้น ของ ผลิตภัณฑ์ ใน ปฏิกิริยาเคมี. |
lexicalization | tha: อีดักต์ |
Ukrainian | |
has gloss | ukr: Дедукція (, , ) — це процес виведення висновку, що ґарантовано слідує, якщо вихідні припущення істинні та вивід на їх підставі є чинним. Висновок повинен базуватись винятково на основі попередньо наведених доказів, та не повинен містити нової інформації про предмет що досліджується. Дедукція була вперше описана у працях давньогрецьких філософів, таких як Арістотель. Процес виведення дедуктивно вірний тоді і лише тоді, коли з точки зору логіки за умови вірності вихідних припущень висновки також вірні; або, логічно неможливі хибні висновки за вірних припущень. |
lexicalization | ukr: дедукція |
Uzbek | |
has gloss | uzb: Deduksiya – oldindan mavjud bo’lgan bir umumiy haqiqat, umumiy prinsipning o’ziga xos tartibli fikrlash va mantiq qoidalariga asoslangan holda, maydaroq, yakka holatlarga tadbiq qilinishiga aytiladi. Deduksiyada umumiy bir gipoteza hayotdagi mavjud yakka holatlar orqali tekshirib chiqiladi. Bu umumiy prinsip oldindan mavjud, va holatlarni faqatgina bu prinsipni tekshirish, tatbiq qilish uchungina o’rganiladi. Bu yerda birlamchi o’rinda mantiq turadi; tajriba esa ikkilamchi hisoblanadi. Shuningdek * Induksiya |
lexicalization | uzb: Deduksiya |
Vietnamese | |
has gloss | vie: Suy diễn lôgic, lập luận bằng suy diễn hay suy diễn là lập luận mà trong đó kết luận được rút ra từ các sự kiện được biết trước theo kiểu: nếu các tiền đề là đúng thì kết luận phải đúng. Nghĩa là các sự kiện cho trước đòi hỏi rằng kết luận là đúng. |
lexicalization | vie: Suy diễn logic |
lexicalization | vie: Suy diễn lôgic |
Yue Chinese | |
has gloss | yue: 數學推論法,簡稱推論,又叫演繹推理,係一種推理方法。只要前提真,咁由前提推出黎嘅結論都一定會係真。 |
lexicalization | yue: 演繹推理 |
Chinese | |
has gloss | zho: 在传统的亚里士多德逻辑中,演绎推理(英语:deductive reasoning)是「结论,可从叫做前提的已知事实,“必然的”得出的推理」。如果前提为真,则结论必然为真。这区别于溯因推理和归纳推理,它们的前提可以预测出高概率的结论,但是不确保结论为真。 |
lexicalization | zho: 演绎推理 |
Links | |
---|---|
Show unreliable ▼ | |
similar | e/Deductive reasoning |
Media | |
---|---|
media:img | Aristotelesbunt.jpg |
media:img | Galileo Galilei01.jpg |
media:img | Immanuel Kant.jpg |
media:img | Induktion-Deduktion.svg |
Lexvo © 2008-2024 Gerard de Melo. Contact Legal Information / Imprint