Frege's and Russell's views are obviously different, but because of certain superficial similarities in how they handle certain famous puzzles about proper names, they are often assimilated. Where proper names are concerned, both Frege and Russell are often described together as "descriptivists." But their views are fundamentally different. To see that, let's look at the puzzle of names without bearers, as it arises in the context of Mill's purely referential theory of proper names, aka the 'Fido'-Fido theory.

In his recent book, "The Metaphysicians of Meaning" (2000), Gideon Makin argues that in the so-called "Gray's Elegy" argument (the GEA) in "On Denoting", Russell provides decisive arguments against not only his own theory of denoting concepts but also Frege's theory of sense. I argue that by failing to recognize fundamental differences between the two theories, Makin fails to recognize that the GEA has less force against Frege's theory than against Russell's own earlier theory. While I agree with many aspects (...) of Makin's interpretation of the GEA, I differ with him regarding some significant details and present an interpretation according to which the GEA emerges as simpler, stronger, and more integrated. (shrink)

Let me start with a well-known story. Kant held that logic and conceptual analysis alone cannot account for our knowledge of arithmetic: “however we might turn and twist our concepts, we could never, by the mere analysis of them, and without the aid of intuition, discover what is the sum [7+5]” (KrV, B16). Frege took himself to have shown that Kant was wrong about this. According to Frege’s logicist thesis, every arithmetical concept can be defined in purely logical terms, and (...) every theorem of arithmetic can be proved using only the basic laws of logic. Hence, Kant was wrong to think that our grasp of arithmetical concepts and our knowledge of arithmetical truth depend on an extralogical source—the pure intuition of time (Frege 1884, §89, §109). Arithmetic, properly understood, is just a part of logic. (shrink)

It is a characteristically Fregean thesis that the sense expressed by an expression is the linguistic meaning of that expression. Sense can play this role for Frege since it meets fundamental desiderata for meaning, that it be universal and invariantly expressed and objectively the same for everyone who knows the language. It has been argued,1 however, that, as a general thesis about natural languages, the identi cation of sense and meaning cannot be sustained since it is in con ict with (...) another characteristically Fregean thesis, that sense uniquely determines reference. The argument is quite simple and can be outlined as follows. Assume the two theses we have just stated. (shrink)

How many senses can a given name have, with its reference held fixed? One, more than one? One answer that most would agree to is that sense is unique for each utterance of a name, that is, that a name can have no more than one sense on any given occasion. But is sense unique in any stronger sense than this? The answer that is typically attributed to Frege is that there is not, that, as Tyler Burge puts it, 1 (...) Frege “treats proper names as having different senses while applying to the same person.” There are a number of possibilities for the locus of this multiplicity of sense; the following remark by Ruth Marcus indicates the possibilities: “the sense of a term is whatever is grasped or understood by a speaker on a particular occasion of use and may vary from occasion to occasion as well as from speaker to speaker.”2 Of the views canvassed by Marcus, we can draw out a more conservative one, and one more extreme. On the more conservative view, Frege is holding that sense may vary from speaker to speaker; on the more extreme view, Frege holds not only this, but that sense may vary from context to context. Endorsements of the two views are not hard to find. For example, typical sorts of endorsement of the conservative view are found in Harold Noonan’s remark that “different senses [are] associated with the name ‘Aris-. (shrink)

Sainsbury and Tye (2011) propose that, in the case of names and other simple extensional terms, we should substitute for Frege's second level of content—for his senses—a second level of meaning vehicle—words in the language of thought. I agree. They also offer a theory of atomic concept reference—their ‘originalist’ theory—which implies that people knowing the same word have the ‘same concept’. This I reject, arguing for a symmetrical rather than an originalist theory of concept reference, claiming that individual concepts are (...) possessed only by individual people. Concepts are classified rather than identified across different people. (shrink)

Kripke’s most important arguments in Naming and Necessity against the description theory of reference of proper names are the arguments from ignorance and error concerning names of historical figures. The aim of this paper is to put forward a reply to these arguments. The answer to them is grounded on the development of one component of the version of the description theory proposed by the authors that are regarded as the classical contemporary advocates of this theory, namely Searle and Strawson; (...) one of the targets of Kripke’s arguments is precisely the version of the description theory of reference submitted by these authors. The development of that component results in a sort of description theory of reference not affected by Kripke’s arguments from ignorance and error concerning the names of historical figures, deferential descriptivism. (shrink)

The paper shows how ideas that explain the sense of an expression as a method or algorithm for finding its reference, preshadowed in Frege’s dictum that sense is the way in which a referent is given, can be formalized on the basis of the ideas in Thomason (1980). To this end, the function that sends propositions to truth values or sets of possible worlds in Thomason (1980) must be replaced by a relation and the meaning postulates governing the behaviour of (...) this relation must be given in the form of a logic program. The resulting system does not only throw light on the properties of sense and their relation to computation, but also shows circular behaviour if some ingredients of the Liar Paradox are added. The connection is natural, as algorithms can be inherently circular and the Liar is explained as expressing one of those. Many ideas in the present paper are closely related to those in Moschovakis (1994), but receive a considerably lighter formalization. (shrink)

