Linguistic Structures for Formal Semantics of Natural Languages

Published: 15 Mar 2026, Last Modified: 15 Mar 20262026 OralEveryoneRevisionsBibTeXCC BY 4.0
Keywords: mathematical linguistics, computational linguistics, Montague semantics, model theory, generalized computability
Abstract: We discuss a notion of linguistic structure suitable to formalise semantics of natural language sentences and texts. In particular, a method of comparison for linguistic structures is presented, based on well-known edit distance measure from graph theory. Also, we study quantifier scope ambiguity (the Scope Problem). Traditional Montague-based approaches often require generating multiple logical forms for a single sentence. To overcome this, we integrate Hilbert's epsilon-operator and Skolem choice functions.
Submission Number: 53
Loading