Edward Zalta
Stanford University
Paul Edward Oppenheimer
Stanford University
Our computational metaphysics group describes its use of automated reasoning tools to study Leibniz’s theory of concepts. We start with a reconstruction of Leibniz’s theory within the theory of abstract objects (henceforth ‘object theory’). Leibniz’s theory of concepts, under this reconstruction, has a non-modal algebra of concepts, a concept-containment theory of truth, and a modal metaphysics of complete individual concepts. We show how the object-theoretic reconstruction of these components of Leibniz’s theory can be represented for investigation by means of automated theorem provers and finite model builders. The fundamental theorem of Leibniz’s theory is derived using these tools.
Keywords Computational Philosophy  Representation  Concepts  Leibniz  Automated Reasoning  Modal Metaphysics  Abstract Objects  Truth  Modal Logic  Higher-Order Logic
Categories (categorize this paper)
Buy the book Find it on
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Automating Leibniz’s Theory of Concepts.Indrasen Poola - 2017 - Stanford Encyclopedia of Philosophy 1.
A (Leibnizian) Theory of Concepts.Edward N. Zalta - 2000 - History of Philosophy & Logical Analysis 3:137-183.
Complete Concepts as Histories.Enrico Pasini - 2010 - Studia Leibnitiana 42 (2):229-243.
Leibniz’s Logic and the “Cube of Opposition”.Wolfgang Lenzen - 2016 - Logica Universalis 10 (2-3):171-189.
The Unity of Philosophy and Science: Gottfried Wilhelm Leibniz.Sergii G. Secundant - 2018 - Epistemology and Philosophy of Science 55 (4):231-237.
Steps Toward a Computational Metaphysics.Branden Fitelson & Edward N. Zalta - 2007 - Journal of Philosophical Logic 36 (2):227-247.
Modal Quantum Theory.Benjamin Schumacher & Michael D. Westmoreland - 2012 - Foundations of Physics 42 (7):918-925.
The Theory-Theory of Moral Concepts.John Jung Park - 2015 - Journal of Cognition and Neuroethics 3 (2).
Leibniz's Argument for Primitive Concepts.Dennis Plaisted - 2003 - Journal of the History of Philosophy 41 (3):329-341.
Contingency and Freedom in Leibniz's Metaphysics.Eric Otto Sotnak - 1994 - Dissertation, The University of Rochester
Remarks on the Lucky Proof Problem.Marco Messeri - 2017 - The Leibniz Review 27:1-19.
Leibniz Reinterpreted.Lloyd Strickland - 2006 - London, UK: Continuum.


Added to PP index

Total views
317 ( #29,581 of 2,455,391 )

Recent downloads (6 months)
38 ( #21,047 of 2,455,391 )

How can I increase my downloads?


My notes