Dieses Kapitel stellt die Grundlagen formaler Semantik vor. Ausgangspunkt ist Freges Unterscheidung von Sinn und Referenz sowie von Extension und Intension. Lexikalische und strukturelle Semantik erklären Bedeutungen von Wörtern und komplexen Ausdrücken. Wahrheitstheoretische Ansätze, Tarskis Meta-/Objektsprache und Kripkes mögliche Welten bilden die Grundlage formaler Modelle. Bedeutung bleibt jedoch stets durch mentale Repräsentationen vermittelt.