Abstract object theory
Abstract object theory is a branch of metaphysics regarding abstract objects. Originally devised by metaphysician Edward Zalta in 1999,[1] the theory was an expansion of mathematical Platonism.
Abstract Objects: An Introduction to Axiomatic Metaphysics (1983) is the title of a publication by Edward Zalta that outlines abstract object theory.[2]
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.[3] 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.[4] For every set of properties, there is exactly one object that encodes exactly that set of properties and no others.[5] This allows for a formalized ontology.
See also
- Abstract and concrete
- Abstract particulars
- Abstractionism (philosophy of mathematics)
- Guise theory
- Linnebo, Øystein
- Mally, Ernst
- Mathematical universe hypothesis
- Meinong, Alexius
- Modal Meinongianism
- Modal neo-logicism
References
- Zalta, Edward N. (February 10, 1999). "The Theory of Abstract Objects". Retrieved March 29, 2013.
- Edward N. Zalta, Abstract Objects: An Introduction to Axiomatic Metaphysics. D. Reidel Publishing Company. 1983.
- Edward N. Zalta, Abstract Objects, 33.
- Edward N. Zalta, Abstract Objects, 36.
- Edward N. Zalta, Abstract Objects, 35.
Further reading
- Edward N. Zalta, "Typed Object Theory", forthcoming in José L. Falguera and Concha Martínez-Vidal (eds.), Abstract Objects: For and Against, Springer (Synthese Library).
- Daniel Kirchner, Christoph Benzmüller, Edward N. Zalta, "Mechanizing Principia Logica-Metaphysica in Functional Type Theory", Review of Symbolic Logic 13(1) (March 2020): 206–18.