This book is about the idea that some true statements would have been true no matter how the world had turned out, while others could have been false. It develops and defends a version of the idea that we tell the difference between these two types of truths in part by reflecting on the meanings of words. It has often been thought that modal issues—issues about possibility and necessity—are related to issues about meaning. In this book, the author defends the (...) view that the analysis of meaning is not just a preliminary to answering modal questions in philosophy; it is not merely that before we can find out whether something is possible, we need to get clear on what we are talking about. Rather, clarity about meaning often brings with it answers to modal questions. In service of this view, the author analyzes the notion of necessity and develops ideas about linguistic meaning, applying them to several puzzles and problems in philosophy of language. Meaning and Metaphysical Necessity will be of interest to scholars and advanced students working in metaphysics, philosophy of language, and philosophical logic. [See my homepage for a sample chapter.]. (shrink)

According to the extended mind thesis, cognitive processes are not confined to the nervous system but can extend beyond skin and skull to notebooks, iPhones, computers and such. The extended mind thesis is a metaphysical thesis about the material basis of our cognition. As such, whether the thesis is true can have implications for epistemological issues. Carter has recently argued that safety-based theories of knowledge are in tension with the extended mind hypothesis, since the safety condition implies that there is (...) an epistemic difference between subjects who form their beliefs via their biological capacities and between subjects who have extended their cognition. Kelp, on the other hand, has argued that a safety-based theory of knowledge can be correct only if the extended mind thesis is true. While these claims are not logically inconsistent, they do leave the safety theorist in an uncomfortable position. I will argue that safety-based theories of knowledge are not hostage to the truth of the extended mind thesis, and that once the safety condition is properly understood it is not in tension with the extended mind thesis. (shrink)

It was an empirical discovery that Phosphorus is Hesperus. According to Kripke, this was also the discovery of a necessary fact. Now, given Kripke’s theory of direct reference one could wonder what kind of discovery this is. For we already knew Phosphorus/Hesperus, and we also knew that any entity is, necessarily, identical to itself. So what is it that was discovered? I want to show that there is more to this widely known case than what usual readings, and critics, reveal; (...) and I want to show this under the Kripkean pattern that what was discovered is the plain fact of identity that Phosphorus is, and necessarily is, Hesperus. Moreover, I will show how both Kripkean theses, the necessity of identity and the direct theory of reference, should not be kept apart to understand the kind of discovery this is. In particular, understanding the kind of discovery we made will help us see how intuition is displayed in metaphysics, and how metaphysical impossibilities, and metaphysical modality in general, can be discerned by reason and separated from other modalities. The study of this discovery will help us see, in a line, how identity belongs to the inner and most profound structure of reality and to the most profound structure of cognition and language. (shrink)

Introspection presents our phenomenal states in a manner otherwise than physical. This observation is often thought to amount to an argument against physicalism: if introspection presents phenomenal states as they essentially are, then phenomenal states cannot be physical states, for we are not introspectively aware of phenomenal states as physical states. In this article, I examine whether this argument threatens a posteriori physicalism. I argue that as along as proponents of a posteriori physicalism maintain that phenomenal concepts present the nature (...) of their referents in a partial and incomplete manner, a posteriori physicalism is safe. (shrink)

A number of prominent epistemologists claim that the principle of sensitivity “play[s] a starring role in the solution to some important epistemological problems”. I argue that traditional sensitivity accounts fail to explain even the most basic data that are usually considered to constitute their primary motivation. To establish this result I develop Gettier and lottery cases involving necessary truths. Since beliefs in necessary truths are sensitive by default, the resulting cases give rise to a serious explanatory problem for the defenders (...) of sensitivity accounts. It is furthermore argued that attempts to modally strengthen traditional sensitivity accounts to avoid the problem must appeal to a notion of safety—the primary competitor of sensitivity in the literature. The paper concludes that the explanatory virtues of sensitivity accounts are largely illusory. In the framework of modal epistemology, it is safety rather than sensitivity that does the heavy explanatory lifting with respect to Gettier cases, lottery examples, and other pertinent cases. (shrink)

Saul Kripke argued that the requirement that knowledge eliminate all possibilities of error leads to dogmatism . According to this view, the dogmatism puzzle arises because of a requirement on knowledge that is too strong. The paper argues that dogmatism can be avoided even if we hold on to the strong requirement on knowledge. I show how the argument for dogmatism can be blocked and I argue that the only other approach to the puzzle in the literature is mistaken.

The central topic of this article is (the possibility of) de re knowledge about natural numbers and its relation with names for numbers. It is held by several prominent philosophers that (Peano) numerals are eligible for existential quantification in epistemic contexts (‘canonical’), whereas other names for natural numbers are not. In other words, (Peano) numerals are intimately linked with de re knowledge about natural numbers, whereas the other names for natural numbers are not. In this article I am looking for (...) an explanation of this phenomenon. It is argued that the standard induction scheme plays a key role. (shrink)

Epistemologists have proposed various norms of assertion to explain when a speaker is in an epistemic position to assert a proposition. In this article I propose a distinct necessary condition on assertibility: that a speaker should assert only what she sensitively believes, where a subject's belief is sensitive just in case the subject would not hold it if it were false. I argue that the Sensitivity Rule underwrites simple explanations for three key features of assertibility that pose explanatory challenges to (...) other prominent proposals: the fact that assertibility is open under known entailment, the general impropriety of assertions that a lottery ticket has lost made purely on the basis of the speaker's knowledge of the odds, and the fact that assertibility varies widely with features of the conversational context. I close by considering three distinct roles the Sensitivity Rule might play in the overall theory of assertibility. (shrink)

I argue that while admission of one's own fallibility rationally requires one's readiness to stand corrected in the light of future evidence, it need have no consequences for one's present degrees of belief. In particular, I argue that one's fallibility in a given area gives one no reason to forego assigning credence 1 to propositions belonging to that area. I can thus be seen to take issue with David Christensen's recent claim that our fallibility has far-reaching consequences for our account (...) of rational belief and epistemic rationality. My arguments inter alia rely on the idea that in basing one's beliefs on one's evidence, one trusts both that one's evidence has the right pedigree and that one gets its probative force right, where such trust can rationally be invested without the need of any further evidence. (shrink)

Do you know who you are? If the question seems unclear, it might owe to the notion of ‘knowing-wh’ (knowing-who, knowing-what, knowing-when, etc.). Such knowledge contrasts with ‘knowing-that’, the more familiar topic of epistemologists. But these days, knowing-wh is receiving more attention than ever, and here we will survey three current debates on the nature of knowing-wh. These debates concern, respectively, (1) whether all knowing-wh is reducible to knowing-that (‘generalized intellectualism’), (2) whether all knowing-wh is relativized to a contrast proposition (...) (‘contrastivism about knowing-wh’), and (3) whether the context-sensitivity of knowing-wh is a semantic or purely pragmatic phenomenon (‘contextualism vs. invariantism about knowing-wh’). (shrink)

Turing computation over a non-linguistic domain presupposes a notation for the domain. Accordingly, computability theory studies notations for various non-linguistic domains. It illuminates how different ways of representing a domain support different finite mechanical procedures over that domain. Formal definitions and theorems yield a principled classification of notations based upon their computational properties. To understand computability theory, we must recognize that representation is a key target of mathematical inquiry. We must also recognize that computability theory is an intensional enterprise: it (...) studies entities as represented in certain ways, rather than entities detached from any means of representing them. (shrink)

In this paper I look at Fred Dretske’s account of information and knowledge as developed in Knowledge and The Flow of Information. In particular, I translate Dretske’s probabilistic definition of information to a modal logical framework and subsequently use this to explicate the conception of information and its flow which is central to his account, including the notions of channel conditions and relevant alternatives. Some key products of this task are an analysis of the issue of information closure and an (...) investigation into some of the logical properties of Dretske’s account of information flow. (shrink)

The mooronic solution to the surprise quiz paradox says students know there will be a surprise quiz one day this week but they lose this knowledge on the penultimate day. This is because ‘there will be a surprise quiz one day this week’ then becomes an instance of Moore's paradox. This view has surprising consequences. Furthermore, even though the surprise quiz announcement becomes an instance of Moore's paradox on the penultimate day, this does not prevent the students from knowing the (...) quiz is coming. I conclude that the first stage of the paradoxical argument succeeds and the mooronic solution fails. (shrink)

We’ve all been at parties where there's one cookie left on what was once a plate full of cookies, a cookie no one will eat simply because everyone is following a rule of etiquette, according to which you’re not supposed to eat the last cookie. Or at least we think everyone is following this rule, but maybe not. In this paper I present a new paradox, the Cookie Paradox, which is an argument that seems to prove that in any situation (...) in which everyone is truly following the rule, no one eats any cookies at all, no matter how many there are to be eaten. The ‘Cookie Argument’ resembles the more familiar argument that surprise exams are impossible, but it's not exactly the same. I argue that the biggest difference is that, unlike the surprise exam argument, the Cookie Argument is actually sound! I conclude the paper by explaining how it could be possible for a group of people to engage in behavior (eating cookies) that guarantees that at least one of the members of the group will violate a rule, even when it's common knowledge in the group that everyone is committed to following that very rule. (shrink)

Peter Geach's puzzle of intentional identity is to explain how the claim ‘Hob thinks a witch has blighted Bob's mare, and Nob wonders whether she killed Cob's sow’ is compatible with there being no such witch. I clarify the puzzle and reduce it to the familiar problem of negative existentials. That problem is a paradox of representations that seem to include denials of commitment , to carry commitment to what they deny commitment to, and to be true. The best proposed (...) solutions can be understood through this paradox; I evaluate them, and defend a new solution. (shrink)