Die Anwendung formaler Sprachen, modelltheoretischer Strukturen und strenger Kompositionsregeln zur Darstellung, Spezifikation und Bewertung der Bedeutungen und Wahrheitsbedingungen sprachlicher oder logischer Ausdrücke; geht typischerweise von einer Abbildung syntaktischer Formen auf semantische Werte innerhalb eines explizit definierten Modells aus und stützt sich auf Prinzipien wie Kompositionalität.

Prinzip

Bedeutung wird als Funktion von syntaktischer Struktur zu semantischen Werten relativ zu einem Modell modelliert; die Wahrheitsbedingungen komplexer Ausdrücke ergeben sich systematisch aus den Wahrheitsbedingungen ihrer Teile und den Kombinationsregeln.

Demonstration

Illustratives Szenario → Situation: Analyse des Satzes ‚Every student passed.‘ Erkennen: Erstelle eine logische Form (∀x(Student(x) → Passed(x))) und ein Modell mit Domäne und Prädikaterweiterungen. Handlung: Überprüfe, ob in dem Modell jedes Element, das Student erfüllt, auch Passed erfüllt. Konsequenz: Falls ja, ist der Satz in diesem Modell wahr; formale Semantik liefert so ein prüfbares Kriterium für Implikation und Widerspruch.

Fehlanwendung

Formal‑semantische Repräsentation mit einer psychologischen Theorie zu verwechseln, wie Sprecher Bedeutung produzieren oder verstehen. Der Fehler besteht darin, ein formales Modell als Erklärung kognitiver Prozesse zu behandeln statt als explizite, interpretierbare Darstellung, die für logische und inferentielle Analysen nützlich ist.

Konsequenz

Stellt präzise Werkzeuge für Desambiguierung, Implikationstests und vergleichende, sprachübergreifende Bedeutungsanalysen bereit; unterstützt computerimplementierungen (z. B. in der natürlichen Sprachverarbeitung), erklärt aber nicht allein pragmatische, soziolinguistische oder verkörperte Bedeutungsaspekte.

Umkehrung

In Forschungsprogrammen, die Gebrauch, Kognition oder Verkörperung priorisieren, sind rein modelltheoretische Analysen möglicherweise unzureichend; solche Ansätze erfordern die Integration mit pragmatischen oder kognitiven Modellen, um Kontextsensitivität, Implikaturen und Sprachgebrauch zu erfassen.

Abgrenzung

Innerhalb: wahrheitsbedingte und modelltheoretische Analysen von Satzbedeutung und logischer Form. Grenzfall: Formalisierung kontextabhängiger Indexikale (möglich, erfordert jedoch Kontextparameter). Außerhalb: soziolinguistische Bedeutung, performative Kraft oder Grice'sche Implikaturen, die ohne ergänzende pragmatische Theorie behandelt werden.

Semantische Spannung

Kompositionelle Präzision ↔ Kontextuelle/pragmatische Reichhaltigkeit — strikt kompositionelle Modelle begünstigen formale Präzision, können aber Bedeutungen unterschätzen, die vom Kontext, den Sprecherintentionen oder Weltwissen abhängen.

Synthese

Formale Semantik macht Bedeutung explizit und prüfbar, indem sie Interpretationsfragen auf Modellevaluation reduziert; ihre Stärke ist analytische Klarheit, ihre Grenzen weisen auf die Notwendigkeit hin, modelltheoretische Repräsentationen mit pragmatischen und kognitiven Ansätzen zu verbinden, um kommunikative Bedeutung vollständig zu erfassen.