stringtranslate.com

Teoría del objeto abstracto

La teoría de objetos abstractos ( AOT ) es una rama de la metafísica relativa a los objetos abstractos . [1] Ideada originalmente por el metafísico Edward Zalta en 1981, [2] la teoría era 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 alumno Ernst Mally . [7] [6] Según Zalta, hay dos modos de predicación : algunos objetos (los concretos ordinarios que nos rodean, como mesas y sillas) ejemplifican propiedades, mientras que otros (objetos abstractos como números, y lo que otros llamarían " inexistentes "). objetos ", como el cuadrado redondo y la montaña hecha enteramente de oro) simplemente los codifican . [8] Si bien los objetos que ejemplifican propiedades se descubren a través de medios empíricos tradicionales, un conjunto simple de axiomas nos permite conocer 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 AOT es que varias paradojas notables en la teoría de la predicación ingenua (a saber, la paradoja de Romane Clark que socava la versión más antigua de la teoría de la apariencia de Héctor-Neri Castañeda , [11] [12] [13] la paradoja de Alan McMichael, [14 ] y la paradoja de Daniel Kirchner) [15] no surgen en él. [16] 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 axiomática formal en un entorno de razonamiento automatizado . [18] [19]

Ver también

Notas

  1. ^ Zalta, Edward N. (2004). "La teoría de los objetos abstractos". Laboratorio de Investigación en Metafísica, Centro para el Estudio del Lenguaje y la Información, Universidad de Stanford . Consultado el 18 de julio de 2020 .
  2. ^ Zalta, Edward N. (2009). Introducción a una teoría de los objetos abstractos (1981) (Tesis). ScholarWorks @ UMass Amherst . doi : 10.7275/f32y-fm90 . Consultado el 21 de julio de 2020 .
  3. ^ Reicher, María (2014). "Objetos inexistentes". En Zalta, Edward N. (ed.). Enciclopedia de Filosofía de Stanford .
  4. ^ Dale Jacquette , Lógica meinongiana: la semántica de la existencia y la inexistencia , Walter de Gruyter, 1996, p. 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 todos los objetos de pensamiento tienen ser: una paradoja en la teoría de la predicción ingenua", Noûs 12 (2) (1978), págs.
  12. ^ William J. Rapaport , "Teorías de Meinong y una paradoja de Russell", Noûs 12 (2) (1978), págs.
  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 centrales, como las que conducen a las paradojas de Clark/Boolos, McMichael/Boolos y Kirchner, estarán probablemente 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 , "Automating Leibniz's Theory of Concepts", en A. Felty y A. Middeldorp (eds.), Deducción automatizada - CADE 25: Actas de la 25ª Conferencia Internacional sobre Deducción Automatizada (Apuntes de conferencias sobre inteligencia artificial: volumen 9195), Berlín: Springer, 2015, págs. 73–97.

Referencias

Otras lecturas