Metavariable
Variable that stores data about other variables or program structure
In logic, a metavariable (also metalinguistic variable or syntactical variable) is a symbol or symbol string which belongs to a metalanguage and stands for elements of some object language. For instance, in the sentence
- Let A and B be two sentences of a language ℒ
the symbols A and B are part of the metalanguage in which the statement about the object language ℒ is formulated.
John Corcoran considered this terminology unfortunate because it obscures the use of schemata and because such "variables" do not actually range over a domain.
The convention is that a metavariable is to be uniformly substituted with the same instance in all its appearances in a given schema. This is in contrast with nonterminal symbols in formal grammars where the nonterminals on the right of a production can be substituted by different instances.
Attempts to formalize the notion of metavariable result in some kind of type theory.
Sources and credits
This article is adapted from the Wikipedia article “Metavariable”, written by its contributors and licensed under CC BY-SA 4.0. Fathomly has changed the layout, removed citation markers, navigation and maintenance notices, and adjusted punctuation. This adapted version is shared under the same license. For references, see the original article.
Fathomly is not affiliated with or endorsed by the Wikimedia Foundation. Spotted a problem? Tell us.