Modal Homotopy Type Theory
Format: Hardcover
ISBN13: 9780198853404
Hardcover|9780198853404
✨ Featured Offer
Brand New
$112.39
List Price: $105.00
🚚
See all 5 offers from $112.39 FREE standard delivery by: 30 Mar 2026
Overview
"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 of choice. In this book, Dr David Corfield presents a comparablerevolution with a newly emerging logic - modal homotopy type theory.Homotopy type theory has recently been developed as a new foundational language for mathematics, with a strong philosophical pedigree. Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy offers an introduction to this new language and its modal extension, illustrated throughinnovative applications of the calculus to language, metaphysics, and mathematics.The 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 objects and events, the intrinsic treatment of structure, the conception of modality as a form of general variation to therepresentation of constructions in modern geometry, we see how varied the applications of this powerful new language can be.
| ISBN-13 | 9780198853404 |
|---|---|
| ISBN-10 | 0198853408 |
| Weight | 1.00 Pounds |
| Dimensions | 6.25 x 0.75 x 9.50 In |
| List Price | $105.00 |
| Format | Hardcover |
|---|---|
| Language | English |
| Publisher | Oxford University Press |
| Published On | 2020-03-03 |
View All Offers
Sort by:
Price
Condition
Seller
Seller Comments
Price
✨ Brand New
Seller details
indoo.com
Avenel, NJ, USA
9780198853404.
Free delivery by: 30 Mar 2026
Brand New
Seller details
GreatBookPrices-
Columbia, MD, USA
100% Money Back Guarantee. Brand New, Perfect Condition. We offer expedited shipping to all US locat...
Free delivery by: 30 Mar 2026
Used, Like New
Seller details
GreatBookPrices-
Columbia, MD, USA
100% Money Back Guarantee. Brand New, Perfect Condition. We offer expedited shipping to all US locat...
Free delivery by: 30 Mar 2026
Used, Good
Seller details
Bonita
Santa Clarita, CA, USA
Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Free delivery by: 30 Mar 2026
Brand New
Seller details
Alibris
Sparks, NV, USA
Intended for professional and scholarly audience.
Free delivery by: 30 Mar 2026