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.