Abstract object theory - Wikipedia Abstract object theory From Wikipedia, the free encyclopedia Jump to navigation Jump to search Branch of metaphysics regarding abstract objects Not to be confused with Object theory. For the general concept of objecthood in philosophy, see Object (philosophy). Abstract 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. Contents 1 Overview 2 See also 3 Notes 4 References 5 Further reading Overview[edit] See also: Dual copula strategy 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. A notable feature of AOT is that several notable paradoxes in naive predication theory (namely Romane Clark's paradox undermining the earliest version of Héctor-Neri Castañeda'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] Abstract and concrete Abstract particulars Abstractionism (philosophy of mathematics) Algebra of concepts Mathematical universe hypothesis Modal Meinongianism Modal neo-logicism Object of the mind Notes[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, "Über 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–51. ^ a b Zalta (1983:xi). ^ Ernst Mally (1912), Gegenstandstheoretische Grundlagen der Logik und Logistik (Object-theoretic Foundations for Logics and Logistics), Leipzig: Barth, §§33 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ûs, 12(2) (1978), pp. 181–188. ^ William J. Rapaport, "Meinongian Theories and a Russellian Paradox", Noûs, 12(2) (1978), pp. 153–80. ^ Adriano Palma, ed. (2014). Castañeda and his Guises: Essays on the Work of Hector-Neri Castañeda. Boston/Berlin: Walter de Gruyter, pp. 67–82, esp. 72. ^ Alan McMichael and Edward N. Zalta, "An Alternative Theory of Nonexistent Objects", Journal of Philosophical Logic, 9 (1980): 297–313, 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 (2020:236). ^ Zalta (1983:158). ^ Edward N. Zalta and Branden Fitelson, "Steps Toward a Computational Metaphysics", Journal of Philosophical Logic 36(2) (April 2007): 227–247. ^ Jesse Alama, Paul E. Oppenheimer, Edward N. Zalta, "Automating Leibniz's Theory of Concepts", in A. Felty and A. Middeldorp (eds.), Automated Deduction – CADE 25: Proceedings of the 25th International Conference on Automated Deduction (Lecture Notes in Artificial Intelligence: Volume 9195), Berlin: Springer, 2015, pp. 73–97. 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üller, Edward N. Zalta, "Mechanizing Principia Logico-Metaphysica in Functional Type Theory", Review of Symbolic Logic 13(1) (March 2020): 206–18. Edward N. Zalta, "Principia Logico-Metaphysica", Center for the Study of Language and Information, Stanford University, December 23, 2020. Further reading[edit] Edward N. Zalta, "Typed Object Theory", in José L. Falguera and Concha Martínez-Vidal (eds.), Abstract Objects: For and Against, Springer (Synthese Library), 2020. v t e Metaphysics Metaphysicians Parmenides Plato Aristotle Plotinus Duns Scotus Thomas Aquinas Francisco Suárez Nicolas Malebranche René Descartes John Locke David Hume Thomas Reid Immanuel Kant Isaac Newton Arthur Schopenhauer Baruch Spinoza Georg W. F. Hegel George Berkeley Gottfried Wilhelm Leibniz Christian Wolff Bernard Bolzano Hermann Lotze Henri Bergson Friedrich Nietzsche Charles Sanders Peirce Joseph Maréchal Ludwig Wittgenstein Martin Heidegger Alfred N. Whitehead Bertrand Russell G. E. Moore Jean-Paul Sartre Gilbert Ryle Hilary Putnam P. F. Strawson R. G. Collingwood Rudolf Carnap Saul Kripke W. V. O. Quine G. E. M. Anscombe Donald Davidson Michael Dummett D. M. Armstrong David Lewis Alvin Plantinga Héctor-Neri Castañeda Peter van Inwagen Derek Parfit Alexius Meinong Ernst Mally Edward N. Zalta more ... Theories Abstract object theory Action theory Anti-realism Determinism Dualism Enactivism Essentialism Existentialism Free will Idealism Libertarianism Liberty Materialism Meaning of life Monism Naturalism Nihilism Phenomenalism Realism Physicalism Platonic idealism Relativism Scientific realism Solipsism Subjectivism Substance theory Truthmaker theory Type theory Concepts Abstract object Anima mundi Being Category of being Causality Causal closure Choice Cogito, ergo sum Concept Embodied cognition Essence Existence Experience Hypostatic abstraction Idea Identity Information Insight Intelligence Intention Linguistic modality Matter Meaning Memetics Mental representation Mind Motion Nature Necessity Notion Object Pattern Perception Physical object Principle Property Qualia Quality Reality Relation Soul Subject Substantial form Thought Time Truth Type–token distinction Universal Unobservable Value more ... Related topics Axiology Cosmology Epistemology Feminist metaphysics Interpretations of quantum mechanics Mereology Meta- Ontology Philosophy of mind Philosophy of psychology Philosophy of self Philosophy of space and time Teleology Theoretical physics Category  Philosophy portal Retrieved from "https://en.wikipedia.org/w/index.php?title=Abstract_object_theory&oldid=998004570" Categories: Abstract object theory Abstraction Concepts in epistemology Concepts in metaphysics Concepts in the philosophy of science Epistemology History of philosophy History of science Metaphysical theories Metaphysics Ontology Philosophical concepts Philosophical theories Philosophy of physics Philosophy of science Platonism Reality Hidden categories: Articles with short description Short description matches Wikidata Use mdy dates from April 2013 Navigation menu Personal tools Not logged in Talk Contributions Create account Log in Namespaces Article Talk Variants Views Read Edit View history More Search Navigation Main page Contents Current events Random article About Wikipedia Contact us Donate Contribute Help Learn to edit Community portal Recent changes Upload file Tools What links here Related changes Upload file Special pages Permanent link Page information Cite this page Wikidata item Print/export Download as PDF Printable version Languages Français हिन्दी Português 中文 Edit links This page was last edited on 3 January 2021, at 08:33 (UTC). Text is available under the Creative Commons Attribution-ShareAlike License; additional terms may apply. By using this site, you agree to the Terms of Use and Privacy Policy. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc., a non-profit organization. Privacy policy About Wikipedia Disclaimers Contact Wikipedia Mobile view Developers Statistics Cookie statement