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.

Queremos neste ensaio caracterizar de modo introdutório o essencial do legado de Gottlob Frege para a Filosofia da Linguagem contemporânea, identificando e caracterizando os traços distintivos mais genéricos de uma teoria do significado (ou conteúdo semântico) inspirada nas suas ideias seminais e contrastando-a com outras concepções actuais influentes acerca do significado, em especial as posições sobre o conteúdo singular (conteúdo expresso por nomes próprios e outros termos singulares) remotamente inspiradas em ideias de John Stuart Mill.

This book addresses how our revisionary practices account for relations between texts and how they are read. It offers an overarching philosophy of revision concerning works of fiction, fact, and faith, revealing unexpected insights about the philosophy of language, the metaphysics of fact and fiction, and the history and philosophy of science and religion. It will be of interest to a wide range of scholars and advanced students working in philosophy of language, metaphysics, philosophy of literature, literary theory and criticism, (...) and history and philosophy of science and religion. (shrink)

A comprehensive introduction to the Language of Though Hypothesis (LOTH) accessible to general audiences. LOTH is an empirical thesis about thought and thinking. For their explication, it postulates a physically realized system of representations that have a combinatorial syntax (and semantics) such that operations on representations are causally sensitive only to the syntactic properties of representations. According to LOTH, thought is, roughly, the tokening of a representation that has a syntactic (constituent) structure with an appropriate semantics. Thinking thus consists in (...) syntactic operations defined over representations. Most of the arguments for LOTH derive their strength from their ability to explain certain empirical phenomena like productivity, systematicity of thought and thinking. (shrink)

of my axiomatic theory of abstract objects.¹ The theory asserts the ex- istence not only of ordinary properties, relations, and propositions, but also of abstract individuals and abstract properties and relations. The.

A widely held view about Fregean Sense has it that the determination of a sign's referent by the sign's sense is achieved viasatisfaction: the sense specifies a condition (or set of conditions) and the referent is that entity, if any, which uniquely satisfies that (set of) condition(s). This is usually held in conjunction with the claim that the sense is existentially and qualitatively independent of the referent: if the referent did not exist, or did not uniquely satisfy the sense, the (...) sense would still exist and would still specify the same condition(s) that it actually does (and might determine a different referent than its actual one). Proponents of this view give several reasons for holding it. I describe these reasons and argue that they are not convincing. More generally, I try to show that the notion of satisfaction has no useful application within Frege's system. I then suggest an alternative account of the determination of a referent by a sense that I think is truer to Frege and more illuminating. Compared to the satisfaction view, my account construes determination as a more naturalistic and epistemically real relation between speakers and things in the world. (shrink)

Conventional wisdom has it that there is a class of attitude ascriptions such that in making an ascription of that sort, the ascriber undertakes a commitment to specify the contents of the ascribee’s head in what might be called a notionally sensitive, ascribee-centered way. In making such an ascription, the ascriber is supposed to undertake a commitment to specify the modes of presentation, concepts or notions under which the ascribee cognizes the objects (and properties) that her beliefs are about. Consequently, (...) it is widely supposed that an ascription of the relevant sort will be true just in case it specifies either directly or indirectly both what the ascribee believes and how she believes it. The class of “notionally sensitive” ascriptions has been variously characterized. Quine (1956) calls the class I have in mind the class of notional ascriptions and distinguishes it from the class of relational ascriptions. Others call the relevant class the class of de dicto ascriptions and distinguish it from the class of de re ascriptions. More recently, it has been called the class of notionally loaded ascriptions (Crimmins 1992, 1995). So understood, the class can be contrasted with the class of notionally neutral ascriptions. Just as the class of notional/de dicto/notionally loaded ascriptions is supposed to put at semantic issue the ascribee’s notions/conceptions/modes of presentation, so ascriptions in the relational/de re/notionally neutral class are supposed not to.. (shrink)

