Can there be 'narrow' mental content, that is entirely determined by the goings-on inside the head of the thinker? This book argues not, and defends instead a thoroughgoing externalism: the entanglement of our minds with the external world runs so deep that no internal component of mentality can easily be cordoned off.

This article surveys recent developments in the epistemology of modality.

In general, a given object could have been different in certain respects. For example, the Great Pyramid could have been somewhat shorter or taller; the Mona Lisa could have had a somewhat different pattern of colours; an ordinary table could have been made of a somewhat different quantity of wood. But there seem to be limits. It would be odd to suppose that the Great Pyramid could have been thimble-sized; that the Mona Lisa could have had the pattern of colours (...) that actually characterizes The Scream; or that the table could have been made of the very quantity of wood that in fact made some other table. However, there are puzzling arguments that purport to show that so long as an object is capable of being somewhat different in some respect, it is capable of being radically different in that respect. These arguments rely on two tempting thoughts: first, that an object’s capacity for moderate variation is a non-contingent matter, and second, that what is possibly possible is simply possible. This book systematically investigates competing strategies for resolving these puzzles, and defends one of them. Along the way it engages with foundational questions about the metaphysics of modality. (shrink)

The concept of being in a position to know is an increasingly popular member of the epistemologist’s toolkit. Some have used it as a basis for an account of propositional justification. Others, following Timothy Williamson, have used it as a vehicle for articulating interesting luminosity and anti-luminosity theses. It is tempting to think that while knowledge itself does not obey any closure principles, being in a position to know does. For example, if one knows both p and ‘If p then (...) q’, but one dies or gets distracted before being able to perform a modus ponens on these items of knowledge and for that reason one does not know q, one is still plausibly in a position to know q. It is also tempting to suppose that, while one does not know all logical truths, one is nevertheless in a position to know every logical truth. Putting these temptations together, we get the view that being in a position to know has a normal modal logic. A recent literature has begun to investigate whether it is a good idea to give in to these twin temptations—in particular the first one. That literature assumes very naturally that one is in a position to know everything one knows and that one is not in a position to know things that one cannot know. It has succeeded in showing that, given the modest closure condition that knowledge is closed under conjunction elimination, being a position to know cannot satisfy the so-called K axiom of normal modal logics. In this paper, we explore the question of the normality of the logic of being in a position to know in a more far-reaching and systematic way. Assuming that being in a position to know entails the possibility of knowing and that knowing entails being in a position to know, we can demonstrate radical failures of normality without assuming any closure principles at all for knowledge. Moreover, the failure of normality cannot be laid at the door of the K axiom for knowledge, since the standard principle NEC of necessitation also fails for being in a position to know. After laying out and explaining our results, we briefly survey the coherent options that remain. (shrink)

Some have argued for a division of epistemic labor in which mathematicians supply truths and philosophers supply their necessity. We argue that this is wrong: mathematics is committed to its own necessity. Counterfactuals play a starring role.

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)

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)

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)

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 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)

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 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)

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)

In this reply to Alex Byrne’s comment on our book Narrow Content, we address Byrne’s claim that internalism is best framed as a thesis about properties of agents rather than properties of thoughts, arguing that a thought-based framework is better suited to standard internalist ambitions. We also discuss whether there is any prospect for a view in the internalist spirit that prescinds from multiplying indices beyond worlds, address Byrne’s ordinary language considerations against an ontology of thoughts, and briefly evaluate the (...) prospects for giving narrow content ascriptions explanatory life by using them to give an account of how things perceptually seem. (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.

Timothy Williamson is one of the most influential living philosophers working in the areas of logic and metaphysics. His work in these areas has been particularly influential in shaping debates about metaphysical modality, which is the topic of his recent provocative and closely-argued book *Modal Logic as Metaphysics* (2013). The present book comprises ten essays by metaphysicians and logicians responding to Williamson’s work on metaphysical modality. The authors include some of the most distinguished philosophers of modality in the world, as (...) well as several rising stars. Each essay is followed by a reply by Williamson. In addition, the book contains a major new essay by Williamson, ‘Modal science,’ concerning the role of modal claims in natural science. This book was originally published as a special issue of the *Canadian Journal of Philosophy.*. (shrink)

We detect three main critical ideas in Bourget and Mendelovici's (2022; henceforth BM) discussion of Narrow Content (Yli-Vakkuri and Hawthorne 2018). We will discuss each in this reply.

In this reply to Paul Pietroski’s comment on our book Narrow Content, we address his concern that we assume too tight a connection between sentences and contents and thus ignore polysemy. We argue that we were not relying on problematic disquotational assumptions and that our arguments are fully compatible with rampant polysemy. We also argue that Pietroski’s strategy of making room for a theoretically interesting kind of narrow content by giving up the idea that contents determine extensions at indices doesn’t (...) save him from our “Mirror Man” counterexamples. We argue finally that narrow polyadic relations of the sort that feature in our final chapter are better suited than narrow content assignments for Pietroski’s explanatory needs. (shrink)