In this essay I will consider two theses that are associated with Frege,and will investigate the extent to which Frege really believed them.Much of what I have to say will come as no surprise to scholars of thehistorical Frege. But Frege is not only a historical figure; he alsooccupies a site on the philosophical landscape that has allowed hisdoctrines to seep into the subconscious water table. And scholars in a widevariety of different scholarly establishments then sip from thesedoctrines. I believe (...) that some Frege-interested philosophers at various ofthese establishments might find my conclusions surprising.Some of these philosophical establishments have arisen from an educationalmilieu in which Frege is associated with some specific doctrine at theexpense of not even being aware of other milieux where other specificdoctrines are given sole prominence. The two theses which I will discussillustrate this point. Each of them is called Frege''s Principle, but byphilosophers from different milieux. By calling them milieux I do not want to convey the idea that they are each located at some specificsocio-politico-geographico-temporal location. Rather, it is a matter oftheir each being located at different places on the intellectuallandscape. For this reason one might (and I sometimes will) call them(interpretative) traditions. (shrink)

In the case of an actual proper name such as ‘Aristotle’ opinions as to the Sinn may differ. It might, for instance, be taken to be the following: the pupil of Plato and teacher of Alexander the Great. Anybody who does this will attach another Sinn to the sentence ‘Aristotle was born in Stagira’ than will a man who takes as the Sinn of the name: the teacher of Alexander the Great who was born in Stagira. So long as the (...) Bedeutung remains the same, such variations of Sinn may be tolerated, although they are to be avoided.. (shrink)

Frege has proposed to consider names as denoting objects, predicates as standing for concepts and sentences as denoting truth values. He was, however, aware that such denotation does not exhaust all what is to be said about meaning. Therefore he has urged that in addition to such denotation (Bedeutung) an expression has sense (Sinn). The sense is the "way of presentation" of denotation; hence the expressions Morning Star and Evening Star have identical denotations, but different senses. Carnap has proposed to (...) replace Frege's distinction between Sinn and Bedeutung by the distinction between intension and extension. Extension is, according to Carnap, what is shared by every two expressions which can be truthfully declared equivalent; where equivalence means a bit different things for different grammatical categories. In the formalism of the classical logic, the equivalence of two terms T1 and T2 is expressed by the formula T1=T2, that of two sentences ↔ ↔ S1 and S2 is by the formula S1↔ ↔S2, and that of two unary predicates P1 and P2 by the formula.. (shrink)

Stalnaker argues that, while the two-dimensional framework can be used to give expression to the claims associated with rigidified descriptivism, it cannot be used to support that position. He also puts forward some objections to rigidified descriptivism. I agree that rigidified descriptivism cannot be supported by appeal to the two-dimensional framework. But I think that Stalnaker’s objections can be avoided under a descriptivism that introduces a causal as well as a descriptive element – a descriptivism in which the relevant descriptions (...) are allowed to be, not only rigidified, but anchored in causal exposure to referents. (shrink)

There are two major semantic theories of proper names: Semantic Descriptivism and Direct Reference. According to Semantic Descriptivism, the semantic content of a proper name N for a speaker S is identical to the semantic content of a definite description “the F” that the speaker associates with the name. According to Direct Reference, the semantic content of a proper name is identical to its referent. As is well known, Semantic Descriptivism suffers from a number of drawbacks first pointed out by (...) Donnellan (1970) and Kripke (1972).1 The first difficulty is semantic: in many cases, the definite description that S associates with N (if it denotes) denotes an entity other than the referent of N. The second difficulty is epistemic: in many cases, contrary to what Semantic Descriptivism predicts, an utterance of “N=the F” does not semantically express a proposition that is knowable a priori. And the third difficulty is modal: although Semantic Descriptivism entails that the proposition semantically expressed by an utterance of “N=the F” is metaphysically necessary, in many cases the relevant proposition is actually metaphysically contingent. Direct Reference faces three main difficulties of its own. First, there is the problem of cognitive significance (or, as it has come to be known, Frege’s Puzzle): if the content of a proper name is its referent, then different proper names have the same content, and hence utterances of “N=M” and “N=N” semantically express the same proposition; yet these two utterances differ in cognitive significance, and it would seem 1 that utterances semantically expressing the same proposition should not differ in cognitive significance. Second, there is the problem of substitution: if the content of a proper name is its referent, then co-referential proper names should be intersubstitutable in propositional attitude contexts salva veritate; yet linguistic intuitions suggest that substitution of co-referential proper names in such contexts often fails to preserve truthvalue.. (shrink)