The paper is a rejoinder to a challenge against the particularist version of the mental files framework posed by the relationist approach based on the notion of content coordination [such as recent attempt by Rachel Goodman and Aidan Gray in ]. Relationists argue that important explanatory goals of MFF: could be achieved without positing files as mental particulars, as there is a relationist notion of content coordination at hand that can be aptly used for “filing without files”; and should be (...) so achieved, as there are difficulties that afflict the particularist approach to MFF and the relationist account is simply better. However, both claims should be rejected. The particularist approach to MFF, properly interpreted, would not get into the troubles it is accused of generating. Indeed, it is the relationist approach that gets in trouble. Specifically, it lacks resources for explanation of nuances, which can be easily accounted for in terms of particularist interpretation, and, furthermore, it lowers the interdisciplinary standing of the whole framework. The particularist version is therefore better. (shrink)

Context plays a crucial role in our propositional attitude reporting practices. A belief-reporting sentence which seems true in one context may seem false in another, as Kripke showed us in ‘A Puzzle About Belief.’ To put it a bit sloppily, may seem true when we are discussing Peter's beliefs regarding Paderewski-the-pianist and false when we are discussing his beliefs regarding Paderewski-the-statesman. Peter believes that Paderewski is a fine musician.A number of recent theorists have taken this contextual variation very seriously, and (...) attempted to provide accounts which accommodate it in one way or another. Salmon and Soames accommodate the variation in pragmatics, arguing that our intuitions about attitude reporting often result from mistaking pragmatic implicatures for semantic content. Other theorists have offered semantic accounts which yield contextually varying truth conditions for belief reporting sentences. I have a great deal of sympathy for the project: I think the contextually varying intuitions do exist, and that they need to be accommodated, in one way or another. I am not so sure, however, that this can be done. (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.

My responses to seven critical reviews of my book *Mental Files* published in a special issue of the journal Disputatio, edited by F. Salis. The reviewers are: Keith Hall, David Papineau, Annalisa Coliva and Delia Belleri, Peter Pagin, Thea Goodsell, Krista Lawlor and Manuel Garcia-Carpintero.

According to Millianism about proper names, what a proper name semantically contributes to the sentence in which it figures is simply its referent; therefore, co-referring proper names are intercheangable salva veritate and salva significatione. In their 2019 paper published in Topoi, Felappi and Santambrogio formulate a thought-provoking argument against Millianism. Their argument aims at establishing that our normal practice of translation shows that Millianism cannot be correct. I argue that Millians can successfully reply. I will address in turn two versions (...) of Felappi and Santambrogio’s argument, focusing especially on the second one, which apparently raises a more challenging problem for Millianism. Finally, I will consider two objections against my own strategy, and I will reply to them. (shrink)

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.

According to the view I call `innocent Millianism', that-clauses differing only for occurrences of co-referential names provide the same contribution to the intensional profile of a belief report. It is widely believed by friends and foes of innocent Millianism alike that this approach entails either the denial of what I label a `naïve' account ofbelief reports, or a dismissive attitude towards our semantic intuitions. In this essay, I counter that the conjunction of innocent Millianism and the naïve view of belief (...) reports is compatible with our intuitions of truth-conditions. In order to defend this conclusion, I defend an independently motivated approach, in which utterances endowed of the same intension may nevertheless differ in truth-conditions. (shrink)

This essay discusses some aspects of the logical behaviour of sentences in languages containing indexical and demonstrative expressions. After some preliminary remarks in section one, sections two and three focus on instances of logically true sentences that may be uttered falsely, and on cases of logically equivalent sentences whose utterances may have distinct truth-values. The logical and semantic problems taken into consideration include the validity of a Principle of Translation, the so-called ‘puzzle of addressing’, and examples related to measurement and (...) approximation. Section four discusses the complementary phenomenon of sentences that may presumably always be uttered truly, but that do not qualify as logically true. In particular, I argue against the widespread tendency to consider ‘I am here now’ or ‘I exist’ as truths of the logic of indexicals. (shrink)

In this essay, I propose an analysis of Quine’s example ’Giorgione was so-called because of his size’, grounded on the idea of an obstinate demonstrative. In the first sections, I discuss the advantages and drawbacks of the demonstrative and logophoric treatments of ‘so called’, I highlight certain parallelisms with Davidson’s paratactic view of quotation, and I introduce independent considerations in favor of the idea of an obstinate demonstrative. In the second half of my essay, I apply this notion to Quine’s (...) example, and I discuss its consequences with respect to the principle of substitutivity of coreferential singular terms. (shrink)

