Философская энциклопедия - метаязык
Метаязык
МЕТАЯЗЫК
(от греч. meta — после, за, позади) — язык, средствами которого исследуются и описываются свойства языка, называемого предметным, или объектным. Напр., когда мы начинаем изучать иностранный язык, знакомиться с его лексикой, с его грамматической структурой, системой времен и т.
п., мы пользуемся для описания свойств этого, пока еще не известного нам языка своим родным языком, который выступает в данном случае в качестве М.
Смешение объектного языка и М. приводит к противоречиям, ошибкам в рассуждениях и парадоксам. В естественном языке явного различия между объектным языком и М. нет: мы пользуемся одним и тем же языком и для того, чтобы говорить о внеязыковых объектах, и для того, чтобы говорить о самом языке.
Только интуиция помогает избегать путаницы и противоречий. Однако всегда существует опасность того, что неразличение объектного языка и М. приведет к противоречию или к ошибке в рассуждении. Поэтому в науке, в частности в металогике и метаматематике, проводится четкое разделение этих двух языков. К М. обычно предъявляются следующие требования: 1) в нем должны быть средства для описания синтаксических свойств объектного языка; 2) М. должен быть настолько богат по своим выразительным возможностям, чтобы для каждого выражения объектного языка в нем существовала формула, являющаяся переводом этого выражения; 3) логический словарь М. должен быть по крайней мере столь же богат, как и логический словарь объектного языка; 4) в М. должны быть дополнительные переменные, принадлежащие к более высокому типу, чем переменные объектного языка, и т.п.Философия: Энциклопедический словарь. — М.: Гардарики. Под редакцией А.А. Ивина. 2004.
.
См. в других словарях
Вопрос-ответ:
Похожие слова
Самые популярные термины
1 | 2304 | |
2 | 2257 | |
3 | 1390 | |
4 | 1347 | |
5 | 749 | |
6 | 729 | |
7 | 683 | |
8 | 661 | |
9 | 630 | |
10 | 611 | |
11 | 609 | |
12 | 558 | |
13 | 551 | |
14 | 539 | |
15 | 534 | |
16 | 528 | |
17 | 518 | |
18 | 515 | |
19 | 512 | |
20 | 511 |