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.

Examines Frege's theory of judgement, according to which a judgement is, paradigmatically, the assertion that a particular object falls under a given concept. Throughout the book the aim is to both state Frege's views clearly and concisely, and to defend, modify or reject these where appropriate.

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)

1. Let us say that a thought is _about an object _o just in case the truth value of the thought at any possible world W depends on how things are with _o_ in W. Thus the thought that the first Chancellor of the German Empire was an astute diplomatist is not about Bismark, because that thought is true in a world W iff, in W, whoever happens to be the first Chancellor was an astute diplomatist, and that may well (...) not be Bismark. On Russell. (shrink)

In this paper, I argue against Millian Descriptivism: that is, the view that, although sentences that contain names express singular propositions, when they use those sentences speakers communicate descriptive propositions. More precisely, I argue that Millian Descriptivism fares no better (or worse) than Fregean Descriptivism: that is, the view that sentences express descriptive propositions. This is bad news for Millian Descriptivists who think that Fregean Descriptivism is dead.

Descriptivists say that every name is synonymous with some definite description, and Descriptivists who are Widescopers say that the definite description that a name is synonymous with must take wide scope with respect to modal adverbs such as “necessarily”. In this paper, I argue against Widescopism. Widescopers should be Super Widescopers: that is, they should say that the definite description that a name is synonymous with must take wide scope with respect to complementizers such as “that”. Super Widescopers should be (...) Super Duper Widescopers: that is, they should say that the definite description that a name is synonymous with must take wide scope with respect to quotation marks. And Super Duper Widescopers should be Ultra Super Duper Widescopers: that is, they should say that, when the definite description that a name is synonymous with itself contains a name, the definite description that that name is synonymous with must take wide scope with respect to modal adverbs, complementizers, and quotation marks. But Descriptivists should not be Ultra Super Duper Widescopers. So Descriptivists should not be Widescopers either. (shrink)

John Perry's book Knowledge, Possibility, and Consciousness is a lucid and engaging defense of a physicalist view of consciousness against various anti-physicalist arguments. In what follows, I will address Perry's responses to the three main anti-physicalist arguments he discusses: the zombie argument (focusing on imagination), the knowledge argument (focusing on indexicals), and the modal argument (focusing on intensions).

In this paper I present an abstract theory of senses, thoughts, and truth, inspired by ideas of Frege. "Inspired" because for the most part I shall not pretend to interpret Frege in a literal sense, but, rather, develop some of his ideas in ways that seem to me to preserve important aspects of them. Senses are characterized as identifying properties; i.e., roughly, as properties that apply, in virtue of their logical structure, to exactly one thing, if they apply to anything (...) at all. When Frege's analysis of sentences in terms of function and arguments is combined with his analysis of quantification as higher-order predication, all sentences (formal and informal) can be analyzed in various ways as a function (predicate) applied to one or more arguments. This allows for an abstract characterization of thoughts as senses that combine other senses in a uniform way, and whose truth derives from their instantiation by corresponding items of reality. (shrink)

David Sosa, Michael Nelson, and Jason Stanley have recently offered a series of interesting and provocative challenges to Kripke's modal arguments against Descriptivism. In this paper I explore these challenges and some of the issues to which they give rise. I argue that, in the end, all three challenges fail.

Michael Dummett has argued that a formal semantics for our language is inadequate unless it can be shown to illuminate to our actual practice of speaking and understanding. This paper argues that Frege’s account of the semantics of predicate expressions according to which the reference of a predicate is a concept (a function from objects to truth values) has exactly the required characteristics. The first part of the paper develops a model for understanding the distinction between objects and concepts as (...) an ontological distinction. It argues that, ontologically, we can take a Fregean function to be generated by a property detection device that can register for any object the presence or absence of that property. This provides a direct connection between the semantics of sentences and the structure of perceptual judgment. The second part of the paper deals with arguments that have been mounted against the coherence of Frege’s semantics. It argues that some of these are question begging, while others are correct in so far as Frege’s claim is untenable if we assume that the syntactic categories singular term and predicate are primary, and the ontological categories are simply projections of these syntactic categories. However, the objections dissipate once we recognize that an independent ontological characterization of the distinction is available. (shrink)

