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

Материал из wikixw
Перейти к навигации Перейти к поиску

Не путать с Теория объектов. Общее понятие объективности в философии см.

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

Обзор[править]

См. также: Стратегия двойной связки

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

АОТ это двойной прогнозный подход (также известная как "двойная связка стратегия") до абстрактных объектов под влиянием вклад Алексиус Мейнонг и его ученик Эрнста Малли. на Залта счету, есть два вида прогнозирования: некоторые объекты (обычного бетона вокруг нас, как столы и стулья) иллюстрируют свойства, в то время как другие (абстрактные объекты, как числа, и то, что другие назвали бы "несуществующие объекты", как в Круглой площади, и горе, сделанный целиком из золота) просто кодировать их. В то время как объекты, которые иллюстрируют свойства, обнаруживаются с помощью традиционных эмпирических средств, простой набор аксиом позволяет нам узнать об объектах, которые кодируют свойства. для каждого набора свойств существует ровно один объект, который кодирует именно этот набор свойств и никаких других. это позволяет создать формализованную онтологию.

Отличительной особенностью терминала является то, что несколько известных парадоксов наивной теории предикации (а именно в романе Кларка парадокс подрывает самую раннюю версию Гектор-Нери Кастаньедас вывеской теория, Алан Мак-Майкл, это парадокс, и Дэниэл Киршнер парадокс) не возникают в нем. АОТ работают с ограниченным абстракция схемы , чтобы избежать подобных парадоксов.

В 2007 году Залта и Бранден Фительсон ввели термин "вычислительная метафизика" для описания реализации и исследования формальной, аксиоматической метафизики в среде автоматизированного мышления.

См. также[править]

Читать[править]

/mally.stanford.edu/principia.pdf

Пруф[править]

mally.stanford.edu/Papers/typed-object-theory.pdf [[Категория: