Frege's Puzzle

This paper presents Elmar Unnsteinsson’s novel theory of Edenic Intentionalism, on which a speaker cannot refer to an object when the speaker is relevantly confused about its identity. A challenge to the theory is presented and several possible responses considered. The challenge is this: According to Edenic Intentionalism, reference often fails even when speakers seem to refer successfully. Elmar therefore supplements Edenic Intentionalism with an explanation of how communication can succeed without reference. If such an explanation is available, it isn’t (...) clear what need there is for Edenic Intentionalism. (shrink)

According to relationism, for Alice to believe that some rabbits can speak is for Alice to stand in a relation to a further entity, some rabbits can speak. But what could this further entity possibly be? Higher-order metaphysics seems to offer a simple, natural answer. On this view (roughly put), expressions in different syntactic categories (for instance: names, predicates, sentences) in general denote entities in correspondingly different ontological categories. Alice's belief can thus be understood to relate her to a sui (...) generis entity denoted by "some rabbits can speak", belonging to a different ontological category than Alice herself. This straightforward account of the attitudes has historically been deemed so attractive that it was seen as providing an important motivation for higher-order metaphysics itself (Prior [1971]). But I argue that it is not as straightforward as it might seem, and in fact that propositional attitudes present a foundational challenge for higher-order metaphysics. (shrink)

Analytic semantics got its start when Frege pointed out differences in cognitive content between sentences that in some good sense “say the same.” Frege put cognitive content (in the form of sense) at the heart of semantic content. Most prefer nowadays to see cognitive contents as generated by semantic contents in context; a sentence's cognitive significance is an aspect rather of the information imparted by its use. I argue for a particular version of this idea. Semantic contents generate cognitive contents (...) by operating levers in a larger piece of machinery, involving also the presupposition P one is leaning on and the subject matter M under discussion. A sentence's cognitive content is what its literal-content-restricted-to-P-worlds says about M. It's by triggering different presuppositions and/or different subject matters that coreferential names make their distinctive mark on a sentence's felt information value. (shrink)

There are two dominant approaches to quantification: the Fregean and the Tarskian. While the Tarskian approach is standard and familiar, deep conceptual objections have been pressed against its employment of variables as genuine syntactic and semantic units. Because they do not explicitly rely on variables, Fregean approaches are held to avoid these worries. The apparent result is that the Fregean can deliver something that the Tarskian is unable to, namely a compositional semantic treatment of quantification centered on truth and reference. (...) We argue that the Fregean approach faces the same choice: abandon compositionality or abandon the centrality of truth and reference to semantic theory. Indeed, we argue that developing a fully compositional semantics in the tradition of Frege leads to a typographic variant of the most radical of Tarskian views: variabilism, the view that names should be modeled as Tarskian variables. We conclude with the consequences of this result for Frege's distinction between sense and reference. (shrink)

In Frege’s Puzzle (1986), Salmon analyzed ‘a withholds believing p’ in terms of a ternary relation BEL of x believing a proposition p under a guise g. The proposed analysis is the following: There is a proposition guise g such that a grasps p by means of g but a does not stand in BEL to p and g. Sean Crawford has made a proposal for Millians to evade propositional guises through second-order belief. Specifically, in effect, Crawford’s proposes to analyze (...) the crucial notion of withheld belief instead as believing that one does not believe: a believes that a does not believe p. Crawford’s clever proposal thus avoids explicit quantification over guises. However, it is shown that the proposal is inadequate to avoid guises. The resulting notion is too weak to capture the relevant notion of withheld belief. (shrink)

