Automating Leibniz’s Theory of Concepts

In Amy P. Felty & Aart Middeldorp (eds.), Automated Deduction – CADE 25: Proceedings of the 25th International Conference on Automated Deduction (Lecture Notes in Artificial Intelligence: Volume 9195), Berlin: Springer. Dordrecht: Springer. pp. 73-97 (2015)

Authors
Edward Zalta
Stanford University
Paul Edward Oppenheimer
Stanford University
Abstract
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)
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive
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 - Logical Analysis and History of Philosophy 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.

Analytics

Added to PP index
2017-07-25

Total views
61 ( #123,327 of 2,235,467 )

Recent downloads (6 months)
34 ( #17,411 of 2,235,467 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature