Hispanopedia Wiki
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
- ^ 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 .
- ^ Zalta, Edward N. (1981). Introducción a una teoría de objetos abstractos (Tesis). UMass Amherst . doi : 10.7275/f32y-fm90 . hdl : 20.500.14394/12282 .
- ^ Reicher, Maria (2014). "Objetos inexistentes". En Zalta, Edward N. (ed.). Stanford Encyclopedia of Philosophy .[ verificación fallida ]
- ^ Dale Jacquette , Lógica meinongiana: la semántica de la existencia y la no existencia , Walter de Gruyter, 1996, pág. 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 los objetos y psicología ), Leipzig: Barth, págs.
- ^Ab Zalta 1983, pág. xi.
- ^ Mally, Ernst (1912). Gegenstandstheoretische Grundlagen der Logik und Logistik [Fundamentos de la teoría de objetos para la lógica y la logística ] (PDF) (en alemán). Leipzig: Barth. §§33 y 39.
- ^ Zalta 1983, pág. 33.
- ^ Zalta 1983, pág. 36.
- ^ Zalta 1983, pág. 35.
- ^ Clark, Romane (1978). "No todo objeto del pensamiento tiene ser: una paradoja en la teoría ingenua de la predicación". Noûs . 12 (2): 181– 188. JSTOR 2214691.
- ^ Rapaport, William J. (1978). "Teorías meinongianas y una paradoja russelliana". Noûs . 12 (2): 153– 180.
- ^ * Palma, Adriano, ed. (2014). Castañeda y sus disfraces: Ensayos sobre la obra de Héctor-Neri Castañeda. Philosophische Analyse / Análisis filosófico (en bretón). Boston/Berlín: De Gruyter. págs. 67 a 82, especialmente. 72.ISBN 978-1-61451-663-7.
- ^ McMichael, Alan; Zalta, Edward N. (1980). "Una teoría alternativa de objetos inexistentes". Journal of Philosophical Logic . 9 (3): 297– 313, esp. p. 313 n. 15. doi :10.1007/BF00248396. ISSN 0022-3611.
- ^ Daniel Kirchner, "Representación y automatización parcial de los Principia Logico-Metaphysica en Isabelle/HOL", Archivo de pruebas formales, 2017.
- ^ Zalta 2024, p. 253: "Algunas expresiones λ no fundamentales, como las que conducen a las paradojas de Clark/Boolos, McMichael/Boolos y Kirchner, serán demostrablemente vacías".
- ^ Zalta 1983, pág. 158.
- ^ Fitelson, Branden; Zalta, Edward N. (14 de marzo de 2007). "Pasos hacia una metafísica computacional" (PDF) . Journal of Philosophical Logic . 36 (2): 227– 247. doi : 10.1007/s10992-006-9038-7 . ISSN 0022-3611.
- ^ 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: Volumen 9195), Berlín: Springer, 2015, págs. 73–97.
Referencias
- Zalta, Edward N. (1983). Objetos abstractos: Introducción a la metafísica axiomática (PDF) . Dordrecht: D. Reidel.
- Zalta, Edward N. (1988). Lógica intensional y metafísica de la intencionalidad (PDF) . Cambridge, MA: The MIT Press/Bradford Books.
- Zalta, Edward N. (10 de febrero de 1999). Principia Metaphysica (PDF) . Centro para el Estudio del Lenguaje y la Información, Universidad de Stanford.
- Kirchner, Daniel; Benzmüller, Christoph; Zalta, Edward N. (marzo de 2020). "Mecanización de los Principia Logico-Metaphysica en la teoría de tipos funcionales" (PDF) . Revisión de la lógica simbólica . 13 (1): 206– 218.
- Zalta, Edward N. (22 de mayo de 2024). Principia Logico-Metaphysica (PDF) . Centro para el Estudio del Lenguaje y la Información, Universidad de Stanford.
Lectura adicional
- Kirchner, Daniel (2021). Fundamentos de metafísica verificados por computadora y una ontología de números naturales en Isabelle/HOL (tesis doctoral). Universidad Libre de Berlín.
- Zalta, Edward N. (mayo de 2020). "Teoría de objetos tipificados" (PDF) . En Falguera López, José Luis; Martínez-Vidal, Concha (eds.). Objetos abstractos: a favor y en contra. Biblioteca Synthese: Estudios en epistemología, lógica, metodología y filosofía de la ciencia. Vol. 422. Cham, Suiza: Springer Nature . pp. 59– 88. doi :10.1007/978-3-030-38242-1_4. ISBN 978-3-030-38241-4.OCLC 1129207159 .