Метапеременная
В логике метапеременная (также металингвистическая переменная [1] или синтаксическая переменная ) [2] — это символ или строка символов , принадлежащая метаязыку и обозначающая элементы некоторого объектного языка. Например, в предложении
- Пусть A и B — два предложения языка ℒ
символы А и В являются частью метаязыка, на котором формулируется утверждение об объектном языке ℒ.
Джон Коркоран считает эту терминологию неудачной, поскольку она затрудняет использование схем и поскольку такие «переменные» на самом деле не охватывают область. [3] : 220
Соглашение заключается в том, что метапеременная должна быть единообразно заменена одним и тем же экземпляром во всех ее появлениях в данной схеме. Это контрастирует с нетерминальными символами в формальных грамматиках , где нетерминалы справа от продукции могут быть заменены различными экземплярами. [4]
Попытки формализовать понятие метапеременной приводят к некоему типу теории типов . [5]
Смотрите также
Примечания
- ↑ Хантер 1996, стр. 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. doi :10.2178/bsl/1146620060. S2CID 6909703.
- Хантер, Джеффри (1996) [1971]. Металогика: Введение в метатеорию стандартной логики первого порядка . Издательство Калифорнийского университета (опубликовано в 1973). ISBN 9780520023567. OCLC 36312727.(доступно для посетителей с ограниченными возможностями восприятия печатной информации)
- Шенфилд, Джозеф Р. (2001) [1967]. Математическая логика (2-е изд.). AK Peters . ISBN 978-1-56881-135-2.
- Теннент, РД (2002). Определение программного обеспечения: практическое введение . Издательство Кембриджского университета. ISBN 978-0-521-00401-5.
