Can I read Modal Homotopy Type Theory : The Prospect of a New Logic for Philosophy on EtoBox?

Modal Homotopy Type Theory : The Prospect of a New Logic for Philosophy by David Corfield is a nonfiction available to read on EtoBox.

What is Modal Homotopy Type Theory : The Prospect of a New Logic for Philosophy about?

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 evidence for the claim that philosophers working in metaphysics, as well as those treating language, logic or mathematics, would be much better served with the new ‘new logic’. It offers an introduction to this new logic, thoroughly motivated by intuitive explanations of the need for all of its component parts—the discipline of a type theory, the flexibility of type dependency, the more refined homotopic notion of identity and a powerful range of modalities. Innovative applications of the calculus are given, including analysis of the distinction between objects and events, an intrinsic treatment of

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

Author

David Corfield

Publisher

Oxford University Press, USA

Published

2020

Language

EN

ISBN

9780198853404

Category

nonfiction

Subjects

Philosophy, Mathematics, Humanities