Modal Homotopy Type Theory
Available
"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 em...
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 em...
Read more
E-book
pdf
Price
68.99 £ * Old Price 130.60 £
"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 em...
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 em...
Read more
Follow the Author
