Modal Homotopy Type Theory

By David Corfield,

Book cover of Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy

Book description

"The old logic put thought in fetters, while the new logic gives it wings."

For 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…

Shepherd is reader supported. When you buy books, we may earn an affiliate commission.

Why read it?

1 author picked Modal Homotopy Type Theory as one of their favorite books. Why do they recommend it?

The Univalent Foundations program in foundations of mathematics launched by Voevodsky and others in the past decade and a half has contributed to a promising new paradigm unifying computation, mathematics, logic, and proof theory.

Understanding the core elements of this research program, Homotopy Type Theory, is essential for contemporary philosophers who want to engage directly with current developments in mathematics and computer science.

Corfield is a well-established name in philosophy of mathematics, and this book is the best introduction to Homotopy Type Theory for philosophers.

Working within themes and problematics that will be familiar to philosophers with a basic background…

Want books like Modal Homotopy Type Theory?

Our community of 10,000+ authors has personally recommended 100 books like Modal Homotopy Type Theory.

Browse books like Modal Homotopy Type Theory

5 book lists we think you will like!

Interested in math, philosophy, and logic?

10,000+ authors have recommended their favorite books and what they love about them. Browse their picks for the best books about math, philosophy, and logic.

Math Explore 257 books about math
Philosophy Explore 1,617 books about philosophy
Logic Explore 42 books about logic