Die ~ als Wissenschaft vom gültigen Schlußfolgern untersucht Zusammenhänge zwischen einzelnen Aussagen und stellt Beziehungen zwischen ihnen her, um die Wahrheit oder Unwahrheit einer Aussage auf diese Weise festzustellen. Im Rahmen eines ~kurses, wie er von Philosophischen Seminaren oder Mathematischen Instituten angeboten wird, können die Begrifflichkeiten der ~ erlernt werden. Man unterscheidet zwei wesentliche Arten: deduktive und induktive ~.

Die Logik als wissenschaftliche »Disziplin beruht auf der systematischen Arbeit des griechischen Philosophhen Aristoteles, auf den der Begriff des Syllogismus zurückgeht. Bedeutende Logiker waren ferner Leibniz, Russel, Gödel und Wittgenstein.