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)
Download Edit this record How to cite View on PhilPapers
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.
PhilPapers/Archive ID
Upload history
Archival date: 2017-07-25
View other versions
Added to PP index

Total views
291 ( #21,743 of 2,446,507 )

Recent downloads (6 months)
36 ( #19,003 of 2,446,507 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.