(от греч . meta - после , за, позади ) - язык , средствами которого исследуются и описываются свойства другого языка, называемого предметным, или объектным. Напр., когда мы начинаем изучать иностранный язык, знакомиться с его выражениями, с его грамматической структурой, системой времен, падежей и т. п., мы пользуемся для описания свойств э того пока еще не известного нам языка своим родным языком, который и выступает в данном случае в качестве М. Смешение объектного языка и М. приводит к противоречиям и парадокс ам (см.: «Лжеца» парадокс). В естественном языке явного различия между объектным и М. нет: мы пользуемся одним и тем же языком и для того, чтобы говорить о вне языков ых объектах, и для того, чтобы говорить о самом языке. Только интуиция помогает нам избежать путаницы и противоречий. Однако всегда существует опасность того, что неразличение объектного и М. приведет к противоречию. Поэтому в науке, в частности в металогике и метаматематике, проводится четкое разделение этих двух языков. К М. обычно предъявляются следующие требования: 1) в нем должны быть средства для описания синтаксических свойств объектного языка, в частности средства для построения выражений объектного языка; 2) М. должен быть на столь ко богат по своим выразительным возможностям, чтобы для каждого выражения объектного языка в нем существовала формула , являющаяся переводом этого выражения; 3) логический словарь М. должен быть по крайней мере столь же богат, как и логический словарь объектного языка; 4) в М. должны быть дополнительные переменные, принадлежащие к более высокому типу, чем переменные объектного языка, и т. д.
Что такое Метаязык? Значение слова Метаязык в словаре логики
Метаязык - (от греч. meta - после, за, позади) - язык, средствами которого исследуются и описываются свойства другого языка, называемого предметным, или объектным. Напр., когда мы начинаем изучать иностранный язык, знакомиться с его выражениями, с его грамматической структурой, системой времен, падежей и т. п., мы пользуемся для описания свойств этого пока еще не известного нам языка своим родным языком, который и выступает в данном случае в качестве М. Смешение объектного языка и М. приводит к противоречиям и парадоксам (см.: «Лжеца» парадокс). В естественном языке явного различия между объектным и М. нет: мы пользуемся одним и тем же языком и для того, чтобы говорить о внеязыковых объектах, и для того, чтобы говорить о самом языке. Только интуиция помогает нам избежать путаницы и противоречий. Однако всегда существует опасность того, что неразличение объектного и М. приведет к противоречию. Поэтому в науке, в частности в металогике и метаматематике, проводится четкое разделение этих двух языков. К М. обычно предъявляются следующие требования: 1) в нем должны быть средства для описания синтаксических свойств объектного языка, в частности средства для построения выражений объектного языка; 2) М. должен быть настолько богат по своим выразительным возможностям, чтобы для каждого выражения объектного языка в нем существовала формула, являющаяся переводом этого выражения; 3) логический словарь М. должен быть по крайней мере столь же богат, как и логический словарь объектного языка; 4) в М. должны быть дополнительные переменные, принадлежащие к более высокому типу, чем переменные объектного языка, и т. д.
Значение слова Метаязык в других словарях:
- Что такое Метаязык? Энциклопедический словарь
- Определение термина Метаязык? Философский словарь
- Толкование слова Метаязык? Социологический словарь
Узнайте лексическое, прямое, переносное значение следующих слов:
- Необходимые И Достаточные Условия - (в логике и математике) условия, устанавливающие зависимость ...
- Неклассическая Логика - см.: Логика неклассическая. ...
- Недоказанное Основание Доказательства - логическая ошибка, заключающаяся в том, что в ...
- Наука - — одна из сфер человеческой деятельности, функцией которой ...
- Модус Толленс - (лат. modus tollens) термин средневековой логики, обозначающий ...
- Модус Поненс - (лат. modus ponens) — термин средневековой логики, обозначающий ...
- Модус - (лат. modus мера, способ, образ, вид) ...
- Логика Неклассическая - совокупность логических теорий, возникших в известной оппозиции ...
- Логика Многозначная - см.: Многозначная логика. ...
- Логика Классов - раздел математической логики, соответствующий узкому исчислению одноместных ...
- Логика Квантовой Механики - логическая теория, цель которой — описание логических ...
- Логика Дедуктивная - см.: Дедукция. ...
- Логика Времени - или: Временная логика, — раздел современной модальной логики, ...
- Лжеца Парадокс - один из наиболее известных логических парадоксов. В ...
- Дискурсивный - (от лат. discursus — рассуждение, довод, аргумент) ...