Logik ist die Lehre des vernünftigen Schließens.

Zentrale Fragen:
- Wie lassen sich Sachverhalte beschreiben? SYNTAX
- Was bedeuten diese formalen Aussagen? SEMANTIK
- Wie lassen sich Schlussfolgerungen ziehen und beweisen? INFERENZ