deductive

Deductive reasoning, also deductive logic, logical deduction or, informally, "top-down" logic, is the process of reasoning from one or more statements (premises) to reach a logically certain conclusion. It differs from inductive reasoning or abductive reasoning.

Die Deduktion ( ‚Abführen, Fortführen, Ableitung‘), auch deduktive Methode oder deduktiver Schluss, ist in der Philosophie und der Logik eine Schlussfolgerung gegebener Prämissen auf die logisch zwingenden Konsequenzen. Deduktion ist schon bei Aristoteles als „Schluss vom Allgemeinen auf das Besondere“ verstanden worden, d. h. der Vererbung von Eigenschaften, die alle Mitglieder einer Gruppe teilen, auf echte Untermengen und einzelne Elemente. Dem stellt Aristoteles die Induktion als Gewinnung von allgemeinen Aussagen aus der Betrachtung mehrerer Einzelfälle, und die Abduktion oder Apagoge gegenüber, die feststellt, dass bestimmte Einzelfälle unter eine gegebene oder noch zu entdeckende allgemeine Regel fallen.

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.

Le terme déduction se retrouve dans les articles suivants de cette encyclopédie :

• en logique, la déduction est l'un des trois types d'inférence, voir raisonnement déductif ;
• en logique mathématique, par exemple en calcul des propositions et déduction naturelle, la relation de déduction lie des prémisses à des conclusions par l'intermédiaire de règles d'inférences, voir déduction logique.

La déduction logique est un type de relation que l'on rencontre en logique mathématique. Elle relie des propositions dites prémisses à une proposition dite conclusion et préserve la vérité. Prémisses et conclusion qui sont ainsi reliées par une règle de déduction, assurent que si la règle est valide et si les prémisses sont vraies, la conclusion est elle aussi vraie. On dit alors que la conclusion est une conséquence des prémisses, ou parfois que la conclusion vient des prémisses. L'analyse philosophique pose des questions comme ou . La logique philosophique peut donc être définie comme la compréhension et l’analyse de la nature des conséquences logiques et de la vérité logique.

Dedukcja – rodzaj rozumowania logicznego, mającego na celu dojście do określonego wniosku na podstawie założonego wcześniej zbioru przesłanek. 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ć.