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

Références
  1. Hunter, p. 13.
  2. Shoenfield 2001, p. 7.
  3. Corcoran 2006, p. 220.
  4. Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama, and Atsushi Igarashi. "« Calculi of Meta-variables »(Archive.org • Wikiwix • Archive.is • Google • Que faire ?) (consulté le )" 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,‎ , 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, , 2e éd. (1re éd. 1967), 344 p. (ISBN 978-1-56881-135-2)
  • (en) R. D. Tennent, Specifying Software : A Hands-On Introduction, Cambridge University Press, , 289 p. (ISBN 978-0-521-00401-5, lire en ligne)
  • Portail de la logique
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.