Deduktion
Deduktion oder deduktives Denken ist ein logischer Prozess, bei dem eine Schlussfolgerung auf der Übereinstimmung mehrerer Prämissen basiert, die allgemein als wahr angenommen werden.
Deduktion wird manchmal auch als Top-down-Logik bezeichnet. Das Gegenstück, induktives Denken oder Induktion, wird manchmal als Bottom-Up-Logik bezeichnet. Wenn bei der Anwendung der Deduktion von den allgemeinen Prämissen zu einer spezifischen Schlussfolgerung gewechselt wird, geht die induktive Schlussfolgerung von spezifischen Prämissen zu einer allgemeinen Schlussfolgerung über.
Der griechische Philosoph Aristoteles gilt als Vater der deduktiven Methode. Er formulierte das folgende klassische Beispiel:
- Alle Menschen sind sterblich.
- Sokrates ist ein Mensch.
- Also ist Sokrates sterblich.
In Aristoteles Beispiel, das manchmal auch als Syllogismus bezeichnet wird, sind die Prämissen des Arguments, dass alle Menschen sterblich sind und dass Sokrates ein Mensch ist, offensichtlich wahr. Da die Voraussetzungen dafürsprechen, dass Sokrates ein Individuum in einer Gruppe ist, deren Mitglieder alle sterblich sind, ist die unausweichliche Schlussfolgerung, dass Sokrates ebenfalls sterblich sein muss.
