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