Метапеременная
В логике метапеременная металингвистическая (также переменная [1] или синтаксическая переменная ) [2] — это символ или строка символов, принадлежащая метаязыку и обозначающая элементы некоторого объектного языка. Например, в предложении
- Пусть A и B — два предложения языка ℒ
символы А и В являются частью метаязыка, в котором формулируется высказывание об объектном языке ℒ.
Джон Коркоран считает эту терминологию неудачной, поскольку она затрудняет использование схем и поскольку такие «переменные» на самом деле не распространяются на область. [3] : 220
Соглашение заключается в том, что метапеременная должна быть единообразно заменена одним и тем же экземпляром во всех ее проявлениях в данной схеме. Это контрастирует с нетерминальными символами в формальных грамматиках , где нетерминалы справа от продукции могут быть заменены различными экземплярами. [4]
Попытки формализовать понятие метапеременной приводят к созданию некоторой теории типов . [5]
См. также
[ редактировать ]Примечания
[ редактировать ]- ^ Хантер 1973 , с. 13.
- ^ Шенфилд 2001 , с. 7.
- ^ Коркоран 2006 , с. 220.
- ^ Теннент 2002 , стр. 36–37, 210.
- ^ Масахико Сато, Такафуми Сакураи, Юкиёси Камеяма и Ацуши Игараси « Исчисления метапеременных ». [ постоянная мертвая ссылка ] » в Computer Science Logic. 17-й международный семинар CSL 2003. 12-я ежегодная конференция EACSL . 8-й коллоквиум Курта Гёделя, KGC 2003, Вена, Австрия, 25–30 августа 2003 г. Материалы , Springer Lecture Notes in Computer Science 2803. ISBN 3-540-40801-0 . стр. 484–497.
Ссылки
[ редактировать ]- Коркоран, Дж. (2006). «Схемы: концепция схемы в истории логики» (PDF) . Бюллетень символической логики . 12 (2): 219–240. дои : 10.2178/bsl/1146620060 . S2CID 6909703 .
- Хантер, Джеффри (26 июня 1973 г.). Металогика: введение в метатеорию стандартной логики первого порядка . Издательство Калифорнийского университета. ISBN 9780520023567 .
- Шенфилд, Джозеф Р. (2001) [1967]. Математическая логика (2-е изд.). АК Петерс . ISBN 978-1-56881-135-2 .
- Теннент, Р.Д. (2002). Выбор программного обеспечения: практическое введение . Издательство Кембриджского университета. ISBN 978-0-521-00401-5 .
