Modal homotopy type theory : the prospect of a new logic for philosophy / David Corfield.
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 put thought in fetters, while the new logic gives it wings." A century...
Full description
Saved in: