stringtranslate.com

Teoría de objetos abstractos

La teoría de objetos abstractos ( AOT ) es una rama de la metafísica que se ocupa de los objetos abstractos . [1] Originalmente ideada por el metafísico Edward Zalta en 1981, [2] la teoría fue una expansión del platonismo matemático .

Descripción general

Objetos Abstractos: Una Introducción a la Metafísica Axiomática (1983) es el título de una publicación de Edward Zalta que describe la teoría de los objetos abstractos.

AOT es un enfoque de predicación dual (también conocido como "estrategia de cópula dual") para abstraer objetos [3] [4] influenciado por las contribuciones de Alexius Meinong [5] [6] y su estudiante Ernst Mally . [7] [6] Según Zalta, hay dos modos de predicación : algunos objetos (los objetos concretos ordinarios que nos rodean, como mesas y sillas) ejemplifican propiedades, mientras que otros (objetos abstractos como los números y lo que otros llamarían " objetos inexistentes ", como el cuadrado redondo y la montaña hecha completamente de oro) simplemente los codifican . [8] Mientras que los objetos que ejemplifican propiedades se descubren a través de medios empíricos tradicionales, un simple conjunto de axiomas nos permite saber acerca de los objetos que codifican propiedades. [9] Para cada conjunto de propiedades, hay exactamente un objeto que codifica exactamente ese conjunto de propiedades y ningún otro. [10] Esto permite una ontología formalizada .

Una característica notable de la AOT es que varias paradojas notables en la teoría de predicación ingenua (a saber, la paradoja de Romane Clark que socava la versión más temprana de la teoría del disfraz de Héctor-Neri Castañeda , [11] [12] [13] la paradoja de Alan McMichael, [14] y la paradoja de Daniel Kirchner) [15] no surgen dentro de ella. [16] La AOT emplea esquemas de abstracción restringidos para evitar tales paradojas. [17]

En 2007, Zalta y Branden Fitelson introdujeron el término metafísica computacional para describir la implementación e investigación de la metafísica formal y axiomática en un entorno de razonamiento automatizado . [18] [19]

Véase también

Notas

  1. ^ Zalta, Edward N. (2004). "La teoría de los objetos abstractos". The Metaphysics Research Lab, Center for the Study of Language and Information, Stanford University . Consultado el 18 de julio de 2020 .
  2. ^ Zalta, Edward N. (2009). Introducción a una teoría de objetos abstractos (1981) (Tesis). ScholarWorks@ UMass Amherst . doi :10.7275/f32y-fm90 . Consultado el 21 de julio de 2020 .
  3. ^ Reicher, Maria (2014). "Objetos inexistentes". En Zalta, Edward N. (ed.). Stanford Encyclopedia of Philosophy .
  4. ^ Dale Jacquette , Lógica meinongiana: la semántica de la existencia y la no existencia , Walter de Gruyter, 1996, pág. 17.
  5. ^ Alexius Meinong , "Über Gegenstandstheorie" ("La teoría de los objetos"), en Alexius Meinong, ed. (1904). Untersuchungen zur Gegenstandstheorie und Psychologie ( Investigaciones en teoría de los objetos y psicología ), Leipzig: Barth, págs.
  6. ^Ab Zalta (1983:xi).
  7. ^ Ernst Mally (1912), Gegenstandstheoretische Grundlagen der Logik und Logistik (Fundamentos de la teoría de objetos para la lógica y la logística) , Leipzig: Barth, §§33 y 39.
  8. ^ Zalta (1983:33).
  9. ^ Zalta (1983:36).
  10. ^ Zalta (1983:35).
  11. ^ Romane Clark , "No todo objeto del pensamiento tiene ser: una paradoja en la teoría de la predicación ingenua", Noûs 12 (2) (1978), pp. 181–188.
  12. ^ William J. Rapaport , "Teorías meinongianas y una paradoja russelliana", Noûs 12 (2) (1978), págs. 153–80.
  13. ^ Adriano Palma, ed. (2014). Castañeda y sus disfraces: ensayos sobre la obra de Héctor-Neri Castañeda. Boston/Berlín: Walter de Gruyter, págs. 67–82, esp. 72.
  14. ^ Alan McMichael y Edward N. Zalta, "Una teoría alternativa de objetos inexistentes", Journal of Philosophical Logic 9 (1980): 297–313, esp. 313 n. 15.
  15. ^ Daniel Kirchner, "Representación y automatización parcial de los Principia Logico-Metaphysica en Isabelle/HOL", Archivo de pruebas formales, 2017.
  16. ^ Zalta (2024:253): "Algunas expresiones λ no esenciales, como las que conducen a las paradojas de Clark/Boolos, McMichael/Boolos y Kirchner, serán demostrablemente vacías".
  17. ^ Zalta (1983:158).
  18. ^ Edward N. Zalta y Branden Fitelson , "Pasos hacia una metafísica computacional", Journal of Philosophical Logic 36 (2) (abril de 2007): 227–247.
  19. ^ Jesse Alama, Paul E. Oppenheimer, Edward N. Zalta , "Automatización de la teoría de conceptos de Leibniz", en A. Felty y A. Middeldorp (eds.), Deducción automatizada – CADE 25: Actas de la 25.ª Conferencia internacional sobre deducción automatizada (Lecture Notes in Artificial Intelligence: Volume 9195), Berlín: Springer, 2015, págs. 73–97.

Referencias

Lectura adicional