Was ist Logik? Heute herrscht allgemein die Vorstellung, Logik sei die Lehre vom formal korrekten Sprechen und Schließen. In der Logik, so meint man, treffen sich die Philosophie und die Mathematik. In dieser Sicht hat die Logik von der Mathematik das formal Exakte, während sie von der Philosophie das grundsätzliche Fragen nach den Bedingungen der Möglichkeit des richtigen Urteilens und Schlussfolgern habe.
In dieser Partnerschaft von Mathematik und Philosophie ist ein weit verzweigtes Wissenschaftsgebiet entstanden, in dem es nicht nur um die einfache Verknüpfung von schlichten Aussagen über Tatsachen geht, sondern auch um Urteile über Mögliches und Notwendiges, um Erlaubtes und Verbotenes oder um Erwünschtes und Unerwünschtes geht. Und trotzdem umfasst all das nur einen ganz kleinen Teil dessen, worum es in der Logik von ihrem Ursprung her geht und gehen kann.