{"product_id":"modal-homotopy-type-theory-the-prospect-of-a-new-logic-for-philosophy-hardcover","title":"Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy - Hardcover","description":"\u003cp\u003eby \u003cb\u003eDavid Corfield\u003c\/b\u003e (Author)\u003c\/p\u003e\u003cp\u003e\"The old logic put thought in fetters, while the new logic gives it wings.\" \u003c\/p\u003e\u003cp\u003e\u003c\/p\u003eFor 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. \u003cp\u003e\u003c\/p\u003eHomotopy type theory has recently been developed as a new foundational language for mathematics, with a strong philosophical pedigree. \u003cem\u003eModal Homotopy Type Theory: The Prospect of a New Logic for Philosophy\u003c\/em\u003e offers an introduction to this new language and its modal extension, illustrated through innovative applications of the calculus to language, metaphysics, and mathematics. \u003cp\u003e\u003c\/p\u003eThe 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.\u003cbr\u003e\u003ch3\u003eAuthor Biography\u003c\/h3\u003e\u003cp\u003e\u003cbr\u003eDavid Corfield, \u003cem\u003eSenior Lecturer in Philosophy, University of Kent, Canterbury\u003c\/em\u003e \u003c\/p\u003e\u003cp\u003e\u003c\/p\u003eDavid Corfield has been a Senior Lecturer since 2009 in the Department of Philosophy at the University of Kent, which he joined in 2007. His principal areas of research are philosophy of mathematics and philosophy of medicine. As regards to the former, his work has not only been closely studied by other philosophers, but has also been appreciated by some of the world's leading mathematicians internationally recognised as an exponent of a new style of work which pays much closer attention to the practice of mathematicians. \u003cp\u003e\u003c\/p\u003e\u003cdiv\u003e\n\u003cstrong\u003eNumber of Pages:\u003c\/strong\u003e 192\u003c\/div\u003e\u003cdiv\u003e\n\u003cstrong\u003eDimensions:\u003c\/strong\u003e 0.6 x 9.3 x 6.3 IN\u003c\/div\u003e\u003cdiv\u003e\n\u003cstrong\u003ePublication Date:\u003c\/strong\u003e March 03, 2020\u003c\/div\u003e","brand":"Books by splitShops","offers":[{"title":"Default Title","offer_id":51792274194720,"sku":"9780198853404","price":196.65,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0974\/9764\/5344\/files\/35e66d967d038dae3645153d339c4e44.webp?v=1780697737","url":"https:\/\/ebocreations.com\/products\/modal-homotopy-type-theory-the-prospect-of-a-new-logic-for-philosophy-hardcover","provider":"The E-Book Oasis LLC","version":"1.0","type":"link"}