Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску
Не путать с теорией объектов .
Для общей концепции объектности в философии см. Объект (философия) .

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

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

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

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

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

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

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

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

  • Абстрактное и конкретное
  • Абстрактные подробности
  • Абстракционизм (философия математики)
  • Алгебра понятий
  • Гипотеза математической вселенной
  • Модальный мейнонгианство
  • Модальный неологицизм
  • Объект разума

Заметки [ править ]

  1. ^ Залта, Эдвард Н. (2004). «Теория абстрактных объектов» . Лаборатория метафизических исследований, Центр изучения языка и информации, Стэнфордский университет . Проверено 18 июля 2020 года .
  2. ^ «Введение в теорию абстрактных объектов (1981)» . ScholarWorks @ UMass Amherst . 2009 . Проверено 21 июля 2020 года .
  3. ^ Райхер, Мария (2014). «Несуществующие объекты» . В Залте, Эдвард Н. (ред.). Стэнфордская энциклопедия философии .
  4. ^ Дейл Жакетт, Мейнонгианская логика: семантика существования и несуществования , Вальтер де Грюйтер, 1996, стр. 17.
  5. ↑ Alexius Meinong , «Ü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. ^ Уильям Дж Rapaport , "Meinongian Теории и Russellian Paradox", Нус 12 (2) (1978), стр. 153-80.
  13. ^ Адриано Пальма, изд. (2014). Кастаньеда и его обличия: очерки о творчестве Гектора-Нери Кастаньеды . Бостон / Берлин: Вальтер де Грюйтер, стр. 67–82, особенно. 72.
  14. ↑ Алан МакМайкл и Эдвард Н. Залта, «Альтернативная теория несуществующих объектов» , Journal of Philosophical Logic 9 (1980): 297–313, особенно. 313 п. 15.
  15. ^ Даниэль Киршнер, «Представление и частичная автоматизация принципов логико-метафизики в Изабель / HOL» , Архив формальных доказательств, 2020 [2017].
  16. ^ Залта (2021: 236).
  17. ^ Залта (1983: 158).
  18. ^ Эдвард Н. Залта и Branden Fitelson, "Шаги на пути к вычислительной метафизике" , журнал Philosophical Logic 36 (2) (апрель 2007): 227-247.
  19. ^ Джесси Алам, Пол Э. Оппенгеймер, Эдвард Н. Залт , «Теория автоматизируя Лейбниц концепций» , в А. опушенного и А. Middeldorp (ред.), Автоматизированная дедукция - КАДА 25: Труды 25 - е Международной конференции по автоматизированной дедукции (Конспект лекций по искусственному интеллекту: том 9195), Берлин: Springer, 2015, стр. 73–97.

Ссылки [ править ]

  • Эдвард Н. Залта, Абстрактные объекты: введение в аксиоматическую метафизику , Дордрехт: Д. Рейдель, 1983.
  • Эдвард Н. Залта, Интенсиональная логика и метафизика интенциональности , Кембридж, Массачусетс: MIT Press / Bradford Books, 1988.
  • Эдвард Н. Залта, "Principia Metaphysica" , Центр изучения языка и информации, Стэнфордский университет, 10 февраля 1999 г.
  • Даниэль Кирхнер, Кристоф Бенцмюллер, Эдвард Н. Залта, «Механизирующие принципы логико-метафизики в теории функциональных типов» , Обзор символической логики 13 (1) (март 2020 г.): 206–18.
  • Эдвард Н. Залта, «Principia Logico-Metaphysica» , Центр изучения языка и информации, Стэнфордский университет, 19 января 2021 г.

Дальнейшее чтение [ править ]

  • Эдвард Н. Залта, «Теория типизированных объектов» , в Хосе Л. Фальгера и Конча Мартинес-Видаль (ред.), Абстрактные объекты: за и против , Springer (Synthese Library), 2020.