Grundlegende logische Prinzipien erlernen wir alle zusammen mit der Sprache. Logik ist vor allem eng mit Mathematik und Philosophie verknüpft. Im Jahr 1847 begründete George Boole (1815—1864) die mathematische Behandlung der Logik durch konsequente Formalisierung. Gottlob Frege (1848 — 1925), ein Mathematiker und Logiker der Universität Jena, entwickelte die moderne Aussagen- und Prädikatenlogik. Sein Ziel war es, die Arithmetik aus logischen Axiomen abzuleiten. Die in vielem an Freges Gedanken anschließenden drei Bände der “Principia mathematica” (1910 —1913) der beiden Philosophen Bertrand Russell (1872 — 1970) und Alfred North Whitehead (1...