Философская Энциклопедия (в 5 томах)

МЕТАЯЗЫК

понятие совр. логики, используемое при исследовании языков различных логико-математич. исчислений и естеств.-науч. языков, при описании взаимоотношений языков различного "уровня" и при характеристике отношения между рассматриваемыми языками и описываемыми с их помощью предметными областями. М. наз. язык, на к-ром происходит рассмотрение к.-л. др. языка, изучение строения выражений этого языка, доказательство теорем о его дедуктивных свойствах и об отношении его к др. языкам и т.д. М. может быть как неформализованным, так и формализованным языком. Язык, рассматриваемый в М., – он наз. языком-объектом (или предметным я з ы к о м) – обычно является формализованным. Если в языке-объекте формулируется теория, посвященная рассмотрению к.-л. содержательно воспринимаемой предметной области, то средствами М. формулируется метатеория, объектом изучения к-рой является первая (п р е д м е т н а я) теория. Классич. примером метатеории служит метаматематика. Метатеоретич. проблемы собственно логики и методы исследования их образуют металогику. При метатеоретич. исследованиях формализованных языков, допускающих достаточно богатые в логич. отношении интерпретации, к М. обычно предъявляются следующие требования: 1) М. должен включать в себя язык-объект как свою часть (в том смысле, что выражения языка-объекта должны быть переводимы в М., так что выражения М. должны быть именами соответствующих выражений языка-объекта); 2) В числе выражений М. должны иметься выражения более высоких логич. типов (см. Типов теория), чем выражения языка-объекта. Иначе говоря, чтобы в М. можно было проводить рассуждения о строении выражений языка-объекта и о его дедуктивных свойствах, М. должен быть логически более богатым, чем язык-объект. (Требование 2, впрочем, не предполагает непременного использования а п п а р а т а теории типов; оно может быть сформулировано и в терминах др. логич. теорий; см., напр., Предикатов исчисление.) Средствами М. осуществляется описание свойств выражений исходной теории (и, тем самым, языка-объекта, на к-ром она излагается) и определяются понятия, относящиеся к строению данной предметной теории (напр., аксиоматизируемость теории, доказуемость или разрешимость ее предложений, непротиворечивость, полнота и независимость положенной в основе предметной теории системы аксиом и т.п.); исследование относящихся к этим понятиям проблем применительно к конкретной предметной теории составляет задачу метатеории. Та часть метатеории, к-рая исследует формальную структуру предметной теории (независимо от к.-л. ее интерпретаций), наз. синтаксич. частью метатеории, или просто с и н т а к с и с о м (см. Синтаксис в логике). Соответственно М., предназначенный для изучения структуры формализованного предметного языка, наз. синтаксич. языком, или языком синтаксиса. Часть метатеории, посвященная исследованию различных интерпретаций предметной теории (или выражений языка-объекта), наз. ее семантической частью, или с е м а н т и к о й данной предметной теории (соответственно, языка-объекта) (см. Модель, Семантика в логике). Семантич. понятия характеризуют отношения между элементами из предметной области исследуемой теории и языком-объектом, в к-ром описываются (формализуются) свойства этих элементов и отношения между ними. Примерами таких семантич. понятий служат "имя", "истинность", "значение", "выполнимость", "модель". Различение понятий метатеории и понятий исследуемой в ней теории (соответственно, выражений М. и языка-объекта) не проводится сколько-нибудь четко ни в обычном разговорном языке, ни, как правило, в науч. языке. Тарский показал, что попытки определения понятия "истинное предложение" в естеств. языке, неизбежно приводящие к антиномиям типа "Лжец", являются результатом смешения языка-объекта и (часто неявно предполагаемого) М. Формально точное (и не ведущее к противоречиям) определение истинности предложения может быть построено лишь в М. с конечным числом логич. типов. [Однако, если предикат "истинное (предложение)" присоединить к числу и с х о д н ы х понятий М., то он может употребляться точным и непротиворечивым образом и в М. с бесконечным числом логич. типов ]. Четкое разграничение (вообще говоря, содержательного) М. и (как правило, формализованного или хотя бы формализуемого) языка-объекта не только чрезвычайно важно в методологич. отношении [будучи, в частности, необходимым условием корректной постановки таких проблем, как, напр., непротиворечивость и (или) полнота к.-л. дедуктивной теории ], но и оказывается весьма плодотворным для разл. приложений анализируемой теории. Так, формализация языков, употребляемых в разл. науках, в качестве языков-объектов, и необходимое для этой цели построение соответствующих М. играют большую роль в лингвистических и логических исследованиях т.н. машинных языков, используемых при программировании задач, относящихся к этим наукам, для решения их на электронно-вычислительных машинах. В процессе формализации различных теорий их М., будучи неформализованными (или частично формализованными) языками, сами могут подвергаться формализации и исследованию в м е т а м е т а я з ы к е и т.д. В металингвистич. исследованиях активную роль сыграли логики львовско-варшавской школы, а также Карнап, Черч, Кемени и Куайн. Основополагающее значение для рассматриваемой проблематики имеют работы Д. Гильберта и Геделя. Успешно работают в этой области мн. сов. ученые. Лит.: Тарский ?., Введение в логику и методологию дедуктивных наук, М., 1948; Клини С. К., Введение в метаматематику, пер. с англ., М., 1957, гл. 1; Черч ?., Введение в математическую логику, [т. ] 1, пер. с англ. [М. ], 1960, Введение; Hilbert D., Bernays P., Grundlagen der Mathematik, Bd 1, В., 1934; Woodger J. H., The axiomatic method in biology, L., 1937; его же, Biology and language, L., 1952; Tarski ?., Logic, semantics, metamathematics, Oxf., 1956. В. Финн. Москва.

