Ebook: Structures for semantics

Formalization plays an important role in semantics. Doing semantics and following the literature requires considerable technical sophistica­ tion and acquaintance with quite advanced mathematical techniques and structures. But semantics isn't mathematics. These techniques and structures are tools that help us build semantic theories. Our real aim is to understand semantic phenomena and we need the technique to make our understanding of these phenomena precise. The problems in semantics are most often too hard and slippery, to completely trust our informal understanding of them. This should not be taken as an attack on informal reasoning in semantics. On the contrary, in my view, very often the essential insight in a diagnosis of what is going on in a certain semantic phenomenon takes place at the informal level. It is very easy, however, to be misled into thinking that a certain informal insight provides a satisfying analysis of a certain problem; it will often turn out that there is a fundamental unclarity about what the informal insight actually is. Formalization helps to sharpen those insights and put them to the test.

---

Structures for Semantics offers an advanced course in logical and mathematical techniques and structures that are used in semantics, in relation to their semantic applications. The book helps students with a background in semantics to develop their skills of formalization and it makes research in semantics accessible. Workers in other disciplines will use it to discover more about the role of formal modelling in current semantic research, and about semantics itself. Following a chapter on logic and set theory there are three parts of chapters: two pairs of chapters on partial order and equivalence relations in relation to semantic analyses of tense, partial information and vagueness; two chapters on methods for creating ordered structures in relation to intervals, events, and the semantics of change; two chapters on lattices and Boolean algebras in relation to types for noun phrases and verbs, and the semantics of plurals and mass nouns. For upper-level undergraduate students and graduate students in semantics: theoretical linguists, logicians, philosophers of language, computer scientists interested in natural language semantics