Paul E. Oppenheimer is an assistant editor of the Stanford Encyclopedia of Philosophy at the Metaphysics Research Lab of the Center for the Study of Language and Information 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.