Die Logik untersucht die Struktur gültiger Argumente. Sie fragt: Folgt die Schlussfolgerung notwendigerweise aus den Prämissen? Die formale Logik verwendet Symbole zur Darstellung von Aussagen und Regeln zur Ableitung von Schlussfolgerungen. Aristoteles’ Syllogismen bildeten ein frühes System; die moderne Logik, entwickelt von Frege, Russell und anderen, ist Grundlage der Mathematik und Informatik.

Die Aussagenlogik befasst sich mit wahren und falschen Aussagen sowie mit Verknüpfungen wie UND, ODER und NICHT. Die Prädikatenlogik ergänzt diese um Quantoren wie „für alle“ und „es existiert“. Diese Systeme formalisieren das Denken und decken Fehlschlüsse auf.

Logik ist die Grundlage mathematischer Beweise. Jeder Lehrsatz basiert auf logischen Schlussfolgerungen aus Axiomen. In der Informatik implementieren Logikgatter Boolesche Operationen, und Programmiersprachen verwenden logische Bedingungen. Das Fachgebiet berührt auch Philosophie, Linguistik und künstliche Intelligenz. Klares Denken über logisches Schlussfolgern ist weit über die Mathematik hinaus nützlich.

• Studium gültigen Denkens
• Verwendet Symbole und formale Regeln
• Aussagen- und Prädikatenlogik
• Grundlagen des Beweisens und Rechnens