Aristoteles erfand formale logik und deduktives schließen
Aristoteles war ein Pionier der formalen Logik und des deduktiven Schließens. Er schuf ein systematisches Denkwerkzeug. Dies prägte die westliche Philosophie, Wissenschaft und moderne KI.
Wussten Sie, dass Aristoteles, der antike griechische Philosoph, die formale Logik im Wesentlichen erfand? Um 350 v. Chr. führte er das deduktive Schließen ein. Dies war eine bahnbrechende Methode. Schlussfolgerungen folgen dabei logisch aus Prämissen. Sein berühmtes Beispiel: Sind alle Menschen sterblich und Sokrates ein Mensch, dann muss Sokrates sterblich sein.