Robert Stalnaker argues that his causal-pragmatic account of the problem of intentionality commits him to a coarse-grained conception of the contents of mental states, where propositions are represented as sets of possible worlds. Stalnaker also accepts the "direct reference" theory of names, according to which co-referring names have the same content. Stalnaker's view of content is thus threatened by Frege's Puzzle. Stalnaker's classic paper "Assertion" is intended to provide a response to this threat. In this paper, I evaluate Stalnaker's claim (...) that the causal-pragmatic account of intentionality commits one to a coarse-grained conception of the contents of mental states, and argue that the apparatus laid out in "Assertion" is not sufficiently comprehensive to account for all versions of Frege's Puzzle. (shrink)

Beliefs are commonly analyzed as binary relations between subjects and propositions. Perry and Lewis have shown that the standard account has difficulties in handling self-locating beliefs. Robert Stalnaker has recently put forward a version of the standard account that is supposed to overcome this problem. Stalnaker's motivation for defending the propositional account of belief is that it comes with a simple and powerful propositional model of communication. In this paper I argue that Stalnaker's proposal fails. The only way of upholding (...) the propositional account of belief is by abandoning the simple account of communication. (shrink)

The most common first- and second-order modal logics either have as theorems every instance of the Barcan and Converse Barcan formulae and of their second-order analogues, or else fail to capture the actual truth of every theorem of classical first- and second-order logic. In this paper we characterise and motivate sound and complete first- and second-order modal logics that successfully capture the actual truth of every theorem of classical first- and second-order logic and yet do not possess controversial instances of (...) the Barcan and Converse Barcan formulae as theorems, nor of their second-order analogues. What makes possible these results is an understanding of the individual constants and predicates of the target languages as strongly Millian expressions, where a strongly Millian expression is one that has an actually existing entity as its semantic value. For this reason these logics are called ‘strongly Millian’. It is shown that the strength of the strongly Millian second-order modal logics here characterised afford the means to resist an argument by Timothy Williamson for the truth of the claim that necessarily, every property necessarily exists. (shrink)