Métavariable

Cet article est une ébauche concernant la logique.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

En logique, une métavariable (aussi nommée variable métalinguistique^[1] ou encore variable syntaxique^[2]) est un symbole ou une chaîne de symboles qui appartient à un métalangage et représente des éléments d'un certain langage objet. Par exemple, dans la phrase

Soit A et B deux phrases d'un langage ℒ

les symboles A et B font partie du métalangage dans lequel l'énoncé sur le langage objet ℒ est formulé.

John Corcoran (en) considère cette terminologie malheureuse parce qu'elle masque l'utilisation des schémas et parce que ces « variables » ne s'étendent pas réellement sur un domaine^[3].^:220

Les tentatives de formalisation de la notion de métavariable ont abouti à une sorte de théorie des types^[4].

• Substitution explicite

• (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Metavariable » (voir la liste des auteurs).

• (en) J. Corcoran, « Schemata: the Concept of Schema in the History of Logic », Bulletin of Symbolic Logic, vol. 12,‎ 2006, p. 219–240
• (en) Geoffrey Hunter, Metalogic : An Introduction to the Metatheory of Standard First-Order Logic
• (en) Joseph R. Shoenfield, Mathematical Logic, Natick, Mass., A K Peters, 2001, 2^e éd. (1^re éd. 1967), 344 p. (ISBN 978-1-56881-135-2)
• (en) R. D. Tennent, Specifying Software : A Hands-On Introduction, Cambridge University Press, 2002, 289 p. (ISBN 978-0-521-00401-5, lire en ligne)

• Portail de la logique