Modal homotopy type theory : the prospect of a new logic for philosophy /
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 compar...
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Oxford :
Oxford University Press,
2020
Oxford ; New York, NY : 2020 |
| Edition: | First edition |
| Series: | Oxford scholarship online
|
| Subjects: |