// tl;dr A Proposition is a Way of Thinking // -/- This chapter is about type-theoretic approaches to propositional content. Type-theoretic approaches to propositional content originate with Hintikka, Stalnaker, and Lewis, and involve treating attitude environments (e.g. "Nate thinks") as universal quantifiers over domains of "doxastic possibilities" -- ways things could be, given what the subject thinks. -/- This chapter introduces and motivates a line of a type-theoretic theorizing about content that is an outgrowth of the recent literature on epistemic (...) modality, according to which contentful thought is broadly "informational" in its nature and import. The general idea here is that an object of thought is not a way *the world* could be, but rather a way *one's perspective* could be (with respect to a relevant representational question). I will spend the middle part of this chapter motivating and developing a version of this strategy that is, I’ll argue, well-suited to explaining clear phenomena concerning the attribution of perspectival attitudes -- in particular, attitudes towards loosely information-sensitive propositions -- with which extant approaches struggle. My overarching goal here will be to motivate a distinctive version of the "informational" approach -- the "Flexible Types" approach, which is based on the theory proposed in Charlow (2020). According to the Flexible Types approach, propositional attitude verbs are quantifiers over sets of possibilities, but a possibility is a type-flexible notion -- sometimes a possible world, sometimes a perspective, sometimes a set of possible worlds, sometimes a set of perspectives. -/- After introducing the Flexible Types approach, this chapter circles back to more traditional concerns for the analysis of propositions as types of possibilities -- Frege's Puzzle and the problem of Logical Omniscience. Here too the Flexible Types approach bears fruit. Although there are certainly significant differences -- I note some in the concluding section -- the gist of this theory is Hinitkkan or Lewisian in spirit (if not quite in letter). We can make progress on addressing the challenges for the analysis of propositional content in terms of types of possibilities, through empirically driven refinement of our notion of what kind of thing a "doxastic possibility" is. (shrink)

We offer an interpretation of the mental files framework that eliminates the metaphor of files, information being contained in files, etc. The guiding question is whether, once we move beyond the metaphors, there is any theoretical role for files. We claim not. We replace the file-metaphor with two theses: the semantic thesis that there are irreducibly relational representational facts (viz. facts about the coordination of representations); and the metasemantic thesis that processes tied to information-relations ground those facts. In its canonical (...) statement, the ‘file’-theory makes reference to a certain kind of relational representational feature, and a certain kind of mental activity. Mental files need not come into it. In short, we posit mental filing without mental files. Our interpretation avoids awkward problems that arise on the standard interpretation and clarifies the explanatory commitments of the theory. (shrink)

Among the virtues of relationist approaches to Frege’s puzzle is that they put us in a position to outline structural features of the puzzle that were only implicit in earlier work. In particular, they allow us to frame questions about the relation between the explanatory roles of sense and sameness of sense. In this paper, I distinguish a number of positions about that relation which have not been clearly distinguished. This has a few pay-offs. It allows us to shed light (...) on recent controversies about the ‘essential indexical’, and it also allows us to see what’s at stake between relationists and their opponents. When we see what’s at stake, we can see that we have reason to adopt an account of cognitive significance that incorporates elements of both relationist and Fregean approaches. (shrink)

My belief that Socrates was wise, and your belief that Socrates was mortal can be said to have a common focus, insofar as both these thoughts are about Socrates. In Peter Geach’s terminology, the objects of our beliefs bear the feature of intentional identity, because our beliefs share the same putative target. But what if it turned out that Socrates never existed? Can a pair of thoughts share a common focus if the object both thoughts are about, does not actually, (...) really exist? Object-centric accounts of intentionality which explain the aboutness or directedness of thought in terms of the intentional object the thought in question is about, contend that thoughts which share a common focus do so in virtue of both thoughts simply being about the same intentional object. However, Alexander Sandgren contends that such theories face difficulties in explaining a puzzle of intentional identity put forward by Walter Edelberg, in which a pair of sentences seem to differ in truth value but are purportedly logically equivalent on the object-centric theory. If this is right, then it seems that any account which explains intentionality with reference to an intentional object is threatened by this result, whether this object be abstract, merely possible, Meinongian, or otherwise. In this paper, I argue that Edelberg’s Puzzle is analogous to Frege’s Puzzle and the same tools conventionally used to solve Frege’s Puzzle can be used to solve Edelberg’s Puzzle. I then propose a new object-centric solution to Edelberg’s Puzzle which takes into account modes of presentation and which is able to accommodate all the relevant linguistic data. (shrink)

Among philosophers, Fregeanism and sententialism are widely considered two of the leading theories of the semantics of attitude reports. Among linguists, these approaches have received little recent sustained discussion. This paper aims to bridge this divide. I present a new formal implementation of Fregeanism and sententialism, with the goal of showing that these theories can be developed in sufficient detail and concreteness to be serious competitors to the theories which are more popular among semanticists. I develop a modern treatment of (...) quantifying in for Fregeanism and sententialism, in the style of Heim and Kratzer, and then show how these theories can—somewhat surprisingly—account for “third readings” on the model of the “Standard Solution” from possible-worlds semantics. The resulting Fregean/sententialist proposal has a distinctive attraction: it treats data related to counterfactual attitudes —which have proven challenging to accommodate in the setting of possible worlds semantics—straightforwardly as third readings. (shrink)

