Metavariabile - Metavariable
In logica , una metavariabile (anche variabile metalinguistica o variabile sintattica ) è un simbolo o una stringa di simboli che appartiene a un metalinguaggio e sta per elementi di un linguaggio oggetto . Ad esempio, nella frase
- Siano A e B due frasi di una lingua ℒ
i simboli A e B fanno parte del metalinguaggio in cui è formulata l'affermazione sul linguaggio oggetto ℒ.
John Corcoran considera questa terminologia infelice perché oscura l'uso degli schemi e perché tali "variabili" non si estendono effettivamente su un dominio.
La convenzione è che un metavariabile deve essere uniformemente sostituito con la stessa istanza in tutte le sue apparenze in un dato schema. Ciò è in contrasto con i simboli non terminali nelle grammatiche formali in cui i non terminali a destra di una produzione possono essere sostituiti da istanze diverse.
I tentativi di formalizzare la nozione di metavariabile risultano in una sorta di teoria dei tipi .
Guarda anche
Appunti
Riferimenti
- Corcoran, J. (2006). "Schemi: il concetto di schema nella storia della logica" (PDF) . Bollettino di logica simbolica . 12 : 219–240.
- Hunter, Geoffrey . Metalogic: un'introduzione alla metateoria della logica standard del primo ordine .
- Shoenfield, Joseph R. (2001) [1967]. Logica matematica (2a ed.). AK Peters . ISBN 978-1-56881-135-2 .
- Tennent, RD (2002). Specifica del software: un'introduzione pratica . Cambridge University Press. ISBN 978-0-521-00401-5 .
