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.