Portal:Philosophie/Artikel der Woche/28

Unter der Logik (griech. λογική τέχνη „die denkende Kunst, Vorgehensweise“) wird heute im Allgemeinen eine teils in der Philosophie, teils in der Mathematik und in der Informatik angesiedelte Theorie verstanden, die sich primär mit den Normen des korrekten (Schluss-)Folgerns beschäftigt. Heute versteht man unter Logik überwiegend formale Logik (auch symbolische Logik oder mathematische Logik genannt), wie man sie zum Beispiel in der Aussagenlogik und in den formalen Systemen findet. Die philosophische Logik hatte jedoch nicht immer diese Struktur.