Frege's picture of attitude states and attitude reports requires a notion of content that is shareable between agents, yet more fine-grained than reference. Kripke challenged this picture by giving a case on which the expressions that resist substitution in an attitude report share a candidate notion of fine-grained content. A consensus view developed which accepted Kripke's general moral and replaced the Fregean picture with an account of attitude reporting on which states are distinguished in conversation by their (private) representational properties. (...) I begin in support of the consensus by showing how a sort of de facto coordination on mental symbols is possible, even for unsophisticated agents. But I go on to argue that whenever conditions are ripe for de facto coordination on symbols, there is an inter-subjective relation that supports a fine-grained notion of content resistant to Kripke's challenge. The consensus view corresponds to a Kripke-resistant strain of the Fregean picture. (shrink)

Although ‘Rxx’ and ‘Rxy’ are both applications of a two-place predicate to a pair of terms, ‘Rxx’ resembles a one-place predicate in that all one needs to evaluate it is an assignment to ‘x’. A similar point applies to the sequences ‘Fx’, ‘Gx’ and ‘Fx’, ‘Gy’ – even though neither is a one-place predicate. Kit Fine’s semantic relationalism aims to extract a common idea uniting these comparisons, and to use it to provide a Millian solution to Frege’s Puzzle.

This paper articulates two constraints on an acceptable account of meaning: (i) accessibility: sameness of meaning affords an immediate appearance of de jure co-reference, (ii) flexibility: sameness of meaning tolerates open-ended variation in speakers' substantive understanding of the reference. Traditional accounts of meaning have trouble simultaneously satisfying both constraints. I suggest that relationally individuated meanings provide a promising way of avoiding this tension. On relational accounts, we bootstrap our way to de jure co-reference: the subjective appearance of de jure co-reference (...) helps make it the case that two token representations really do co-refer. (shrink)

Many philosophers nowadays believe Frege was right about belief, but wrong about language: The contents of beliefs need to be individuated more finely than in terms of Russellian propositions, but the contents of utterances do not. I argue that this 'hybrid view' cannot offer no reasonable account of how communication transfers knowledge from one speaker to another and that, to do so, we must insist that understanding depends upon more than just getting the references of terms right.

The Philosophical Review, Vol. XCVI, No. 4 (October 1987). Categorically proves that Leibniz's Law (the principle that any instance of _for any x and y, if x=y, then if ...x..., then ..y..._ is true) is not a principle of which is true of natural language objectual quantification.

I argue that Frege Problems in thought are best modeled using graph-theoretic machinery; and that these problems can arise even when subjects associate all the same qualitative properties to the object they’re thinking of twice. I compare the proposed treatment to similar ideas by Heck, Ninan, Recanati, Kamp and Asher, Fodor, and others.

Sometimes two expressions in a discourse can be about the same thing in a way that makes that very fact evident to the participants. Consider, for example, 'he' and 'John' in 'John went to the store and he bought some milk'. Let us call this 'de jure' coreference. Other times, coreference is 'de facto' as with 'Mark Twain' and 'Samuel Clemens' in a sincere use of 'Mark Twain is not Samuel Clemens'. Here, agents can understand the speech without knowing that (...) the names refer to the same person. After surveying many available linguistic and pragmatic tools (intentions to corefer, presuppositions, meanings, indexing, discourse referents, binding etc.) I conclude that we must posit a new semantic primitive to account for de jure coreference. (shrink)

Kit Fine has reawakened a puzzle about variables with a long history in analytic philosophy, labeling it “the antinomy of the variable”. Fine suggests that the antinomy demands a reconceptualization of the role of variables in mathematics, natural language semantics, and first-order logic. The difficulty arises because: (i) the variables ‘x’ and ‘y’ cannot be synonymous, since they make different contributions when they jointly occur within a sentence, but (ii) there is a strong temptation to say that distinct variables ‘x’ (...) and ‘y’ are synonymous, since sentences differing by the total, proper substitution of ‘x’ for ‘y’ always agree in meaning. We offer a precise interpretation of the challenge posed by (i) and (ii). We then develop some neglected passages of Tarski to show that his semantics for variables has the resources to resolve the antinomy without abandoning standard compositional semantics. (shrink)

In a series of recent works, Kit Fine, 605–631, 2003, 2007) has sketched a novel solution to Frege’s puzzle. Radically departing from previous solutions, Fine argues that Frege’s puzzle forces us to reject compositionality. In this paper we first provide an explicit formalization of the relational semantics for first-order logic suggested, but only briefly sketched, by Fine. We then show why the relational semantics alone is technically inadequate, forcing Fine to enrich the syntax with a coordination schema. Given this enrichment, (...) we argue, that that the semantics is compositional. We then examine the deep consequences of this result for Fine’s proposed solution to Frege’s puzzle. We argue that Fine has mis-diagnosed his own solution–his attempted solution does not deny compositionality. The correct characterization of Fine’s solution fits him more comfortably among familiar solutions to the puzzle. (shrink)

