Generalized quantifier: Difference between revisions

Revision as of 21:37, 24 June 2012

Revision as of 07:50, 13 July 2012

Line 17:

*Expressions of type ''e'' denote elements of the [[universe of discourse]], the set of entities the discourse is about. This set is usually written as <math>D_e</math>. Examples of type ''e'' expressions include ''John'' and ''he''.

*Expressions of type ''t'' denote a [[truth value]], usually rendered as the set<math>\{0,1\}</math>, where 0 stands for "false" and 1 stands for "true". Examples of expressions that are sometimes said to be of type ''t'' are ''sentences'' or ''propositions''.

*Expressions of type <math>\langle e,t\rangle</math> denote [[Function (mathematics)|functions]] from the set of entities to the set of truth values. This set of functions is rendered as <math>D_t^{D_e}</math>. Such functions are [[characteristicIndicator function|characteristic functions]]s of [[Set (mathematics)|sets]]. They map every individual that is an element of the set to "true", and everything else to "false." It is common to say that they denote ''sets'' rather than characteristic functions, although, strictly speaking, the latter is more accurate. Examples of expressions of this type are [[predicate (grammar)|predicates]], [[noun]]s and some kinds of [[adjective]]s.

*In general, expressions of complex types <math>\langle a,b\rangle</math> denote functions from the set of entities of type <math>a</math> to the set of entities of type <math>b</math>, a construct we can write as follows: <math>D_b^{D_a}</math>.