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

Full description

Bibliographic Details

Main Author:	Corfield, David (David Neil) (Author)
Format:	eBook
Language:	English
Published:	Oxford : Oxford University Press, 2020.
Edition:	First edition.
Subjects:	Homotopy theory > Philosophy. Homotopie > Philosophie. Applied. MATHEMATICS. Calculus. Logic. PHILOSOPHY. Electronic books.
Online Access:	Connect to the full text of this electronic book