Z formalnej teorii ekstensji i intensji

Streszczenie

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.