Journal article icon

Journal article

Verification, falsification and cancellation in KT

Abstract:

The main result of this paper is that KT (=T) is closed under a cancellation principle (if LA is provably equivalent to LB and MA is provably equivalent to MB then A is provably equivalent to B). This result extends to KTG1, but it does not extend to modal systems associated with the provability interpretation of L, such as KW (=G) and KT4Grz (=S4Grz). Following Williamson, these results are applied to philosophical concerns about the proper form for theories of meaning, via the interpretatio...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed

Actions


Access Document


Authors


More by this author
Institution:
University of Oxford
Division:
HUMS
Department:
Philosophy Faculty
Oxford college:
University College
Role:
Author

Contributors

Publisher:
Duke University Press
Journal:
Notre Dame Journal of Formal Logic More from this journal
Volume:
31
Issue:
2
Pages:
286-290
DOI:
EISSN:
1939-0726
ISSN:
0029-4527
Language:
English
Keywords:
Subjects:
UUID:
uuid:fb531cb9-84f6-4b6a-8283-2b36a3449d00
Local pid:
ora:4992
Deposit date:
2011-02-16

Terms of use


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