This article surveys recent developments in the epistemology of modality.

The epistemology of modality has focused on metaphysical modality and, more recently, counterfactual conditionals. Knowledge of kinds of modality that are not metaphysical has so far gone largely unexplored. Yet other theoretically interesting kinds of modality, such as nomic, practical, and ‘easy’ possibility, are no less puzzling epistemologically. Could Clinton easily have won the 2016 presidential election—was it an easy possibility? Given that she didn’t in fact win the election, how, if at all, can we know whether she easily could (...) have? This paper investigates the epistemology of the broad category of ‘objective’ modality, of which metaphysical modality is a special, limiting case. It argues that the same cognitive mechanisms that are capable of producing knowledge of metaphysical modality are also capable of producing knowledge of all other objective modalities. This conclusion can be used to explain the roles of counterfactual reasoning and the imagination in the epistemology of objective modality. (shrink)

In an anonymous referee report written in 1945, Church suggested a sweeping argument against verificiationism, the thesis that every truth is knowable. The argument, which was published with due acknowledgement by Fitch almost two decades later, has generated significant attention as well as some interesting successor arguments. In this paper, we present the most important episodes in this intellectual history using the logic that Church himself favoured, and we give reasons for thinking that the arguments are less than decisive. However, (...) we present some new arguments against verificationism that we believe to be dialectically effective. (shrink)

What kind of semantics should someone who accepts the epistemicist theory of vagueness defended in Timothy Williamson’s Vagueness (1994) give a definiteness operator? To impose some interesting constraints on acceptable answers to this question, I will assume that the object language also contains a metaphysical necessity operator and a metaphysical actuality operator. I will suggest that the answer is to be found by working within a three-dimensional model theory. I will provide sketches of two ways of extracting an epistemicist semantics (...) from that model theory, one of which I will find to be more plausible than the other. (shrink)

Externalism is the thesis that the contents of intentional states and speech acts are not determined by the way the subjects of those states or acts are internally. It is a widely accepted but not entirely uncontroversial thesis. Among such theses in philosophy, externalism is notable for owing the assent it commands almost entirely to thought experiments, especially to variants of Hilary Putnam's famous Twin Earth scenario. This paper presents a thought experiment-free argument for externalism. It shows that externalism is (...) a deductive consequence of a pair of widely accepted principles whose relevance to the issue has hitherto gone unnoticed. (shrink)

Certain passages in Kaplan’s ‘Demonstratives’ are often taken to show that non-vacuous sentential operators associated with a certain parameter of sentential truth require a corresponding relativism concerning assertoric contents: namely, their truth values also must vary with that parameter. Thus, for example, the non-vacuity of a temporal sentential operator ‘always’ would require some of its operands to have contents that have different truth values at different times. While making no claims about Kaplan’s intentions, we provide several reconstructions of how such (...) an argument might go, focusing on the case of time and temporal operators as an illustration. What we regard as the most plausible reconstruction of the argument establishes a conclusion similar enough to that attributed to Kaplan. However, the argument overgenerates, leading to absurd consequences. We conclude that we must distinguish assertoric contents from compositional semantic values, and argue that once they are distinguished, the argument fails to establish any substantial conclusions. We also briefly discuss a related argument commonly attributed to Lewis, and a recent variant due to Weber. (shrink)

How does vagueness interact with metaphysical modality and with restrictions of it, such as nomological modality? In particular, how do definiteness, necessity (understood as restricted in some way or not), and actuality interact? This paper proposes a model-theoretic framework for investigating the logic and semantics of that interaction. The framework is put forward in an ecumenical spirit: it is intended to be applicable to all theories of vagueness that express vagueness using a definiteness (or: determinacy) operator. We will show how (...) epistemicists, supervaluationists, and theorists of metaphysical vagueness like Barnes and Williams (2010) can interpret the framework.  We will also present a complete axiomatization of the logic we recommend to both epistemicists and local supervaluationists. . (shrink)

