Deduktion
Schlussfolgerung gegebener Prämissen auf die logisch zwingenden Konsequenzen
Die Deduktion oder deduktive Methode ist in der Philosophie und der Logik eine Schlussfolgerungsweise vom Allgemeinen auf das Besondere, vom Vielen auf das Eine.
Genauer werden mithilfe der Deduktion spezielle Einzelerkenntnisse aus allgemeinen Theorien gewonnen.
Die moderne mathematische Logik und alle formalen Systeme enthalten nur deduktive Prinzipien. Auch die gesamte Mathematik liegt vollständig in deduktivem Aufbau vor und wird vorwiegend so gelehrt. Jedoch werden in der Entwicklung der Mathematik viele ihrer Erkenntnisse induktiv gewonnen.
Siehe auch: deduktiv-nomologisch, Abduktion, Fehlschluss