Metavariable

En lógica , una metavariable (también variable metalingüística ^{[ 1 ]} o variable sintáctica ) ^{[ 2 ]} es un símbolo o cadena de símbolos que pertenece a un metalenguaje y representa elementos de algún lenguaje objeto. Por ejemplo, en la oración

Sean A y B dos oraciones de un lenguaje ℒ

Los símbolos A y B forman parte del metalenguaje en el que se formula la afirmación sobre el lenguaje objeto ℒ.

John Corcoran consideró desafortunada esta terminología porque oscurece el uso de esquemas y porque tales "variables" en realidad no abarcan un dominio. ^{[ 3 ] : 220}

La convención establece que una metavariable debe sustituirse uniformemente por la misma instancia en todas sus apariciones en un esquema dado. Esto contrasta con los símbolos no terminales en las gramáticas formales, donde los no terminales a la derecha de una producción pueden sustituirse por diferentes instancias. ^{[ 4 ]}

Los intentos de formalizar la noción de metavariable dan como resultado algún tipo de teoría de tipos . ^{[ 5 ]}

• Sustitución explícita

• Corcoran, J. (2006). "Esquemas: el concepto de esquema en la historia de la lógica" (PDF) . Boletín de lógica simbólica . 12 (2): 219– 240. doi : 10.2178/bsl/1146620060 . S2CID 6909703 . 
• Hunter, Geoffrey (1996) [1971]. Metalogic: An Introduction to the Metatheory of Standard First-Order Logic . University of California Press (publicado en 1973). ISBN 9780520023567OCLC 36312727​​ ( Accesible para usuarios con discapacidades visuales )
• Shoenfield, Joseph R. (2001) [1967]. Lógica matemática (2.ª  ed.). AK Peters . ISBN 978-1-56881-135-2.
• Tennent, RD (2002). Especificación de software: una introducción práctica . Cambridge University Press. ISBN 978-0-521-00401-5.