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

Оглавление1 Теория абстрактных объектов1.1 Основы теории абстрактных объектов (AOT)1.2 Обзор теории1.3 Особенности AOT1.4 Развитие и применение AOT1.5 Дополнительная информация2 Теория […]

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

  • Основы теории абстрактных объектов (AOT)

    • AOT – это метафизическая теория, изучающая абстрактные объекты. 
    • Теория была разработана Эдвардом Залтой в 1981 году и является развитием математического платонизма. 
  • Обзор теории

    • Эдвард Залта опубликовал книгу “Абстрактные объекты: введение в аксиоматическую метафизику” в 1983 году. 
    • AOT использует двойную предикацию для описания абстрактных объектов, основываясь на работах Мейнонга и Малли. 
    • Теория позволяет формализовать онтологию, используя аксиомы для описания объектов, кодирующих свойства. 
  • Особенности AOT

    • AOT избегает парадоксов, характерных для теории наивной предикации. 
    • Теория использует ограниченные схемы абстракции для предотвращения парадоксов. 
  • Развитие и применение AOT

    • В 2007 году Залта и Фителсон ввели термин “вычислительная метафизика” для описания применения AOT в автоматизированном рассуждении. 
  • Дополнительная информация

    • В статье приведены ссылки на другие работы Залты и Киршнера, связанные с AOT. 
    • Упомянуты дальнейшие чтения по теме AOT, включая докторскую диссертацию Киршнера и книгу Фальгера и Мартинес-Видаль. 

Полный текст статьи:

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

Оставьте комментарий

Прокрутить вверх