What is the relationship between Frege’s puzzle and the puzzle of the de se? An increasingly influential view claims that the de se puzzle is merely an instance of Frege’s puzzle and that the idea that de se attitudes pose a distinctive theoretical challenge rests on a myth. Here we argue that this view is misguided. There are important differences between the two puzzles. First, unlike Frege puzzle cases, de se puzzle cases involve unshareable Fregean senses. Second, unlike Frege puzzle (...) cases, de se puzzle cases cannot be resolved by objective information alone. Further, there seem to be pure cases of each puzzle: instances of the de se puzzle which do not have a Fregean structure, and instances of Frege’s puzzle, which do not involve de se attitudes. We conclude that the two puzzles are fundamentally different and that the traditional theory of attitudes needs to be amended. (shrink)

We draw attention to a series of implicit assumptions that have structured the debate about Frege’s Puzzle. Once these assumptions are made explicit, we rely on them to show that if one focuses exclusively on the issues raised by Frege cases, then one obtains a powerful consideration against a fine-grained conception of propositional-attitude content. In light of this consideration, a form of Russellianism about content becomes viable.

Frege's Puzzle is a founding problem in analytic philosophy. It lies at the intersection of central topics in the philosophy of language and mind: the theory of reference, the nature of propositional attitudes, the nature of semantic theorizing, the relation between semantics and pragmatics, etc. This chapter is an overview of the puzzle and of the space of contemporary approaches to it.

I observe that the “concept-generator” theory of Percus and Sauerland (2003), Anand (2006), and Charlow and Sharvit (2014) does not predict an intuitive true interpretation of the sentence “Plato did not believe that Hesperus was Phosphorus”. In response, I present a simple theory of attitude reports which employs a fine-grained semantics for names, according to which names which intuitively name the same thing may have distinct compositional semantic values. This simple theory solves the problem with the concept-generator theory, but, as (...) I go on to show, it has problems of its own. I present three examples which the concept-generator theory can accommodate, but the simple fine-grained theory cannot. These examples motivate the full theory of the paper, which combines the basic ideas behind the concept-generator theory with a fine-grained semantics for names. The examples themselves are of interest independently of my theory: two of them constrain the original concept-generator theory more tightly than previously discussed examples had. (shrink)

A central dispute in understanding Frege’s philosophy concerns how the sense of a complex expression relates to the senses of its component expressions. According to one reading, the sense of a complex expression is a whole built from the senses of the component expressions. On this interpretation, Frege is an early proponent of structured propositions. A rival reading says that senses compose by functional application: the sense of a complex expression is the value of the function denoted by its functional (...) component for the arguments denoted by its remaining components. I argue that two non-negotiable Fregean theses entail that senses compose by functional application. One thesis is that referents compose by functional application. The other thesis is that an expression in an indirect context refers to its customary sense. (shrink)

The use of language in hate speech is understandably offensive. Though words do not kill, they convey an alarming message that can harm the victim. To understand how words can harm, it is necessary to understand the nature of the meaning of pejoratives or slurs that are used in hate speech. Pejoratives are undeniably offensive. However, they are puzzling as they can be used in two directions, namely, the offensive power preservation and the offensive power destruction. This paper proposes that (...) the direct reference theory of pejoratives can solve the puzzle. A characterization of pejoratives is that it has the property of immediacy. They refer directly to the object of speech. Grounding on a shared context, any descriptions are unnecessary for understanding the offensive message of pejoratives. In this sense, pejoratives have indexical content as it is context-sensitive. The kind of indexical content that pertains to pejoratives is action-oriented. However, its object of reference is empty. In discussing pejoratives that are used in hate speech, some examples of Thai slurs are shown. (shrink)

It is widely held that counterfactuals, unlike attitude ascriptions, preserve the referential transparency of their constituents, i.e., that counterfactuals validate the substitution of identicals when their constituents do. The only putative counterexamples in the literature come from counterpossibles, i.e., counterfactuals with impossible antecedents. Advocates of counterpossibilism, i.e., the view that counterpossibles are not all vacuous, argue that counterpossibles can generate referential opacity. But in order to explain why most substitution inferences into counterfactuals seem valid, counterpossibilists also often maintain that counterfactuals (...) with possible antecedents are transparency‐preserving. I argue that if counterpossibles can generate opacity, then so can ordinary counterfactuals with possible antecedents. Utilizing an analogy between counterfactuals and attitude ascriptions, I provide a counterpossibilist‐friendly explanation for the apparent validity of substitution inferences into counterfactuals. I conclude by suggesting that the debate over counterpossibles is closely tied to questions concerning the extent to which counterfactuals are more like attitude ascriptions and epistemic operators than previously recognized. (shrink)

There is much to be said for a diachronic or interpersonal individuation of singular modes of presentation (MOPs) in terms of a criterion of epistemic transparency between thought tokens. This way of individuating MOPs has been discussed recently within the mental files framework, though the issues discussed here arise for all theories that individuate MOPs in terms of relations among tokens. All such theories face objections concerning apparent failures of the transitivity of the ‘same MOP’ relation. For mental files, these (...) transitivity failures most obviously occur because mental files can merge or undergo fission. In this paper I argue that this problem is easily resolved once mental files are properly construed as continuants, whose metaphysics is analogous to that of persons or physical objects. All continuants can undergo fission or fusion, leading to similar transitivity problems, but there are well-established theories of persistence that accommodate this. I suggest that, in particular, the stage theory best suits the purposes of a continuant theory of MOPs. (shrink)

The new theory of reference has won popularity. However, a number of noted philosophers have also attempted to reply to the critical arguments of Kripke and others, and aimed to vindicate the description theory of reference. Such responses are often based on ingenious novel kinds of descriptions, such as rigidified descriptions, causal descriptions, and metalinguistic descriptions. This prolonged debate raises the doubt whether different parties really have any shared understanding of what the central question of the philosophical theory of reference (...) is: what is the main question to which descriptivism and the causal-historical theory have presented competing answers. One aim of the paper is to clarify this issue. The most influential objections to the new theory of reference are critically reviewed. Special attention is also paid to certain important later advances in the new theory of reference, due to Devitt and others. (shrink)

We explore the view that Frege's puzzle is a source of straightforward counterexamples to Leibniz's law. Taking this seriously requires us to revise the classical logic of quantifiers and identity; we work out the options, in the context of higher-order logic. The logics we arrive at provide the resources for a straightforward semantics of attitude reports that is consistent with the Millian thesis that the meaning of a name is just the thing it stands for. We provide models to show (...) that some of these logics are non-degenerate. (shrink)

In “Real Patterns” Daniel Dennett developed an argument about the reality of beliefs on the basis of an analogy with patterns and noise. Here I develop Dennett’s analogy into an argument for descriptivism, the view that belief reports do no specify belief contents but merely describe what someone believes, and show that this view is also supported by empirical evidence. No description can do justice to the richness and specificity or “noisiness” of what someone believes, and the same belief can (...) be described by different sentences or propositions (which is illustrated by Dennett’s analogy, some Gettier cases, and Frege’s puzzle), but in some contexts some of these competing descriptions are misleading or even false. Faithful (or truthful) description must be guided by a principle (or principles) related to the principle of charity: belief descriptions should not attribute irrationality to the believer or have other kinds of “deviant” implications. (shrink)

I argue for a theory of the optimal function of the speech act of referring, called the edenic theory. First, the act of singular reference is defined directly in terms of Gricean communicative intentions. Second, I propose a doxastic constraint on the optimal performance of such acts, stating, roughly, that the speaker must not have any relevant false beliefs about the identity or distinctness of the intended object. In uttering a singular term on an occasion, on this theory, one represents (...) oneself as not having any confused beliefs about the object to which one intends to refer. This paves the way for an intentionalist theory of reference that circumvents well-known problems, which have not been adequately addressed before in the literature. (shrink)

Many philosophers have argued or taken for granted that Frege's puzzle has little or nothing to do with identity statements. I show that this is wrong, arguing that the puzzle can only be motivated relative to a thinker's beliefs about the identity or distinctness of the relevant object. The result is important, as it suggests that the puzzle can be solved, not by a semantic theory of names or referring expressions as such, but simply by a theory of identity statements. (...) To show this, I sketch a framework for developing solutions of this sort. I also consider how this result could be implemented by two influential solutions to Frege's puzzle, Perry's referential-reflexivism and Fine's semantic relationism. (shrink)

