Definition:Metalanguage

From ProofWiki
Jump to navigation Jump to search

Definition

A metalanguage is a language (either formal or natural) which is used to make statements about another language (again, either formal or natural).


Formal Systems

In the context of formal systems, a metalanguage is a formal language used to specify another formal language.


Object Language

The object language of a metalanguage is the language described by that metalanguage.


Metasyntax

The syntax of a metalanguage is called a metasyntax of the object language of that metalanguage.


Metasymbol

A metasymbol is a symbol used in a metalanguage to represent an arbitrary collation in the object language.


Sources