Павелёнис

АННОТИРОВАННЫЙ УКАЗАТЕЛЬ СПЕЦИАЛЬНЫХ ТЕРМИНОВ Верификация

ВЕРИФИКАЦИЯ — установление истинностного значения.

Возможный мир ВОЗМОЖНЫЙ МИР — в логическом плане мир, альтернативный действительному.

Глубинная структура языковых выражений

ГЛУБИННАЯ СТРУКТУРА ЯЗЫКОВЫХ ВЫРАЖЕНИЙ — абстрактная, недоступная наблюдению структура, на основе которой определяются логические, семантические отношения этих выражений.

De re / de dicto DE RE / DE DICTO — различие между указанием, когда имеется в виду определенный (действительный и соответствующий исполь¬зуемому сингулярному термину) объект и когда известно только некоторое описание объекта.