Individual is#theoretical_linguistics__theoreticallinguistic
  >part of:  #linguistics  the scientific study of language
  url:  http://en.wikipedia.org/wiki/Linguistics
  >part:  #phonetics__phonetic  the branch of acoustics concerned with speech processes including its production and perception and acoustic analysis
  >part:  #phonology__phonemics__phonemic  the study of the sound system of a given language and the analysis and classification of its phonemes
  >part:  #morphology.grammar.studies  studies of the rules for forming admissible words
     >part:  #inflectional_morphology__accidence  the part of grammar that deals with the inflections of words
     >part:  #derivational_morphology  the part of grammar that deals with the derivations of words
     >part:  #compound_morphology  the part of grammar that deals with combinations of simple words into compound words
  >part:  #syntax.studies  studies of the rules for forming admissible sentences
  >part:  #semantics__semantic  the study of language meaning
     >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:  is#lexical_semantics__lexicalsemantic
     >part:  km#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:  km#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:  km#proof-theoretic_semantics__prooftheoreticsemantic  approach associating the meaning of propositions with the roles that they can play in inferences
  >part:  is#stylistics
     >part:  is#prescription
  >part:  #pragmatics  the study of language use

No statement uses or specializes is#theoretical_linguistics; click here to add one.