Теория абстрактных объектов
Не путать с Теория объектов. Общее понятие объективности в философии см.
Теория абстрактных объектов (АОТ) - это раздел метафизики, относящийся к абстрактным объектам. первоначально разработанная метафизиком Эдвардом Залтой в 1981 году,[2] Эта теория была расширением математического платонизма.
Обзор[править]
См. также: Стратегия двойной связки
Абстрактные объекты: введение в аксиоматическую метафизику (1983) - это название публикации Эдварда Залты, в которой излагается теория абстрактных объектов.
АОТ это двойной прогнозный подход (также известная как "двойная связка стратегия") до абстрактных объектов под влиянием вклад Алексиус Мейнонг и его ученик Эрнста Малли. на Залта счету, есть два вида прогнозирования: некоторые объекты (обычного бетона вокруг нас, как столы и стулья) иллюстрируют свойства, в то время как другие (абстрактные объекты, как числа, и то, что другие назвали бы "несуществующие объекты", как в Круглой площади, и горе, сделанный целиком из золота) просто кодировать их. В то время как объекты, которые иллюстрируют свойства, обнаруживаются с помощью традиционных эмпирических средств, простой набор аксиом позволяет нам узнать об объектах, которые кодируют свойства. для каждого набора свойств существует ровно один объект, который кодирует именно этот набор свойств и никаких других. это позволяет создать формализованную онтологию.
Отличительной особенностью терминала является то, что несколько известных парадоксов наивной теории предикации (а именно в романе Кларка парадокс подрывает самую раннюю версию Гектор-Нери Кастаньедас вывеской теория, Алан Мак-Майкл, это парадокс, и Дэниэл Киршнер парадокс) не возникают в нем. АОТ работают с ограниченным абстракция схемы , чтобы избежать подобных парадоксов.
В 2007 году Залта и Бранден Фительсон ввели термин "вычислительная метафизика" для описания реализации и исследования формальной, аксиоматической метафизики в среде автоматизированного мышления.
См. также[править]
- Абстрактное и конкретное
- Абстрактные детали
- Абстракционизм (философия математики)
- Алгебра понятий
- Математическая гипотеза Вселенной
- Модальный Мейнонгизм
- Модальный неологизм
- Объект ума
Читать[править]
/mally.stanford.edu/principia.pdf
- doors.stanford.edu/principia-1999-02-10.pdf
- /mally.stanford.edu/intensional-logic.pdf
- /mally.stanford.edu/abstract-objects.pdf
Пруф[править]
mally.stanford.edu/Papers/typed-object-theory.pdf [[Категория: