ОПРЕДЕЛИМОСТЬ

с действительностью. Семантич. О, означает «ото-бразимость» в теории объектов действительности (в т.ч. и абстракций — свойств, множеств, отношений и т. п.), свидетельствуя о наличии их «языковой модели». Понятие к.-л. содержательной области семантически определимо в теории, если найдётся формула (выражение), переводящая это понятие на язык теории (причём такая, что её замыкание выполнимо в указанной содержательной области). Про объекты области, семантически определимые в теории, говорят, что они определимы в этой области. Хотя синтаксич. и семантич. О. различны, их можно поставить в связь в метаязыке, полагая зависимость семантич. О. объекта в области от истинности синтаксич. определения этого объекта в той же области.

• Л и н д о н Р., Заметки по логике, пер. с англ., М., 1968, с. 113—16; Клини С. К., Математич. логика, пер. с англ., М., 1973, с. 432—40; Садовский В. Н., С ми p н о в В. А., Полная и неполная О. в теориях первого порядка, в кн.: Методы логич. анализа, М., 1977.