Словарь логики - метаязык
Метаязык
п., мы пользуемся для описания свойств этого пока еще не известного нам языка своим родным языком, который и выступает в данном случае в качестве М. Смешение объектного языка и М. приводит к противоречиям и парадоксам (см.: «Лжеца» парадокс). В естественном языке явного различия между объектным и М. нет: мы пользуемся одним и тем же языком и для того, чтобы говорить о внеязыковых объектах, и для того, чтобы говорить о самом языке.
Только интуиция помогает нам избежать путаницы и противоречий. Однако всегда существует опасность того, что неразличение объектного и М. приведет к противоречию. Поэтому в науке, в частности в металогике и метаматематике, проводится четкое разделение этих двух языков.К М. обычно предъявляются следующие требования: 1) в нем должны быть средства для описания синтаксических свойств объектного языка, в частности средства для построения выражений объектного языка; 2) М. должен быть настолько богат по своим выразительным возможностям, чтобы для каждого выражения объектного языка в нем существовала формула, являющаяся переводом этого выражения; 3) логический словарь М.
должен быть по крайней мере столь же богат, как и логический словарь объектного языка; 4) в М. должны быть дополнительные переменные, принадлежащие к более высокому типу, чем переменные объектного языка, и т. д. .
Вопрос-ответ:
Самые популярные термины
1 | 374 | |
2 | 371 | |
3 | 363 | |
4 | 339 | |
5 | 338 | |
6 | 335 | |
7 | 328 | |
8 | 326 | |
9 | 325 | |
10 | 325 | |
11 | 320 | |
12 | 316 | |
13 | 314 | |
14 | 313 | |
15 | 311 | |
16 | 310 | |
17 | 309 | |
18 | 308 | |
19 | 307 | |
20 | 300 |