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 idioma ℒ
los símbolos A y B forman parte del metalenguaje en el que se formula el enunciado sobre el lenguaje objeto ℒ.
John Corcoran considera que esta terminología es desafortunada porque oscurece el uso de esquemas y porque tales "variables" en realidad no abarcan un dominio. [3] : 220
La convención es que una metavariable debe sustituirse uniformemente por la misma instancia en todas sus apariencias 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 ser sustituidos 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]
Ver también
Notas
- ^ Hunter , pág. 13.
- ^ Shoenfield 2001 , p. 7.
- ^ Corcoran , 2006 , p. 220.
- ^ Tennent 2002 , págs. 36-37, 210.
- ^ Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama y Atsushi Igarashi. " Cálculos de Metavariables [ enlace muerto permanente ] " en Lógica Informática. 17º Taller Internacional CSL 2003. 12º Congreso Anual de la EACSL . 8º Coloquio de Kurt Gödel, KGC 2003, Viena, Austria, 25-30 de agosto de 2003. Actas , Springer Lecture Notes in Computer Science 2803. ISBN 3-540-40801-0 . págs. 484–497
Referencias
- Corcoran, J. (2006). "Esquemas: el concepto de esquema en la historia de la lógica" (PDF) . Boletín de Lógica Simbólica . 12 : 219-240.
- Hunter, Geoffrey . Metalogic: Una introducción a la metateoría de la lógica estándar de primer orden .
- 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 . Prensa de la Universidad de Cambridge. ISBN 978-0-521-00401-5.