metalanguage
- 4 dictionary resultsmet⋅a⋅lan⋅guage
[met-uh-lang-gwij] 
əˌlæŋ
| any language or symbolic system used to discuss, describe, or analyze another language or symbolic system. |
Based on the Random House Dictionary, © Random House, Inc. 2009.
Cite This Source
| met·a·lan·guage (mět'ə-lāng'gwĭj) n.
|
Copyright © 2009 by Houghton Mifflin Company.
Published by Houghton Mifflin Company. All rights reserved.
Cite This Source
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.
Cite This Source
metalanguage
in semantics and philosophy, language used for the analysis of object language (language that is used to talk about objects in the world). Thus, a metalanguage may be thought of as a language about another language. Such philosophers as the German-born Logical Positivist Rudolf Carnap and Alfred Tarski, Polish-born mathematician, argued that philosophical problems and philosophical statements can be resolved only when seen in terms of a syntactical framework. The logic of semantics is what determines the truth of a statement, rather than the statement's nonformal, or actual, meaning. Carnap felt that by making use of symbolic notation in a metalanguage and by adhering to rules of logic it was possible to avoid metaphysical judgments, which, in his system, were by definition invalid.
Learn more about metalanguage with a free trial on Britannica.com.
Cite This Source
