Individual #semantics__semantic the study of language meaning
>part of: theoretical_linguistics__theoreticallinguistic (is)
url: http://en.wikipedia.org/wiki/Semantics
>part: deixis the function of pointing or specifying from the perspective of a participant in an act of speech or writing; aspects of a communication whose interpretation depends on knowledge of the context in which the communication occurs
>part: lexical_semantics__lexicalsemantic
>part: semantics_of_logic approaches that logicians have introduced to understand and determine that part of meaning in which they are interested; the logician traditionally is not interested in the sentence as uttered but in the proposition, an idealised sentence suitable for logical manipulation
>part: model-theoretic_semantics__modeltheoreticsemantic the most widepsread approach, and is based on the idea that the meaning of the various parts of the propositions are given by the possible ways we can give a recursively specified group of interpretation functions from them to some predefined mathematical domains: an interpretation of first-order predicate logic is given by a mapping from terms to a universe of individuals, and a mapping from propositions to the truth values "true" and "false"
>part: proof-theoretic_semantics__prooftheoreticsemantic approach associating the meaning of propositions with the roles that they can play in inferences
No statement uses or specializes semantics; click here to add one.