Einst galt die Logik als philosophische Disziplin, oft wird sie umgangssprachlich als Synonym für Einsichtigkeit verwendet. Genauer ist sie beschrieben bei Wikipedia:
Mit Logik (von altgriechisch λογικὴ τέχνη logiké téchnē ‚denkende Kunst‘, ‚Vorgehensweise‘) oder auch Folgerichtigkeit[1] wird im Allgemeinen das vernünftige Schlussfolgern und im Besonderen dessen Lehre – die Schlussfolgerungslehre oder auch Denklehre – bezeichnet. In der Logik wird die Struktur von Argumenten im Hinblick auf ihre Gültigkeit untersucht, unabhängig vom Inhalt der Aussagen. Bereits in diesem Sinne spricht man auch von „formaler“ Logik.
Zuweilen wird die Logik in verschiedene Bereiche untergliedert, Modallogik, mehrwertige Logik etc. aber der Kern bleibt unangetastet. Widerprüche werden ausgeschlossen. Auch wird der Satz vom Widerspruch auch nicht durch die Dialektik der scheinbaren Widersprüche ausgehebelt. In wie weit die Logik etwas urtümliches ist, dass auch nicht von einer Allmacht Gottes ausgehebelt wird, wird in dem Allmachtsparadoxon diskutiert: