Glossary:Sorts/Types: Difference between revisions
No edit summary |
No edit summary |
||
Line 12: | Line 12: | ||
– e (for entity) is the type of individual terms <br> | – e (for entity) is the type of individual terms <br> | ||
– t (for truth value) is the type of formulae <br> | – t (for truth value) is the type of formulae <br> | ||
All pairs | All pairs ϭ, τ made up of (basic or complex) types ϭ, τ <br> | ||
are types. | are types. ϭ, τ is the type of functions which map <br> | ||
arguments of type | arguments of type ϭ to values of type τ. <br> | ||
In short: The set of types is the smallest set T such that <br> | In short: The set of types is the smallest set T such that <br> | ||
e, | e,tєT, and if ϭ,τ єT, then also ϭ,τ єT. <br> | ||
In logic and semantics a concept of type is often used to distinguish different <br> | In logic and semantics a concept of type is often used to distinguish different <br> | ||
kinds of expression (and of semantic value). These types are used as syntactic <br> | kinds of expression (and of semantic value). These types are used as syntactic <br> |
Revision as of 22:36, 17 November 2012
Warning:
The material on this page has been created as part of a seminar. It is still heavily under construction and we do not guarantee its correctness. If you have comments on this page or suggestions for improvement, please contact Manfred Sailer.
This note will be removed once the page has been carefully checked and integrated into the main part of this wiki.
Sorts/Types
AE:
- Type: (/taɪp/)
- Sort: (/sɔː(r)t/)
Definition
The (minimal) set of basic types is {e, t}:
– e (for entity) is the type of individual terms
– t (for truth value) is the type of formulae
All pairs ϭ, τ made up of (basic or complex) types ϭ, τ
are types. ϭ, τ is the type of functions which map
arguments of type ϭ to values of type τ.
In short: The set of types is the smallest set T such that
e,tєT, and if ϭ,τ єT, then also ϭ,τ єT.
In logic and semantics a concept of type is often used to distinguish different
kinds of expression (and of semantic value). These types are used as syntactic
categories for the expressions in the semantic representation language. Each type
will correspond to a certain set of possible denotations.