Modal Homotopy Type Theory

Released on by David Corfield
preview-18

  • Modal Homotopy Type Theory Book Detail

  • Author : David Corfield
  • Release Date : 2020-02-06
  • Publisher : Oxford University Press
  • Genre : Philosophy
  • Pages : 208
  • ISBN 13 : 0192595032
  • File Size : 3,3 MB
DOWNLOAD BOOK

Modal Homotopy Type Theory by David Corfield PDF Summary

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

Disclaimer: www.yourbookbest.com does not own Modal Homotopy Type Theory books pdf, neither created or scanned. We just provide the link that is already available on the internet, public domain and in Google Drive. If any way it violates the law or has any issues, then kindly mail us via contact us page to request the removal of the link.

Modal Homotopy Type Theory

Modal Homotopy Type Theory

File Size : 6,6 MB
Total View : 8090 Views
DOWNLOAD

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

Aristotle’s Modal Syllogistic

Aristotle’s Modal Syllogistic

File Size : 82,82 MB
Total View : 7223 Views
DOWNLOAD

Aristotle was the founder not only of logic but also of modal logic. In the Prior Analytics he developed a complex system of modal syllogistic which, while infl

Modality and Explanatory Reasoning

Modality and Explanatory Reasoning

File Size : 40,40 MB
Total View : 7524 Views
DOWNLOAD

Since the ground-breaking work of Saul Kripke, David Lewis, and others in the 1960s and 70s, one dominant interest of analytic philosophers has been in modal tr

Modal Logic as Metaphysics

Modal Logic as Metaphysics

File Size : 73,73 MB
Total View : 8823 Views
DOWNLOAD

Timothy Williamson gives an original and provocative treatment of deep metaphysical questions about existence, contingency, and change, using the latest resourc