Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy

— —

David Corfield (Senior Lecturer in Philosophy, Senior Lecturer in Philosophy, University of Kent, Canterbury)

Modal Homotopy Type Theory

The Prospect of a New Logic for Philosophy

David Corfield (Senior Lecturer in Philosophy, Senior Lecturer in Philosophy, University of Kent, Canterbury)

$195.95

Hardback

Not in-store but you can order this
How long will it take?

Availability Information

We source books from suppliers in Australia and overseas. For books we don't currently have in stock, the time it takes to get them from our suppliers can vary widely - from a few days to a few months - so we check each book with each supplier to determine the expected time it will take to be supplied to us.

We then advise you accordingly. If the time taken to get any book is too long for you, you can let us know and we will cancel or adjust your order, and refund as required.

To find out the anticipated arrival time for specific items prior to ordering, please contact us by phone or email:

Phone +61 2 9264 3111, or 1800 4 BOOKS (1800 4 26657) if outside Sydney:
option 1 Abbey's Bookshop (Crime, History, Science, Kids & more) • info@abbeys.com.au
option 2 Language Book Centre (ESL & Foreign Languages) • language@abbeys.com.au
option 3 Galaxy Bookshop (Sci-fi, Fantasy, Romance, Graphic Novels) • sf@galaxybooks.com.au

QTY:

English

Oxford University Press
17 February 2020

Philosophy: logic; Philosophy of mathematics; Calculus; Mathematical modelling

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

By: David Corfield (Senior Lecturer in Philosophy Senior Lecturer in Philosophy University of Kent Canterbury)
Imprint: Oxford University Press
Country of Publication: United Kingdom
Dimensions: Height: 240mm, Width: 160mm, Spine: 16mm
Weight: 456g
ISBN: 9780198853404
ISBN 10: 0198853408
Pages: 192
Publication Date: 17 February 2020
Audience: Professional and scholarly , Undergraduate
Format: Hardback
Publisher's Status: Active

1: A path to a new logic 2: Dependent types 3: Homotopy types 4: Modal types 5: Spatial types 6: Conclusion

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