Modal Homotopy Type Theory
the prospect of a new logic for philosophy
$342.63
- Hardcover
192 pages
- Release Date
16 February 2020
Summary
Modal Homotopy Type Theory: A New Logic for Philosophy
“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 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.
Homotopy type theory has recently been developed as a new foundational language…
Book Details
| ISBN-13: | 9780198853404 |
|---|---|
| ISBN-10: | 0198853408 |
| Author: | David Corfield |
| Publisher: | Oxford University Press |
| Imprint: | Oxford University Press |
| Format: | Hardcover |
| Number of Pages: | 192 |
| Release Date: | 16 February 2020 |
| Weight: | 456g |
| Dimensions: | 240mm x 160mm x 16mm |
You Can Find This Book In
About The Author
David Corfield
David Corfield has been a Senior Lecturer in the Department of Philosophy at the University of Kent since 2009, where he started in 2007. His main research interests are philosophy of mathematics and philosophy of medicine. In the area of philosophy of mathematics, his work has been closely studied by other philosophers and appreciated by some of the world’s leading mathematicians, and he is recognized as an exponent of a new style of work that pays much closer attention to the practice of mathematicians.
Returns
This item is eligible for free returns within 30 days of delivery. See our returns policy for further details.