Метаязык

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск
Позитивизм

Огюст Конт

Основные понятия
Верификация, Опыт, Факт

Индукция, Конвенционализм
Теорема о неполноте
Тезис Дюэма — Куайна
Метаязык

Тексты
Основные начала

Логико-философский трактат

Течения
Эмпириокритицизм, Махизм

Венский кружок, Неопозитивизм
Львовско-варшавская школа

Люди
Конт, Тэн, Милль, Спенсер

Мах, Авенариус
Пуанкаре, Дюэм, Рассел
Шлик, Карнап, Гедель, Нейрат
Витгенштейн

Метаязы́к — «сверхязык»; язык, предназначенный для описания языка.

Понятие метаязыка используется:

  • в лингвистике, при описании естественных языков — метаязык как язык для описания языка. Естественный язык может являться своим же метаязыком (например, для описания русского языка можно использовать тот же русский язык), или отличаться лишь частично, например специальной терминологией (русская лингвистическая терминология — элемент метаязыка для описания русского языка);
  • в классической философии — как понятие, фиксирующее логический инструментарий рефлексии над феноменами семиотического ряда;
    • в философии постмодернизма, при выражении процессуальности вербального продукта рефлексии над процессуальностью языка. Постмодернистская трактовка метаязыка восходит к работе Р. Барта «Литература и метаязык» (1957).
  • при исследовании языков различных логико-математических исчислений (напр., Форма Бэкуса — Наура);
  • в информатике — доп. данные (метаданные), служащие для описания имеющихся.

Математическая логика[править | править вики-текст]

Понятие «метаязык» было введено польским математиком Альфредом Тарским[1]. C помощью него можно избавиться от таких логических парадоксов, как парадокс лжеца и самореферентные парадоксы.

Первым уровнем (обычным языком) являются утверждения об объектах, например: «У Земли есть спутник». В языке низшей ступени нет понятий «ложь» и «истина». Такие понятия, как оценка истинности утверждений об объектах, являются привилегией метаязыка — следующей ступеньки лестницы. Таким образом предложение «Утверждение „снег белый“ истинно» имеет смысл в метаязыке. Однако о его истинности можно говорить лишь в следующей надстройке — метаметаязыке. При этом метаязык является объектным языком для этой следующей ступени. Можно построить метаязык, для которого метаязык будет объектным и т. д.

Другой пример лестницы утверждений и метаязыков:

  1. Сумма внутренних углов любого треугольника равна 180°
  2. Утверждение 1 истинно.
  3. Утверждение 2 истинно.
  4. Утверждение 3 истинно.

Здесь первое утверждение написано на языке первого уровня, который позволяет формулировать теоремы планиметрии. Языком второго уровня (фраза № 2) пользуются при доказательстве теорем. Метаметаязык, которому принадлежит третье утверждение, — это язык, на котором написаны книги о теории доказательств.

С лестницей метаязыков Тарского тесно связана теория типов Бертрана Рассела.

См. также[править | править вики-текст]

Примечания[править | править вики-текст]

  1. Мартин Гарднер А ну-ка, догадайся! = Aha! Gotcha. Paradoxes to puzzle and delight. — М.: Мир, 1984. — С. 28-30. — 213 с.

Библиография[править | править вики-текст]

Философия постмодернизма:

  • Р. Барт. Литература и метаязык, 1957

Математика, логика:

  • Тарский А., Введение в логику и методологию дедуктивных наук, пер. с англ., Метаязык, 1948;
  • Клини С. К., Введение в метаматематику, пер. с англ., Метаязык, 1957, гл. 1;
  • Чёрч А., Введение в математическую логику, пер. с англ., т. 1, Метаязык, 1960 (введение);
  • Карри Х. Б., Основания математической логики, пер. с англ., Метаязык, 1969, гл. 1-3.

Ссылки[править | править вики-текст]