‘A logical theory may be tested by its capacity for dealing with puzzles, and it is a wholesome plan, in thinking about logic, to stock the mind with as many puzzles as possible, since these serve much the same purpose as is served by experiments in physical science.’ This paper is an attempt to follow Russell’s advice by using a puzzle about the contingent a priori to test and explore certain theories of reference and modality. No one could claim that (...) the puzzle is of any great philosophical importance by itself, but to understand it, one has to get clear about certain aspects of the theory of reference; and to solve it, one has to think a little more deeply than one is perhaps accustomed about what it means to say that a statement is contingent or necessary. (shrink)

The truth of a statement depends on the world in two ways: what the statement says is true if the world is as the statement says it is; on the other hand, what the expressions in the statement mean depends on what the world is like (for instance, on what conventions are in place). Each of these two kinds of dependence of truth on the world corresponds to one of the dimensions on the two-dimensional semantic framework, developed in the 1970’ (...) in the work of Evans, Kaplan, Kripke and Stalnaker. The introduction provides a systematic overview of the framework, the ideas of its earlier originators, recent developments and criticism. Finally, it gives a brief overview over the contributions to the volume. (shrink)

[[This paper appears in my anthology _Philosophy of Mind: Classical and Contemporary Readings_ (Oxford University Press, 2002), pp. 608-633. It is a heavily revised version of a paper first written in 1994 and revised in 1995. Sections 1, 7, 8, and 10 are similar to the old version, but the other sections are quite different. Because the old version has been widely cited, I have made it available (in its 1995 version) at http://consc.net/papers/content95.html.

Compatibilism combines an externalist view of mental content with a doctrine of privileged self‐knowledge. The essay presents a reductio of compatibilism by arguing that if compatibilism were true, we would be in a position to know certain facts about the world a priori, facts that no one can reasonably believe are knowable a priori. Whether this should be taken to cast doubt on externalism or privileged self‐knowledge is not discussed. Consideration is given to the ’empty case’—the case in which a (...) thinker expresses what he takes to be a genuine thought concerning a natural kind but where there is in fact no relevant natural kind, so that the putative natural kind term fails to refer. It is argued that, in such a case, on an externalist conception of natural kind terms, the thinker is deluded in taking himself to be expressing a complete thought, and that such delusions are not compatible with privileged self‐knowledge. (shrink)

‘A logical theory may be tested by its capacity for dealing with puzzles, and it is a wholesome plan, in thinking about logic, to stock the mind with as many puzzles as possible, since these serve much the same purpose as is served by experiments in physical science.’ This paper is an attempt to follow Russell’s advice by using a puzzle about the contingent a priori to test and explore certain theories of reference and modality. No one could claim that (...) the puzzle is of any great philosophical importance by itself, but to understand it, one has to get clear about certain aspects of the theory of reference; and to solve it, one has to think a little more deeply than one is perhaps accustomed about what it means to say that a statement is contingent or necessary. (shrink)

Descriptivists say that every name is synonymous with some definite description, and Descriptivists who are Widescopers say that the definite description that a name is synonymous with must take wide scope with respect to modal adverbs such as “necessarily”. In this paper, I argue against Widescopism. Widescopers should be Super Widescopers: that is, they should say that the definite description that a name is synonymous with must take wide scope with respect to complementizers such as “that”. Super Widescopers should be (...) Super Duper Widescopers: that is, they should say that the definite description that a name is synonymous with must take wide scope with respect to quotation marks. And Super Duper Widescopers should be Ultra Super Duper Widescopers: that is, they should say that, when the definite description that a name is synonymous with itself contains a name, the definite description that that name is synonymous with must take wide scope with respect to modal adverbs, complementizers, and quotation marks. But Descriptivists should not be Ultra Super Duper Widescopers. So Descriptivists should not be Widescopers either. (shrink)

This paper argues that David Chalmer's new epistemic interpretation of 2-D semantics faces the very same type of objection he takes to defeat earlier contextualist interpretation of the 2-D framework.