Logik
Unter
Logik (von altgriechisch λογικὴ τέχνη
logiké téchnē „denkende Kunst“, „Vorgehensweise“) versteht man die Lehre des vernünftigen Schlussfolgerns. 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. Traditionell ist die Logik ein Teil der Philosophie. Ursprünglich hat sich die traditionelle Logik in Nachbarschaft zur Rhetorik entwickelt. Seit dem 20. Jahrhundert versteht man unter Logik überwiegend symbolische Logik, die auch als grundlegende Strukturwissenschaft, z. B. innerhalb der Mathematik und der Theoretischen Informatik, behandelt wird. Gregor Reisch, „Die Logik präsentiert ihre zentralen Themen“,
Margarita Philosophica, 1503/08 (?). Die beiden Hunde
veritas und
falsitas jagen den Hasen
problema, die Logik eilt mit dem Schwert
syllogismus bewaffnet hinterher. Links unten Parmenides, mit dem die logische Argumentation Einzug in die Philosophie hielt, in einer Höhle.