Verification, falsification and cancellation in KTReport as inadecuate

Verification, falsification and cancellation in KT - Download this document for free, or read online. Document in PDF available to download.

Reference: Timothy Williamson, (1990-Spring). Verification, falsification and cancellation in KT. Notre Dame Journal of Formal Logic, 31 (2), 286-290.Citable link to this page:


Verification, falsification and cancellation in KT

Abstract: The main result of this paper is that KT (=T) is closed under acancellation principle (if LA is provably equivalent to LB and MA is provablyequivalent to MB then A is provably equivalent to B). This result extendsto KTG1, but it does not extend to modal systems associated with theprovability interpretation of L, such as KW (=G) and KT4Grz (=S4Grz).Following Williamson, these results are applied to philosophical concernsabout the proper form for theories of meaning, via the interpretation of Las some kind of veriflability. The cancellation principle can then be read assaying that verifilability conditions and falsiflability conditions jointly determine truth conditions.

Publication status:PublishedPeer Review status:Peer reviewedVersion:Publisher's version

Bibliographic Details

Publisher: Duke University Press

Publisher Website:

Host: Notre Dame Journal of Formal Logicsee more from them

Publication Website:

Issue Date: 1990-Spring

Copyright Date: 1990



Issn: 0029-4527

Eissn: 1939-0726

Urn: uuid:fb531cb9-84f6-4b6a-8283-2b36a3449d00 Item Description

Type: Article: post-print;

Language: en

Version: Publisher's versionKeywords: logicSubjects: Philosophy Tiny URL: ora:4992


Author: Timothy Williamson - institutionUniversity of Oxford facultyHumanities Division - Philosophy Faculty oxfordCollegeUniversity Coll



Related documents