- Russell once compared a good notation to a good teacher. Whatever can be said in a good notation can be said in a bad one, just as whatever can be said by a good teacher can be said by a bad one; the difference is that the good notation and the good teacher help one discover more for oneself. It has gradually emerged that the language of modal logic constitutes a good notation for the study of formal provability. That application of modal logic is the subject of George Boolos' welcome new book.
- Publication status:
- Peer review status:
- Peer reviewed
- Copyright holder:
- The Editors of the Philosophical Quarterly
- Copyright date:
- Citation: Williamson, T. (1996). 'Review: Logics of provability', The Philosophical Quarterly 46(182), 110-116. [The definitive version of the article is available at http://www.jstor.org/stable/2956313]. © 1996 The Editors of the Philsophical Quarterly. The full-text of this article is not available in ORA, but you may be able to access the article via the publisher copy link on this record page. N.B. Prof Williamson is now based at the Faculty of Philosophy, University of Oxford.
Review: Logics of provability
Views and Downloads
If you are the owner of this record, you can report an update to it here: Report update to this record