Get Free Shipping on orders over $0
Modal Homotopy Type Theory : The Prospect of a New Logic for Philosophy - David Corfield

Modal Homotopy Type Theory

The Prospect of a New Logic for Philosophy

By: David Corfield

eText | 6 February 2020

At a Glance

eText


$138.60

or 4 interest-free payments of $34.65 with

 or 

Instant online reading in your Booktopia eTextbook Library *

Why choose an eTextbook?

Instant Access *

Purchase and read your book immediately

Read Aloud

Listen and follow along as Bookshelf reads to you

Study Tools

Built-in study tools like highlights and more

* eTextbooks are not downloadable to your eReader or an app and can be accessed via web browsers only. You must be connected to the internet and have no technical issues with your device or browser that could prevent the eTextbook from operating.
"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.
on
Desktop
Tablet
Mobile

You Can Find This eBook In

More in Philosophy & Logic

The Revenge of Reason : Urbanomic / Mono : Book 12 - Peter Wolfendale

eBOOK

Lyric Logic : How Modern American Poetry Reasons - Johanna Winant

eBOOK

The Nature of Belief

eTEXT

The Book of Infinity - Joel David Hamkins

eBOOK

RRP $127.08

$101.74

20%
OFF
The Necessary God - Hurrera Khan

eBOOK

Enigma Mind Game - numarul7

eBOOK

The Game of Logic - Lewis Carroll

eBOOK

This product is categorised by