Abstract

Praca nie zawiera żadnej proponowanej prz∈z autora d∈finicji ekst∈nsji i intensji wyrażeń w systemach semantycznych. Rozpatruje się dwie relacje równoważności ekstensjonalnej i intensjonalnej, które zachodzą między wyraż∈niami (zdaniami, termami) oraz funkcje gdzie e jest wyrażeniem, spelniające warunki. Każda para takich funkcji jest pewną reprezentacją ekstens ji i intensji wyrażeń.W pracy rozważa się ogólne własności reprezentacji ekstensji i intensji oraz podaje się przykłady takich reprezentacji. Wyróżnia się tzw. obiektywną reprezentację ekstensji i wprowadza się pojęcie tzw. semantycznego domknięcia modelu.Pokazuje się, że ekstensje i intensje termów można zredukować do ekst∈nsji i intensji zdań.Rozważa się relacje strukturalnej równoważności ekstensjonalnej i int∈nsjonalnej wyrażeń. Relacje te redukują się w przypadku tzw. normalnych systemów semantycznych do syntaktycznej równoważności wyrażeń. Istnieje pewien związek tych relacji z pojęciem kodenotacji wprowadzonym przez K. Ajdukiewicza