Веб-бібліотека - головна сторінка


КЬЕРКЕГОР, Киркегор Серен (1813-1855) - датский философ и писатель. Творчество К., укорененное в интимно-личностных переживаниях и рефлексии самонаблюдения, неразрывно связан...
ПАВЛОВ Михаил Григорьевич - (род. 1793 - ум. 1840) - рус. натурфилософ. После окончания Московского ун-та остался там в качестве преподавателя, затем профессора ряд...
Широконосые обезьяны - (Platyrrhini) - высшие приматы Центральной и Южной Америк. Древнейшая находка - Branisella из среднего или позднего олигоцена Боливии. В...
СВЕТСКОЕ ИСКУССТВО - искусство, освобожденное от влияния и вмешательства церкви в определении форм, направлений, характера и тематики произведений искусств...
Матисс (MATISSE) Анри - (1869-1954) Один из крупнейших французских художников-авангардистов XX в. Учился в Школе изящных искусств у одного из извест...
Избыточность - понятие, с точки зрения философии, не заслуживающее того, чтобы его выделили в самостоятельную категорию, так как отсутствует в [1], [2...
ИЗМЕРЕНИЕ - процедура сравнения данной величины с другой величиной, принятой за эталон (единицу). В широком смысле измерение представляет собой ви...

МЕТАЯЗЫК

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