We are interested in applications of automated reasoning and interactive theorem proving in philosophy, especially metaphysics.
Links:
- Tutorial introduction to the Isabelle proof assistant for philosophers
- Work on the ontological argument
- Work on mereology
People involved: Ben Blumson
Categories: Philosophy, Metaphysics, Automated Reasoning, Isabelle/HOL, Ontological Argument, Mereology