Natural Language Semantics 论文

摘要

Notation for Types It is useful to have a special notation σ for the type that will be associated with sentences. For the first fragment we are going to consider we shall set σ := t, i.e. the meaning of a sentence will be identified with a truth value. Later, the value for σ will be redefined. This will allow us to retain much of our previous work when we decide that sentences should have other kinds of values. The abstract type associated with names will be ν (the Greek letter n). Concretely, we set ν := e (where e stands for entity). This will also be changed later. Reinhard Muskens (TiLPS) Natural Language Semantics NASSLLI, June 2010 48 / 187