Философия под общей редакцией

6 См.: Фреге Г. Смысл и значение // Фреге Г. Избр. работы. М .: Дом интеллек­
туальной книги, 1997. С. 25-50.

---

(= символическую) логику. Например, Рудольф Карнап под руко­
водством Г. Фреге пытался сделать сложное для физиков-теорети- 
ков дело — формализовать на основе подходящего символического 
языка специальную теорию относительности А. Эйнштейна7. Под 
влиянием Р. Карнапа сформировалось центральное для аналитиче­
ской философии направление семантических исследований.
Для развития логической семантики ключевое значение 
имеют работы Альфреда Тарского, разработавшего понятие мета­
языка, а также методы построения формальных языков, включаю­
щих категорию истины. Метаязык — это язык описания какого-то 
иного языка, часто называемого «объектным» языком, или «язы­
ком-объектом». Тарскому удалось определить требования фор­
мально корректного и материально адекватного построения мета­
языка для описания языков дедуктивных наук.
В современной логике до Тарского понятие метаязыка вызре­
вало в семантических работах Г. Фреге («прямой» и «косвенный» 
смысл), Д. Гильберта (математика и метаматематика) и Б. Рассела. 
В частности, Б. Рассел в своей «теории типов» использует мета­
языки как средство разрешения противоречий8 автореферентных 
языковых конструкций (языковых выражений, которые обозна­
чают сами себя)9. По Расселу, необходимо разделение терминов 
по их степени общности на различные языковые уровни («типы»). 
Альтернативную Тарскому и Расселу методологию построения 
метаязыков разрабатывает Р. Карнап, успешно отрицающий необ­
ходимость требования того, чтобы метаязык был существенно 
богаче языка-объекта10.
Метаязык, по Тарскому, может задаваться аксиоматиче­
ски (тогда действуют общие правила построения формальных