Теория абстрактных объектов
-
Основы теории абстрактных объектов (AOT)
- AOT — это метафизическая теория, изучающая абстрактные объекты.
- Теория была разработана Эдвардом Залтой в 1981 году и является развитием математического платонизма.
-
Обзор теории
- Эдвард Залта опубликовал книгу «Абстрактные объекты: введение в аксиоматическую метафизику» в 1983 году.
- AOT использует двойную предикацию для описания абстрактных объектов, основываясь на работах Мейнонга и Малли.
- Теория позволяет формализовать онтологию, используя аксиомы для описания объектов, кодирующих свойства.
-
Особенности AOT
- AOT избегает парадоксов, характерных для теории наивной предикации.
- Теория использует ограниченные схемы абстракции для предотвращения парадоксов.
-
Развитие и применение AOT
- В 2007 году Залта и Фителсон ввели термин «вычислительная метафизика» для описания применения AOT в автоматизированном рассуждении.
-
Дополнительная информация
- В статье приведены ссылки на другие работы Залты и Киршнера, связанные с AOT.
- Упомянуты дальнейшие чтения по теме AOT, включая докторскую диссертацию Киршнера и книгу Фальгера и Мартинес-Видаль.
Полный текст статьи: