Абстрактная теория объектов - Abstract object theory

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

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

Обзор

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

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

АОТ - это двойной подход предикации (также известная как «стратегия двойной связки») для абстрактных объектов[3][4] под влиянием вклада Алексиус Мейнонг[5][6] и его ученик Эрнст Малли.[7][6] В аккаунте Zalta есть два режима предикация: некоторые объекты (обычные конкретный окружающие нас, такие как столы и стулья) служить примером свойства, а другие (абстрактные объекты, такие как числа и то, что другие называют "несуществующие объекты ", словно круглый квадрат, а гора полностью сделана из золота) просто кодировать их.[8] Хотя объекты, являющиеся примерами свойств, открываются традиционными эмпирическими средствами, простой набор аксиом позволяет нам узнать об объектах, которые кодируют свойства.[9] Для каждого набора свойств существует ровно один объект, который кодирует именно этот набор свойств и никаких других.[10] Это позволяет формализованный онтология.

Примечательной особенностью АОТ является парадокс Романа Кларка (парадокс в наивной теории предикаций, подрывающий самую раннюю версию Эктор-Нери Кастаньеда с теория облика )[11][12][13] и парадокс Алана Макмайкла (еще один парадокс в теории наивной предикации)[14] не возникают внутри него (АОТ использует ограниченный абстракция схемы чтобы избежать этих парадоксов).[15]

В 2007 году Zalta и Branden Fitelson ввели термин вычислительная метафизика описать внедрение и расследование формальных, аксиоматическая метафизика в автоматическое рассуждение среда.[16][17]

Смотрите также

Примечания

  1. ^ Залта, Эдвард Н. (2004). «Теория абстрактных объектов». Лаборатория метафизических исследований, Центр изучения языка и информации, Стэнфордский университет. Получено 18 июля, 2020.
  2. ^ «Введение в теорию абстрактных объектов (1981)». ScholarWorks @UMass Amherst. 2009. Получено 21 июля, 2020.
  3. ^ Райхер, Мария (2014). «Несуществующие объекты». В Залта, Эдуард Н. (ред.). Стэнфордская энциклопедия философии.
  4. ^ Дейл Жакетт, Мейнонгианская логика: семантика существования и несуществования, Вальтер де Грюйтер, 1996, стр. 17.
  5. ^ Алексиус Мейнонг, "Über Gegenstandstheorie" ("Теория объектов"), в Alexius Meinong, ed. (1904). Untersuchungen zur Gegenstandstheorie und Psychologie (Исследования по теории предметов и психологии), Лейпциг: Барт, стр. 1–51.
  6. ^ а б Залта (1983: xi).
  7. ^ Эрнст Малли (1912), Gegenstandstheoretische Grundlagen der Logik und Logistik (Теоретико-объектные основы логики и логистики), Лейпциг: Барт, §§33 и 39.
  8. ^ Залта (1983: 33).
  9. ^ Залта (1983: 36).
  10. ^ Залта (1983: 35).
  11. ^ Роман Кларк, «Не каждый объект мысли имеет бытие: парадокс в наивной теории предикаций», Нет, 12(2) (1978), стр. 181–188.
  12. ^ Уильям Дж. Рапапорт, "Мейнонгианские теории и парадокс Рассела", Нет, 12(2) (1978), стр. 153–80.
  13. ^ Адриано Пальма, изд. (2014). Кастаньеда и его обличия: очерки творчества Гектора-Нери Кастаньеды. Бостон / Берлин: Вальтер де Грюйтер, стр. 67–82, особенно. 72.
  14. ^ Алан МакМайкл и Эдвард Н. Залта, «Альтернативная теория несуществующих объектов», Журнал философской логики, 9 (1980): 297–313, особенно. 313 п. 15.
  15. ^ Залта (1983: 158).
  16. ^ Эдвард Н. Залта и Бранден Фителсон, «Шаги к вычислительной метафизике»,Журнал философской логики 36(2) (апрель 2007 г.): 227–247.
  17. ^ Джесси Алама, Пол Э. Оппенгеймер, Эдуард Н. Залта, «Автоматизация теории концепций Лейбница», в А. Фелти и А. Миддельдорп (ред.), Автоматическое удержание - CADE 25: Материалы 25-й Международной конференции по автоматическому удержанию (Конспект лекций по искусственному интеллекту: том 9195), Берлин: Springer, 2015, стр. 73–97.

Рекомендации

дальнейшее чтение