Абстрактная теория объектов
Теория абстрактных объектов ( АОТ ) — это раздел метафизики, посвященный абстрактным объектам . [1] Первоначально разработанный метафизиком Эдвардом Залтой в 1981 году. [2] теория представляла собой расширение математического платонизма .
Обзор [ править ]
Абстрактные объекты: введение в аксиоматическую метафизику (1983) — это название публикации Эдварда Залты, в которой излагается теория абстрактных объектов.
AOT — это подход с двойной предикацией (также известный как «стратегия двойной связки») для абстракции объектов. [3] [4] под влиянием вклада Алексиуса Мейнонга [5] [6] и его ученик Эрнст Малли . [7] [6] По мнению Залты, существует два способа предикации : одни объекты (обычные конкретные объекты вокруг нас, такие как столы и стулья) экземплифицируют свойства, тогда как другие (абстрактные объекты, такие как числа, и то, что другие назвали бы « несуществующими объектами », например круглые квадрат и гора, сделанные целиком из золота), лишь кодируют их. [8] Хотя объекты, иллюстрирующие свойства, обнаруживаются традиционными эмпирическими средствами, простой набор аксиом позволяет нам узнать об объектах, которые кодируют свойства. [9] Для каждого набора свойств существует ровно один объект, который кодирует именно этот набор свойств и никакие другие. [10] Это позволяет создать формализованную онтологию .
Примечательной особенностью АОТ является наличие нескольких заметных парадоксов в наивной теории предикации (а именно, Романа Кларка, парадокса -Нери Кастаньеды Гектора подрывающего самую раннюю версию теории обличия , [11] [12] [13] Парадокс Алана МакМайкла. [14] и парадокс Дэниела Киршнера) [15] не возникают внутри него. [16] AOT использует ограниченной абстракции . схемы Чтобы избежать таких парадоксов, [17]
В 2007 году Залта и Брэнден Фительсон ввели термин «вычислительная метафизика» для описания реализации и исследования формальной аксиоматической метафизики в среде автоматизированного рассуждения . [18] [19]
См. также [ править ]
Примечания [ править ]
- ^ Залта, Эдвард Н. (2004). «Теория абстрактных объектов» . Лаборатория метафизических исследований Центра изучения языка и информации Стэнфордского университета . Проверено 18 июля 2020 г.
- ^ Залта, Эдвард Н. (2009). Введение в теорию абстрактных объектов (1981) (Диссертация). ScholarWorks @ Массачусетский университет в Амхерсте . дои : 10.7275/f32y-fm90 . Проверено 21 июля 2020 г.
- ^ Райхер, Мария (2014). «Несуществующие предметы» . В Залте, Эдвард Н. (ред.). Стэнфордская энциклопедия философии .
- ^ Дейл Жакетт , Мейнонгианская логика: семантика существования и несуществования , Уолтер де Грюйтер, 1996, с. 17.
- ^ Алексиус Мейнонг , «Теория объектов», в Алексиусе Мейнонге, изд. объектов и психологии Исследования по теории , Лейпциг: Барт, стр. 1–51.
- ^ Перейти обратно: а б Залта (1983:xi).
- ^ Эрнст Малли (1912), Объектно-теоретические основы логики и логистики , Лейпциг: Барт, §§33 и 39 .
- ^ Залта (1983:33).
- ^ Залта (1983:36).
- ^ Залта (1983:35).
- ^ Роман Кларк , «Не каждый объект мысли существует: парадокс в наивной теории предикации», Noûs 12 (2) (1978), стр. 181–188.
- ^ Уильям Дж. Рапапорт , «Мейнонгианские теории и парадокс Рассела», Noûs 12 (2) (1978), стр. 153–80.
- ^ Адриано Пальма, изд. (2014). Кастаньеда и его облики: Очерки творчества Гектора-Нери Кастаньеды . Бостон/Берлин: Вальтер де Грюйтер, стр. 67–82, особенно. 72.
- ^ Алан МакМайкл и Эдвард Н. Залта, «Альтернативная теория несуществующих объектов» , Журнал философской логики 9 (1980): 297–313, особенно. 313 н. 15.
- ^ Дэниел Киршнер, «Представление и частичная автоматизация принципов логики-метафизики в Изабель / HOL» , Архив формальных доказательств, 2017.
- ^ Залта (2024:240): «Некоторые неосновные λ-выражения, например, приводящие к парадоксам Кларка/Булоса, МакМайкла/Булоса и Киршнера, будут доказуемо пустыми».
- ^ Залта (1983:158).
- ^ Эдвард Н. Залта и Брэнден Фительсон , «Шаги к вычислительной метафизике» , Журнал философской логики 36 (2) (апрель 2007 г.): 227–247.
- ^ Джесси Алама, Пол Э. Оппенгеймер, Эдвард Н. Залта , «Автоматизация теории концепций Лейбница» , в А. Фелти и А. Мидделдорп (ред.), Автоматический вывод - CADE 25: Материалы 25-й Международной конференции по автоматизированному выводу (Конспект лекций по искусственному интеллекту: том 9195), Берлин: Springer, 2015, стр. 73–97.
Ссылки [ править ]
- Эдвард Н. Залта , Абстрактные объекты: введение в аксиоматическую метафизику , Дордрехт: Д. Рейдель, 1983.
- Эдвард Н. Залта, Интенсиональная логика и метафизика интенциональности , Кембридж, Массачусетс: The MIT Press/Bradford Books, 1988.
- Эдвард Н. Залта, Principia Metaphysica , Центр изучения языка и информации, Стэнфордский университет, 10 февраля 1999 г.
- Дэниел Киршнер, Кристоф Бенцмюллер, Эдвард Н. Залта, «Механизация принципов логико-метафизики в теории функциональных типов» , Обзор символической логики 13 (1) (март 2020 г.): 206–18.
- Эдвард Н. Залта, Principia Logico-Metaphysica , Центр изучения языка и информации, Стэнфордский университет, 6 февраля 2024 г.
Дальнейшее чтение [ править ]
- Дэниел Киршнер, Компьютерно-проверенные основы метафизики и онтология натуральных чисел в Изабель / HOL , докторская диссертация, Свободный университет Берлина, 2021.
- Эдвард Н. Залта, «Теория типизированных объектов» , в книге Хосе Л. Фальгера и Конча Мартинес-Видал (ред.), Абстрактные объекты: за и против , Springer (Библиотека синтеза), 2020.
