Name: Modal Homotopy Type Theory: The Prospect of a new Logic for Philosophy (en Inglés)
SKU: 52332605
Price: 504928.00 COP
Availability: InStock
Author: David Corfield
ISBN: 9780198853404

portada Modal Homotopy Type Theory: The Prospect of a new Logic for Philosophy (en Inglés)

Modal Homotopy Type Theory: The Prospect of a new Logic for Philosophy (en Inglés)

Formato

Libro Físico

Editorial

Oxford University Press

Autor

David Corfield

Año

2020

Idioma

Inglés

N° páginas

192

Encuadernación

Tapa Dura

ISBN13

9780198853404

Categorías

Matemáticas

Modal Homotopy Type Theory: The Prospect of a new Logic for Philosophy (en Inglés)

David Corfield (Autor) · Oxford University Press · Tapa Dura

Libro Nuevo Importado

Envío: 12 a 16 días háb.

$ 1.009.856$ 504.928

-50%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan más de 100 unidades

$ 504.928

¡Envío Gratis! Llega entre el 30 Oct y el 09 Nov a Bogota, Cundinamarca. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Modal Homotopy Type Theory: The Prospect of a new Logic for Philosophy (en Inglés)"

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