ABSTRACT
In K.Bühler’s theory of language, principal designation for the theory of the index field of language (i.e. the situational context) and the symbol field of language (i.e. the linguistic context). ( also axiomatics of linguistics, deixis. I-now-here origo)
References
axiomatics of linguistics
Logical theory developed by B.Russell and A.N.Whitehead based on a hierarchic gradation of logical objects (like set, function, relation, and predicate). A set or a predicate must always be on a higher level (or represent a higher ‘type’) than the elements or objects that are contained in the set or to which the predicate can be applied. The purpose of this conception is to avoid set-theoretical antinomies of Russell’s type (the set of all sets that themselves are not contained as an element would simultaneously contain and not contain themselves). Russell himself first proposed a ‘bifurcated theory
‘simple theory of types.’ In Church’s (1940) formulation, this became the basis of R. Montague’s ‘intensional type logic,’ which entered theoretical linguistics as the logical language of description called Montague grammar.