Although much has been written about the truth-conditions of de re attitude reports, little attention has been paid to certain ‘ultra-liberal’ uses of those reports. We believe that if these uses are legitimate, then a number of interesting consequences for various theses in philosophical semantics follow. The majority of the paper involves describing these consequences. In short, we argue that, if true, ultra-liberal reports: bring counterexamples to a popular approach to de re attitude ascriptions, which we will call ‘descriptivism’; and (...) combine with independently plausible principles about the logic of belief to imply that subjects can achieve omniscience about what exists from the armchair. Although we are not committed to the view that ultra-liberal reports are false, in the final part of the paper we discuss the prospects of pursuing a line according to which the acceptability of such reports ought not be taken at face value. We conclude by arguing that those who are sympathetic with this move might have reason to doubt the truth of an even broader class of acceptable de re attitude reports, namely those that have been taken to undermine orthodox accounts of de re attitude ascriptions. (shrink)

This paper proposes a novel conception of mental files, aimed at addressing Frege puzzles. Classical Frege puzzles involve ignorance and discovery of identity. These may be addressed by accounting for a more basic way for identity to figure in thought—the treatment of beliefs by the believer as being about the same thing. This manifests itself in rational inferences that presuppose the identity of what the beliefs are about. Mental files help to provide a functional characterization of a mind capable of (...) this presupposition, but more must be said to show how it may be rational. I argue that this can be done by drawing out the way in which mental files interact with a thinker's motivational states and so come to have normative functional properties. I show how this theory works better than some other treatments of mental files. (shrink)

Fregeanism and Relationism are competing families of solutions to Frege’s Puzzle, and by extension, competing theories of propositional representation. My aim is to clarify what is at stake between them by characterizing and evaluating a Relationist argument. Relationists claim that it is cognitively possible for distinct token propositional attitudes to be, in a sense, qualitatively indistinguishable: to differ in no intrinsic representational features. The idea of an ‘intrinsic representational feature’ is not, however, made especially clear in the argument. I clarify (...) it here and, having done so, offer reason to doubt the argument. This will put us in a position to draw some lessons about the relation between object-directed and representation-internal aspects of cognitive significance. (shrink)

It is widely supposed that if there is to be a plausible connection between the truth of a de re attitude report about a subject and that subject’s possession of a singular thought, then ‘acquaintance’-style requirements on singular thought must be rejected. I show that this belief rests on poorly motivated claims about how we talk about the attitudes. I offer a framework for propositional attitude reports which provides both attractive solutions to recalcitrant puzzle cases and the key to preserving (...) acquaintance constraints. The upshot is that there is an independently motivated response to the principal argument against acquaintance. (shrink)

‘On Reference’ is a collection of 18 original articles. While united in their concern with reference, they deal with a large variety of topics, ranging from questions concerning the nature of reference, through the interaction of reference and cognition, to more specific questions about the semantics of particular referring expressions. The contributions are of high quality: thought provoking, insightful and engagingly written. Many have the potential to substantially advance the debate in their field. In this critical notice I will do (...) two things. I will focus on a cluster of four essays (Chs. 10-13) that are concerned with a single topic: the view that proper names are predicates. Apart from illustrating the above mentioned virtues, these essays are well suited to be discussed in conjunction due to their tightly connected subject matter. Before I get to this though, I will give brief summaries of the remaining 14 articles, where space constraints prevent me from discussing them in the detail they deserve. (shrink)

Frege's puzzle is a fundamental challenge for accounts of mental and linguistic representation. This piece surveys a family of recent approaches to the puzzle that posit representational relations. I identify the central commitments of relational approaches and present several arguments for them. I also distinguish two kinds of relationism—semantic relationism and formal relationism—corresponding to two conceptions of representational relations. I briefly discuss the consequences of relational approaches for foundational questions about propositional attitudes, intentional explanation, and compositionality.

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)

This paper is about the meaning and function of identity statements involving proper names. There are two prominent views on this topic, according to which identity statements ascribe a relation: the object-view, on which identity statements ascribe a relation borne by all objects to themselves, and the name-view, on which an identity statement 'a is b' says that the names 'a' and 'b' codesignate. The object- and name-views may seem to exhaust the field. I make a case for treating identity (...) statements as sui generis instead of attempting to explain them by means of the idea that they ascribe a relation. My contention is that once we do this, no analysis is required. -/- I do not wish to insist that we stop saying that identity statements ascribe a relation. The point is that there is a fundamental disanalogy between identity statements and other two-termed statements which we overlook to our peril. This will be seen to parallel the more recognized disanalogy between existence statements and other one-termed statements. One way of registering the fundamental disanalogy is to say that identity statements are not relational, but this is not essential. Following my negative arguments in section 2, I employ some simple diagrammatical models in section 3 to exhibit the fundamental disanalogy. In a final section I respond to some possible objections which may be raised against this kind of approach. (shrink)

