Logik ist die Lehre vom gültigen Denken. Sie fragt, was aus was folgt. Ein gültiges Argument ist ein solches, bei dem die Schlussfolgerung wahr sein muss, wenn die Prämissen wahr sind. Die Logik liefert die Werkzeuge, um gute von schlechten Argumenten zu unterscheiden. Aristoteles systematisierte die Logik mit dem Syllogismus. Mittelalterliche Logiker verfeinerten ihn. Frege und Russell entwickelten die moderne symbolische Logik, die formale Sprachen zur Darstellung von Argumenten und Schlussregeln zur Ableitung von Schlussfolgerungen verwendet. Logik findet Anwendung in Mathematik, Informatik, Linguistik und Philosophie.

Logik ist nicht dasselbe wie Psychologie. Sie untersucht normative Prinzipien, nicht das tatsächliche Denken der Menschen. Menschen argumentieren oft unlogisch, doch das ändert nichts an den Anforderungen an Gültigkeit. Logik ist auch nicht dasselbe wie Rhetorik. Rhetorik zielt auf Überzeugung ab, Logik auf Beweis. Beide Bereiche können sich überschneiden, sind aber im Kern verschieden. Die Logik umfasst viele Teilgebiete: Aussagenlogik, Prädikatenlogik, Modallogik, Temporallogik und mehrwertige Logik, um nur einige zu nennen. Jedes Teilgebiet hat seine eigenen Symbole, Regeln und Semantik. Logik ist eine formale Wissenschaft, vergleichbar mit der Geometrie, und findet Anwendung in allen Bereichen, die präzises Denken erfordern.

Arten von Logik

• Propositional. Behandelt ganze Aussagen und Konjunktionen.
• Predicate. Behandelt Objekte, Eigenschaften und Quantoren.
• Modal. Behandelt Möglichkeit und Notwendigkeit.
• Informal. Behandelt Schlussfolgerungen in natürlicher Sprache.

Logik ist kein Wissenskorpus über die Welt. Sie ist ein Wissenskorpus darüber, was aus was folgt.