Метаязык
В логике и философии языка метаязык — это язык, на котором говорят о другом языке. [ 1 ] Язык, о котором идет речь, называется объектным языком . [ 1 ] Метаязык может быть идентичен целевому языку, например, когда речь идет об испанском языке с использованием самого испанского языка. [ 2 ] Один метаязык в каждый момент времени может быть языком объекта другого метаязыка более высокого порядка и так далее. Разные метаязыки могут говорить о разных аспектах одного и того же целевого языка.
Формальные модели синтаксиса для описания грамматики, такие как порождающая грамматика , являются типами метаязыка.
В более общем смысле это может относиться к любой терминологии или языку, используемому для разговора со ссылкой на тот же язык. Например, текст о грамматике или обсуждение использования языка.
Метапеременные
Метапеременные — это символы или цепочки символов в метаязыке, представляющие элементы объектного языка . Например, в предложении
- Пусть A и B — два предложения языка логики высказываний.
Символы A и B являются метапеременными метаязыка (испанский), которые представляют предложения объектного языка (языка пропозициональной логики ). Соглашение состоит в том, что в одном и том же контексте одна и та же метапеременная всегда представляет один и тот же элемент целевого языка, но разные метапеременные не обязательно представляют разные элементы.
Использование метаязыков
Во многих случаях мы используем этот ресурс, с помощью которого, если вы не знаете, вы можете сделать ошибки интерпретации .
Уже в грамматике проводится различие между употреблением и упоминанием .
Двусложным является любое слово, состоящее из двух слогов. Но «двусложный» [ 3 ] не двусложный. В данном случае «двусложное» относится к самому слову, а не к его объектному значению, т. е. к двусложному слову.
У каждого языка есть объект, к которому он обращается или ссылается. Это «объектный язык».
Любой язык, объектом которого является язык, является «метаязыком», который, в свою очередь, может быть языком объекта другого метаязыка более высокого порядка и так далее.
Давайте рассмотрим различные ссылки на следующее предложение: «Антонио говорит, что Луис сказал, что Мария Луиза сказала, что...»
«Антонио сказал, что вчера он ходил в кино». Обратите внимание, что такое утверждение не дает нам информации о том, ходил ли Антонио вчера в кино.
Игнорирование того различия, которое говорит о реальности факта: «Антонио сказал», и языка (метаязыка) того, что Антонио сказал: «что он вчера ходил в кино», приводит к интерпретативной путанице.
Метаязыки и наука
В научном языке это различие имеет большое значение.
Теория языковых уровней была создана Бертраном Расселом во введении к « Логико - философскому трактату» Витгенштейна .
Рассел, разработавший теорию типов для разрешения некоторых логических парадоксов , утверждает, что «каждый язык имеет свою собственную структуру, о которой ничего нельзя сказать в самом языке; но может существовать и другой язык, имеющий дело со структурой первый язык, и эта иерархия языков не имеет границ».
Различие между объектным языком и метаязыком было введено Альфредом Тарским как решение семантических парадоксов, таких как парадокс лжеца . [ 1 ] Согласно Тарскому, ни один язык не может содержать свой собственный предикат истинности и оставаться непротиворечивым. [ 1 ] Чтобы говорить об истине на языке, а не порождать противоречий, необходимо делать это с другого языка, с большей выразительной силой: метаязыка. [ 1 ]
Таким образом разрешается классический парадокс лжеца . Грамматически правильное выражение: «Эпименид критянин говорит, что все критяне лжецы», не может и не имеет значения истины. Но его смысл истины проявляется ясно, когда мы различаем два уровня языка. «Эпименид Критянин говорит: «Все критяне лжецы».
Формализованные языки и построение моделей
Но особое значение имеет изучение метаязыка с точки зрения его «формальной структуры» или «синтаксиса», что и порождает логико-математические формальные языки.
Когда мы создаем формальный язык с символами и синтаксическими структурами, полностью определенными правилами построения формул, мы также можем использовать переменные более высокого порядка для ссылки на установленный формальный язык.
Такая процедура происходит в правиле подстановки исчисления , когда мы подставляем выражение вместо метапеременной.
Так, например, правила исчисления выражаются с помощью метапеременных, которые можно заменить любым правильно построенным выражением языка.
Например, выражение
[(A → B) /\ A] → B можно считать метаязыком относительно выражения
[[(p/\q) → (r\/s)] /\ (p/\q)] → (r\/s) , где A=(p/\q) и B=(r\/s ).
В свою очередь p, q, r и s могут символизировать любое предложение обычного языка. Когда мы придаем этим переменным смысловое наполнение, мы строим модель на основе логико-математического расчета.
Точно так же в арифметике мы используем символы 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, каждый из которых может представлять «количество объектов или меру». В свою очередь, в алгебре мы обозначаем эти числа с помощью букв, переменных или констант, которые могут заменить «количества объектов или меры», если правила образования выражений через синтаксические отношения, +, - , x, / , и т.п. прекрасно определены.
Когда в расчете С установлено «соответствие» каждого символа отдельным детерминированным элементам, отличимым друг от друга, реальной Вселенной L (такая вселенная L не является пустым множеством, по тем же установленным нами условиям), ТО говорят, что L является МОДЕЛЬЮ C.
Построение моделей является фундаментальным инструментом в научных исследованиях. Но истины, полученные о модели, не всегда должны соответствовать действительности. Истины, полученные по образцу, часто путают с правдой действительности.
Но истины, полученные из модели, имеют в качестве «объектной ссылки» используемый формальный язык (обычно представляющий собой формализацию по отношению к теории), и поэтому эти истины представляют собой метаязык, говорящий о теории (ее следствиях), а не о реальности. Реальность будет говорить только через эксперименты. [ 4 ]
Неучет этой детали иногда приводит к утверждению за действительные истины только тех истин, которые получены «по образцу» ; то, что многие средства массовой информации, и не всегда бескорыстно или по ошибке, раскрывают их так, как если бы они были уже утвержденными научными истинами. [ 5 ]
Смотрите также
Ссылки
- ↑ a b c d Саймон Блэкберн (ред.). «мета-язык» . Оксфордский философский словарь . Издательство Оксфордского университета . Проверено 6 октября 2009 г. .
- ↑ Гупта, Анил. «мета-язык» . Оксфордский компаньон по философии . Издательство Оксфордского университета . Проверено 6 октября 2009 г. .
- ↑ Принято считать, что при упоминании слова оно пишется в одинарных кавычках.
- ↑ См. эмпирическую логику
- ↑ Некоторые споры последних лет об изменении климата основаны на выводах, полученных из разных моделей, и приводят к различным интерпретациям. И конструкция и дизайн этих моделей также имеют разные теории в качестве ссылок. Мало-помалу наука совершенствует модели, а также теории, и более совершенные модели закрепляются (и, следовательно, менее «заинтересованы»), выводы которых в конечном итоге становятся более общими и принимаются научным сообществом».
Библиография
- ХОНДЕРИЧ, Т. (редактор) (2001). Оксфордская философская энциклопедия. трд. Кармен Гарсия Тревихано . Мадрид. Издательство Технос. 84-309-3699-2001 .
- Ферратер Мора, Дж. (1984). Философский словарь (4 тома) . Барселона. Словари Альянса. ISBN 84-206-5299-7 .
