Skip to main content

Modal homotopy type theory: the prospect of a new logic for philosophy

Corfield, David (2020) Modal homotopy type theory: the prospect of a new logic for philosophy. Oxford University Press, Oxford, UK, 208 pp. ISBN 978-0-19-885340-4. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided. (Contact us about this Publication)
Official URL
https://global.oup.com/academic/product/modal-homo...

Abstract

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.

Item Type: Book
Uncontrolled keywords: logic; mathematics; category theory; philosophy of language; metaphysics; modal logic; geometry
Subjects: B Philosophy. Psychology. Religion > BC Logic
Divisions: Faculties > Humanities > School of European Culture and Languages
Depositing User: David Corfield
Date Deposited: 15 Nov 2019 12:18 UTC
Last Modified: 11 Feb 2020 14:20 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/78756 (The current URI for this page, for reference purposes)
Corfield, David: https://orcid.org/0000-0003-0432-3221
  • Depositors only (login required):