Paul E. Oppenheimer is an Associate Editor of the Stanford Encyclopedia of Philosophy at the Metaphysics Research Lab of the Department of Philosophy at Stanford University. His principal current area of research is computational philosophy, that is, the application of automated reasoning tools, and computational techniques more generally, to the exploration of philosophical questions, problems, and puzzles. Paul is also a Visiting Lecturer in Department of Philosophy | School of Humanities | University of Adelaide.