|
Большая Советская Энциклопедия (МЕ)Изучаемый язык называется также предметным языком по отношению к данному М. Как предметный язык, так и М. могут быть обычными (естественными) языками. М. может отличаться от языка-объекта (например, в учебнике английского языка для русских русский язык является М., а английский — языком-объектом), но может и совпадать с ним или отличаться лишь частично, например специальной терминологией (русская лингвистическая терминология — элемент М. для описания русского языка; т. н. семантические множители — часть М. описания семантики естественных языков). Понятие «М.» было введено и стало весьма плодотворным в связи с изучением формализованных языков — исчислений, строящихся в рамках математической логики. В отличие от формализованных предметных языков, в этом случае М., средствами которого формулируется метатеория (изучающая свойства предметной теории, формулируемой на предметном языке), является, как правило, обычным естественным языком, точнее некоторым специальным образом ограниченным фрагментом естественного языка, не содержащим всякого рода двусмысленностей, метафор, «метафизических» понятий и т. п. элементов обычного языка, препятствующих использованию его в качестве орудия точного научного исследования (см. Метаматематика ). При этом М. сам может быть формализован и (независимо от этого) оказаться предметом исследования, проводимого средствами метаметаязыка, причём такой ряд можно «мыслить» растущим бесконечно ...» |
Код для вставки книги в блог HTML
phpBB
текст
|
|