Formal Semantics

Humanities & Arts Dictionary
The application of formal languages, model‑theoretic structures and rigorous composition rules to represent, specify and evaluate the meanings and truth‑conditions of linguistic or logical expressions; typically assumes a mapping from syntactic forms to semantic values within an explicitly defined model and relies on principles such as compositionality.