En logique, une métavariable (aussi nommée variable métalinguistique. ou encore variable syntaxique.) 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é.
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..
Les tentatives de formalisation de la notion de métavariable ont abouti à une sorte de théorie des typesMasahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama, and Atsushi Igarashi. "" 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. . .
Voir aussi Substitution explicite
Références
Bibliographie
Catégorie:Langage formel Catégorie:Syntaxe Catégorie:Logique