Verification, falsification, and cancellation in ${\rm KT}$

Notre Dame Journal of Formal Logic 31 (2):286-290 (1990)
  Copy   BIBTEX

Abstract

The main result of this paper is that KT is closed under a cancellation principle. This result extends to KTG1, but it does not extend to modal systems associated with the provability interpretation of L, such as KW and KT4Grz. Following Williamson, these results are applied to philosophical concerns about the proper form for theories of meaning, via the interpretation of L as some kind of veriflability. The cancellation principle can then be read as saying that verifilability conditions and falsiflability conditions jointly determine truth conditions.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,486

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Assertion, denial and some cancellation rules in modal logic.Timothy Williamson - 1988 - Journal of Philosophical Logic 17 (3):299--318.
The Fixed Point Property in Modal Logic.Lorenzo Sacchetti - 2001 - Notre Dame Journal of Formal Logic 42 (2):65-86.
On Ł ukasiewicz's ${\rm \L}$-modal system.Timothy Smiley - 1961 - Notre Dame Journal of Formal Logic 2 (3):149-153.
Modal Logic and Its Applications. [REVIEW]T. K. - 1971 - Review of Metaphysics 25 (2):370-371.
Interpretation and knowledge maximization.Aidan McGlynn - 2012 - Philosophical Studies 160 (3):391-405.
Derivability conditions on Rosser's provability predicates.Toshiyasu Arai - 1990 - Notre Dame Journal of Formal Logic 31 (4):487-497.
Proof That Knowledge Entails Truth.Brent G. Kyle - 2024 - Journal of Philosophy 121 (10):568-591.
Proof That Knowledge Entails Truth.Brent G. Kyle - 2024 - Journal of Philosophy 121 (10):568-591.

Analytics

Added to PP
2010-08-24

Downloads
84 (#260,173)

6 months
10 (#312,841)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Timothy Williamson
University of Oxford

References found in this work

No references found.

Add more references