Demonstratives seem to have posed a severe difficulty for Frege’s philosophy of language, to which his doctrine of incommunicable senses was a reaction. In “The Thought,” Frege briefly discusses sentences containing such demonstratives as “today,” “here,” and “yesterday,” and then turns to certain questions that he says are raised by the occurrence of “I” in sentences (T, 24-26). He is led to say that, when one thinks about oneself, one grasps thoughts that others cannot grasp, that cannot be communicated. However, (...) nothing could be more out of the spirit of Frege’s account of sense and thought than an incommunicable, private thought. In the first part of the paper, I explain the problem demonstratives pose for Frege, and explore three ways he might have dealt with it. I argue that none of these ways provides Frege with a solution to his problem consistent with his philosophy of language. The first two are plausible as solutions, but contradict his identification of the sense expressed by a sentence with a thought. The third preserves the identification, but is implausible. In the second part, I suggest that Frege was led to his doctrine of incommunicable senses as a result of some appreciation of the difficulties his account of demonstratives faces, for these come quickly to the surface when we think about “I.” I argue that incommunicable senses won’t help. I end by trying to identify the central problem with Frege’s approach, and sketching an alternative. (shrink)

There are many alternative ways that a mind or brain might represent that two of its representations were of the same object or property, the 'Strawson' model, the 'duplicates' model, the 'synchrony' mode, the 'Christmas lights' model, the 'anaphor' model, and so forth. I first discuss what would constitute that a mind or brain was using one of these systems of identity marking rather than another. I then discuss devastating effects that adopting the Strawson model has on the notion that (...) there are such things as modes of presentation in thought. Next I argue that Evans' idea that there are 'dynamic Fregean thoughts' has exactly the same implications. I argue further that all of the other models of thought discussed earlier are in fact isomorphic to the Strawson model. a search for the source of these difficulties reveals the classical notion of modes of presentation as resting on two assumptions, neither of which I recommend. It depends on denying that the way the mind reacts to or understands the thoughts or ideas that it harbours has any bearing on their intentional contents. And it depends on an internalist view of thought content, in particular, on denying that the natural informational content carried or potentially carried by a thought has any bearing on its intentional content. (shrink)

So-called 'Frege cases' pose a challenge for anyone who would hope to treat the contents of beliefs (and similar mental states) as Russellian propositions: It is then impossible to explain people's behavior in Frege cases without invoking non-intentional features of their mental states, and doing that seems to undermine the intentionality of psychological explanation. In the present paper, I develop this sort of objection in what seems to me to be its strongest form, but then offer a response to it. (...) I grant that psychological explanation must invoke non-intentional features of mental states, but it is of crucial importance which such features must be referenced. -/- It emerges from a careful reading of Frege's own view that we need only invoke what I call 'formal' relations between mental states. I then claim that referencing such 'formal' relations within psychological explanation does not undermine its intentionality in the way that invoking, say, neurological features would. The central worry about this view is that either (a) 'formal' relations bring narrow content in through back door or (b) 'formal' relations end up doing all the explanatory work. Various forms of each worry are discussed. The crucial point, ultimately, is that the present strategy for responding to Frege cases is not available either to the 'psycho-Fregean', who would identify the content of a belief with its truth-value, nor even to someone who would identify the content of a belief with a set of possible worlds. It requires the sort of rich semantic structure that is distinctive of Russellian propositions. There is therefore no reason to suppose that the invocation of 'formal' relations threatens to deprive content of any work to do. (shrink)

In his paper “Flaws of Formal Relationism”, Mahrad Almotahari argues against the sort of response to Frege's Puzzle I have defended elsewhere, which he dubs ‘Formal Relationism’. Almotahari argues that, because of its specifically formal character, this view is vulnerable to objections that cannot be raised against the otherwise similar Semantic Relationism due to Kit Fine. I argue in response that Formal Relationism has neither of the flaws Almotahari claims to identify.

Call an account of names satisfactionalist if it holds that object o is the referent of name a in virtue of o’s satisfaction of a descriptive condition associated with a. Call an account of names minimally descriptivistif it holds that if a competent speaker finds ‘a=b’ to be informative, then she must associate some information with ‘a’ which she does not associate with ‘b’. The rejection of both positions is part of the Kripkean orthodoxy, and is also built into extant (...) versions of the file-picture of reference. In this paper, I argue that the rejection of minimal descriptivism only follows from the rejection of satisfactionalism given certain implausible assumptions about the nature of competence with a proper name. I do this by showing that considerations internal to the file-picture - in particular the idea that competence with a proper name constitutes an ‘epistemically rewarding’ relation to its bearer - motivate an acceptance of minimal descriptivism. (shrink)

