ИНДИВИДНАЯ КОНСТАНТА


ИНДИВИДНАЯ КОНСТАНТА

, предметная констант а,- символ формального языка, служащий для обозначение нек-рого выделенного, фиксированного элемента (индивида) в структурах, описываемых этим языком. Всякую И. к. можно рассматривать как 0-местную функциональную константу. Напр., язык теории полей содержит две И. к.: О и 1, а язык проективной геометрии совсем не содержит И. к.

С. К. Соболев.


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

Смотреть что такое "ИНДИВИДНАЯ КОНСТАНТА" в других словарях:

  • СЕМАНТИЧЕСКИЕ ТАБЛИЦЫ —     СЕМАНТИЧЕСКИЕ ТАБЛИЦЫ созданная Э. Бэтом формальная разрешающая процедура для формул логики высказываний и логики предикатов.     Семантическая таблица состоит из двух (сопряженных) столбцов: в левом столбце пишутся формулы, соответствующие… …   Философская энциклопедия

  • ВОЗМОЖНЫХ МИРОВ СЕМАНТИКА —     ВОЗМОЖНЫХ МИРОВ СЕМАНТИКА метод логического анализа модальных и интенсиональных понятий, основу которого составляет рассмотрение мыслимых положений дел (идеальных альтернатив, описаний состояний, точек соотнесения). Дунс Скот (1265 1308)… …   Философская энциклопедия

  • Терм (логика) — Эта статья или раздел нуждается в переработке. Пожалуйста, улучшите статью в соответствии с правилами написания статей …   Википедия

  • БУЛЕВОЗНАЧНАЯ МОДЕЛЬ — модель, определяемая следующим образом. Пусть сигнатура нек poro языка 1 й ступени с одним сортом переменных, т. е. множество символов функций и предикатов. Б. м. наз. тройка где невырожденная булева алгебра, непустое множество и функция,… …   Математическая энциклопедия

  • ИНТЕНСИОНАЛ —     ИНТЕНСИОНАЛ одно из основных понятий логической семантики, вводимое как одно из уточнений понятия смысла. Существуют различные методы семантического анализа смысла и значения десигнативных выражений. Г. Фреге выделяет два аспекта содержания… …   Философская энциклопедия


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

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

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.