In this paper, I investigate the prospects for using the distinction between rejection and denial to resolve Saul Kripke’s puzzle about belief. One puzzle Kripke presents in A Puzzle About Belief poses what would have seemed a fairly straightforward question about the beliefs of the bilingual Pierre, who is disposed to sincerely and reflectively assent to the French sentence Londres est jolie, but not to the English sentence London is pretty, both of which he understands perfectly well. The question to (...) be answered is whether Pierre believes that London is pretty, and Kripke argues, of each answer, that it is unacceptable. On my proposal, either answer to the question is to be rejected, but neither answer is to be denied, using the resource of partially-defined predicates. After demonstrating how this serves as a solution to the puzzle, I illustrate some philosophical motivations—independent of Kripke’s puzzle —for adopting a view on which belief is a partially defined predicate. I conclude that there are decent prospects for the proposed response to Kripke’s puzzle. (shrink)

Indexicals are unique among expressions in that they depend for their literal content upon extra-semantic features of the contexts in which they are uttered. Taking this peculiarity of indexicals into account yields solutions to variants of Frege's Puzzle involving objects of attitude-bearing of an indexical nature. If names are indexicals, then the classical versions of Frege's Puzzle can be solved in the same way. Taking names to be indexicals also yields solutions to tougher, more recently-discovered puzzles such as Kripke's well-known (...) case involving Paderewski. We argue that names are in fact rigidly designating indexicals. We also argue that fully developed, the direct reference theory's best strategy for solving the puzzles amounts to the adoption of the indexical theory of names – a move that we argue should be thought of as a natural development of the direct reference theory, and not as antagonistic to it. (shrink)

I offer a theory of propositional attitudeascriptions that reconciles a number of independently plausiblesemantic principles. At the heart of the theory lies the claim thatpsychological verbs (such as ``to believe'' and ``to doubt'') vary incontent indexically. After defending this claim and explaining how itrenders the aforementioned principles mutually compatible, I arguethat my account is superior to currently popular hidden indexicaltheories of attitude ascription. To conclude I indicate a number oframifications that the proposed theory has for issues in epistemology,philosophy of mind, (...) and formal semantics. (shrink)

It is generally assumed that if it is possible to believe that p without believing that q, then there is some difference between the object of the thought that p and the object of the thought that q. This assumption is challenged in the present paper, opening the way to an account of epistemic opacity that improves on existing accounts, not least because it casts doubt on various arguments that attempt to derive startling ontological conclusions from seemingly innocent epistemic premises.

Frege's account of opacity is based on two attractive ideas: every meaningful expression has a sense (Sinn) that determines the expression's semantic value (Bedeutung); and the semantic value of a‘that’‐clause is the thought expressed by its embedded sentence. Considerations of compositionality led Frege to a more problematic view: inside ‘that’‐clauses, an expression does not have its customary Bedeutung. But contrary to initial appearances, compositionality does not entail a familiar substitutivity principle. And Fregeans can exploit this point in a way that (...) lets them reject Bedeutung‐shifting. (shrink)

I develop a problem for the Fregean Reference Shift analysis of that-clause reference. The problem is discussed by Stephen Schiffer in his recent book The Things We Mean (2003). Either the defender of the Fregean Reference Shift analysis must count certain counterintuitive inferences as valid, or else he must reject a plausible Exportation rule. I consider several responses. I find that the best response relies on a Kaplan-inspired analysis of quantified belief reports. But I argue that this response faces some (...) serious problems. (shrink)

In The Things We Mean, Stephen Schiffer defends a novel account of the entities to which belief reports relate us and to which their that-clauses refer. For Schiffer, the referred-to entities—propositions—exist in virtue of contingencies of our linguistic practices, deriving from “pleonastic restatements” of ontologically neutral discourse. Schiffer’s account of the individuation of propositions derives from his treatment of that -clause reference. While that -clauses are referential singular terms, their reference is not determined by the speaker’s referential intentions. Rather, their (...) reference is determined in a top-down manner—in Schiffer’s words, “by what the speaker and audience mutually take to be essential to the truth-value of the belief report.” While this accounts for a deep disanalogy between belief reports and other relational propositions—a disanalogy emphasized by Schiffer—I argue that the proposal runs into trouble when we consider the case of de re belief. I close by showing how a modification of Schiffer’s approach—one differing in essential ways from the theory developed in Things—is capable of handling these difficulties. (shrink)

