metalanguage

3 definitions found

metalanguage - Collaborative International Dictionary of English v.0.48 :

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

metalanguage - WordNet (r) 2.1 (2005) :

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

metalanguage - Free On-line Dictionary of Computing (26 May 2007) :

  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.