Abstract object theory

From Wikipedia, the free encyclopedia

Template:Short description Template:DMCA Template:CS1 config Script error: No such module "For". 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.

Overview

Script error: No such module "Labelled list hatnote". 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] influenced by the contributions of Alexius Meinong[4]Lua error in package.lua at line 80: module 'Module:Footnotes/anchor_id_list' not found. and his student Ernst Mally.[5]Lua error in package.lua at line 80: module 'Module:Footnotes/anchor_id_list' not found. 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 "nonexistent objects", like the round square and the mountain made entirely of gold) merely encode them.Lua error in package.lua at line 80: module 'Module:Footnotes/anchor_id_list' not found. 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.Lua error in package.lua at line 80: module 'Module:Footnotes/anchor_id_list' not found. For every set of properties, there is exactly one object that encodes exactly that set of properties and no others.Lua error in package.lua at line 80: module 'Module:Footnotes/anchor_id_list' not found. 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,[6][7][8] Alan McMichael's paradox,[9] and Daniel Kirchner's paradox)[10] do not arise within it.Template:Sfnq AOT employs restricted abstraction schemata to avoid such paradoxes.Lua error in package.lua at line 80: module 'Module:Footnotes/anchor_id_list' not found.

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.[11][12]

See also

Page Template:Div col/styles.css has no content.

Notes

Page Template:Div col/styles.css has no content.

Page Template:Reflist/styles.css has no content.
  1. ^ Page Module:Citation/CS1/styles.css has no content.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.
  2. ^ Page Module:Citation/CS1/styles.css has no content.Zalta, Edward N. (1981). An Introduction to a Theory of Abstract Objects (Thesis). UMass Amherst. doi:10.7275/f32y-fm90. hdl:20.500.14394/12282.
  3. ^ Dale Jacquette, Meinongian Logic: The Semantics of Existence and Nonexistence, Walter de Gruyter, 1996, p. 17.
  4. ^ 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.
  5. ^ Page Module:Citation/CS1/styles.css has no content.Mally, Ernst (1912). Gegenstandstheoretische Grundlagen der Logik und Logistik [Object-theoretic Foundations for Logics and Logistics] (PDF) (in Deutsch). Leipzig: Barth. §§33 and 39.
  6. ^ Page Module:Citation/CS1/styles.css has no content.Clark, Romane (1978). "Not Every Object of Thought Has Being: A Paradox in Naive Predication Theory". Noûs. 12 (2): 181–188. JSTOR 2214691.
  7. ^ Page Module:Citation/CS1/styles.css has no content.Rapaport, William J. (1978). "Meinongian Theories and a Russellian Paradox". Noûs. 12 (2): 153–180.
  8. ^ Page Module:Citation/CS1/styles.css has no content.Palma, Adriano, ed. (2014). Castañeda and his guises: Essays on the work of Hector-Neri Castañeda. Philosophische Analyse / Philosophical Analysis (in brezhoneg). Boston/Berlin: De Gruyter. pp. 67–82, esp. 72. ISBN 978-1-61451-663-7.
  9. ^ Page Module:Citation/CS1/styles.css has no content.McMichael, Alan; Zalta, Edward N. (1980). "An alternative theory of nonexistent objects". Journal of Philosophical Logic. 9 (3): 297–313, esp. p. 313 n. 15. doi:10.1007/BF00248396. ISSN 0022-3611.
  10. ^ Daniel Kirchner, "Representation and Partial Automation of the Principia Logico-Metaphysica in Isabelle/HOL", Archive of Formal Proofs, 2017.
  11. ^ Page Module:Citation/CS1/styles.css has no content.Fitelson, Branden; Zalta, Edward N. (March 14, 2007). "Steps toward a computational metaphysics" (PDF). Journal of Philosophical Logic. 36 (2): 227–247. doi:10.1007/s10992-006-9038-7. ISSN 0022-3611.
  12. ^ 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

Page Template:Refbegin/styles.css has no content.

Further reading

Page Template:Refbegin/styles.css has no content.

Lua error in package.lua at line 80: module 'Module:Navbox/configuration' not found.

Retrieved from "https://cosmopedia.co/index.php?title=Abstract_object_theory&oldid=12122652"