Those inclined to believe in the existence of propositions as traditionally conceived might seek to reduce them to some other type of entity. However, parsimonious propositionalists of this type are confronted with a choice of competing candidates – for example, sets of possible worlds, and various neo-Russellian and neo-Fregean constructions. It is argued that this choice is an arbitrary one, and that it closely resembles the type of problematic choice that, as Benacerraf pointed out, bedevils the attempt to reduce numbers (...) to sets – should the number 2 be identified with the set Ø or with the set Ø, Ø? An “argument from arbitrary identification” is formulated with the conclusion that propositions (and perhaps numbers) cannot be reduced away. Various responses to this argument are considered, but ultimately rejected. The paper concludes that the argument is sound: propositions, at least, are sui generis entities. (shrink)

In his famous 1979 article 'A Puzzle About Belief' Saul Kripke presents two puzzles regarding belief attribution, and he uses them to cast doubt on classical substitution arguments against the Millian view that a proper name has a 'denotation' (or reference) but no 'connotation' (or sense). In this article, I present Kripke's puzzles in what I take to be their most revealing form, discuss their relevance to the abovementioned arguments, briefly survey the ways in which philosophers have responded to these (...) puzzles, and call attention to some issues related to the puzzles that have yet to receive the consideration they deserve. (shrink)

Leibniz’s Law (or as it sometimes called, ‘the Indiscerniblity of Identicals’) is a widely accepted principle governing the notion of numerical identity. The principle states that if a is identical to b, then any property had by a is also had by b. Leibniz’s Law may seem like a trivial principle, but its apparent consequences are far from trivial. The law has been utilised in a wide range of arguments in metaphysics, many leading to substantive and controversial conclusions. This article (...) discusses the applications of Leibniz’s Law to arguments in metaphysics. It begins by presenting a variety of central arguments in metaphysics which appeal to the law. The article then proceeds to discuss a range of strategies that can be drawn upon in resisting an argument by Leibniz’s Law. These strategies divide into three categories: (i) denying Leibniz’s Law; (ii) denying that the argument in question involves a genuine application of the law; and (iii) denying that the argument’s premises are true. Strategies falling under each of these three categories are discussed in turn. (shrink)

Many philosophers still countenance senses or meanings in the broadly Fregean vein. However, it is difficult to posit the existence of senses without positing quite a lot of them, including at least one presenting every entity in existence. I discuss a number of Cantorian paradoxes that seem to result from an overly large metaphysics of senses, and various possible solutions. Certain more deflationary and nontraditional understanding of senses, and to what extent they fare better in solving the problems, are also (...) discussed. In the end, it is concluded that one must divide senses into various ramified-orders in order to avoid antinomy, but that the philosophical justification of such orders is, as yet, still somewhat problematic. (shrink)

A familiar means of enhancing the descriptive power of attitudinal reports is the distinction between de re and de dicto readings of ascriptions or, alternatively, between internal and external occurrences of terms and phrases used in ascribing attitudes.i While there is little agreement about the philosophical significance or viability of these contrasts, supporters of cognitive theories of content -- those which take the that-clause of an ascription to express something to which the subject bears a psychological relation, viz., what he (...) or she believes, doubts, wishes for, etc. -- invoke the de re mode whenever the ascriber does not claim to represent the subject's exact content, though, for descriptive or explanatory purposes, finds a partial specification appropriate.ii The strategy is particularly useful for understanding ascriptions containing indexicals. For example, if I overhear Andrea praising my insights, strategies, and calculations, I might report her thoughts as follows: (1) Andrea thinks that I am clever. This ascription is misleading if taken to convey Andrea's exact content; the occurrence of 'I' expresses my thought of myself, not hers. Since she does not think of me in a first-person way, (1) cannot be understood as reporting her disposition to assent to the sentence 'I am clever,' nor to affirm the proposition that I am clever, regardless if the I in question is herself or myself. On certain views of indexical content, I might be unable to specify exactly the proposition she does accept, but I can at least allude to what she has in mind by exporting the pronoun as in, (2) I am someone whom Andrea believes to be clever. or, to retain an overt that-clause, (3) There is someone x who is identical to me and Andrea believes.. (shrink)

