Abstract

Niniejsza praca analizuje relację między dwiema semantykami dla Elementarnej Teorii Obiektów (OT) Edwarda Zalty: semantyką zaproponowaną przez Danę Scotta oraz semantyką Petera Aczela. Rekonstruujemy podstawowe motywacje filozoficzne stojące za OT, charakteryzujemy jej monadyczny fragment (MOT) i dowodzimy wybranych tez. Definiujemy struktury Scotta i struktury Aczela, po czym dowodzimy twierdzenia o poprawności MOT względem tych drugich. Wskazujemy następnie klasę struktur Aczela, w której dana formuła jest prawdziwa wtedy i tylko wtedy, gdy jest prawdziwa we wszystkich strukturach Scotta. Analizujemy również dwie formuły: pierwszą, dotyczącą ekstensjonalności identyczności własności, oraz drugą, związaną z tzw. przepełnieniem ekstensji zawierających przedmioty abstrakcyjne, zgodnie z którą, jeśli pewien przedmiot abstrakcyjny egzemplifikuje daną własność, to egzemplifikują ją wszystkie przedmioty abstrakcyjne.