TxW Epistemic Modality

Abstract

So far, T×W frames have been employed to provide a semantics for a language of tense logic that includes a modal operator that expresses historical necessity. The operator is defined in terms of quantification over possible courses of events that satisfy a certain constraint, namely, that of being alike up to a given point. However, a modal operator can as well be defined without placing that constraint. This paper outlines a T×W logic where an operator of the latter kind is used to express the epistemic property of definiteness. Section 1 provides the theoretical background. Sections 2 and 3 set out the semantics. Sections 4 and 5 show, drawing on established results, that there is a sound and complete axiomatization of the logic outlined.

Download options

PhilArchive

External links

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

Through your library

Analytics

Added to PP
2013-11-07

Downloads
217 (#54,382)

6 months
10 (#73,903)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Andrea Iacona
Università di Torino

References found in this work

Knowledge and Its Limits.Timothy Williamson - 2000 - Philosophy 76 (297):460-464.
Knowledge and Its Limits.Timothy Williamson - 2005 - Philosophy and Phenomenological Research 70 (2):452-458.
Causal Determinism.Carl Hoefer - 2008 - Stanford Encyclopedia of Philosophy.

View all 6 references / Add more references

Citations of this work

No citations found.

Add more citations

Similar books and articles