David Corfield publishes on Modal Homotopy Type Theory

Dr David Corfield, Senior Lecturer in the Department of Philosophy, has published Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy (Oxford University Press, 2020).

For the past century, philosophers working in the tradition of Bertrand Russell have employed predicate logic as their formal language of choice. Homotopy type theory has recently been developed as a new foundational language for mathematics, with a strong philosophical pedigree. In this book, Dr David Corfield presents a comparable revolution with a newly emerging logic – modal homotopy type theory. David’s book builds up to the full language in stages, right up to the application of modal homotopy type theory to current geometry.

David says: “The book builds up to the full language in stages, right up to the application of modal homotopy type theory to current geometry. Along the way, I discuss its implications for philosophy of language and metaphysics, even providing novel insights into the uses of the words ‘the’ and ‘and’.”

Leave a Reply