Metalanguage

3 definitions found

From The Collaborative International Dictionary of English v.0.48 [gcide]:

  metalanguage \metalanguage\ n.
     Any language that can be used to describe another language or
     system of symbols.
     [WordNet 1.5]

From WordNet (r) 2.0 [wn]:



  metalanguage
       n : a language that can be used to describe languages

From The Free On-line Dictionary of Computing (27 SEP 03) [foldoc]:

  metalanguage
       
          1. [theorem proving] A language in which proofs are
          manipulated and tactics are programmed, as opposed to the
          logic itself (the "{object language}").  The first {ML} was
          the metalanguage for the Edinburgh {LCF} proof assistant.
       
          2. [logic] A language in which to discuss the truth of
          statements in another language.