Logik (griech. ἡ λογική (τέχνη) [he logiké téchne] „die denkende [Kunst, Vorgehensweise]“) ist die Lehre des vernünftigen (Schluss-)Folgerns. 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.