In logic and linguistics, a metalanguage is a language used to make statements about statements in another language ( the object language ).
22.
"Object language " in this context means something akin to " the object of what the programmer is trying to achieve ".
23.
A corollary is that any metalanguage capable of expressing the semantics of some object language must have expressive power exceeding that of the object language.
24.
A corollary is that any metalanguage capable of expressing the semantics of some object language must have expressive power exceeding that of the object language.
25.
The most commonly studied formal logics are propositional logic, predicate logic and their extension of symbols and strings of symbols of an object language.
26.
The syntax language is used to describe the recognition of source text and the construction from it to an intermediate tree into appropriate object language.
27.
The object language of a translation most often is a machine language, but can be some other kind of language, such as assembly language.
28.
Similarly, a judgment may assert the occurrence of a free variable in an expression of the object language, or the provability of a proposition.
29.
In this way, the metalanguage can be used to talk about the object language; Tarski demanded that the object language be contained in the metalanguage.
30.
In this way, the metalanguage can be used to talk about the object language; Tarski demanded that the object language be contained in the metalanguage.
