Journal article icon

Journal article

Review: Logics of provability

Abstract:
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:
Published
Peer review status:
Peer reviewed

Actions


Authors


More by this author
Institution:
University of Edinburgh
Role:
Author, Reviewer
Publisher:
Blackwell Publishers Publisher's website
Journal:
The Philosophical Quarterly Journal website
Volume:
46
Issue:
182
Pages:
110-116
Publication date:
1996-01-05
EISSN:
1467-9213
ISSN:
0031-8094
URN:
uuid:75a63e85-2f01-459f-907f-c05ed17e687a
Local pid:
ora:5113
Language:
English
Subjects:

Terms of use


Metrics


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP