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
Version:
Publisher's version

Actions


Access Document


Files:
Publisher copy:
10.1305/ndjfl/1093635422

Authors


More by this author
Institution:
University of Oxford
Oxford college:
University College
Department:
Humanities Division - Philosophy Faculty
Publisher:
Duke University Press Publisher's website
Journal:
Notre Dame Journal of Formal Logic Journal website
Volume:
31
Issue:
2
Pages:
286-290
DOI:
EISSN:
1939-0726
ISSN:
0029-4527
URN:
uuid:fb531cb9-84f6-4b6a-8283-2b36a3449d00
Local pid:
ora:4992
Language:
English
Keywords:
Subjects:

Terms of use


Metrics



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

TO TOP