كان «فريجه» – على حد تعبير «دامت» – من أوائل من أدركوا أن نظرية المعنى، أو فلسفة اللغة، هي جزءٌ اساسي من الفلسفة ترتكز عليه كافة الأجزاء الاخرى؛ فإلى جانب دراساته التأسيسية الرائدة في الرياضيات والمنطق، كان يُؤسس ايضًا لفلسفة اللغة ببعض المقالات التي فاقت في تاثيرها وشهرتها تاثير وشهرة معظم أعماله الرياضية الأخرى، دون إقلال من شان هذه الأخيرة وريادتها. وهذه الدراسة بمثابة قراءة تحليلية – نقدية لمقاله الأكثر أهمية في هذا الصدد «في المعنى والإشارة»، مشفوعة بترجمة إلى العربية (...) للجزء الأكبر والاهم منه. (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)

Speakers are confused about identity if they mistake one thing for two or two things for one. I present two plausible models of confusion, the Frege model and the Millikan model. I show how a prominent objection to Fregean models fails and argue that confusion consists in having false implicit beliefs involving the identity relation. Further, I argue that confused identity has characteristic corruptive effects on singular cognition and on the proper function of singular terms in linguistic communication.

One reason to think that names have a predicate-type semantic value is that they naturally occur in count-noun positions: ‘The Michaels in my building both lost their keys’; ‘I know one incredibly sharp Cecil and one that's incredibly dull’. Predicativism is the view that names uniformly occur as predicates. Predicativism flies in the face of the widely accepted view that names in argument position are referential, whether that be Millian Referentialism, direct-reference theories, or even Fregean Descriptivism. But names are predicates (...) in all of their occurrences; they are predicates that are true of their bearers. When a name appears as a bare singular in argument position, it really occupies the predicate position of what in this essay is called a denuded definite description: a definite description with an unpronounced definite article. Sloat provided good evidence for this. The definite article is sometimes pronounced with names in the singular: ‘The Ivan we all love doesn't feel well’. Sloat proposed a disjunctive generalization of when the definite article must be pronounced with a singular name. This essay shows that by slightly revising Sloat's generalization, we arrive at a simple, nondisjunctive, syntactic rule that governs the overt appearance of the definite article with singular names. But Ivan does not necessarily bear the name ‘Ivan’, so one might worry that the sentence “Ivan might not have had ‘Ivan’ as a name” would incorrectly be predicted false. This essay shows that Predicativism does not have this consequence by showing that incomplete definite descriptions in general and incomplete denuded descriptions, such as ‘Øthe Ivan’, in particular are rigid designators. (shrink)

In his book Mental Files , Francois Recanati develops a theory of mind and language based on the idea that Fregean senses should be identified with ‘mental files’, mental representations whose primary function is to store information about objects. I discuss three aspects of Recanati’s book. The first concerns his use of acquaintance relations in individuating mental files, and what this means for ‘file dynamics’. The second concerns his comments on a theory that I have elsewhere advocated, the ‘sequenced worlds’ (...) or ‘multi-centered worlds’ theory. The third concerns how the mental file approach handles non-doxastic attitudes like imagining. (shrink)

We examine how Frege’s contrast between identity judgments of the forms “a=a” vs. “a=b” would fare in the special case where ‘a’ and ‘b’ are complex mental representations, and ‘a’ stands for an introspected ‘I’-thought. We first argue that the Fregean treatment of I-thoughts entails that they are what we call “one-shot thoughts”: they can only be thought once. This has the surprising consequence that no instance of the “a=a” form of judgment in this specific case comes out true, let (...) alone a priori true. This further reinforces Glezakos’s objections against the set-up of Frege’s puzzle, while also raising what we think is an acute problem for Fregeans, insofar as I-thought (and indexical thinking more generally), understood in their way, turns out to be incompatible with some basic features of rationality. (shrink)

