Epistemic Logic, Monotonicity, and the Halbach–Welch Rapprochement Strategy

Studia Logica 107 (4):669-693 (2019)

Abstract

Predicate approaches to modality have been a topic of increased interest in recent intensional logic. Halbach and Welch :71–100, 2009) have proposed a new formal technique to reduce the necessity predicate to an operator, demonstrating that predicate and operator methods are ultimately compatible. This article concerns the question of whether Halbach and Welch’s approach can provide a uniform formal treatment for intensionality. I show that the monotonicity constraint in Halbach and Welch’s proof for necessity fails for almost all possible-worlds theories of knowledge. The nonmonotonicity results demonstrate that the most obvious way of emulating Halbach and Welch’s rapprochement of the predicate and operator fails in the epistemic setting.

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,805

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
2018-07-12

Downloads
27 (#428,197)

6 months
1 (#386,499)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Kyle Banick
University of California, Irvine (PhD)

References found in this work

Elusive Knowledge.David K. Lewis - 1996 - Australasian Journal of Philosophy 74 (4):549 – 567.
Knowledge and Its Limits.Timothy Williamson - 2003 - Philosophical Quarterly 53 (210):105-116.
Epistemic Operators.Fred Dretske - 1970 - Journal of Philosophy 67 (24):1007-1023.
Anti-Luck Epistemology.Duncan Pritchard - 2007 - Synthese 158 (3):277-297.

View all 29 references / Add more references

Similar books and articles

REVIEWS-Two Papers of B. Lowe and P. Welch.B. Lowe, P. Welch & Volker Halbach - 2003 - Bulletin of Symbolic Logic 9 (2):235-236.
Two Papers of B. Löwe and P. Welch. [REVIEW]Volker Halbach - 2003 - Bulletin of Symbolic Logic 9 (1):235-236.
How to Type: Reply to Halbach.Alexander Paseau - 2009 - Analysis 69 (2):280-286.
TxW Epistemic Modality.Andrea Iacona - 2012 - Logic and Philosophy of Science 10:3-14.
Two Proof-Theoretic Remarks on EA + ECT.Volker Halbach & Leon Horsten - 2000 - Mathematical Logic Quarterly 46 (4):461-466.
Formal Semantics and Pragmatics of Belief.Ronald Romane Clark - 1988 - Dissertation, The University of Western Ontario (Canada)
Reducing Compositional to Disquotational Truth.Volker Halbach - 2009 - Review of Symbolic Logic 2 (4):786-798.
T-Equivalences for Positive Sentences.Cezary Cieśliński - 2011 - Review of Symbolic Logic 4 (2):319-325.
A Metalinguistic Interpretation of Modality.Paul Edward Schweizer - 1989 - Dissertation, University of California, Irvine
The Complexity of the Dependence Operator.P. D. Welch - 2015 - Journal of Philosophical Logic 44 (3):337-340.
On the Costs of Nonclassical Logic.Volker Halbach & Carlo Nicolai - 2018 - Journal of Philosophical Logic 47 (2):227-257.