Recent work has brought to prominence the idea that some utterances contain occurrences of noun phrases that not only corefer, but do so in a particularly guaranteed or explicit way—call such occurrences ‘de jure coreferential’. Studies of de jure coreference have considered both the characteristics of the relation, and its explanation. Pinillos (154(2):301–324, 2011) argues that de jure coreference is non-transitive, and uses this as part of his argument for a new semantic primitive explaining de jure coreference. In this paper, (...) I draw attention to a neglected distinction between de jure coreference and another kind of coreference with which it might easily be confused. I then consider Pinillos’s claim that de jure coreference is non-transitive, and conclude that even using Pinillos’s definition of de jure coreference, it is far from straightforward that he has demonstrated the non-transitivity of de jure coreference. I question whether Pinillos’s characterisation of de jure coreference is adequate, and offer a plausible alternative characterisation. I show that on this new characterisation, there is no evidence that the relation is non-transitive. (shrink)

Variabilism is the view that proper names (like pronouns) are semantically represented as variables. Referential names, like referential pronouns, are assigned their referents by a contextual variable assignment (Kaplan 1989). The reference parameter (like the world of evaluation) may also be shifted by operators in the representation language. Indeed verbs that create hyperintensional contexts, like ‘think’, are treated as operators that simultaneously shift the world and assignment parameters. By contrast, metaphysical modal operators shift the world of assessment only. Names, being (...) variables, refer rigidly in the latter merely intensional contexts, but may vary their reference in hyperintensional contexts. This conforms to the intuition that the content of attitude ascriptions encapsulates referential uncertainty. Furthermore, names in hyperintensional contexts are ambiguous between de re* and de dicto* interpretations. This fact is used to account for asymmetric mistaken identity attributions (for example, Biron thinks Katherine is Rosaline, but he doesn’t think Rosaline is Katherine). -/- The variable theory compares favourably with its alternatives, including Millianism and descriptivism. Millians cannot account for the behaviour of names in hyperintensional contexts, while descriptivists cannot generate a necessary contrast between intensional and hyperintensional contexts. No other theory can capture the facts pertaining to the existentially bound use of names. (shrink)

Among other virtues, Mental Files Theory provides a straightforward explanation of de jure coreference, i.e. identity of referent guaranteed by meaning alone: de jure coreference holds between terms when these are associated with the same mental file from which they inherit their reference. In this paper, I discuss an objection that Angel Pinillos raises against Mental Files Theory and other similar theories: the theory predicts that de jure coreference should be transitive, just like identity. Yet there are cases, involving ‘slash-terms’, (...) in which transitivity fails, or so it seems. In his book Mental Files, Recanati replies that the mental files theorist can accommodate Pinillos’ exceptions by offering a refined model of merging files, the ‘partial merging’ model. While agreeing with Recanati on the need for such a model, I contend that, pace Recanati and Pinillos, de jure coreference is transitive even in the presence of slash-terms. I will first show that paradoxical consequences ensue if slash-terms are said to de jure corefer with several basic terms at once. Then, building on two different accounts Recanati gives of referential confusion, I will show that on both views, de jure coreference cannot hold because of the behaviour of confused slash-terms. I will conclude that, in Mental Files Theory, a slash-term can, at most, de jure corefer with only one basic term per context. (shrink)

Formal relationism in the philosophy of mind is the thesis that folk psychological states should be individuated, at least partially, in terms of the purely formal inference-licensing relations between underlying mental representations. It's supposed to provide a Russellian alternative to a Fregean theory of propositional attitudes. I argue that there's an inconsistency between the motivation for formal relationism and the use to which it's put in defense of Russellian propositions. Furthermore, I argue that formal relationism is committed to epiphenomenalism about (...) singular mental content. (shrink)

This highly acclaimed book is a major contribution to the philosophy of language as well as a systematic interpretation of Frege, indisputably the father of ...

Introducing a new and ambitious position in the field, Kit Fine’s _Semantic Relationism_ is a major contribution to the philosophy of language. Written by one of today’s most respected philosophers Argues for a fundamentally new approach to the study of representation in language and thought Proposes that there may be representational relationships between expressions or elements of thought that are not grounded in the intrinsic representational features of the expressions or elements themselves Forms part of the prestigious new _Blackwell/Brown Lectures (...) in Philosophy_ series, based on an ongoing series of lectures by today’s leading philosophers. (shrink)

It is beliefs of this sort--de linguabeliefs--that Robert Fiengo and Robert May explore in this book.