Teoria do objeto abstrato - Abstract object theory

A teoria do objeto abstrato ( AOT ) é um ramo da metafísica referente a objetos abstratos . Originalmente concebida pelo metafísico Edward Zalta em 1981, a teoria foi uma expansão do platonismo matemático .

Visão geral

Objetos abstratos: uma introdução à metafísica axiomática (1983) é o título de uma publicação de Edward Zalta que descreve a teoria do objeto abstrato.

AOT é uma abordagem de predicação dupla (também conhecida como "estratégia de cópula dupla") para objetos abstratos influenciados pelas contribuições de Alexius Meinong e seu aluno Ernst Mally . No relato de Zalta, existem dois modos de predicação : alguns objetos (os comuns e concretos ao nosso redor, como mesas e cadeiras) exemplificam propriedades, enquanto outros (objetos abstratos como números, e o que outros chamariam de " objetos inexistentes ", como o quadrado redondo e a montanha feita inteiramente de ouro) apenas os codificam . Enquanto os objetos que exemplificam propriedades são descobertos por meios empíricos tradicionais, um conjunto simples de axiomas nos permite saber sobre objetos que codificam propriedades. Para cada conjunto de propriedades, há exatamente um objeto que codifica exatamente esse conjunto de propriedades e nenhum outro. Isso permite uma ontologia formalizada .

Uma característica notável do AOT é que vários paradoxos notáveis na teoria predicação ingênua (ou seja, o paradoxo de Romane Clark minando a versão mais antiga de Héctor-Neri Castañeda 's teoria disfarce , o paradoxo de Alan McMichael, e o paradoxo de Daniel Kirchner) não surgem dentro dele. AOT emprega esquemas de abstração restritos para evitar tais paradoxos.

Em 2007, Zalta e Branden Fitelson introduziram o termo metafísica computacional para descrever a implementação e investigação da metafísica axiomática formal em um ambiente de raciocínio automatizado .

Veja também

Notas

Referências

• Edward N. Zalta, Abstract Objects: An Introduction to Axiomatic Metafysics , Dordrecht: D. Reidel, 1983.
• Edward N. Zalta, Intensional Logic and the Metaphysics of Intencionality , Cambridge, MA: The MIT Press / Bradford Books, 1988.
• Edward N. Zalta, "Principia Metaphysica" , Centro para o Estudo da Linguagem e da Informação, Universidade de Stanford, 10 de fevereiro de 1999.
• Daniel Kirchner, Christoph Benzmüller, Edward N. Zalta, "Mechanizing Principia Logico-Metaphysica in Functional Type Theory" , Review of Symbolic Logic 13 (1) (março de 2020): 206-18.
• Edward N. Zalta, "Principia Logico-Metaphysica" , Centro para o Estudo da Linguagem e da Informação, Universidade de Stanford, 21 de julho de 2021.

Leitura adicional

• Edward N. Zalta, "Typed Object Theory" , em José L. Falguera e Concha Martínez-Vidal (eds.), Abstract Objects: For and Against , Springer (Synthese Library), 2020.