[{"@context":"http:\/\/schema.org\/","@type":"BlogPosting","@id":"https:\/\/wiki.edu.vn\/en\/wiki24\/abstract-object-theory-wikipedia\/#BlogPosting","mainEntityOfPage":"https:\/\/wiki.edu.vn\/en\/wiki24\/abstract-object-theory-wikipedia\/","headline":"Abstract object theory – Wikipedia","name":"Abstract object theory – Wikipedia","description":"before-content-x4 From Wikipedia, the free encyclopedia after-content-x4 Branch of metaphysics regarding abstract objects Abstract object theory (AOT) is a branch","datePublished":"2017-12-01","dateModified":"2017-12-01","author":{"@type":"Person","@id":"https:\/\/wiki.edu.vn\/en\/wiki24\/author\/lordneo\/#Person","name":"lordneo","url":"https:\/\/wiki.edu.vn\/en\/wiki24\/author\/lordneo\/","image":{"@type":"ImageObject","@id":"https:\/\/secure.gravatar.com\/avatar\/c9645c498c9701c88b89b8537773dd7c?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/c9645c498c9701c88b89b8537773dd7c?s=96&d=mm&r=g","height":96,"width":96}},"publisher":{"@type":"Organization","name":"Enzyklop\u00e4die","logo":{"@type":"ImageObject","@id":"https:\/\/wiki.edu.vn\/wiki4\/wp-content\/uploads\/2023\/08\/download.jpg","url":"https:\/\/wiki.edu.vn\/wiki4\/wp-content\/uploads\/2023\/08\/download.jpg","width":600,"height":60}},"image":{"@type":"ImageObject","@id":"https:\/\/en.wikipedia.org\/wiki\/Special:CentralAutoLogin\/start?type=1x1","url":"https:\/\/en.wikipedia.org\/wiki\/Special:CentralAutoLogin\/start?type=1x1","height":"1","width":"1"},"url":"https:\/\/wiki.edu.vn\/en\/wiki24\/abstract-object-theory-wikipedia\/","about":["Wiki"],"wordCount":1936,"articleBody":"     (adsbygoogle = window.adsbygoogle || []).push({});before-content-x4From Wikipedia, the free encyclopedia       (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4Branch of metaphysics regarding abstract objectsAbstract object theory (AOT) is a branch of metaphysics regarding abstract objects.[1] Originally devised by metaphysician Edward Zalta in 1981,[2] the theory was an expansion of mathematical Platonism.       (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4Table of ContentsOverview[edit]See also[edit]References[edit]Further reading[edit]Overview[edit]Abstract Objects: An Introduction to Axiomatic Metaphysics (1983) is the title of a publication by Edward Zalta that outlines abstract object theory.AOT is a dual predication approach (also known as “dual copula strategy”) to abstract objects[3][4] influenced by the contributions of Alexius Meinong[5][6] and his student Ernst Mally.[7][6] On Zalta’s account, there are two modes of predication: some objects (the ordinary concrete ones around us, like tables and chairs) exemplify properties, while others (abstract objects like numbers, and what others would call “non-existent objects”, like the round square, and the mountain made entirely of gold) merely encode them.[8] While the objects that exemplify properties are discovered through traditional empirical means, a simple set of axioms allows us to know about objects that encode properties.[9] For every set of properties, there is exactly one object that encodes exactly that set of properties and no others.[10] This allows for a formalized ontology.       (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4A notable feature of AOT is that several notable paradoxes in naive predication theory (namely Romane Clark’s paradox undermining the earliest version of H\u00e9ctor-Neri Casta\u00f1eda’s guise theory,[11][12][13] Alan McMichael’s paradox,[14] and Daniel Kirchner’s paradox)[15] do not arise within it.[16] AOT employs restricted abstraction schemata to avoid such paradoxes.[17]In 2007, Zalta and Branden Fitelson introduced the term computational metaphysics to describe the implementation and investigation of formal, axiomatic metaphysics in an automated reasoning environment.[18][19]See also[edit]^ Zalta, Edward N. (2004). “The Theory of Abstract Objects”. The Metaphysics Research Lab, Center for the Study of Language and Information, Stanford University. Retrieved July 18, 2020.^ “An Introduction to a Theory of Abstract Objects (1981)”. ScholarWorks@UMass Amherst. 2009. Retrieved July 21, 2020.^ Reicher, Maria (2014). “Nonexistent Objects”.  In Zalta, Edward N. (ed.). Stanford Encyclopedia of Philosophy.^ Dale Jacquette, Meinongian Logic: The Semantics of Existence and Nonexistence, Walter de Gruyter, 1996, p. 17.^ Alexius Meinong, “\u00dcber Gegenstandstheorie” (“The Theory of Objects”), in Alexius Meinong, ed. (1904). Untersuchungen zur Gegenstandstheorie und Psychologie (Investigations in Theory of Objects and Psychology), Leipzig: Barth, pp. 1\u201351.^ a b Zalta (1983:xi).^ Ernst Mally (1912), Gegenstandstheoretische Grundlagen der Logik und Logistik (Object-theoretic Foundations for Logics and Logistics), Leipzig: Barth, \u00a7\u00a733 and 39.^ Zalta (1983:33).^ Zalta (1983:36).^ Zalta (1983:35).^ Romane Clark, “Not Every Object of Thought Has Being: A Paradox in Naive Predication Theory”, No\u00fbs 12(2) (1978), pp. 181\u2013188.^ William J. Rapaport, “Meinongian Theories and a Russellian Paradox”, No\u00fbs 12(2) (1978), pp. 153\u201380.^ Adriano Palma, ed. (2014). Casta\u00f1eda and His Guises: Essays on the Work of Hector-Neri Casta\u00f1eda. Boston\/Berlin: Walter de Gruyter, pp. 67\u201382, esp. 72.^ Alan McMichael and Edward N. Zalta, “An Alternative Theory of Nonexistent Objects”, Journal of Philosophical Logic 9 (1980): 297\u2013313, esp. 313 n. 15.^ Daniel Kirchner, “Representation and Partial Automation of the Principia Logico-Metaphysica in Isabelle\/HOL”, Archive of Formal Proofs, 2020[2017].^ Zalta (2022:239): “Some non-core \u03bb-expressions, such as those leading to the Clark\/Boolos, McMichael\/Boolos, and Kirchner paradoxes, will be provably empty.”^ Zalta (1983:158).^ Edward N. Zalta and Branden Fitelson, “Steps Toward a Computational Metaphysics”, Journal of Philosophical Logic 36(2) (April 2007): 227\u2013247.^ Jesse Alama, Paul E. Oppenheimer, Edward N. Zalta, “Automating Leibniz’s Theory of Concepts”, in A. Felty and A. Middeldorp (eds.), Automated Deduction \u2013 CADE 25: Proceedings of the 25th International Conference on Automated Deduction (Lecture Notes in Artificial Intelligence: Volume 9195), Berlin: Springer, 2015, pp. 73\u201397.References[edit]Edward N. Zalta, Abstract Objects: An Introduction to Axiomatic Metaphysics, Dordrecht: D. Reidel, 1983.Edward N. Zalta, Intensional Logic and the Metaphysics of Intentionality, Cambridge, MA: The MIT Press\/Bradford Books, 1988.Edward N. Zalta, Principia Metaphysica, Center for the Study of Language and Information, Stanford University, February 10, 1999.Daniel Kirchner, Christoph Benzm\u00fcller, Edward N. Zalta, “Mechanizing Principia Logico-Metaphysica in Functional Type Theory”, Review of Symbolic Logic 13(1) (March 2020): 206\u201318.Edward N. Zalta, Principia Logico-Metaphysica, Center for the Study of Language and Information, Stanford University, September 6, 2022.Further reading[edit]       (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4"},{"@context":"http:\/\/schema.org\/","@type":"BreadcrumbList","itemListElement":[{"@type":"ListItem","position":1,"item":{"@id":"https:\/\/wiki.edu.vn\/en\/wiki24\/#breadcrumbitem","name":"Enzyklop\u00e4die"}},{"@type":"ListItem","position":2,"item":{"@id":"https:\/\/wiki.edu.vn\/en\/wiki24\/abstract-object-theory-wikipedia\/#breadcrumbitem","name":"Abstract object theory – Wikipedia"}}]}]