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

Références

modifier
  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.orgWikiwixArchive.isGoogleQue 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