https://camokathomelab.servebeer.com/mediawiki/index.php?action=history&feed=atom&title=%D0%9C%D0%B5%D1%82%D0%B0%D1%8F%D0%B7%D1%8B%D0%BAМетаязык - История изменений2026-07-16T12:25:23ZИстория изменений этой страницы в викиMediaWiki 1.45.3https://camokathomelab.servebeer.com/mediawiki/index.php?title=%D0%9C%D0%B5%D1%82%D0%B0%D1%8F%D0%B7%D1%8B%D0%BA&diff=5144&oldid=previmported>Monedula: откат: это какой-то другой метаязык2024-04-21T06:16:32Z<p>откат: это какой-то другой метаязык</p>
<p><b>Новая страница</b></p><div>'''Метаязы́к''' — [[язык]], предназначенный для описания другого языка, называемого {{не переведено 5|Объектный язык|объектным языком||Object language}}.<br />
<br />
Метаязык — язык лингвистики, лексика, на основе которой формируются словари. Язык построения теории, слов, фраз в сфере грамматической лингвистики.<br />
<br />
Понятие метаязыка используется:<br />
* в [[лингвистика|лингвистике]], при описании [[Естественный язык|естественных языков]] — метаязык как язык для описания языка. Естественный язык может являться своим же метаязыком (например, для описания [[русский язык|русского языка]] можно использовать тот же русский язык), или отличаться лишь частично, например, специальной терминологией (русская лингвистическая терминология — элемент ''метаязыка'' для описания русского языка);<br />
<!-- В каком разделе лингвистики, в какой ситуации?<br />
* [[язык]], в котором [[сообщение|сообщения]], кроме основного, имеют дополнительный [[смысл]]. Иногда основной смысл теряет всякое значение. (напр., «Когда ты в последний раз смотрелся в зеркало?» — означает «Ты ужасно выглядишь!») --><br />
* в классической [[Философия|философии]] — как понятие, фиксирующее логический инструментарий [[Рефлексия|рефлексии]] над феноменами семиотического ряда;<br />
** в философии [[постмодернизм]]а, при выражении процессуальности вербального продукта [[Рефлексия|рефлексии]] над процессуальностью языка. Постмодернистская трактовка метаязыка восходит к работе Р. Барта «Литература и метаязык» (1957).<br />
* при исследовании [[Язык математики|языков]] различных логико-математических исчислений (<small>напр.</small>, [[Форма Бэкуса — Наура]]);<br />
* в [[Информатика|информатике]] — дополнительные [[Данные (вычислительная техника)|данные]] ([[метаданные]]), служащие для описания имеющихся.<br />
* в [[математика|математике]] — формальный логико-математический язык для формулирования [[метатеория|метатеории]] или в расширенном значении — неформализованный язык для представления утверждений [[метаматематика|метаматематики]]<ref>{{книга<br />
| автор = <br />
| часть = Метаязык<br />
| ссылка часть = <br />
| заглавие = Математическая энциклопедия<br />
| оригинал = <br />
| ссылка = <br />
| викитека = <br />
| ответственный = [[Виноградов, Иван Матвеевич|И. М. Виноградов]]<br />
| издание = <br />
| место = Москва<br />
| издательство = Советская энциклопедия<br />
| год = 1982<br />
| том = 3<br />
| страницы = <br />
| столбцы = 653<br />
| страниц = <br />
| серия = <br />
| isbn = <br />
| doi = <br />
| тираж = <br />
| ref = <br />
}}</ref>.<br />
<br />
== Математическая логика ==<br />
Понятие «метаязык» было введено польским математиком [[Тарский, Альфред|Альфредом Тарским]]<ref>{{Книга:Гарднер. А ну-ка, догадайся|28-30}}</ref>. C помощью него можно избавиться от таких логических парадоксов, как [[парадокс лжеца]] и [[Самореференция|самореферентные парадоксы]].<br />
<br />
Первым уровнем (обычным языком) являются утверждения об объектах, например: «У Земли есть спутник». В языке низшей ступени нет понятий «[[ложь]]» и «[[истина]]». Такие понятия, как оценка истинности утверждений об объектах, являются привилегией метаязыка — следующей ступеньки лестницы. Таким образом предложение «Утверждение „снег белый“ истинно» имеет смысл в метаязыке. Однако о его истинности можно говорить лишь в следующей надстройке — метаметаязыке. При этом метаязык является объектным языком для этой следующей ступени. Можно построить метаязык, для которого метаязык будет объектным и т. д.<br />
<br />
Другой пример лестницы утверждений и метаязыков:<br />
# [[Сумма углов треугольника|Сумма внутренних углов любого треугольника равна 180°]]<br />
# Утверждение 1 истинно.<br />
# Утверждение 2 истинно.<br />
# Утверждение 3 истинно.<br />
<br />
Здесь первое утверждение написано на языке первого уровня, который позволяет формулировать теоремы планиметрии. Языком второго уровня (фраза № 2) пользуются при [[Доказательство (логика)|доказательстве]] теорем. Метаязык для третьего утверждения — это язык, на котором написаны книги о [[Теория доказательств|теории доказательств]].<br />
<br />
С лестницей метаязыков Тарского тесно связана [[теория типов]] Бертрана Рассела.<br />
<br />
== См. также ==<br />
{{wiktionary|метаязык}}<br />
* [[Метапеременная]]<br />
* [[Метанаука]]<br />
* [[Метаданные]]<br />
<br />
== Примечания ==<br />
{{примечания}}<br />
<br />
== Литература ==<br />
Философия постмодернизма:<br />
* Р. Барт. Литература и метаязык, 1957<br />
Математика, логика:<br />
* Тарский А., Введение в логику и методологию дедуктивных наук, пер. с англ., Метаязык, 1948;<br />
* Клини С. К., Введение в метаматематику, пер. с англ., Метаязык, 1957, гл. 1;<br />
* Чёрч А., Введение в математическую логику, пер. с англ., т. 1, Метаязык, 1960 (введение);<br />
* Карри Х. Б., Основания математической логики, пер. с англ., Метаязык, 1969, гл. 1-3.<br />
[[НФ]]:<br />
* Метаязык некой «Игры» — 1 из ключевых элементов сюжета «Силы Сильных» [[Биленкин, Дмитрий Александрович|Д. Биленкина]].<br />
<br />
{{Позитивизм}}<br />
[[Категория:Философия языка]]<br />
[[Категория:Семиотика]]<br />
[[Категория:Философская логика]]<br />
[[Категория:Метамоделирование]]<br />
[[Категория:Теория доказательств]]</div>imported>Monedula