There are two major semantic theories of proper names: Semantic Descriptivism and Direct Reference. According to Semantic Descriptivism, the semantic content of a proper name N for a speaker S is identical to the semantic content of a definite description “the F” that the speaker associates with the name. According to Direct Reference, the semantic content of a proper name is identical to its referent. Semantic Descriptivism suffers from a number of drawbacks first pointed out by Donnellan (1970) and Kripke (...) (1972). Direct Reference faces difficulties of its own, most importantly the problem of empty names. The most promising Directly Referential solution to this problem is the Unfilled Proposition view, according to which utterances of sentences containing empty names semantically express unfilled propositions. But this view faces the problem of accounting for the intuition that negative existentials involving empty names are true. The most promising way of dealing with this problem within Unfilled Proposition theory is to suppose (i) that utterances of sentences may be used to pragmatically convey propositions they do not semantically express, and (ii) that the proposition pragmatically conveyed by a speaker S's utterance of a sentence containing an empty name N (where “the F” is a definite description S associates with N) is identical to the proposition semantically expressed by an utterance of the sentence obtained by replacing N with “the F”. Call this view “Pragmatic Descriptivism”. With respect to the problem of negative existentials, Pragmatic Descriptivists can insist that, although an utterance of “Santa does not exist” is literally neither true nor false, our taking it to be true may be explained as the result of our having confused the unfilled proposition it semantically expresses with the clearly true descriptive proposition it pragmatically conveys. Despite its theoretical virtues, Pragmatic Descriptivism has recently come under fire. Everett (2003), in particular, has advanced four different lines of criticism, to which Adams and Dietrich (2004) have responded in some detail. In this article, I have two main aims. The first is to argue that Adams and Dietrich's replies to Everett's criticisms (with one exception) are ineffective. I conclude that there is no acceptable strategy for solving the problem of empty names within Direct Reference theory. The second is to argue that there is a promising alternative to Semantic Descriptivism and Direct Reference that requires us to fill unfilled propositions with names, thereby solving the problem of empty names. (shrink)

In this paper I argue indirectly for Frege's semantics, in particular for his conception of propositions, by reviewing some difficulties faced by one of the main contemporary alternative approaches, i.e., the direct reference theory. While Frege's semantics can yield an explanation of cognitive value and belief-preservation, the alternative approach seems to run into trouble here. I shall also briefly consider the question of whether epistemic issues should be of any concern for semantics, i.e., whether the feature mentioned above should really (...) be regarded as an advantage of Frege's theory. (shrink)