This paper examines "moderate modal skepticism", a form of skepticism about metaphysical modality defended by Peter van Inwagen in order to blunt the force of certain modal arguments in the philosophy of religion. Van Inwagen’s argument for moderate modal skepticism assumes Yablo's (1993) influential world-based epistemology of possibility. We raise two problems for this epistemology of possibility, which undermine van Inwagen's argument. We then consider how one might motivate moderate modal skepticism by relying on a different epistemology of possibility, which (...) does not face these problems: Williamson’s (2007: ch. 5) counterfactual-based epistemology. Two ways of motivating moderate modal skepticism within that framework are found unpromising. Nevertheless, we also find a way of vindicating an epistemological thesis that, while weaker than moderate modal skepticism, is strong enough to support the methodological moral van Inwagen wishes to draw. (shrink)

This special issue of the Canadian Journal of Philosophy is dedicated to Timothy Williamson's work on modality. It consists of a new paper by Williamson followed by papers on Williamson's work on modality, with each followed by a reply by Williamson. -/- Contributors: Andrew Bacon, Kit Fine, Peter Fritz, Jeremy Goodman, John Hawthorne, Øystein Linnebo, Ted Sider, Robert Stalnaker, Meghan Sullivan, Gabriel Uzquiano, Barbara Vetter, Timothy Williamson, Juhani Yli-Vakkuri.

Michael Fara's ‘habitual analysis’ of disposition ascriptions is equivalent to a kind of ceteris paribus conditional analysis which has no evident advantage over Martin's well known and simpler analysis. I describe an unsatisfactory hypothetical response to Martin's challenge, which is lacking in just the same respect as the analysis considered by Martin; Fara's habitual analysis is equivalent to this hypothetical analysis. The feature of the habitual analysis that is responsible for this cannot be harmlessly excised, for the resulting analysis would (...) be subject to familiar counter-examples. (shrink)

Abstract Timothy Williamson has recently proposed to undermine modal skepticism by appealing to the reducibility of modal to counterfactual logic ( Reducibility ). Central to Williamson’s strategy is the claim that use of the same non-deductive mode of inference ( counterfactual development , or CD ) whereby we typically arrive at knowledge of counterfactuals suffices for arriving at knowledge of metaphysical necessity via Reducibility. Granting Reducibility, I ask whether the use of CD plays any essential role in a Reducibility-based reply (...) to two kinds of modal skepticism. I argue that its use is entirely dispensable, and that Reducibility makes available replies to modal skeptics which show certain propositions to be metaphysically necessary by deductive arguments from premises the modal skeptic accepts can be known. Content Type Journal Article Pages 1-19 DOI 10.1007/s11098-011-9784-4 Authors Juhani Yli-Vakkuri, Wolfson College, Oxford University, Oxford, OX2 6UD UK Journal Philosophical Studies Online ISSN 1573-0883 Print ISSN 0031-8116. (shrink)

This paper presents a new system of logic, LF, that is intended to be used as the foundation of the formalization of science. That is, deductive validity according to LF is to be used as the criterion for assessing what follows from the verdicts, hypotheses, or conjectures of any science. In work currently in progress, we argue for the unique suitability of LF for the formalization of logic, mathematics, syntax, and semantics. The present document specifies the language and rules of (...) LF, lays out some notational conventions, and states some basic technical facts about the system. (shrink)

Some central epistemological notions are expressed by sentential operators O that entail the possibility of knowledge in the sense that 'Op' entails 'It is possible to know that p'. We call these modal-epistemological notions. Using apriority and being in a position to know as case studies, we argue that the logics of modal epistemological notions are extremely weak. In particular, their logics are not normal and do not include any closure principles.

The idea that the epistemology of modality is in some sense a priori is a popular one, but it has turned out to be difficult to precisify in a way that does not expose it to decisive counterexamples. The most common precisifications follow Kripke’s suggestion that cases of necessary a posteriori truth that can be known a priori to be necessary if true ‘may give a clue to a general characterization of a posteriori knowledge of necessary truths’. The idea is (...) that whether it is contingent whether p can be known a priori for at least some broad range of sentences ‘p’. Recently, Al Casullo and Jens Kipper have discussed restrictions of such principles to atomic sentences. We show that decisive counterexamples even to such dramatically restricted Kripke-style principles can be constructed using minimal logical resources. We then consider further restrictions, and show that the counterexamples to the original principles can be turned into counterexamples to the further restricted principles. We conclude that, if there are any true restrictions of Kripke-style principles, then they are so weak as to be of little epistemological interest. (shrink)