Теория абстрактных объектов

Теория абстрактных объектов ( АОТ ) — это раздел метафизики, изучающий абстрактные объекты . ^[1] Первоначально разработанная метафизиком Эдвардом Залтой в 1981 году, ^[2] эта теория была расширением математического платонизма .

«Абстрактные объекты: введение в аксиоматическую метафизику» (1983) — название публикации Эдварда Залты, в которой излагается теория абстрактных объектов.

AOT — это подход двойной предикации (также известный как «стратегия двойной связки») к абстрактным объектам ^[3], на который повлияли работы Алексиуса Мейнонга ^{[4] [5]} и его ученика Эрнста Малли . ^{[6] [5]} По мнению Залты, существует два режима предикации : некоторые объекты (обычные конкретные объекты вокруг нас, такие как столы и стулья) иллюстрируют свойства, в то время как другие (абстрактные объекты, такие как числа, и то, что другие назвали бы « несуществующими объектами », такие как круглый квадрат и гора, сделанная полностью из золота) просто кодируют их. ^[7] В то время как объекты, которые иллюстрируют свойства, обнаруживаются с помощью традиционных эмпирических средств, простой набор аксиом позволяет нам узнать об объектах, которые кодируют свойства. ^[8] Для каждого набора свойств существует ровно один объект, который кодирует именно этот набор свойств и никаких других. ^[9] Это допускает формализованную онтологию .

Примечательной особенностью AOT является то, что несколько заметных парадоксов в наивной теории предикации (а именно парадокс Романа Кларка, подрывающий самую раннюю версию теории облика Гектора -Нери Кастанеды , ^{[10] [11] [12]} парадокс Алана Макмайкла, ^[13] и парадокс Дэниела Киршнера) ^[14] не возникают в ней. ^[15] AOT использует ограниченные схемы абстракции , чтобы избежать таких парадоксов. ^[16]

В 2007 году Залта и Бранден Фительсон ввели термин «вычислительная метафизика» для описания внедрения и исследования формальной, аксиоматической метафизики в автоматизированной среде рассуждений . ^{[17] [18]}