Jump to ContentJump to Main Navigation
Modal Homotopy Type Theory – The Prospect of a New Logic for Philosophy - Oxford Scholarship Online
Users without a subscription are not able to see the full content.

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

David Corfield


In[KF1] 1914, in an essay entitled ‘Logic as the Essence of Philosophy’, Bertrand Russell promised to revolutionize philosophy by introducing there the ‘new logic’ of Frege and Peano: “The old logic put thought in fetters, while the new logic gives it wings.” A century later, this book proposes a comparable revolution with a newly emerging logic, modal homotopy type theory. Russell’s prediction turned out to be accurate. Frege’s first-order logic, along with its extension to modal logic, is to be found throughout anglophone analytic philosophy. This book provides a considerable array of eviden ... More

Keywords: Type theory, analytic philosophy, category theory, homotopy, modality, geometry, topos, logic, Per Martin-Löf

Bibliographic Information

Print publication date: 2020 Print ISBN-13: 9780198853404
Published to Oxford Scholarship Online: March 2020 DOI:10.1093/oso/9780198853404.001.0001


Affiliations are at time of print publication.

David Corfield, author
Senior Lecturer in Philosophy, University of Kent, Canterbury

Show Summary Details

subscribe or login to access all content.