Chalmers (Mind 120(479): 587–636, 2011a) presents an argument against “referentialism” (and for his own view) that employs Bayesianism. He aims to make progress in a debate over the objects of belief, which seems to be at a standstill between referentialists and non-referentialists. Chalmers’ argument, in sketch, is that Bayesianism is incompatible with referentialism, and natural attempts to salvage the theory, Chalmers contends, requires giving up referentialism. Given the power and success of Bayesianism, the incompatibility is prima facie evidence against referentialism. (...) In this paper, I review Chalmers’ arguments and give some responses on behalf of the referentialist. (shrink)

The 'substitution argument' purports to demonstrate the falsity of Russellian accounts of belief-ascription by observing that, e.g., these two sentences: (LC) Lois believes that Clark can fly. (LS) Lois believes that Superman can fly. could have different truth-values. But what is the basis for that claim? It seems widely to be supposed, especially by Russellians, that it is simply an 'intuition', one that could then be 'explained away'. And this supposition plays an especially important role in Jennifer Saul's defense of (...) Russellianism, based upon the existence of an allegedly similar contrast between these two sentences: (PC) Superman is more popular than Clark. (PS) Superman is more popular than Superman. The latter contrast looks pragmatic. But then, Saul asks, why shouldn't we then say the same about the former? The answer to this question is that the two cases simply are not similar. In the case of (PC) and (PS), we have only the facts that these strike us differently, and that people will sometimes say things like (PC), whereas they will never say things like (PS). By contrast, there is an argument to be given that (LS) can be true even if (LC) is false, and this argument does not appeal to anyone's 'intuitions'. The main goal of the paper is to present such a version of the substitution argument, building upon the treatment of the Fregan argument against Russellian accounts of belief itself in "Solving Frege's Puzzle". A subsidiary goal is to contribute to the growing literature arguing that 'intuitions' simply do not play the sort of role in philosophical inquiry that so-called 'experimental philosophers' have supposed they do. (shrink)

Transient Truths: An Essay in the Metaphysics of Propositions provides the first book-length exposition and defense of semantic temporalism, the view that propositions are contents or semantic values that can change their truth-values across time.

نگاهی به تفسیر و انتقادات دامت از آموزه‌های فرگه پیرامون مباحث معناشناختی .

Gottlob Frege maintained that two name-containing identity sentences, represented schematically as a=a and a=b,can both be true in virtue of the same object’s self-identity but nonetheless, puzzlingly, differ in their epistemic profiles. Frege eventually resolved his puzzlement by locating the source of the purported epistemic difference between the identity sentences in a difference in the Sinne, or senses, expressed by the names that the sentences contain. -/- Thus, Frege portrayed himself as describing a puzzle that can be posed prior to (...) and independently of any particular theoretical position regarding names, and then resolving that puzzle with his theory of Sinn and Bedeutung. In this paper, I suggest that Frege’s presentation is problematic. If attempt is made to characterize the epistemic status of true identity sentences without appeal to Frege’s theoretical commitments, then what initially seemed puzzling largely dissolves. It turns out that, in order to generate puzzlement, Frege must invoke the theoretical account that he uses the puzzle to establish the purported necessity of. (shrink)

A new kind of defense of the Millian theory of names is given, which explains intuitive counter-examples as depending on pragmatic effects of the relevant sentences, by direct application of Grice’s and Sperber and Wilson’s Relevance Theory and uncontroversial assumptions. I begin by arguing that synonyms are always intersubstitutable, despite Mates’ considerations, and then apply the method to names. Then, a fairly large sample of cases concerning names are dealt with in related ways. It is argued that the method, as (...) applied to the various cases, satisfies the criterion of success: that for every sentence in context, it is a counter-example to Millianism to the extent that it has pragmatic effects (matching speakers’ intuitions). (shrink)

John Perry has urged that a semantic theory for natural languages ought to be concerned with the issue of cognitive significance—of how true identity statements containing different (utterances of) indexicals and proper names can be informative, held to be unaccountable by the referentialist view. The informativeness that he has in mind—one that has puzzled Frege, Kaplan and Wettstein—concerns knowledge about the world. In trying to solve this puzzle on referentialist terms, he comes up with the notion of cognitive significance as (...) a special kind of a second-order content which should account for cognitive significance in the former sense. Focusing on his treatment of perceptual demonstratives, I argue that he fails to do so both on the level of second-order contents containing demonstrative utterances and on the level of second-order contents containing perceptual buffers as new notions associated with the perceptions and used to temporarily store ideas we gain from the perceptions, which he holds to be causally connected to each other. (shrink)

