ПРЕДМЕТНЫЙ ЯЗЫК

ПРЕДМЕТНЫЙ ЯЗЫК

- язык, являющийся предметом изучения. При формализации какой-либо содержательной теории различают два языка. Один - это язык формализуемой теории, или П. я., задаваемый правилами построения выражений П. я. и семантическими правилами, определяющими, что обозначают его выражения или какие они выражают суждения. Другой - это язык, на к-ром формулируются упомянутые выше синтаксические и семантич. правила. Этот язык наз. метаязыком. Обычно метаязык не формализуется. Однако и его можно формализовать, и тогда он станет П. я., для изучения к-рого требуется новый метаязык.

Лит.:[1] Клини С. К., Введение в метаматематику, пер. с англ., М., 1957. В. Н. Гришин.


Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Игры ⚽ Поможем сделать НИР

Смотреть что такое "ПРЕДМЕТНЫЙ ЯЗЫК" в других словарях:

  • предметный язык — ОБЪЕКТНЫЙ (ПРЕДМЕТНЫЙ) ЯЗЫК язык, выражения которого относятся к некоторой области объектов, их свойств и отношений. Напр., язык механики описывает свойства механического движения материальных тел и взаимодействия между ними; язык арифметики… …   Словарь терминов логики

  • ЯЗЫК-ОБЪЕКТ —     ЯЗЫК ОБЪЕКТ понятие современной логики, математики, философии и методологии науки, семиотики и теоретической лингвистики, обозначающее любой язык (естественный, искусственный, неформализованный, формализованный), элементы и структура которого …   Философская энциклопедия

  • Объектный (Предметный) Язык — а язык, выражения конторого относятся к некоторой области объектов, их свойств и отношений. Напр., язык механики описывает свойства механического движения материальных тел и взаимодействия между ними; язык арифметики говорит о числах, об их… …   Словарь терминов логики

  • язык — ▲ средство ↑ общение язык средство общения, состоящее из знаковой системы и множества смыслов этой системы; универсальное средство отображения посредством слов, знаков, совокупность словаря и синтаксиса; система знаков для передачи сообщений;… …   Идеографический словарь русского языка

  • предметный — См …   Словарь синонимов

  • СИНТАКСИЧЕСКИЙ ЯЗЫК — язык, предназначенный для изучения формализованного языка в отвлечении от его главной интерпретации. Понятие о С. я. возникло в математич. логике в связи с вопросами формализации и исследования содержательных математич. теорий. Результатом… …   Математическая энциклопедия

  • объектный язык — ОБЪЕКТНЫЙ (ПРЕДМЕТНЫЙ) ЯЗЫК язык, выражения которого относятся к некоторой области объектов, их свойств и отношений. Напр., язык механики описывает свойства механического движения материальных тел и взаимодействия между ними; язык арифметики… …   Словарь терминов логики

  • На'ви (язык) — У этого термина существуют и другие значения, см. На ви (значения). На ви Самоназвание: Na vi Создан: Пол Фроммер Категория: вымышленный …   Википедия

  • На’ви (язык) — У этого термина существуют и другие значения, см. На ви (значения). Язык На’ви Самоназвание: Lì’fya leNa’vi создатель языка …   Википедия

  • РАСПУСКАТЬ ЯЗЫК — 1) кто Не сдерживая себя, говорить непристойности, употреблять грубые и бранные слова и выражения. Имеется в виду, что лицо (Х) грубо нарушает этические нормы речевого поведения. Говорится с неодобрением. неформ. ✦ Х распускает язык. повел. накл …   Фразеологический словарь русского языка


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»