Metavariable - Metavariable
I logikken er en metavariabel (også metallspråklig variabel eller syntaktisk variabel ) et symbol eller en symbolstreng som tilhører en metallspråk og står for elementer i et eller annet objektspråk . For eksempel i setningen
- La A og B være to setninger av et språk ℒ
symbolene A og B er en del av metallspråket der utsagnet om objektspråket ℒ er formulert.
John Corcoran anser denne terminologien som uheldig fordi den tilslører bruken av skjemaer og fordi slike "variabler" faktisk ikke spenner over et domene.
Konvensjonen er at et metavariabelt skal erstattes ensartet med samme forekomst i alle dets fremtoninger i et gitt skjema. Dette står i kontrast til ikke-terminale symboler i formelle grammatikker der ikke-terminalene til høyre for en produksjon kan erstattes av forskjellige forekomster.
Forsøk på å formalisere begrepet metavariabelt resulterer i en slags typeteori .
Se også
Merknader
Referanser
- Corcoran, J. (2006). "Schemata: the Schema Concept in the History of Logic" (PDF) . Bulletin of Symbolic Logic . 12 : 219–240.
- Hunter, Geoffrey . Metalogic: En introduksjon til metatheory of Standard First-Order Logic .
- Shoenfield, Joseph R. (2001) [1967]. Matematisk logikk (2. utg.). AK Peters . ISBN 978-1-56881-135-2 .
- Tennent, RD (2002). Spesifisere programvare: En praktisk introduksjon . Cambridge University Press. ISBN 978-0-521-00401-5 .
