Metavariable

Metavariable
For the term as used in computer science, see Metasyntactic variable.

In logic, a metavariable (also metalinguistic variable[1] or syntactical variable[2]) 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.

References

  1. ^ Geoffrey Hunter, Metalogic: An Introduction to the Metatheory of Standard First-Order Logic p.13
  2. ^ Shoenfield, Joseph R. (2001) [1967], Mathematical Logic (2nd ed.), A K Peters, p. 7, ISBN 978-1-56881-135-2 

Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Metavariable — Eine metasyntaktische Variable ist eine Variable in Computer Programm Code, die ausschließlich zur Benennung von beliebigen Entitäten in Beispielen dient. Eine metasyntaktische Variable hat ansonsten keine Bedeutung. Der Begriff stammt aus der… …   Deutsch Wikipedia

  • Metasyntactic variable — For the term as used in formal logic, see Metavariable (logic). In computer science, programmers use metasyntactic variables to describe a placeholder name or an alias term commonly used to denote the subject matter under discussion or an… …   Wikipedia

  • DMS Software Reengineering Toolkit — Developer(s) Semantic Designs Website semanticdesigns.com/Products/DMS/DMSToolkit.html The DMS Software Reengineering Toolkit[1] is a proprietary set of program transformation tools available for automating custom source program analysis,… …   Wikipedia

  • Metalanguage — For the programming language, see ML (programming language). Broadly, any metalanguage is language or symbols used when language itself is being discussed or examined.[1] In logic and linguistics, a metalanguage is a language used to make… …   Wikipedia

  • Predicate variable — In first order logic, a predicate variable is a predicate letter which can stand for a relation (between terms) but which has not been specifically assigned any particular relation (or meaning). In first order logic (FOL) they can be more… …   Wikipedia

  • Metasyntax — A metasyntax describes the allowable structure and composition of phrases and sentences of a metalanguage, which is used to describe either a natural language or a computer programming language. Some of the widely used formal metalanguages for… …   Wikipedia

  • Quasi-quotation — is a linguistic device that facilitates rigorous and terse formulation of general rules about linguistic expressions while properly observing the use mention distinction. It was introduced in by the philosopher and logician Willard van Orman… …   Wikipedia

  • Boolean algebra — This article discusses the subject referred to as Boolean algebra. For the mathematical objects, see Boolean algebra (structure). Boolean algebra, as developed in 1854 by George Boole in his book An Investigation of the Laws of Thought,[1] is a… …   Wikipedia

  • Boolean algebra (introduction) — Boolean algebra, developed in 1854 by George Boole in his book An Investigation of the Laws of Thought , is a variant of ordinary algebra as taught in high school. Boolean algebra differs from ordinary algebra in three ways: in the values that… …   Wikipedia

  • Metalenguaje — En lógica y filosofía del lenguaje, un metalenguaje es un lenguaje que se usa para hablar acerca de otro lenguaje.[1] Al lenguaje acerca del cual se está hablando se lo llama el lenguaje objeto.[1] El metalenguaje puede ser idéntico al lenguaje… …   Wikipedia Español

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”