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].
Voir aussi
[modifier | modifier le code]Références
[modifier | modifier le code]- (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 )" 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
[modifier | modifier le code]- (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)