Modal Homotopy Type Theory - The Prospect Of A New Logic For Philosophy by David Corfield

Download Book Modal Homotopy Type Theory - The Prospect Of A New Logic For Philosophy by David Corfield [PDF/ePUB]

"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.

How to download Modal Homotopy Type Theory - The Prospect Of A New Logic For Philosophy eBook online in the US, Canada, UK, Australia and other countries? If you want to fully download or read online Modal Homotopy Type Theory - The Prospect Of A New Logic For Philosophy a book by David Corfield, you are in the right place. This website provides the opportunity to read books or download for free.

“Two things are infinite: the universe and human stupidity; and I'm not sure about the universe.” ― Albert Einstein

Do you read books like Modal Homotopy Type Theory - The Prospect Of A New Logic For Philosophy and other similar books? We like Modal Homotopy Type Theory - The Prospect Of A New Logic For Philosophy, and everybody loves them as well much more when they are totally free, right? You are in the best place to get your favourite books and download or read it with free of charge on our site.