Logik (griech. ἡ λογική (τέχνη) [he logiké téchne] „die denkende [Kunst, Vorgehensweise]“) ist die Lehre des vernünftigen Schlussfolgerns. Die Logik untersucht die Gültigkeit von Argumenten hinsichtlich ihrer Struktur unabhängig vom konkreten Inhalt der eigentlichen Aussagen. In diesem Sinne spricht man auch von „formaler“ Logik. Die Logik ist sowohl ein Teilgebiet der Philosophie als auch der Mathematik und der Informatik. Davon abgeleitet findet sich der Begriff der Reflektiven Logik.
Logik (griech. ἡ λογική (τέχνη) [he logiké téchne] „die denkende [Kunst, Vorgehensweise]“) ist die Lehre des vernünftigen Schlussfolgerns. Die Logik untersucht die Gültigkeit von Argumenten hinsichtlich ihrer Struktur unabhängig vom konkreten Inhalt der eigentlichen Aussagen. In diesem Sinne spricht man auch von „formaler“ Logik. Die Logik ist sowohl ein Teilgebiet der Philosophie als auch der Mathematik und der Informatik. Davon abgeleitet findet sich der Begriff der Reflektiven Logik.