Из формальной теории экстенсии и интенсии

Резюме

Настояшая работа не солержнт никаких новых опреденнй понятий окстенсии и интесни выражений в семантических системах. Мы рассматриваем два отношения

экстенсинальной и интенсональой оквивалентноси, которые имеют место между выражениями, а также функцни

и

вынолняющие условия:

где$e_1$,$e_2$ являютея выражениямн. Каждая пара такнх функций

и

является иекоторым представленне экстесии и интесии выражений В статье рассматри-ваются общие свойства представния экстенсии и интенсии выразеный и даются примеры таких представлений.

В статье выделено так называемое объективное предетавление экстенсии и введе-но понятне так называемтого семантического замыкания модели.

В статье показывается, что зкстению и интесию термов можно привести к зкстенсии и интенсии предложений.

Рассатриваются отношения экстенсиональной и интенсиональной структураль-ной эквнвалентности быражений. Отншения эти в случае так называемых нормаль-ных семантических систем приводятся к синтактической эквивалентности выраже-ний. Суцествует некоторая связь этих отношений с понятием коденотации введен-ным К. Айдукевичем.