Jump to ContentJump to Main Navigation

You are looking at 1-1 of 1 items

  • Keywords: Per Martin-Löf x
Clear All Modify Search

View:

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

David Corfield

Published in print:
2020
Published Online:
March 2020
ISBN:
9780198853404
eISBN:
9780191888069
Item type:
book
Publisher:
Oxford University Press
DOI:
10.1093/oso/9780198853404.001.0001
Subject:
Mathematics, Logic / Computer Science / Mathematical Philosophy

In[KF1] 1914, in an essay entitled ‘Logic as the Essence of Philosophy’, Bertrand Russell promised to revolutionize philosophy by introducing there the ‘new logic’ of Frege and Peano: “The old logic ... More


View: