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