Abstract

Настояшая работа не солержнт никаких новых опреденнй понятий окстенсии и интесни выражений в семантических системах. Мы рассматриваем два отношения экстенсинальной и интенсональой оквивалентноси, которые имеют место между выражениями, а также функцни и вынолняющие условия: где $e_1$ , $e_2$ являютея выражениямн. Каждая пара такнх функций и является иекоторым представленне экстесии и интесии выражений В статье рассматри-ваются общие свойства представния экстенсии и интенсии выразеный и даются примеры таких представлений.В статье выделено так называемое объективное предетавление экстенсии и введе-но понятне так называемтого семантического замыкания модели.В статье показывается, что зкстению и интесию термов можно привести к зкстенсии и интенсии предложений.Рассатриваются отношения экстенсиональной и интенсиональной структураль-ной эквнвалентности быражений. Отншения эти в случае так называемых нормаль-ных семантических систем приводятся к синтактической эквивалентности выраже-ний. Суцествует некоторая связь этих отношений с понятием коденотации введен-ным К. Айдукевичем