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 son 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 dichas "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 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 instancias diferentes. [4]
Los intentos de formalizar la noción de metavariable dan como resultado algún tipo de teoría de tipos . [5]
Véase también
Notas
- ^ Hunter 1973, pág. 13.
- ^ Shoenfield 2001, pág. 7.
- ^ Corcoran 2006, pág. 220.
- ^ Tennent 2002, págs. 36–37, 210.
- ^ Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama y Atsushi Igarashi. "Calculi of Meta-variables [ vínculo muerto permanente ] " en Computer Science Logic. 17th International Workshop CSL 2003. 12th Annual Conference of the EACSL . 8th Kurt Gödel Colloquium, 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 (2): 219–240. doi :10.2178/bsl/1146620060. S2CID 6909703.
- Hunter, Geoffrey (26 de junio de 1973). Metalógica: Introducción a la metateoría de la lógica estándar de primer orden. University of California Press. ISBN 9780520023567.
- 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.
