Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy by David Corfield

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

David Corfield

192 pages first pub 2020 (editions)

philosophy informative slow-paced
Powered by AI (Beta)
Loading...

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

Read more

Community Reviews

Loading...

Content Warnings

Loading...