Worldlex Wiki En logique , une métavariable (également variable métalinguistique ou variable syntaxique ) est un symbole ou une chaîne de symboles qui appartient à un métalangage et représente des éléments d'un langage objet. Par exemple, dans la phrase
- Soient A et B deux phrases d'un langage ℒ
les symboles A et B font partie du métalangage dans lequel est formulé l'énoncé sur le langage objet ℒ.
John Corcoran considère cette terminologie comme regrettable car elle obscurcit l'utilisation des schémas et parce que ces « variables » ne s'étendent pas réellement sur un domaine.
La convention veut qu'une métavariable soit uniformément substituée par la même instance dans toutes ses apparitions dans un schéma donné. Ceci contraste avec les symboles non terminaux dans les grammaires formelles où les non terminaux à droite d'une production peuvent être substitués par des instances différentes.
Les tentatives de formalisation de la notion de métavariable aboutissent à une sorte de théorie des types .