Determinacy
Determinacy is the semantic property of referring to some particular (contextually determined) entity or collection of entities (Peters and Westerstahl, 2013). It is often expressed in natural language by the definiteness of the expression. Determinacy is the subjects of a vast amount of literature, often under the designation 'definiteness', and has been discussed in terms of familiarity and novelty (Heim, 198; Lyons, 1999), salience (Lewis, 1979), uniqueneas and existence presuppositions (Coppock and Beaver, 2015). The familiarity/salience intuition about definiteness can be accommodated in a GQT framework by assuming the reference domain of a quantification to be a subset of the source domain, containing only familiar or salient entities. NPs used as an argument of a predicate, definite or indefinite, presuppose the existence of certain individuals, which will be reflected in the semantics of NP annotations by the use of discourse referents that designate non-empty sets. The relation between definiteness and determinacy is by no means straightforward. Examples of definite expressions which are indeterminate, are the following:
For references see the bibliography part of this site.