metalanguage

(redirected from Meta-language)
Also found in: Dictionary, Thesaurus.

metalanguage

[′med·ə‚laŋ·gwij]
(computer science)
A programming language that uses symbols to represent the syntax of other programming languages, and is used chiefly to write compilers for those languages.

metalanguage

any ‘second order’ language used to discuss a language; any set or system of propositions about propositions.

Metalanguage

 

a basic concept in modern logic and theoretical linguistics, used in studying the languages of various mathematical logical calculi, natural languages, and the relations between languages of different “levels” and for determining the relations between the languages under consideration and the object realms that these languages describe.

Metalanguage is a language used to express judgments about another language, the object-language. Metalanguage is employed in the study of the structure of the sign-combinations (expressions) of an object-language, and in the demonstration of theorems about the object-language’s expressive, and perhaps deductive, capacity and about its relation to other languages. Like the object-language, the metalanguage may also be an ordinary (natural) language. The metalanguage may differ from the object-language (for example, in an English-language textbook for Russians, Russian is the metalanguage and English is the object-language), or it may coincide, or partly differ from it, for example, as far as special terminology is concerned. Russian linguistic terminology, for example, is a part of metalanguage for the description of Russian; semantic factors belong to a metalanguage that describes the semantics of natural languages.

The concept of metalanguage was introduced and became extremely productive in connection with the study of formalized languages—calculi constructed within the framework of mathematical logic. In contrast to formalized object-languages, metalanguage—which is used to formulate a metatheory for the study of an object-theory formulated in the object-language—is, as a rule, an ordinary natural language or, more precisely, part of a natural language that has been specially limited so as not to contain any ambiguities, metaphors, metaphysical concepts, or other elements of ordinary language that hinder its function as an instrument of precise scientific research. At the same time, metalanguage itself may be formalized, and, independently of this, may be the object of study of a metametalanguage, and so on, in a series that may conceivably progress ad infinitum.

However, as an instrument in the metatheoretical study of formalized languages that permit versatile and orthodox enough interpretations in the logical sphere, the metalanguage should in no way be “poorer” than its object-language (that is, each expression of the object-language should be “translatable” into the metalanguage); the metalanguage should contain expressions of higher “logical types” than does the object-language. Failure to fulfill these requirements (which inevitably occurs in natural languages if special steps are not taken) leads to semantic paradoxes (antinomies).

REFERENCES

Tarski, A. Vvedenie v logiku i metodologiiu deduktivnykh nauk. Moscow, 1948. (Translated from English.)
Kleene, S. C. Vvedenie v metamatematiku, Ch. 1. Moscow, 1957. (Translated from English.)
Church, A. Vvedenie v matematicheskuiu logiku, vol. 1. Moscow, 1960. (Introduction.) (Translated from English.)
Curry, H. B. Osnovaniia matematicheskoi logiki, chs. 1–3. Moscow, 1969. (Translated from English.)
IU. A. GASTEV and V. K. FINN

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.

metalanguage

(2)
[logic] A language in which to discuss the truth of statements in another language.

metalanguage

The language used to describe a language. "Noun," "verb" and "adjective" are metalanguage examples. See metadata.
References in periodicals archive ?
If this is a classical meta-language, we are back to Tarskian stratification and nothing is gained
This critical meta-language was promoted by its own "star," Algerian-born philosopher Jacques Derrida.
Our music is our Mother Tongue, our meta-language that we use for the fullest expression of self.
The technology will be incorporated into Si2's OpenDFM standard, which describes a high level, EDA tool independent meta-language to check for a variety of Design for Manufacturability (DFM) problems.
Reading these statements in the latter way employs the Godel numbering semantically coded in the meta-language.
The author hopes that this meta-language and holistic perspective will enable the churches to be drawn toward and receive an ecumenical ecclesiology of Koinonia.
Whether this argument works depends a lot on how one understands the modal concepts involved and on whether one has to understand them uniformly in the object and in the meta-language.
BPML is a meta-language for the modeling of business processes, just as XML is a meta-language for the modeling of business data.
We are impressed with the 4i platform's ability to leverage XML-based content using any meta-language, in any foreign language, for any audience.
XML (eXtensible Markup Language) is a meta-language standard that defines a document-markup language for data elements in a digital document such as a Web page.
The Forum's Technical Committee will move forward a number of items including the specification on securing software reconfigurable communications technologies and continued work on the meta-language for mobility use cases and scenario analysis.
OAO's recently announced module Easy Meta-Language Implementation of XML or Easy MIX is the means to provide a consistent, predictable mechanism for expressing data relationships and initially will be used to deliver EDI information to XML.