Метапеременная

В логике метапеременная (также металингвистическая переменная ^[1] или синтаксическая переменная ) ^[2] — это символ или строка символов , принадлежащая метаязыку и обозначающая элементы некоторого объектного языка. Например, в предложении

Пусть A и B — два предложения языка ℒ

символы А и В являются частью метаязыка, на котором формулируется утверждение об объектном языке ℒ.

Джон Коркоран считает эту терминологию неудачной, поскольку она затрудняет использование схем и поскольку такие «переменные» на самом деле не охватывают область. ^{[3] : 220}

Соглашение заключается в том, что метапеременная должна быть единообразно заменена одним и тем же экземпляром во всех ее появлениях в данной схеме. Это контрастирует с нетерминальными символами в формальных грамматиках , где нетерминалы справа от продукции могут быть заменены различными экземплярами. ^[4]

Попытки формализовать понятие метапеременной приводят к некоему типу теории типов . ^[5]

Смотрите также

• Явная замена

Примечания

1. Хантер 1973, стр. 13.
2. Шенфилд 2001, стр. 7.
3. Коркоран 2006, стр. 220.
4. Теннент 2002, стр. 36–37, 210.
5. Масахико Сато, Такафуми Сакурай, Юкиёси Камеяма и Ацуси Игараси. «Исчисления метапеременных ^{[ постоянная неработающая ссылка ]} » в 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.
• Хантер, Джеффри (26 июня 1973 г.). Металогика: Введение в метатеорию стандартной логики первого порядка. Издательство Калифорнийского университета. ISBN 9780520023567.
• Шенфилд, Джозеф Р. (2001) [1967]. Математическая логика (2-е изд.). AK Peters . ISBN 978-1-56881-135-2.
• Теннент, РД (2002). Определение программного обеспечения: практическое введение . Издательство Кембриджского университета. ISBN 978-0-521-00401-5.