According to epistemic two-dimensionalism, every expression is associated with two kinds of meaning: a primary intension (a “Fregean” component) and a secondary intension (a “Russellian” component). While the rst kind of meaning lines up with the speaker’s abilities to pick out referents of correctly employed expressions in hypothetical scenarios, the second kind of meaning is a version of what standard semanticists call “semantic content”—a kind of content which does not pivot on speaker abilities. Despite its conciliatory temperament, epistemic two-dimensionalism has (...) come under recent attack. It has been alleged that it is bound to attribute to speakers a priori identifying knowledge of the referents of correctly employed terms, and bound also to reject valid rules of inference such as exportation: P(a) → λx[P(x)](a) (see, e.g., Soames 2005. (shrink)

For years philosophers argued for the existence of distinct yet materially coincident things by appealing to modal and temporal properties. For instance, the statue was made on Monday and could not survive being flattened; the lump of clay was made months before and can survive flattening. Such arguments have been thoroughly examined. Kit Fine has proposed a new set of arguments using the same template. I offer a critical evaluation of what I take to be his central lines of reasoning.

Millianism is reasonable; that is, it is reasonable to think that all there is to the semantic value of a proper name is its referent. But Millianism appears to be undermined by the falsehood of Substitutivity, the principle that interchanging coreferential proper names in an intentional context cannot change the truth value of the resulting belief report. Mary might be perfectly rational in assenting to ‘Twain was a great writer’ as well as ‘Clemens was not a great writer’. Her confusion (...) does not seem to preclude her from assenting to those sentences in a normal, understanding manner. That is, Assent-for-Mary is true: Mary can knowingly assent to ‘Twain was a great writer’ and ‘Clemens was not a great writer’. By Disquotation—the rough principle that if in ordinary circumstances one assents to “P”, then one believes that P—Mary believes that Twain was a great writer and she believes that it’s not the case that Clemens was a great writer. If Substitutivity were true, then since ‘Mary believes that Twain was a great writer’ is true, ‘Mary believes that Clemens was a great writer’ would have to be true too. But then Mary would amount to a refutation of the plausible principle Consistency that, roughly put, no rational adult can have occurrently held and reflectively considered and compared contradictory beliefs. Since Disquotation, Assent-for-Mary, and Consistency are true, Substitutivity has to go. (shrink)

Resolution of Frege's Puzzle by denying that synonym substitution in logical truths preserves sentence sense and explaining how logical form has semantic import. Intensional context substitutions needn't preserve truth, because intercepting doesn't preserve sentence meaning. Intercepting is nonuniformly substituting a pivotal term in syntactically secured truth. Logical sentences and their synonym interceptions share factual content. Semantic content is factual content in synthetic predications, but not logical sentences and interceptions. Putnam's Postulate entails interception nonsynonymy. Syntax and vocabulary explain only the factual (...) content of synthetic predications; extrasentential reality explains their truth. Construction of logical factual content explains logical necessity. Terms retain objectual reference, but logical syntax preempts their function in explaining truth. Grasping the facts GG/gg assert entails understanding this. Understanding what GH states requires some recognition that GH must be true just because GmH, and GmH state an empirical fact. GH is standardly used to express that fact. Church's Test exposes puzzles. QMi sentences, and QTi sentences are metalogical necessities, true by syntax. Intercepting QMi creates empirical QM contingencies. Synonymy turns semantic contingencies into metalogical and lexical necessities. That transformation is syntactic, via the syntactic duality of definite descriptions. GmH is a contingent copredication, and a lexically necessary referential identity with rigidly codesignating indexicals. Metalogical sentences may be about expressional matter or what it expresses. GG has GG's semantic content, but the referent expression switches. Metalogical syntax secures truth by self-referential quotational indexing. Metalogically, referents are identified with intrasentential replica. Extrasentential identifications are metalogically irrelevant. (shrink)

Kripke’s puzzle has puts pressure on the intuitive idea that one can believe that Superman can fly without believing that Clark Kent can fly. If this idea is wrong then many theories of belief and belief ascription are built from faulty data. I argue that part of the proper analysis of Kripke’s puzzle refutes the closure principles that show up in many important arguments in epistemology, e.g., if S is rational and knows that P and that P entails Q, then (...) if she considers these two beliefs and Q, then she is in a position to know that.. (shrink)