The old logic put thought in fetters, while the new logic gives it wings. pFor the past century, philosophers working in the tradition of Bertrand Russell - who promised to revolutionise philosophy by introducing the 'new logic' of Frege and Peano - have employed predicate logic as their formal language of choice. In this book, Dr David Corfield presents a comparable revolution with a newly emerging logic - modal homotopy type theory. pHomotopy type theory has recently been developed as a new foundational language for mathematics, with a strong philosophical pedigree. emModal Homotopy Type Theory The Prospect of a New Logic for Philosophyem offers an introduction to this new language and its modal extension, illustrated through innovative applications of the calculus to language, metaphysics, and mathematics. pThe chapters build up to the full language in stages, right up to the application of modal homotopy type theory to current geometry. From a discussion of the distinction between