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

£85.40

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

Name: Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy
Brand: Oxford University Press
Price: 85.4 GBP
Availability: InStock

Modelling

This is the usual price. Wait for it to drop, or tell us your number.

£85 today · usual range £71–£90 · best ever £71

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 81 days • 81 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 81 days • 8 price levels

Days at Price

Current Price

Price Analysis

Most common price: £71 (35 days, 43.2%)

Price range: £71 - £90

Price levels: 8 different prices over 81 days

Description

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

Key Features

Modal Homotopy Type Theory: The Prospect Of A New Logic For Philosophy

Product Type: Abis Book

Brand: Oxford University Press

Product Specifications

Brand: Oxford University Press
Format: hardcover
ASIN: 0198853408
Category: Books > Subjects > Science, Nature & Maths > Mathematics > Modelling
Domain: Amazon UK
Release Date: 06 February 2020
Listed Since: 23 August 2019

Barcode

No barcode data available

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

This is the usual price. Wait for it to drop, or tell us your number.

Price History & Forecast

Price Distribution

Price Analysis

Description

Key Features

Product Specifications

Barcode

Similar Products You Might Like

Model Categories (Mathematical Surveys and Monographs)

Advances In Modal Logic, Volume 3

Modal Logic: An Introduction to its Syntax and Semantics

Types, Tableaus, and Gödel’s God: 12 (Trends in Logic, 12)

Introduction to Homotopy Type Theory: 219 (Cambridge Studies in Advanced Mathematics, Series Number 219)

Interpretationen der Modallogik: Ein Beitrag zur Phänomenologischen Wissenschaftstheorie: 145 (Phaenomenologica, 145)

Williamson on Modality

FOUNDATIONS OF MODALITY:FROM PROPOSITIONS TO POSSIBLE WORLDS

Communication and Meaning: An Essay in Applied Modal Logic: 168 (Synthese Library, 168)

Handbook of Philosophical Logic: Volume II: Extensions of Classical Logic: 165 (Synthese Library, 165)

Logical Foundations of Artificial Intelligence

An Introduction to Classical and Modal Logics: The Outlines of Knowledge (Cambridge Introductions to Philosophy)

Toward Predicate Approaches to Modality: 44 (Trends in Logic, 44)

Norms and Necessity