Die Bezeichnung Deduktion wird auch als deduktive Methode oder deduktiver Schluss verwendet.
Die Deduktion ist in der Philosophie ein logischer Beweis, eine Schlussfolgerung auf logisch zwingende Konsequenzen.
Aristoteles definierte Deduktion mit „Schluss vom Allgemeinen auf das Besondere“.