An investigation of Frege's various contributions to the study of language, focusing on three of his most famous doctrines: that concepts are unsaturated, that sentences refer to truth-values, and that sense must be distinguished from reference.

In recent work on Frege, one of the most salient issues has been whether he was prepared to make serious use of semantical notions such as reference and truth. I argue here Frege did make very serious use of semantical concepts. I argue, first, that Frege had reason to be interested in the question how the axioms and rules of his formal theory might be justified and, second, that he explicitly commits himself to offering a justification that appeals to the (...) notion of reference. I then discuss the justifications Frege offered, focusing on his discussion of inferences involving free variables, in section 17 of Grundgesetze, and his argument, in sections 29-32, that every well-formed expression of his formal language has a unique reference. (shrink)

In this exciting new collection, a distinguished international group of philosophers contribute new essays on central issues in philosophy of language and logic, in honor of Michael Dummett, one of the most influential philosophers of the late twentieth century. The essays are focused on areas particularly associated with Professor Dummett. Five are contributions to the philosophy of language, addressing in particular the nature of truth and meaning and the relation between language and thought. Two contributors discuss time, in particular the (...) reality of the past. The last four essays focus on Frege and the philosophy of mathematics. The volume represents some of the best work in contemporary analytical philosophy. (shrink)

Frege held that referring expressions in general, and demonstratives and indexicals in particular, contribute more than just their reference to what is expressed by utterances of sentences containing them. Heck first attempts to get clear about what the essence of the Fregean view is, arguing that it rests upon a certain conception of linguistic communication that is ultimately indefensible. On the other hand, however, he argues that understanding a demonstrative (or indexical) utterance requires one to think of the object denoted (...) in an appropriate way. This fact makes it difficult to reconcile the view that referring expressions are "directly referential" with any view that seeks (as Grice's does) to ground meaning in facts about communication. (shrink)

The epistemological argument against descriptivism about proper names is extremely simple. Fora proper name `N' and definite description `F', the proposition expressed by ``If N exists, then N is F'' is not normally known a priori. But descriptivism about proper names entails otherwise. So descriptivism is false. The argument is widely regarded as sound. This paper aims to establish that the epistemological argument is highly unstable. The problem with the argument is that there seems to be no convincing rationale for (...) the first premise that is independent of a view about the nature of the proposition expressed by the sentence ``If N exists, then N is F''. (shrink)

Mill is a detractor of the view that proper names have meanings, defending in its place the view that names are nothing more than (meaningless) marks. Because of this, Mill is often regarded as someone who anticipated the theory of direct reference for names: the view that the only contribution a name makes to propositions expressed through its use is the name's referent. In this paper I argue that the association is unfair. With some gentle interpretation, Mill can be portrayed (...) as someone who is a Millian in the sense he most cares about (names are meaningless marks) but a descriptivist in so far as he takes the determinants of reference to be properties in the possession of speakers. I contend that this view is not only one that Mill comes close to holding, but, in light of the reasons that (nearly) led him to such a view, one that is worth taking seriously on its own terms. (shrink)

The main objective of this paper is to examine how theories of truth and reference that are in a broad sense Fregean in character are threatened by antinomies; in particular by the Epimenides paradox and versions of the so-called Russell-Myhill antinomy, an intensional analogue of Russell’s more well-known paradox for extensions. Frege’s ontology of propositions and senses has recently received renewed interest in connection with minimalist theories that take propositions (thoughts) and senses (concepts) as the primary bearers of truth and (...) reference. In this paper, I will present a rigorous version of Frege’s theory of sense and denotation and show that it leads to antinomies. I am also going to discuss ways of modifying Frege’s semantical and ontological framework in order to avoid the paradoxes. In this connection, I explore the possibility of giving up the Fregean assumption of a universal domain of absolutely all objects, containing in addition to extensional objects also abstract intensional ones like propositions and singular concepts. I outline a cumulative hierarchy of Fregean propositions and senses, in analogy with Gödel’s hierarchy of constructible sets. In this hierarchy, there is no domain of all objects. Instead, every domain of objects is extendible with new objects that, on pain of contradiction, cannot belong to the given domain. According to this approach, there is no domain containing absolutely all propositions or absolutely all senses. (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)

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)