Deduktion

In einer klassischen Darstellung der empirischen Sozialwissenschaften bilden Deduktion, Induktion, Theorie und Empirie zentrale Begriffe. Dabei werden in der Empirie Daten erhoben, aus diesen per Induktion allgemeine Sätze (Theorie) gewonnen, aus der Theorie wiederum können per Deduktion Aussagen über Einzelfälle gewonnen werden.

Die Deduktion (lat. deductio ‚Abführen, Fortführen, Ableitung‘), auch deduktive Methode oder deduktiver Schluss, ist in der Philosophie und der Logik eine Schlussfolgerung von gegebenen 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.

Logik und formale Systeme

Innerhalb der modernen mathematischen Logik und allen formalen Systemen wird ein möglichst durchgehender Aufbau mit deduktiven Prinzipien angestrebt. Auch die Mathematik liegt weitgehend in deduktivem Aufbau vor und wird vorwiegend so gelehrt; d. h. ihre Ergebnisse werden aus Axiomensystemen formal abgeleitet. Deduktive Geschlossenheit ist ein wesentliches Merkmal formaler Beweise in der Mathematik (s. a. Beweis (Mathematik)) die mathematischen Verfahren der vollständigen Induktion und der transfiniten Induktion sind entgegen ihres Namens deduktive Verfahren.

Der einfachste Fall der Anwendung der deduktiven Methode ist die Beseitigung einer Implikation mit Hilfe der Abtrennungsregel. Die logische Struktur dieser Regel ist die allgemeine Struktur eines Arguments, das aus einer Menge von Prämissen nach einer Schlussregel auf eine Konklusion schließt:

p p → q ——— q (Prämisse 1) (Prämisse 2) (Konklusion)

Sind p und p → q (sprich: wenn p, dann q) wahre Aussagen, so ist auch q eine wahre Aussage.

Entscheidbarkeit

Es gibt logische Systeme, in denen Ausdrücke auftreten, die zwar mit den Hilfsmitteln dieses Systems formuliert werden können, in ihm aber nicht entscheidbar sind. Deduktive und reduktive Schlussweisen werden in ihrer einfachen Struktur nur selten angewandt. Das tatsächlich wissenschaftliche Ableiten ist ein komplexes System von deduktiven, reduktiven und heuristischen Verfahren.

Wissenschaftstheorie

Die Auffassung, dass Deduktion und Induktion komplementäre Elemente der wissenschaftlichen Wahrheitsfindung sind, ist auch bestritten worden, am prominentesten von Karl Popper. Ihm zufolge handelt es sich bei der Induktion nicht um ein Beweisverfahren. Allgemeine Regeln werden in Poppers Falsifikationismus nicht nach bestimmten induktiven Regeln aus der Empirie hergeleitet, solche Regeln sind ihm zufolge bestenfalls Heuristiken für das Finden allgemeiner Hypothesen. Alle Schlüsse, die in der Wissenschaft gezogen werden, sind für ihn daher rein deduktiv, auch Schlüsse vom Besonderen auf das Allgemeine: Diese erfolgen im modus tollens, beispielsweise wenn eine allgemeine Hypothese oder Theorie, ausgehend von einer beobachteten Einzeltatsache, falsifiziert wird (siehe auch indirekter Beweis).

In den Naturwissenschaften müssen durch Deduktion ermittelte Vorhersagen empirisch überprüfbar sein, um einen wissenschaftlichen Wert zu besitzen. Wenn die Beobachtungen nicht mit den Vorhersagen übereinstimmen, muss die Theorie angepasst oder verworfen werden.

Die deduktive Methode wird allgemein aber nicht für die einzige Methode der Gewinnung neuer wissenschaftlicher Erkenntnisse gehalten. Solch eine Methode muss stets von Prämissen ausgehen, die ihrerseits als wahr zu beweisen sind, hypothetisch als wahr vorausgesetzt werden oder axiomatisch als wahr gesetzt sind. Selbst wenn sich solche Prämissen wiederum aus anderen Prämissen deduktiv ableiten lassen, muss diese Beweiskette doch irgendwo beginnen (siehe: Infiniter Regress).

Die Wissenschaft muss zu Beweisverfahren greifen, die nicht-deduktiver Natur sind, denen also intensionale Beziehungen zugrunde liegen. Es handelt sich dabei also um empirische Verfahren, welche Erkenntnisse durch Beobachtung und Experimente gewinnen. Die logische Verarbeitung der Ergebnisse der Praxis zu wissenschaftlichen Aussagen oder gar Gesetzen geschieht mit der reduktiven Methode.

Psychologie

Neben Logik, Philosophie und Linguistik beschäftigt sich auch die Denkpsychologie für die menschlichen Kompetenz und Inkompetenz beim schlussfolgernden Denken. Als wichtigste Theorien sind zu nennen:

• die Theorie der mentalen Modelle von Philip Johnson-Laird (1983),
• die Theorie der mentalen Logik von Jean Piaget (1958), Rips (1994), Ford (1995) und anderen sowie
• die Informationsgewinn-Theorie von Oaksford und Chater (1994).

Die Psychologie untersucht, warum und wie Menschen überhaupt schlussfolgern können, warum sie dabei Fehler machen und welche Fehler häufiger gemacht werden als andere. Um Inhaltseffekte auszuschließen, hat man sich dabei meist syllogistischer Aufgaben bedient. Es zeigte sich, dass Menschen sehr häufig nicht formal-logisch denken, sondern stattdessen, besonders unter Zeitdruck, Heuristiken benutzen. Dabei lassen sich systematische Fehler erkennen, die in der Fachliteratur als Bias (engl. für Vorurteil, Befangenheit, Tendenz) bezeichnet werden. So werden unlogische, aber vom Inhalt her glaubwürdige Schlussfolgerungen oft für wahr gehalten, ebenso logisch valide, aber unglaubwürdige Konklusionen irrtümlich für falsch (belief bias). Ebenfalls verbreitet ist die Tendenz, Schlussfolgerungen eher für wahr zu halten, die die eigenen Überzeugungen bestätigen (sog. confirmation bias). Umfangreiche Listen von kognitiven Biases finden sich unter List of cognitive biases und Category:Cognitive biases in der englischsprachige Wikipedia.

Siehe auch

• Axiomensystem; Axiomatisierung
• Deduktionstheorem
• Deduktive Argumentate
• Deduktiv-nomologisches Modell
• Fehlschluss
• Formales System

Weblinks

• Markus Knauff: Deduktion, logisches Denken (PDF; 816 kB), Beitrag für den Band C/II/8 der Enzyklopädie der Psychologie “Denken und Problemlösen”
• Alan Baker: „Non-Deductive Methods in Mathematics“ in der Stanford Encyclopedia of Philosophy (englisch, inklusive Literaturangaben)

Wiktionary: Deduktion – Bedeutungserklärungen, Wortherkunft, Synonyme, Übersetzungen