Что такое Метаязык? Значение и толкование слова metajazyk, определение термина

Метаязык - (от греч. meta - после, за, позади)  - язык, сред­ствами которого исследуются и описываются свойства другого язы­ка, называемого предметным, или объектным. Напр., когда мы на­чинаем изучать иностранный язык, знакомиться с его выражения­ми, с его грамматической структурой, системой времен, падежей   и т. п., мы пользуемся для описания свойств этого пока еще не известного нам языка своим родным языком, который и выступа­ет в данном случае в качестве М. Смешение объектного языка и М. приводит к противоречиям и парадоксам (см.: «Лжеца» парадокс). В естественном языке явного различия между объектным и М. нет: мы пользуемся одним и тем же языком и для того, чтобы говорить о внеязыковых объектах, и для того, чтобы говорить о самом языке. Только интуиция помогает нам избежать путаницы и противоречий. Однако всегда существует опасность того, что неразличение объектного и М. приведет к про­тиворечию. Поэтому в науке, в частности в металогике и метама­тематике, проводится четкое разделение этих двух языков. К М. обычно предъявляются следующие требования: 1) в нем должны быть средства для описания синтаксических свойств объектного язы­ка, в частности средства для построения выражений объектного языка; 2) М. должен быть настолько богат по своим выразительным возможностям, чтобы для каждого выражения объектного языка в нем существовала формула, являющаяся переводом этого выраже­ния; 3) логический словарь М. должен быть по крайней мере столь же богат, как и логический словарь объектного языка; 4) в М. должны быть дополнительные переменные, принадлежащие к более высокому типу, чем переменные объектного языка, и т. д.

Посмотреть значение слова Метаязык в других словарях:

Что означает термин Метаязык?Социологический словарь

Толкование слова МетаязыкФилософский словарь

Возможно Вам будет интересно узнать лексическое, прямое или переносное значение этих слов:

Методологическая Аргументация -  - обоснование отдель­ного утверждения или целостной концепции путем ссылки на тот несомненно...

Методология Науки -  - часть науковедения, исследующая структуру научного знания, средства и методы научного...

Многозначная Логика -  - совокупность логических систем, опирающихся на принцип многозначности. В классической...

Многозначности Принцип - см.: Принцип многозначности.

Многозначность -  — характеристика выражения, имеющего в разных контекстах разное значение. Напр., слово «закон»...

Модальная Логика -  — раздел неклассической логики, в ко­тором исследуются логические связи модальных высказы­ваний,...

Модальность - (от лат., modus — мера, способ)  — оценка выска­зывания, данная с той или иной точки зрения....

Модель - (от лат. modulus — мера, образец, норма)  — а) в самом широком смысле — любой мысленный или...

Модель Семантическая -  - система значений, приписыва­емых выражениям некоторого формализованного языка, то же, что...

Модус - (лат. modus - мера, способ, образ, вид)  - философский термин, обозначающий свойство предмета,...