Advertisement

Studia Logica

, Volume 20, Issue 1, pp 36–36 | Cite as

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

  • Р. Сушко
Article

Резюме

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

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

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

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

Copyright information

© Pañstwowe Wydawnictwo Naukowe 1967

Authors and Affiliations

  • Р. Сушко

There are no affiliations available

Personalised recommendations