By a `denoting phrase' I mean a phrase such as any one of the following: a man, some man, any man, every man, all men, the present King of England, the present King of France, the center of mass of the solar system at the first instant of the twentieth century, the revolution of the earth round the sun, the revolution of the sun round the earth. Thus a phrase is denoting solely in virtue of its form. We may distinguish (...) three cases: (1) A phrase may be denoting, and yet not denote anything; e.g., `the present King of France'. (2) A phrase may denote one definite object; e.g., `the present King of England' denotes a certain man. (3) A phrase may denote ambiguously; e.g. `a man' denotes not many men, but an ambiguous man. The interpretation of such phrases is a matter of considerably difficulty; indeed, it is very hard to frame any theory not susceptible of formal refutation. All the difficulties with which I am acquainted are met, so far as I can discover, by the theory which I am about to explain. (shrink)

According to Russell’s famous Gray’s Elegy argument within “On Denoting”, Frege’s distinction between Sinn and Bedeutung is problematic when applied to a denoting phrase like ‘the first line of Gray’s Elegy’, which denotes a linguistic expression: ‘The curfew tolls the knell of parting day’. The author shows that Russell’s Gray’s Elegy argument involves imprecision in the use of quotation marks as well as the unwarranted identification of an expression’s meaning with the expression itself.

According to Frege a proposition—or, in his terms, a thought—is an abstract structured entity constituted by senses which satisfies, at least, the three following properties: it can be semantically assessed as true or as false, it is the object of so called propositional attitudes and it can be grasped. What Frege meant by 'grasping' is the peculiar way in which we can have epistemic access to propositions. The possibility for propositions to be grasped is put by Frege as a warrant (...) for their existence: to challenge their graspability would amount to jeopardise their ontological reality. But is it true, as Frege uncritically maintained, that the "graspability requirement" is satisfied as far as propositions (as he conceived them) are concerned? This is the topic of the present work. A negative answer to the above mentioned question has been given in recent time by the representatives of what has come to be labelled the "cognitive turn" in analytical philosophy. People such as Fodor and Johnson-Laird patently denied the possibility for propositions, conceived à la Frege, to be accessed by the grasping relation. What grounds their position is, to put it roughly, the following train of thought: in order for something to be the target of the grasping relation it must enter the mind. Nothing which is different from a mental entity can enter the mind. Therefore, what can be grasped must be mental. The upshot of this move implies, among other things, the rejection of that radical anti-psychologism which was characteristic of the forefathers of the analytical tradition. In our work we shall try to resist their conclusion by showing that it is not necessary to zero the distinction between propositions and mental entities in order to provide an adequate account of the grasping relation. What one has to give up, instead, is only Frege's late Platonism of the "third realm" which, in our view, is a wholly unnecessary and dispensable accretion of his picture. For, as we shall show, if Platonism is in place it is difficult to provide an account of the grasping relation which makes no use of the "representationalist hypothesis" — i.e. of the hypothesis that ideas mediate our access to whatever can be given to us. But representationalism, once in place, makes the theoretical role of the notion of sense dispensable or purely additional. (shrink)

This text argues that we must depart considerably from Frege's own views if we are to work towards an adequate conception of natural language.

How successful are Fregean theories compared with guise-theoretic Millian theories in dealing with a range of problematic propositional attitude ascriptions? The range considered is roughly that of Paderewski puzzles and their relatives. I argue that these fall into two categories: in one category, the Fregean theory looks to be under pressure from guise-theoretic rivals, though I argue that Fregeans can, to advantage, borrow some guise-theoretic machinery. Concerning the other category, which includes Kripke's two Paderewski puzzles, I argue that these puzzles (...) are neutral between Fregean and Millian approaches; more generally, they have no direct bearing on semantics. Their solution requires correct views about rationality, self-knowledge and transparency. (shrink)

In part 4 of Meaning, Expression, and Thought, Davis rejects what he calls Fregean ideational theories, according to which the meaning of an expression is an idea; and then presents his own account, which states that, e.g., the meaning of ‘Primzahl’ in German is the property of meaning prime number. Before casting doubt on the latter ontology of meanings, I come to Frege’s defence by pointing out that he was not an advocate of the position Davis named after him because (...) Fregean senses are not lexical meanings and Fregean thoughts are not types of mental events. (shrink)

The phenomenon we now know as projection was first observed by Frege in his brief remarks about presupposition in “Sense and Reference.” Frege observes there that the assertion that Kepler died in misery gives rise to the implication that the name Kepler has a referent; but that so too does the assertion that Kepler did not die in misery. Here we have the source of the observation that if p is a presupposition of S, then p is implied by (utterances (...) of) S and by (utterances of) the negation of S. Since Frege, it has been observed that those implications which are shared by a sentence S and by its negation are also typically shared by a variety of other entailment-canceling embeddings of S: in questions, in the antecedents of conditionals, and under epistemic possibility modals. This observation has entered the canon in the form of the “family of sentences” test (Chierchia and McConnell-Ginet 2000). This test is 1 standardly used to demonstrate that some particular element of content projects. An application of the test is demonstrated below. (shrink)

A Millian-Russellian semantic theory is one according to which the meanings of proper names are the objects for which they stand, and the meanings of predicates are the properties (or relations) they express. Given a compositionality principle (which I will assume), the Millian-Russellian must hold that sentences which differ only in the substitution of proper names which have the same reference (relative to the relevant context) must express the same proposition.

If, relative to a context, what a sentence says is necessarily true, then what it says must be so. If, relative to a context, what a sentence says is possible, then what it says could be true. Following natural philosophical usage, it would thus seem clear that in assessing an occurrence of a sentence for possibility or necessity, one is assessing what is said by that occurrence. In this paper, I argue that natural philosophical usage misleads here. In assessing an (...) occurrence of a sentence for possibility or necessity, one is not assessing the modal status of the proposition expressed by that occurrence of the sentence. (shrink)

In several works, Frege argues that content is objective (i.e., thethoughts we entertain and communicate, and the senses of which theyare composed, are public, not private, property). There are, however,some remarks in the Fregean corpus that are in tension with this view.This paper is centered on an investigation of the most notorious andextreme such passage: the `Dr. Lauben example, from Frege (1918). Aprincipal aim is to attain more clarity on the evident tension withinFreges views on content, between this dominant objectivism (...) and someelements that seem to run counter to it, via developing an understandingof the `Dr. Lauben example. Then I will argue that this interpretation goes some way toward undermining some prevalent contemporary viewsabout language. Based on the advice of Dr. Lauben, I will argue againsta certain understanding of the causal-historical theory of reference –more specifically, of the phenomenon of deferential uses of linguisticexpressions – upon which these views are premised, and I will drawout some morals that pertain to individualism and competence. (shrink)

My aim is to motivate and develop a view of what senses are. Senses, as I conceive of them, avoid a number of the problems that plague a broadly Fregean approach to the semantics of belief ascriptions, as I hope to show. The chief innovation of my view that enables these solutions is that beliefs are taken to have multiple, truth-conditionally equivalent contents. In traditional Fregean terminology, a belief does not involve a relation to a single thought, but to many (...) thoughts, some of which are very fine-grained, and some of which are rather coarse-grained. Each thought is a structured entity ultimately composed of unstructured senses that themselves vary in their level of grain. It is no part of my attempted vindication of senses that senses are closely related to the meanings of words, phrases, and sentences; this feature of historical Fregeanism I disavow. I endorse rather the equally traditional claim that senses are concepts or, if truth-evaluable, the propositional contents of belief. (shrink)

The paper proposes a formal account of Aristotle's trichotomy of verbs, in terms of properties of their continuous tensings, into S(state)-verbs, K(kinesis)-verbs, and E-(energeia)-verbs. Within a Fregean tense framework in which predicates are relativized to times, an account of the continuous tenses is presented and a preliminary account of the trichotomy devised, which permits an illuminating analogy to be drawn between the temporal properties of E- and K-verbs and the spatial properties of stuffs and substances. This analogy is drawn upon (...) in constructing a sophisticated version of the preliminary theory accommodating more of the linguistic data. (shrink)

Frege held that singular terms can refer only to objects, not to concepts. I argue that the counter-intuitive consequences of this claim ('the concept paradox') arise from Frege's mirroring principle that an incomplete expression can only express an incomplete sense and stand for an incomplete reference. This is not, as is sometimes thought, merely because predicates and singular terms cannot be intersubstituted salva veritate ( congruitate ). The concept paradox, properly understood, poses therefore a different, harder, challenge. An investigation of (...) the foundations of the mirroring principle also sheds light on the role which language plays in Frege's epistemology of logic. (shrink)

Frege’s writings contain arguments for the thesis (i) that a thought expressed by a sentence S is a structured object whose composition pictures the composition of S, and for the thesis (ii) that a thought is an unstructured object. I will argue that Frege’s reasons for both (i) and (ii) are strong. Frege’s explanation of the difference in sense between logically equivalent sentences rests on assumption (i), while Frege’s claim that the same thought can be decomposed differently makes (ii) plausible. (...) Thoughts are supposed to do work that requires that they be structured and work that requires that they be unstructured. But this cannot be! While the standard response to this problem is to reject either (i) or (ii), I propose a charitable repair in the spirit of Frege’s theory that accepts both. The key idea can be found in Frege’s Basic Laws of Arithmetic(BL, GGA). Frege argues that the thought expressed by a sentence is determined by the truth-conditions that can be derived from the semantic axioms for the sentence constituents. The fact that the same axiomatic truth-condition can be derived in different ways from different semantic axioms suggests a Fregean solution of the dilemma: A thought is a type that is instantiated by all sequences of senses (decomposed thoughts) that have the same axiomatic truth-conditions. This allows for multiple decomposability of the same thought (for different decomposed thoughts can have the same axiomatic truth-conditions) and for a notion of containment (the decomposed thought contains those senses whose semantic axioms are needed in the derivation of the truth-conditions). My proposal combines the virtues of (i) and (ii) without inheriting their vices. (shrink)

Frege holds the distinction between complete (saturated) and incomplete (unsaturated) things to be a basic distinction of logic. Many disagree. In this paper I will argue that one can defend Frege's distinction against criticism if one takes, inspired by Frege, a wh -question to be the paradigm incomplete expression.

Does the English demonstrative pronoun 'that' (including complex demonstratives of the form 'that F') have sense and reference? Unlike many other philosophers of language, Frege answers with a resounding 'No'. He held that the bearer of sense and reference is a so-called 'hybrid proper name' (Künne) that contains the demonstrative pronoun and specific circumstances of utterance such as glances and acts of pointing. In this paper I provide arguments for the thesis that demonstratives are hybrid proper names. After outlining why (...) Frege held the hybrid proper name view, I will defend it against recent criticism, and argue that it is superior to views that take demonstrative pronouns to be the bearer of semantic properties. (shrink)

The purpose of the present paper is to challenge some received assumptions about the logical analysis of modal English, and to show that these assumptions are crucial to certain debates in current philosophy of language. Specifically, I will argue that the standard analysis in terms of quantified modal logic mistakenly fudges important grammatical distinctions, and that the validity of Kripke's modal argument against description theories of proper names crucially depends on ensuing equivocations.

Frege wanted to define the number 1 and the concept of number. What is required of a satisfactory definition? A truly arbitrary definition will not do: to stipulate that the number one is Julius Caesar is to change the subject. One might expect Frege to define the number 1 by giving a description that picks out the object that the numeral '1' already names; to define the concept of number by giving a description that picks out precisely those objects that (...) are numbers. Yet Frege appears to do no such thing. Indeed, when he defends his definitions, he does not argue that they pick out objects that we have been talking about all along-the issue never comes up. The aim of this paper is to explain why. I argue that, on Frege's view, our numerals do not, antecedent to his work, name particular objects. This raises an obvious question: If (like 'Odysseus') the numerals do not name particular objects, how can Frege write (as he does) as if sentences in which numerals appear state truths? One central concern of this paper is exegetical-to answer these questions. But my aim is not solely exegetical. For these questions direct us to something that, I believe, creates only an apparent problem for Frege but an actual problem for many contemporary philosophers: the assumption that singular terms appearing in statements about the world must actually have referents. Another aim of this paper is to suggest that the problem-as well as a solution that can be found in Frege's writings-should be of import to contemporary philosophers. (shrink)

The late 20th century saw great movement in the philosophy of language, often critical of the fathers of the subject-Gottlieb Frege and Bertrand Russell-but sometimes supportive of (or even defensive about) the work of the fathers. Howard Wettstein's sympathies lie with the critics. But he says that they have often misconceived their critical project, treating it in ways that are technically focused and that miss the deeper implications of their revolutionary challenge. Wettstein argues that Wittgenstein-a figure with whom the critics (...) of Frege and Russell are typically unsympathetic-laid the foundation for much of what is really revolutionary in this late 20th century movement. The subject itself should be of great interest, since philosophy of language has functioned as a kind of foundation for much of 20th century philosophy. But in fact it remains a subject for specialists, since the ideas are difficult and the mode of presentation is often fairly technical. In this book, Wettstein brings the non-specialist into the conversation (especially in early chapters); he also reconceives the debate in a way that avoids technical formulation. The Magic Prism is intended for professional philosophers, graduate students, and upper division undergraduates. (shrink)

In a well-known passage in the last chapter of Frege: Philosophy of Mathematics Michael Dummett suggests that Frege’s major “mistake”—the key to the collapse of the project of Grundgesetze—consisted in “his supposing there to be a totality containing the extension of every concept defined over it; more generally [the mistake] lay in his not having the glimmering of a suspicion of the existence of indefinitely extensible concepts” (Dummett [1991, 317]). Now, claims of the form, Frege fell into paradox because……. are (...) notoriously difficult to assess even when what replaces the dots is relatively straightforward. Offerings have included, for instance, that — (A) Unrestricted quantification: Frege fell into paradox because he allowed himself to quantify over a single, all-inclusive domain of objects (Russell, Dummett). (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.

This paper tries to show how the Fregean semantic framework, especially the notions of sense and tone, can be used to explain certain features of history. Following Michael Dummett's interpretation of Gottlob Frege's notion of meaning, it is possible to conceive of historical works as proposing particular modes of presentation of past events. In fact, alternative historical works about the same past events could be viewed as differing in what sense and tone they express. In this paper, I first outline (...) some of the points and distinctions made by Frege. Second, I examine how the notions of sense, reference, and tone can be applied in semantic analysis of historical work. Finally, I point to a certain similarity between the Fregean framework and some of the views presented in the recent philosophy of history. My account suggests how to make use of some of the classical insights of Frege when dealing with the semantic issues of historical work. (shrink)

Fregean thoughts (i.e. the senses of assertoric sentences) are structured entities because they are composed of simpler senses that are somehow ordered and interconnected. The constituent senses form a unity because some of them are ?saturated? and some ?unsaturated?. This paper shows that Frege's explanation of the structure of thoughts, which is based on the ?saturated/unsaturated? distinction, is by no means sufficient because it permits what I call ?wild analyses?, which have certain unwelcome consequences. Wild analyses are made possible because (...) any ?unsaturated? sense that is a mode of presentation of a concept together with any ?saturated? sense forms a thought. The reason is that any concept can be applied to any object (which is presented by a ?saturated? sense). This stems from the fact that Frege was willing to admit only total functions. It is also briefly suggested what should be done to block wild analyses. (shrink)

This anthology of essays on the work of David Kaplan, a leading contemporary philosopher of language, sprang from a conference, "Themes from Kaplan," organized ...

A standard strategy for defending a claim of non-identity is one which invokes Leibniz’s Law. (1) Fa (2) ~Fb (3) (∀x)(∀y)(x=y ⊃ (∀P)(Px ⊃ Py)) (4) a=b ⊃ (Fa ⊃ Fb) (5) a≠b In Kalderon’s view, this basic strategy underlies both Moore’s Open Question Argument (OQA) as well as (a variant formulation of) Frege’s puzzle (FP). In the former case, the argument runs from the fact that some natural property—call it “F-ness”—has, but goodness lacks, the (2nd order) property of its (...) being an open question whether everything that instantiates it is good to the conclusion that goodness and F-ness are distinct. And in the latter case, the argument runs from the fact that that Hesperus has, but Phosphorus lacks, the property of being believed by the ancient astronomers to be visible in the evening sky to the conclusion that Hesperus and Phosphorus are distinct. Kalderon argues that both the OQA and FP fail because in neither case is there good reason to believe that both (1) and (2) are true. The reason we are tempted to believe that they are true is because we mistake de dicto claims for de re claims. In order for FP to go through, the truth of the following de re claims needs to be established: FP1) Hesperus was believed by the ancient astronomers to be visible in the evening sky. (shrink)

This paper provides a new approach to a family of outstanding logical and semantical puzzles, the most famous being Frege's puzzle. The three main reductionist theories of propositions (the possible-worlds theory, the propositional-function theory, the propositional-complex theory) are shown to be vulnerable to Benacerraf-style problems, difficulties involving modality, and other problems. The nonreductionist algebraic theory avoids these problems and allows us to identify the elusive nondescriptive, non-metalinguistic, necessary propositions responsible for the indicated family of puzzles. The algebraic approach is also (...) used to defend antiexistentialism against existentialist prejudices. The paper closes with a suggestion about how this theory of content might enable us to give purely semantic (as opposed to pragmatic) solutions to the puzzles based on a novel formulation of the principle of compositionality. (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)

Tyler Burge presents a collection of his seminal essays on Gottlob Frege (1848-1925), who has a strong claim to be seen as the founder of modern analytic philosophy, and whose work remains at the centre of philosophical debate today. Truth, Thought, Reason gathers some of Burge's most influential work from the last twenty-five years, and also features important new material, including a substantial introduction and postscripts to four of the ten papers. It will be an essential resource for any historian (...) of modern philosophy, and for anyone working on philosophy of language, epistemology, or philosophical logic. (shrink)

Theories of linguistic meaning have been a major influence in twentieth century philosophy. This is due, in part, to the assumption that meaning is the crucial and interesting thing about language. To know the meaning of an expression is to understand it, and since understanding is central to philosophy in many different ways, it should be no surprise that the notion of meaning has often taken center stage. The aim of this paper is to briefly explore some influential views concerning (...) linguistic meaning. The final objective will be to demonstrate some alternatives which are open to theory with respect to this notion¾for there are those who have wanted to ban talk of meaning from serious scientific discourse. The point is that many of the disadvantages of traditional notions of meaning are avoidable¾in particular, they are avoidable along a path which starts from Frege and moves on via Tarski and Davidson. (shrink)

The objects of credence are the entities to which credences are assigned for the purposes of a successful theory of credence. I use cases akin to Frege's puzzle to argue against referentialism about credence: the view that objects of credence are determined by the objects and properties at which one's credence is directed. I go on to develop a non-referential account of the objects of credence in terms of sets of epistemically possible scenarios.

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 ...

Tyler Burge convinced us that names are predicates in at least some of their occurrences: -/- There are relatively few Alfreds in Princeton. -/- Names, when predicates, satisfy the being-called condition: schematically, a name "N" is true of a thing just in case that thing is called N. This paper defends the unified view that names are predicates in all of their occurrences. I follow Clarence Sloat, Paul Elbourne, and Ora Matushansky in saying that when a name seems to occur (...) bare in an argument position of a predicate, it is really occurring in the predicate position of a definite description with an unpronounced "the". I call these "denuded definite descriptions". There are good linguistic reasons for defending the denuded-definites view. For example, it explains why "the" cannot be dropped in a sentence like the following: -/- The ever-popular Bill will be speaking this afternoon; The taller Maria is downstairs. -/- The definite article occuring before a name doesn't get pronounced when it's right next to the name. In technical terms, it gets smushed together with it. But the smushing can't happen when another phrase intervenes. The view survives philosophical objections. Denuded definite descriptions with names are incomplete definite descriptions since most names have mutliple bearers. Incomplete definite descriptions are in general rigid, though. So the view survives Kripke's modal argument. (shrink)

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

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)

Saul Kripke's puzzle about belief demonstrates the lack of soundness of the traditional argument for the Fregean fundamental principle that the sentences 'S believes that a is F' and 'S believes that b is F' can differ in truth value even if a = b. This principle is a crucial premise in the traditional Fregean argument for the existence of semantically relevant senses, individuative elements of beliefs that are sensitive to our varying conceptions of what the beliefs are about. Joseph (...) Owens has offered a new argument for this fundamental principle, one that is not subject to Kripke's criticisms. I argue that even though Owens' argument avoids Kripke's criticisms, it has other flaws. (shrink)

In this article I offer a three-pronged defense of Millian theories, all of which share the rough idea that all there is to a proper name is its referent, so it has no additional sense. I first give what I believe to be the first correct analysis of Kripke’s puzzle and its anti-Fregean lessons. The main lesson is that the Fregean’s arguments against Millianism and for the existence of semantically relevant senses (that is, individuative elements of propositions or belief contents (...) that are sensitive to our varying personal conceptions of the referents of those elements) are viciously circular. Thus, the Fregean must give new arguments for her central claims. Second, I offer an original, positive argument for the Millian idea that the thoughts that Cicero was bald and that Tully was bald are identical. Incredibly, the argument appeals to nothing but highly intuitive, pre-theoretical principles regarding folk psychological usage—traditionally the source of Fregean intuitions. Third, I examine one of the most important recent papers on Kripke’s puzzle, that by David Sosa (1996). Sosa claims to have found a way to turn the tables on Kripke’s puzzle by using it to argue against Millian theories. I argue that Sosa’s argument on behalf of the Fregean is question-begging. I conclude that Millian theories can be seriously defended without any use of theoretical constructs such as guises or Russellian propositions, and Fregeans need to start over arguing for their theory’s central claims. (shrink)

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)

The aim of this paper is to give a detailed reconstruction of Frege's solution to his puzzle about the cognitive function of truth, which is this: On the one hand, the concept of truth seems to play an essential role in acquiring knowledge because the transition from the mere hypothetical assumption that p to the acknowledgement of its truth is a crucial step in acquiring the knowledge that p, while, on the other hand, this concept seems to be completely redundant (...) because the sense of the word 'true' does not make any essential contribution to the senses of the sentences in which it occurs. (shrink)

This essay offers a detailed philosophical criticism of Frege’s popular thesis that identity is a relation of names. I consider Frege’s position as articulated both in ‘On Sense and Reference’, and in the Grundgesetze, where he appears to take an objectual view of identity, arguing that in both cases Frege is clearly committed to the proposition that identity is a relation holding between names, on the grounds that two different things can never be identical. A counterexample to Frege’s thesis is (...) considered, and a positive thesis is developed according to which, in contradistinction to the Fregean position, identity is a reflexive, symmetric, and transitive relation holding only between a thing and itself which can be expressed as a relation between names. (shrink)

In this note I argue that, relative to certain largely uncontroversial background conditions, any instance of Mates’ Puzzle is equivalent to some instance of Frege’s Puzzle. If correct, this result is surprising. For, barring the radical move of rejecting the possibility of synonymous expressions in a language tout court, it shows that there is no strictly lexical solution to at least some instances of Frege’s Puzzle. This forces the hand of theorists who wish to provide a semantic (rather than pragmatic) (...) solution to Frege’s Puzzle. The only option open will be modify in one way or another the standard formulation of semantic compositionality. (shrink)

Frege continues by explaining what bothered him in the Begriffsschrift, and motivated his treatment of identity in that work.2 He goes on to criticize that account. By the end of the paragraph, he has introduced his key concept of sinn, abandonning not only the Begriffsschrift account of identity, but its basical semantical framework. In the Begriffsschrift Frege’s main semantic concept was content [Inhalt ]. Already in the Begriffsschrift, he is struggling with this concept. In §3 he..

In this paper, I’ll be concerned with propositions. Propositions have been invoked to serve many roles: they can be the compositional values of clauses, the objects of our attitudes, the bearers of truth, necessity, and possibility, components of logical arguments, and so on. It’s forgivable to wonder whether any one sort of thing can bear all these distinct roles, but that won’t be an issue for us here. As I’ll use the word, a ‘proposition’ is simply the compositional value of (...) a (closed) clause.1 A number of authors have thought that propositions must be fine-grained; that is, that propositions must be individuated more finely than coarse-grained propositions—sets of possible worlds. I agree, and will assume as much for the purposes of the paper. In §1, I’ll examine some of the arguments for this conclusion, and present two different strategies for giving a theory of fine-grained propositions—structuralism and circumstantialism. Both of these strategies have been argued for on the grounds that they address the problems faced by coarse-grained propositions. In §2, however, I’ll argue that structuralism, on its own, does not do enough; it solves only certain special cases of the trouble, and must be supplemented in some way to address the full range of problems faced by coarse-grained propositions. I’ll consider some of the supplements that structuralists have offered, and argue that where these supplements work, they undermine the fineness-of-grain motivation for structuralism. In §3, I’ll show that circumstantialism can satisfy the fineness-of-grain motivation in its full generality. Most of this section responds to an argument due to Soames, which purports to show that circumstantialism too must fall short. In the end, then, I conclude that circumstantialism is better-positioned than structuralism to address concerns about fineness of grain; unlike structuralism, it can address the full range of fineness-of-grain considerations without supplementation. This does not, on its own, mean that we should reject structuralism in favor of circumstantialism; I intend only to undermine one familiar argument for structuralism, not structuralism itself. I talk of compositional values rather than semantic values, mainly to avoid what I take to be an irrelevant debate.. (shrink)

Metaphysics, Mathematics, and Meaning brings together Nathan Salmon's influential papers on topics in the metaphysics of existence, non-existence, and fiction; modality and its logic; strict identity, including personal identity; numbers and numerical quantifiers; the philosophical significance of Gvdel's Incompleteness theorems; and semantic content and designation. Including a previously unpublished essay and a helpful new introduction to orient the reader, the volume offers rich and varied sustenance for philosophers and logicians.

Millians sometimes claim that we can explain the fact that sentences like "If Hesperus exists, then Hesperus is Phosphorus" seem a posteriori to speakers in terms of the fact that utterances of sentences of this sort would typically pragmatically convey propositions which really are a posteriori. I argue that this kind of pragmatic explanation of the seeming a posterioricity of sentences of this sort fails. The main reason is that for every sentence like the above which (by Millian lights) is (...) a priori, seems a posteriori to most speakers, and would typically be used to convey a posteriori propositions, there is another which (again, by Millian lights) is a priori, seems a posteriori to most speakers, but can only typically be used to convey a priori propositions. (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 (GG: Greeks are Greeks; gg: Greece is Greece) and their synonym interceptions (GH: Greeks are Hellenes; gh: Greece is Hellas) share factual content (extrasentential reality asserted). Semantic (cognitive) content is (identifiable with) factual (...) content in synthetic predications, but not logical sentences and interceptions. Putnam's Postulate (Logical form has semantic import) 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 (and thereby function of extrasentential reality) 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 ("Greeks" means Hellenes), and GmH ("Greeks" means what "Hellenes" means) state an empirical fact. GH (but not GG) is standardly used to express that fact. Church's Test exposes puzzles. QMi sentences ("Ex" means Ex), and QTi sentences (p≡it is true p≡"p" is true) are metalogical necessities, true by syntax. Intercepting QMi creates empirical QM contingencies ("Ex" means Ey). Synonymy turns semantic contingencies (GmH/GmH) into metalogical (GmG/GmG) and lexical (GH) 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 (meaning, proposition). GG (Griechen sind Griechen) 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)

Michael Beaney has argued that Frege’s characterization of the senses of names as modes of presentation early in “On Sense and Reference” is problematic, but the problem disappears if we use the notion of modes of determination as that was deployed in the Begriffsschrift to characterize senses. It is argued that there is no philosophically interesting difference between the two notions, and no problem posed by modes of presentation that would be resolved by appeal to modes of determination.

In Frege’s Puzzle, Nathan Salmon takes it to be obvious that the fact that names such as ‘Hesperus’ and ‘Phosphorus’ are coreferential is purely a matter of arbitrary linguistic convention, while the fact that Hesperus is Phosphorus is by no means a conventional matter. Salmon also takes these points to be ones to which Frege appeals in the opening paragraph of “On Sense and Reference,” and hence finds it ironic that these points undercut the theory of sense that Frege develops (...) in that paper. It is argued that the thesis that the coreferentiality of a pair of proper names is purely a matter of arbitrary linguistic convention is inconsistent with any plausible theory of reference. Salmon’s reading of Frege’s argument is also called into question. (shrink)

This volume bears witness to the continuing importance and influence of that agenda.

Semantic externalism in contemporary philosophy of language typically – and often tacitly – combines two supervenience claims about idiolectical meaning (i.e., meaning in the language system of an individual speaker). The first claim is that the meaning of a word in a speaker’s idiolect may vary without any variation in her intrinsic, physical properties. The second is that the meaning of a word in a speaker’s idiolect may vary without any variation in her understanding of its use. I here show (...) that a conception of idiolectical meaning is possible that accepts the “anti-internalism” of the first claim while rejecting (what I shall refer to as) the “anti-individualism” of the second. According to this conception, externally constituted idiolectical meaning supervenes on idiolectical understanding. (shrink)

Tyler Burge presents a collection of his seminal essays on Gottlob Frege (1848-1925), who has a strong claim to be seen as the founder of modern analytic philosophy, and whose work remains at the centre of philosophical debate today. Truth, Thought, Reason gathers some of Burge's most influential work from the last twenty-five years, and also features important new material, including a substantial introduction and postscripts to four of the ten papers. It will be an essential resource for any historian (...) of modern philosophy, and for anyone working on philosophy of language, epistemology, or philosophical logic. (shrink)