Редактирование: Теория абстрактных объектов
Перейти к навигации
Перейти к поиску
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий ниже, чтобы убедиться, что это нужная вам правка, и запишите страницу ниже, чтобы отменить правку.
Текущая версия | Ваш текст | ||
Строка 9: | Строка 9: | ||
Абстрактные объекты: введение в аксиоматическую метафизику (1983) - это название публикации Эдварда Залты, в которой излагается теория абстрактных объектов. | Абстрактные объекты: введение в аксиоматическую метафизику (1983) - это название публикации Эдварда Залты, в которой излагается теория абстрактных объектов. | ||
АОТ это двойной прогнозный подход (также известная как "двойная связка стратегия") до абстрактных объектов под влиянием вклад Алексиус Мейнонг и его ученик Эрнста Малли. на Залта счету, есть два вида прогнозирования: некоторые объекты (обычного бетона вокруг нас, как столы и стулья) иллюстрируют свойства, в то время как другие (абстрактные объекты, как числа, и то, что другие назвали бы "несуществующие объекты", как в Круглой площади, и горе, сделанный целиком из золота) просто кодировать их. В то время как объекты, которые иллюстрируют свойства, обнаруживаются с помощью традиционных эмпирических средств, простой набор аксиом позволяет нам узнать об объектах, которые кодируют свойства. для каждого набора свойств существует ровно один объект, который кодирует именно этот набор свойств и никаких других. это позволяет создать формализованную онтологию. | АОТ это двойной прогнозный подход (также известная как "двойная связка стратегия") до абстрактных объектов под влиянием вклад Алексиус Мейнонг и его ученик Эрнста Малли. на Залта счету, есть два вида прогнозирования: некоторые объекты (обычного бетона вокруг нас, как столы и стулья) иллюстрируют свойства, в то время как другие (абстрактные объекты, как числа, и то, что другие назвали бы "несуществующие объекты", как в Круглой площади, и горе, сделанный целиком из золота) просто кодировать их.[8] В то время как объекты, которые иллюстрируют свойства, обнаруживаются с помощью традиционных эмпирических средств, простой набор аксиом позволяет нам узнать об объектах, которые кодируют свойства. для каждого набора свойств существует ровно один объект, который кодирует именно этот набор свойств и никаких других. это позволяет создать формализованную онтологию. | ||
Отличительной особенностью терминала является то, что несколько известных парадоксов наивной теории предикации (а именно в романе Кларка парадокс подрывает самую раннюю версию Гектор-Нери Кастаньедас вывеской теория, Алан Мак-Майкл, это парадокс, и Дэниэл Киршнер парадокс) не возникают в нем. АОТ работают с ограниченным абстракция схемы , чтобы избежать подобных парадоксов. | Отличительной особенностью терминала является то, что несколько известных парадоксов наивной теории предикации (а именно в романе Кларка парадокс подрывает самую раннюю версию Гектор-Нери Кастаньедас вывеской теория, Алан Мак-Майкл, это парадокс, и Дэниэл Киршнер парадокс) не возникают в нем. АОТ работают с ограниченным абстракция схемы , чтобы избежать подобных парадоксов. | ||
В 2007 году Залта и Бранден Фительсон ввели термин "вычислительная метафизика" для описания реализации и исследования формальной, аксиоматической метафизики в среде автоматизированного мышления. | В 2007 году Залта и Бранден Фительсон ввели термин "вычислительная метафизика" для описания реализации и исследования формальной, аксиоматической метафизики в среде автоматизированного мышления. | ||
==См. также== | ==См. также== | ||