Métavariable

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].

Voir aussi

Substitution explicite

Références

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

Hunter, p. 13.
Shoenfield 2001, p. 7.
Corcoran 2006, p. 220.
Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama, and Atsushi Igarashi. "« Calculi of Meta-variables »^{(Archive.org • Wikiwix • Archive.is • Google • Que faire ?)} (consulté le 22 septembre 2017)" in Computer Science Logic. 17th International Workshop CSL 2003. 12th Annual Conference of the EACSL. 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003. Proceedings, Springer Lecture Notes in Computer Science 2803. (ISBN 3-540-40801-0). p. 484–497

Bibliographie

(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)

Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.