19-06-2024
Позитивизм |
---|
Основные понятия |
Верификация, Опыт, Факт Индукция, Конвенционализм |
Тексты |
Основные начала |
Течения |
Эмпириокритицизм, Махизм |
Люди |
Конт, Тэн, Милль, Спенсер Мах, Авенариус |
Метаязы́к — «сверхязык»; язык, предназначенный для описания языка.
Понятие метаязыка используется:
Понятие «метаязык» было введено польским математиком Альфредом Тарским[1]. C помощью него можно избавиться от таких логических парадоксов, как парадокс лжеца и самореферентные парадоксы.
Первым уровнем (обычным языком) являются утверждения об объектах, например: «У Земли есть спутник». В языке низшей ступени нет понятий «ложь» и «истина». Такие понятия, как оценка истинности утверждений об объектах, являются привилегией метаязыка — следующей ступеньки лестницы. Таким образом предложение «Утверждение „снег белый“ истинно» имеет смысл в метаязыке. Однако о его истинности можно говорить лишь в следующей надстройке — метаметаязыке. При этом метаязык является объектным языком для этой следующей ступени. Можно построить метаязык, для которого метаметаязык будет объектным и т. д.
Другой пример лестницы утверждений и метаязыков:
Здесь первое утверждение написано на языке первого уровня, который позволяет формулировать теоремы планиметрии. Языком второго уровня (фраза № 2) пользуются при доказательстве теорем. Метаметаязык, которому принадлежит третье утверждение, — это язык, на котором написаны книги о теории доказательств.
С лестницей метаязыков Тарского тесно связана теория типов Бертрана Рассела.
Философия постмодернизма:
Математика, логика:
Метаязык научного исследования, метаязык и металингвистика, метаязык культуры.
Файл:Обложка альбома The Stench of Redemption.jpg, Файл:Sweartgar I of Sweden relief 2009 Heda Ödeshög (crop).jpg, Клеточный комплекс, Категория:Игроки БК «Брозе», Алиса, графиня Атлонская.