, предметная констант а,- символ формального языка, служащий для обозначение нек-рого выделенного, фиксированного элемента (индивида) в структурах, описываемых этим языком. Всякую И. к. можно рассматривать как 0-местную функциональную константу. Напр., язык теории полей содержит две И. к.: О и 1, а язык проективной геометрии совсем не содержит И. к.
С. К. Соболев.
Математическая энциклопедия. — М.: Советская энциклопедия. И. М. Виноградов. 1977—1985.
СЕМАНТИЧЕСКИЕ ТАБЛИЦЫ — СЕМАНТИЧЕСКИЕ ТАБЛИЦЫ созданная Э. Бэтом формальная разрешающая процедура для формул логики высказываний и логики предикатов. Семантическая таблица состоит из двух (сопряженных) столбцов: в левом столбце пишутся формулы, соответствующие… … Философская энциклопедия
ВОЗМОЖНЫХ МИРОВ СЕМАНТИКА — ВОЗМОЖНЫХ МИРОВ СЕМАНТИКА метод логического анализа модальных и интенсиональных понятий, основу которого составляет рассмотрение мыслимых положений дел (идеальных альтернатив, описаний состояний, точек соотнесения). Дунс Скот (1265 1308)… … Философская энциклопедия
Терм (логика) — Эта статья или раздел нуждается в переработке. Пожалуйста, улучшите статью в соответствии с правилами написания статей … Википедия
БУЛЕВОЗНАЧНАЯ МОДЕЛЬ — модель, определяемая следующим образом. Пусть сигнатура нек poro языка 1 й ступени с одним сортом переменных, т. е. множество символов функций и предикатов. Б. м. наз. тройка где невырожденная булева алгебра, непустое множество и функция,… … Математическая энциклопедия
ИНТЕНСИОНАЛ — ИНТЕНСИОНАЛ одно из основных понятий логической семантики, вводимое как одно из уточнений понятия смысла. Существуют различные методы семантического анализа смысла и значения десигнативных выражений. Г. Фреге выделяет два аспекта содержания… … Философская энциклопедия
