Metavariable - Metavariable
Em lógica , uma metavariavel (também variável metalinguística ou variável sintática ) é um símbolo ou string de símbolos que pertence a uma metalinguagem e representa elementos de alguma linguagem de objeto . Por exemplo, na frase
- Sejam A e B duas sentenças de um idioma ℒ
os símbolos A e B fazem parte da metalinguagem em que se formula o enunciado sobre a linguagem objeto ℒ.
John Corcoran considera essa terminologia infeliz porque obscurece o uso de esquemas e porque essas "variáveis" não variam de fato em um domínio.
A convenção é que uma metavariavel deve ser uniformemente substituída pela mesma instância em todas as suas aparições em um dado esquema. Isso está em contraste com os símbolos não - terminais em gramáticas formais, onde os não-terminais à direita de uma produção podem ser substituídos por diferentes instâncias.
As tentativas de formalizar a noção de metavariable resultam em algum tipo de teoria de tipo .
Veja também
Notas
Referências
- Corcoran, J. (2006). "Schemata: the Concept of Schema in the History of Logic" (PDF) . Boletim de lógica simbólica . 12 : 219–240.
- Hunter, Geoffrey . Metalogic: Uma Introdução à Metateoria da Lógica de Primeira Ordem Padrão .
- Shoenfield, Joseph R. (2001) [1967]. Mathematical Logic (2ª ed.). AK Peters . ISBN 978-1-56881-135-2 .
- Tennent, RD (2002). Especificando o software: uma introdução prática . Cambridge University Press. ISBN 978-0-521-00401-5 .