Based on the Random House Dictionary, © Random House, Inc. 2012.
Cite This Source
00:10
00:09
00:08
00:07
00:06
00:05
00:04
00:03
00:02
00:01
| an arrangement of five objects, as trees, in a square or rectangle, one at each corner and one in the middle. |
| a chattering or flighty, light-headed person. |
| metalanguage (ˈmɛtəˌlæŋɡwɪdʒ) | |
| —n | |
| formal language See also natural language Compare object language a language or system of symbols used to discuss another language or system | |
2009 © William Collins Sons & Co. Ltd. 1979, 1986 © HarperCollins
Publishers 1998, 2000, 2003, 2005, 2006, 2007, 2009
Cite This Source
metalanguage definition
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.
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
