Der Prozess oder die Operation, Schlussfolgerungen zu ziehen, die notwendigerweise aus gegebenen Prämissen durch Anwendung von Inferenzregeln innerhalb eines logischen Systems folgen; Deduktion liefert Schlussfolgerungen, deren Wahrheit durch Prämissen und Regeln impliziert wird.

Prinzip

Deduktion wird durch Inferenzregeln bestimmt, die Konsequenz bewahren: Sind die Prämissen im System wahr (oder ableitbar) und werden die Regeln korrekt angewandt, so sind auch die Schlussfolgerungen garantiert wahr (bzw. ableitbar) in Bezug auf die Semantik des Systems.

Demonstration

Ein prototypischer deduktiver Schritt ist Modus Ponens: Aus ‚Wenn P dann Q‘ und ‚P‘ folgert man ‚Q‘. Im Sequentenkalkül entspricht dies der Umformung eines Sequents mit P und P→Q auf der linken Seite zu einem Sequent mit Q auf der rechten Seite durch Regelanwendung.

Fehlanwendung

Abduktive oder induktive Inferenz (Schluss auf die beste Erklärung oder Verallgemeinerung aus Stichproben) als deduktiv sichere Schlussfolgerungen zu behandeln; logische Fehlschlüsse wie das Bestätigen des Konsequens oder Verneinen des Antezedens zu begehen und die Schlussfolgerung fälschlich als deduktiv gesichert anzusehen.

Konsequenz

Korrektes deduktives Schließen liefert Gewissheit (relativ zu Prämissen und Regeln) und bildet das Rückgrat formaler Mathematik, Verifikation und symbolischer Beweissysteme; es ermöglicht die Ableitung aller Konsequenzen einer Axiommenge innerhalb eines formalen Systems.

Umkehrung

Der inverse Kontrast ist induktives oder abduktives Schließen: Anstelle notwendiger Konsequenzen aus Prämissen zu ziehen, schließt man auf allgemeine Gesetze aus Beobachtungen oder postuliert Prämissen, die beobachtete Schlussfolgerungen am besten erklären — diese Mängel an deduktiver Notwendigkeit.

Abgrenzung

Gilt für regelgesteuerte formale Systeme, in denen Inferenzregeln explizit sind; umfasst nicht empirische Verallgemeinerung, probabilistische Inferenz mit Glaubensgraden oder heuristische/kreative Sprünge, die nicht durch das Regelwerk gerechtfertigt sind.

Semantische Spannung

Spannung besteht zwischen Deduktion und anderen Denkmodi: Deduktion verlangt wahrheitserhaltende Regeln und Gewissheit, während Induktion und Abduktion Gewissheit gegen ampliatives Erklärungs‑ oder Vorhersagevermögen eintauschen; die Unterscheidung ist methodisch entscheidend.

Synthese

Deduktion ist die regelgeführte Transformation von Prämissen in Schlussfolgerungen, die von diesen Prämissen innerhalb eines formalen Systems impliziert werden, und bietet Gewissheit in Relation zu den gewählten Axiomen und Inferenzregeln, im Kontrast zu ampliativen Inferenzmodi.