Anti‐substitution intuitions play a central role in discussion of the semantics of propositional attitude ascriptions, and all theorists seem to agree that these intuitions should be explained by either semantic or pragmatic means. Jennifer Saul (2007) has recently argued that it is impossible to explain all our anti‐substitution intuitions thus. In particular, she argues that any account of the semantics of propositional attitude ascriptions faces the ‘Enlightenment Problem’ – i.e. no such account can explain the fact that we have anti‐substitution (...) intuitions about utterances of speakers who are ‘unenlightened’ as to the fact that certain names are co‐referential. In this paper, I suggest an alternative explanation of our intuitions about unenlightened utterances, and in doing so offer an original strategy for explaining truth‐conditional intuitions by either semantic or pragmatic means. (shrink)

Philosophers of language traditionally take it that anti-substitution intuitions teach us about the content of belief reports. Jennifer Saul [1997, 2002 (with David Braun), 2007] challenges this lesson. Here I offer a response to Saul’s challenge. In the first two sections of the article, I present a common sense justification for drawing conclusions about content from anti-substitution intuitions. Then, in Sect. 3, I outline Saul’s challenge—what she calls ‘the Enlightenment Problem’. Finally, in Sect. 4, I argue that Saul’s challenge does (...) not undermine the common sense justification presented in Sects. 1 and 2. I avoid the challenge by arguing that anti-substitution intuitions are not directly sensitive to the content of the sentences that produce them, but rather to the possibility that one could have distinct ways of thinking about an object. (shrink)

According to a popular family of theories, assertions and other communicative acts should be understood as attempts to change the context of a conversation. Contexts, on this view, are publicly shared bodies of information that evolve over the course of a conversation and that play a range of semantic and pragmatic roles. I argue that this view is mistaken: performing a communicative act requires aiming to change the mind of one’s addressee, but not necessarily the context. Although changing the context (...) may sometimes be among a speaker’s aims, this should be seen as an extra-communicative aim, rather than one that is necessary for the performance of a communicative act. Along the way, I also argue that contexts needn’t play a role in linking anaphora to their antecedents. On the view that I defend, theories that take publicly shared contexts to play an essential role in the nature of communicative acts or anaphoric dependence conflate an artifact introduced by idealized models of conversation with a feature of the phenomenon being modeled. (shrink)

Goodsell-Thea_Mental-files-and-their-identity-conditions.

In earlier work (Glüer, K. and P. Pagin. 2006. Proper names and relational modality. Linguistics & Philosophy 29: 507–35; Glüer, K. and P. Pagin. 2008. Relational modality. Journal of Logic, Language and Information 17: 307–22), we developed a semantics for (metaphysical) modal operators that accommodates Kripkean intuitions about proper names in modal contexts even if names are not rigid designators. Graeme Forbes (2011. The problem of factives for sense theories. Analysis 71: 654–62.) criticizes our proposal. He argues that our semantics (...) predicts readings for certain natural language sentences which these simply do not have. These sentences contain mixed contexts involving factive attitude verbs. We argue that the readings our semantics predicts do indeed exist, even if it might take a little work to bring them out. Moreover, denying their existence would have some rather unattractive consequences. (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)

This paper discusses some recent responses to Kripke’s modal objections to descriptivism about names. One response, due to Gluer-Pagin and Pagin, involves employing "actually" operators in a new way. Another, developed mainly by Chalmers, involves distinguishing the dimension of meaning modal operators affect from the dimension other operators, especially epistemic ones, affect. I argue that both these moves run into problems with "mixed" contexts involving factive verbs such as "know", "establish", "prove", etc. In mixed contexts there are both modal and (...) epistemic operators, and it seems that some contradictory examples, such as "possibly (Hesperus has a moon and someone establishes that Hesperus has no moon)", are classified as true according to these views. (shrink)