Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy
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 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 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 through
innovative 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 the
representation of constructions in modern geometry, we see how varied the applications of this powerful new language can be.
Best prices to buy, sell, or rent ISBN 9780198853404
Frequently Asked Questions about Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy
The price for the book starts from $76.52 on Amazon and is available from 28 sellers at the moment.
If you’re interested in selling back the Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy book, you can always look up BookScouter for the best deal. BookScouter checks 30+ buyback vendors with a single search and gives you actual information on buyback pricing instantly.
As for the Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy book, the best buyback offer comes from and is $ for the book in good condition.
The Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy book is in very low demand now as the rank for the book is 2,428,257 at the moment. A rank of 1,000,000 means the last copy sold approximately a month ago.
The highest price to sell back the Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy book within the last three months was on December 16 and it was $1.94.