метаязык—МЕТАЯЗЫК от мета. iодно из основных понятий совр. логики и теоретич. лингвистики используемое при исследовании языков различных логикоматематич. исчислений естественных я...Большая советская энциклопедия
метаязык—от Мета. одно из основных понятий современной логики и теоретической лингвистики используемое при исследовании языков различных логикоматематических исчислений естественн...Большая Советская энциклопедия II
метаязык—греч.meta за после язык язык на котором говорят об объектном языке или на котором описывается другой язык. Например психиатрический текст является метаязыком на котором о...Большая энциклопедия по психиатрии
метаязык—м. metalingua f Итальянорусский словарь. Синонимы язык...Большой итальяно-русский и русско-итальянский словарь
метаязык—м. mtalangage m mtalangue f...Большой русско-французский словарь
метаязык—metalanguage язык второго порядка используемый для обсуждения языка совокупность или система суждений о суждениях....Большой толковый социологический словарь
метаязык—англ. metalanguage нем. Metasprache. Язык средствами крого описываются и исследуются свойства некрого другого языка так наз. предметного объективного языка....Большой толковый социологический словарь II
метаязык—м.mtalangage m mtalangue f язык...Большой французско-русский и русско-французский словарь
метаязык—язык средствами которого проводится описание структурныхдедуктивных или семантических свойств какоголибо другого обычноформализованного языка являющегося предметом изучен...Большой энциклопедический словарь II
метаязык—МЕТАЯЗЫК язык средствами которого проводится описание структурных дедуктивных или семантических свойств какоголибо другого обычно формализованного языка являющегося предм...Большой энциклопедический словарь III
метаязык—МЕТАЯЗЫК язык средствами которого проводится описание структурных дедуктивных или семантических свойств какоголибо другого обычно формализованного языка являющегося пред...Большой Энциклопедический словарь V
метаязык—в классической философии понятие фиксирующее логический инструментарий рефлексии над феноменами семиотического ряда в философии постмодернизма термин выражающий процессу...История философии
метаязык—МЕТАЯЗЫКstrong в классической философии понятие фиксирующее логический инструментарий рефлексии над феноменами семиотического ряда в философии постмодернизма термин выра...История философии II
метаязык—от греч. meta через после язык второго порядка по отношению к которому естественный человеческий язык выступает как языкобъект т. е. как предмет языковедческого исследо...Лингвистический энциклопедический словарь
метаязык—логикоматематический язык используемый для формулировки метатеории.i В более широком смысле М. неформализованный язык на кром формулируются утверждения метаматематики. А....Математическая энциклопедия
метаязык—приставка МЕТА корень ЯЗЫК нулевое окончаниеОснова слова МЕТАЯЗЫКВычисленный способ образования слова Приставочный или префиксальный МЕТА ЯЗЫК Слово Метаязык содержи...Морфемный разбор слова по составу
метаязык—Начальная форма Метаязык винительный падеж единственное число мужской род неодушевленное...Морфологический разбор существительных
метаязык—язык описания какоголибо языка. Описываемый язык называют при этом языкомобъектом. Иногда первичный язык называют объектным или предметным языком предполагая что он обозн...Новая философская энциклопедия
метаязык—Язык на котором говорят об объектном языке. Следовательно язык лингвистики используемый для того чтобы охарактеризовать и описать естественный язык является метаязыком. А...Оксфордский толковый словарь по психологии
метаязык—Язык на котором говорят об объектном языке. Следовательно язык лингвистики используемый для того чтобы охарактеризовать и описать естественный язык является метаязыком. А...Оксфордский толковый словарь по психологии
метаязык—метаязык метаязык а...Орфографический словарь
метаязык—u мu Р.u метаязыка мн.u метаязыки Р.u метаязыков язык...Орфографический словарь русского языка
метаязык—inf...Политехнический русско-французский словарь
метаязык—Орфографическая запись слова метаязык Ударение в слове метаязык Деление слова на слоги перенос слова метаязык Фонетическая транскрипция слова метаязык [митазык] Характер...Полный фонетический разбор слов
метаязык—от греч. meta после за между и рус. язык лог. лингв язык на котором описывается какойлибо другой язык называемый в этом случае языкомобъектом первичным языком....Профессиональное образование
метаязык—метаязык аСинонимы язык...Русский орфографический словарь
метаязык—для описания языков meta language metalanguage...Русско-английский машиностроительный словарь
метаязык—metalanguage...Русско-английский морской словарь
метаязык—meta language metalanguage метаязык м.umetalanguageСинонимы язык...Русско-английский политехнический словарь
метаязык—м....Русско-английский психологический словарь
метаязык—метаязык м.imetalanguage...Русско-английский словарь
метаязык—метаязык м. metalanguage....Русско-английский словарь II
метаязык—m. язык...Русско-английский словарь математических терминов
метаязык—meta language metalanguage...Русско-английский словарь по электронике
метаязык—metalanguage metalanguageСинонимы язык...Русско-английский технический словарь
метаязык—метамова...Русско-белорусский математический словарь
метаязык—Метамова...Русско-белорусский словарь
метаязык—муж. лингв. мат.i метамова жен.i...Русско-белорусский словарь II
метаязык—м. вчт. metalinguaggio m...Русско-итальянский политехнический словарь
метаязык—метатл...Русско-казахский терминологический словарь «Философия и политология»
метаязык—[] а . Синонимы язык...Русско-китайский словарь
метаязык—Metasprache...Русско-немецкий политехнический словарь
метаязык—вчт метамова Синонимы язык...Русско-украинский политехнический словарь
метаязык—metajazyk...Русско-чешский словарь
метаязык—Metakeel...Русско-эстонский словарь
метаязык—метаязык а язык...Русское словесное ударение
метаязык—метаязык язык...Слитно или раздельно? Орфографический словарь-справочник
метаязык—метаязык а Синонимы язык...Слитно. Раздельно. Через дефис. Словарь-справочник
метаязык—МЕТАЯЗЫК [lt гр. meta после за язык] лингв. язык на котором описывается другой язык первичный язык языкобъект язык второго порядка МЕТАКОД состоящий из языковых верб...Словарь иностранных слов русского языка
метаязык—Язык используемый для описания самого языка важнейшей составляющей которого являются термины.Синонимы язык...Словарь лингвистических терминов Т.В. Жеребило
метаязык—от греч. meta после за позади язык средствами которого исследуются и описываются свойства другого языка называемого предметным или объектным. Напр. когда мы начинаем изу...Словарь логики
метаязык—МЕТАЯЗЫК от греч. meta после за позади язык средствами которого исследуются и описываются свойства другого языка называемого предметным или объектным. Напр. когда мы на...Словарь по логике
метаязык—в классической философии понятие фиксирующее логический инструментарий рефлексии над феноменами семиотического ряда в философии постмодернизма термин выражающий процессу...Словарь постмодернизма
метаязык—метаязык сущ. колво синонимов язык Словарь синонимов ASIS.В.Н. Тришин. . Синонимы язык...Словарь синонимов II
метаязык—язык средствами крого описываются и исследуются свойства некрого др. языка т. н. предметного объектного языка или языкаобъекта. Напр. в учебнике англ. языка для рус. школ...Советский философский словарь
метаязык—язык второго порядка средствами которого описываются и исследуются свойства какоголибо естественного языка [ c. c. ]....Современный образовательный процесс
метаязык—МЕТАЯЗЫК язык средствами которого проводится описание структурных дедуктивных или семантических свойств какоголибо другого обычно формализованного языка являющегося предм...Современный энциклопедический словарь
метаязык—Метаязык metalanguage язык используемый для определения некоторых или всех аспектов другого языка и возможно самого себя.Пример. Форма БэкусаНаура.[ГОСТ . ISOIEC Информ...Терминологический словарь автоматизации строительства и производственных процессов
метаязык—.strong Язык второго порядка т.е. такой язык на котором говорят о языке же языкеобъекте. .strong Язык объектом которого является содержание и выражение другого языка. .st...Толковый переводоведческий словарь
метаязык—метаязык [см. мета.] лое. лингв язык на котором описывается какойл. язык называемый в этом случае языкомобъектом или предметным языком....Толковый словарь иностранных слов
метаязык—МЕТАЯЗЫК а м. спец. Специальный язык на кром осуществляетсяпредставление другого языка формализованного для соответствующего описания....Толковый словарь Ожегова
метаязык—метаязык метаязык а м. спец. Специальный язык на кром осуществляется представление другого языка формализованного для соответствующего описания....Толковый словарь русского языка II
метаязык—МЕТАЯЗЫК а м. спец. Специальный язык на кром осуществляется представление другого языка формализованного для соответствующего описания....Толковый словарь русского языка
метаязык—Ударение в слове метаязыкУдарение падает на букву ыБезударные гласные в слове метаязык...Ударение и правописание
метаязык—Rzeczownik метаязык m metajzyk m...Универсальный русско-польский словарь
метаязык—МЕТАЯЗЫК от греч. meta после за позади язык средствами которого исследуются и описываются свойства языка называемого предметным или объектным. Напр. когда мы начинаем и...Философская энциклопедия
метаязык—Метаязык Метаязык язык средствами которого описываются и исследуются свойства некоторого другого предметного объективного языка. Поанглийски Metalanguage См. также Языки...Финансовый словарь
метаязык—Таз Мыза Мка Метка Метаязык Мета Маяк Мая Мат Макет Мак Маз Кыз Кмет Кета Кеа Катя Кат Камея Там Тая Зятек Зык Зея Затея Тема Замет Зам Темза Атм Акт Темя Язык Акм Азям Я...Электронный словарь анаграмм русского языка
метаязык—МЕТАЯЗЫК язык средствами которого проводится описание структурных дедуктивных или семантических свойств какоголибо другого обычно формализованного языка являющегося пред...Энциклопедический словарь естествознания
метаязык—МЕТАЯЗЫК в классической философии понятие фиксирующее логический инструментарий рефлексии над феноменами семиотического ряда в...Энциклопедия История философии
метаязык—МЕТАЯЗЫК в классической философии понятие фиксирующее логический инструментарий рефлексии над феноменами семиотического ряда в философии постмодернизма термин выражающи...Энциклопедия История философии
метаязык—МЕТАЯЗЫК язык описания язык второго порядка при помощи которого описываются языкиобъекты. Термин М. возник в математике и математической логике см.em МАТЕМАТИЧЕСКАЯ ЛОГИК...Энциклопедия культурологии
метаязык—англ. metalanguage нем. Metasprache. Язык средствами крого описываются и исследуются свойства некрого другого языка так наз. предметного объективного языка. Antinazi.Энци...Энциклопедия социологии