Sciweavers

CADE
2015
Springer

Automating Leibniz's Theory of Concepts

8 years 7 months ago
Automating Leibniz's Theory of Concepts
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 act 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.
Jesse Alama, Paul E. Oppenheimer, Edward N. Zalta
Added 17 Apr 2016
Updated 17 Apr 2016
Type Journal
Year 2015
Where CADE
Authors Jesse Alama, Paul E. Oppenheimer, Edward N. Zalta
Comments (0)