11 citations · 17 across the 2 of their papers we have counts for
2 papers
cs.LO2019★ 11 cited
Computer Science and Metaphysics: A Cross-Fertilization
Daniel Kirchner, Christoph Benzmüller, Edward N. Zalta
Computational philosophy is the use of mechanized computational techniques to unearth philosophical insights that are either difficult or impossible to find using traditional philo…
cs.LO2017★ 6 cited
Mechanizing Principia Logico-Metaphysica in Functional Type Theory
Daniel Kirchner, Christoph Benzmüller, Edward N. Zalta
Principia Logico-Metaphysica contains a foundational logical theory for metaphysics, mathematics, and the sciences. It includes a canonical development of Abstract Object Theory [A…