La teoría de objetos abstractos ( AOT ) es una rama de la metafísica relacionada con 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: 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 objetos abstractos.
AOT es un enfoque de predicación dual (también conocido como "estrategia de cópula dual") para objetos abstractos [3] [4] influenciados 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 " no -objetos existentes ", como el cuadrado redondo y la montaña hecha enteramente de oro) simplemente los codifican . [8] Si bien los objetos que ejemplifican las propiedades se descubren a través de medios empíricos tradicionales, un simple conjunto 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 teoría predication naive (es decir, la paradoja de Romane Clark socavar la versión más antigua de Héctor-Neri Castañeda 's teoría disfraz , [11] [12] [13] paradoja de Alan McMichael, [14] y La paradoja de Daniel Kirchner) [15] no surgen dentro de ella. [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
- ^ Zalta, Edward N. (2004). "La teoría de los objetos abstractos" . El 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 .
- ^ "Introducción a una teoría de objetos abstractos (1981)" . ScholarWorks @ UMass Amherst . 2009 . Consultado el 21 de julio de 2020 .
- ^ Reicher, María (2014). "Objetos inexistentes" . En Zalta, Edward N. (ed.). Enciclopedia de Filosofía de Stanford .
- ^ Dale Jacquette, Lógica de Meinong: La semántica de la existencia y la inexistencia , Walter de Gruyter, 1996, p. 17.
- ^ 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 objetos y psicología ), Leipzig: Barth, págs. 1-51.
- ↑ a b Zalta (1983: xi).
- ^ 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 .
- ↑ Zalta (1983: 33).
- ↑ Zalta (1983: 36).
- ↑ Zalta (1983: 35).
- ^ Romane Clark, "No todos los objetos del pensamiento tienen ser: una paradoja en la teoría de la predicación ingenua", Noûs 12 (2) (1978), págs. 181-188.
- ^ William J. Rapaport , "Teorías de Meinong y una paradoja russelliana", Noûs 12 (2) (1978), págs. 153–80.
- ^ 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.
- ^ 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.
- ^ Daniel Kirchner, "Representación y automatización parcial de los Principia Logico-Metaphysica en Isabelle / HOL" , Archivo de Pruebas Formales, 2020 [2017].
- ↑ Zalta (2021: 236).
- ↑ Zalta (1983: 158).
- ^ Edward N. Zalta y Branden Fitelson, "Pasos hacia una metafísica computacional" , Journal of Philosophical Logic 36 (2) (abril de 2007): 227–247.
- ^ 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 25a Conferencia internacional sobre deducción automatizada (Lecture Notes in Artificial Intelligence: Volumen 9195), Berlín: Springer, 2015, págs. 73–97.
Referencias
- Edward N. Zalta, Objetos abstractos: una introducción a la metafísica axiomática , Dordrecht: D. Reidel, 1983.
- Edward N. Zalta, Lógica intencional y metafísica de la intencionalidad , Cambridge, MA: The MIT Press / Bradford Books, 1988.
- Edward N. Zalta, "Principia Metaphysica" , Centro para el Estudio del Lenguaje y la Información, Universidad de Stanford, 10 de febrero de 1999.
- Daniel Kirchner, Christoph Benzmüller, Edward N. Zalta, "Mechanizing Principia Logico-Metaphysica in Functional Type Theory" , Revisión de la lógica simbólica 13 (1) (marzo de 2020): 206-18.
- Edward N. Zalta, "Principia Logico-Metaphysica" , Centro para el Estudio del Lenguaje y la Información, Universidad de Stanford, 19 de enero de 2021.
Otras lecturas
- Edward N. Zalta, "Typed Object Theory" , en José L. Falguera y Concha Martínez-Vidal (eds.), Abstract Objects: For and Against , Springer (Biblioteca de síntesis), 2020.