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)

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)

This book provides a concise overview, with excellent historical and systematic coverage, of the problems of the philosophy of language in the analytic tradition. Howard Callaway explains and explores the relation of language to the philosophy of mind and culture, to the theory of knowledge, and to ontology. He places the question of linguistic meaning at the center of his investigations. The teachings of authors who have become classics in the field, including Frege, Russell, Carnap, Quine, Davidson, and Putnam are (...) critically analyzed. I share completely his conviction that contemporary Anglo-American philosophy follows the spirit of the enlightenment in insisting on intellectual sincerity, clarity, and the willingness to meet scientific doubts or objections openly. --Professor Henri Lauener, Editor of Dialectica. (shrink)

Gottlob Frege has exerted an enormous influence on the evolution of twentieth-century philosophy, yet the real significance of that influence is still very much a matter of debate. This book provides a completely new and systematic account of Frege's philosophy by focusing on its cornerstone: the theory of sense and reference. Two features distinguish this study from other books on Frege. First, sense and reference are placed absolutely at the core of Frege's work; the author shows that no adequate account (...) of the theory can avoid analysing the notion of thought that underpins it, or explaining how it has clarified our concept of judgement. Second, the theory is situated within the development of Frege's thought; the author reveals how the theory caused Frege to alter many of his fundamental views. In doing so the author presents a clearer picture of the problems the theory was intended to solve, and delineates more sharply the characteristic features of Frege's philosophy. (shrink)

What is involved in the meaning of our expressions? Frege suggested that there is an aspect of an expression.

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)

In the new metalanguage of semantics, it is possible to make statements about the relation of designation and about truth.... To me the usefulness of semantics for philosophy was so obvious that I believed no further arguments were required and it was sufficient to list a great number of customary concepts of a semantical nature ([Carnap, 1963], 60–62).

I argue that Kant's and Frege's refutations of the ontological argument are more similar than has generally been acknowledged. As I clarify, for both Kant and Frege, to say that something exists is to assert of a concept that it is instantiated. With such an assertion one expresses that there is a particular relation between the instantiating object and a rational subject - a particular mode of presentation for the object in question. By its very nature such a relation cannot (...) be the property of an object and thus cannot be included in the concept of that object. Thus the ontological argument, which takes existence to be a part of the concept of the supreme being, cannot, according to Kant and Frege, succeed. A secondary goal of the paper is to illuminate what I take to be an important affinity between Kant's and Frege's views more generally: that Frege's fundamental distinction between the sense and the referent of a proposition echoes, in an important way, Kant's distinction between concepts and the formal principles for their application to experience. (shrink)

This paper continues Michael Dummett's and my discussion of Frege in The Philosophy of Michael Dummett [2007]. Most of it is about Dummett’s change in view on Frege’s senses and objects. The issues include: the cognitive order versus the ontological order for the forward road; the nature and identity of senses and the different senses of "intension;" the nature of saturation; whether special quantifiers are now needed for senses; and Frege’s earlier and later permutation arguments. I discuss the implications of (...) the forward road for intuitionism as well. (shrink)

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

According to Epistemic Two-Dimensional Semantics (E2D), expressions have a counterfactual intension and an epistemic intension. Epistemic intensions reflect cognitive significance such that sentences with necessary epistemic intensions are a priori. We defend E2D against an influential line of criticism: arguments from epistemic misclassification. We focus in particular on the arguments of Speaks [2010] and Schroeter [2005]. Such arguments conclude that E2D is mistaken from (i) the claim that E2D is committed to classifying certain sentences as a priori, and (ii) the (...) claim that such sentences are a posteriori. We aim to show that these arguments are unsuccessful as (i) and (ii) undercut each other. One must distinguish the general framework of E2D from a specific implementation of it. The framework is flexible enough to avoid commitment to the apriority of any particular sentence; only specific implementations are so committed. Arguments from epistemic misclassification are therefore better understood as arguments for favouring one implementation of E2D over another, rather than as refutations of E2D. (shrink)

In this paper I argue that, in order to make (T1) and (T2) compatible within a Fregean approach, we must reject the view that all modes of presentation are senses. (T1) There is a diversity of ways in which Venus may be presented to each subject, and which are associated with the name ‘Venus’. (T2) There is only one Fregean thought expressed by the sentence ‘Venus is a planet’. Modes of presentation are essentially psychological and have causal powers on minds. (...) The mind of a subject is sensitive to differences in modes of presentation, so that if an object is presented to a subject under different modes of presentation and she has no reason to believe that they are modes of presentation of one and the same object, then she may take opposing attitudes involving those different modes of presentation. In contrast, senses are essentially semantic. For this reason, I propose that they be understood as certain ways of determining the reference of terms, and either are given by the semantic rules for those terms or are identical to those semantic rules. I agree with McDowell that an interpretive truth-theory for a language L gives us a theory of sense for L, and that something like (V) ‘Venus’ refers to Venus will give us the axiom which assigns the semantic value for ‘Venus’ within such a theory, and which is necessary in order to derive the interpretive truth-conditions of a sentence like ‘Venus is a planet’. An axiom like ‘Venus’ refers to Hesperus will not do within a theory of sense. Nonetheless, it will do within a theory of reference, a truth-theory which delivers not interpretive truth-conditions, but purely referential truth conditions. The purely referential truth-conditions for an indicative atomic sentence are, I claim, those which are specified by specifying those features in the world (objects, properties, etc.) to which the meaningful parts of the sentence refer, representing them as related in a certain way. For the specification of such truth-conditions, the difference in cognitive value between two sentences will not matter, whereas it will matter for the specification of interpretive truth-conditions. Now, senses are introduced to allow for an explanation of the difference in cognitive value between sentences with the same purely referential truth-conditions. An indication of when two sentences differ in cognitive value is when it is possible for a subject who is rational and understands the language in question to take opposing attitudes to those sentences (or their contents —whatever those contents are); and if there is in fact such a subject who takes opposing attitudes to those sentences, then those sentences differ in their cognitive value. Given this connection between cognitive value and a subject’s attitudes, and given the purpose for which senses are introduced, we must suppose that a subject’s mind must be sensitive to differences in senses, and so, that senses must be psychologically relevant. My proposal, which aims to establish some kind of identity between some modes of presentation under certain conditions and those ways of determination which are senses, is as follows: A psychological mode of presentation M is a way of determination which is a sense relative to a particular expression e in a public language L which aids in expressing propositional attitude P if and only if i the subject who has M and who is sufficiently competent in L knows (or realizes) that M goes with e in L; ii no other proposition e′ in L is more adequate for reporting the subject’s propositional attitude P; iii M is crucial in the subject’s rational failure to make certain identifications; and iv M is an appropriate function to an appropriate reference. Only the mode of presentation associated with ‘Venus’ that satisfies conditions i-iv relative to ‘Venus’ which aids in expressing a propositional attitude like the belief that Venus is a planet, will be the sense of ‘Venus’. I argue that only the mode of presentation of Venus as Venus will do, and that such mode of presentation is implicit in the way of determination shown by (V). Other modes of presentation of Venus as being big or appearing in the sky in the evenings or being the second planet in proximity to the sun will not satisfy conditions i–iv. Thus, although a subject may have all these modes of presentation of Venus and associate them with ‘Venus’ (i.e. (T1)), only the mode of presentation of Venus as Venus will do as the sense of ‘Venus’. Hence, only one thought will be expressed by a sentence like ‘Venus is a planet’ (i.e. (T2)). (shrink)

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

Equality1 gives rise to challenging questions which are not altogether easy to answer. Is it a relation? A relation between objects, or between names or signs of objects? In my Begriffsschrift I assumed the latter. The reasons which seem to favour this are the following: a = a and a = b are obviously statements of differing cognitive value; a = a holds a priori and, according to Kant, is to be labeled analytic, while statements of the form a = (...) b often contain very valuable extensions of our knowledge and cannot always be established a priori. The discovery that the rising sun is not new every morning, but always the same, was one of the most fertile astronomical discoveries. Even to-day the identification of a small planet or a comet is not always a matter of course. Now if we were to regard equality as a relation between that which the names ‘a’ and ‘b’ designate, it would seem that a = b could not differ from a = a (i.e. provided a = b is true). A relation would thereby be expressed of a thing to itself, and indeed one in which each thing stands to itself but to no other thing. What is intended to be said by a = b seems to be that the signs or names ‘a’ and ‘b’ designate the same thing, so that those signs themselves would be under discussion; a relation between them would be asserted. But this relation would hold between the names or signs only in so far as they named or designated something. It would be mediated by the connexion of each of the two signs with the same designated thing. But this is arbitrary. Nobody can be forbidden to use any arbitrarily producible event or object as a sign for something. In that case the sentence a = b would no longer refer to the subject matter, but only to its mode of designation; we would express no proper knowledge by its means. But in many cases this is just what we want to do. If the sign ‘a’ is distinguished from the sign ‘b’ only as object (here, by means of its shape), not as sign (i.e. not by the manner in which it designates something), the cognitive value of a = a becomes essentially equal to that of a = b, provided a = b is true.. (shrink)

Functionalists think an event's causes and effects, its 'causal role', determines whether it is a mental state and, if so, which kind. Functionalists see this causal role principle as supporting their orthodox materialism, their commitment to the neuroscientist's ontology. I examine and refute the functionalist's causal principle and the orthodox materialism that attends that principle.

Dummett's output has been prolific and highly influential, but not always as accessible as it deserves to be. This book sets out to rectify this situation.

Frege’s celebrated distinction between judgments and their contents invites the Tractarian denigration of his assertion sign as merely indicating the holding or putting forth as true of a thought, for whatever its other merits the marking of such an event seems of little relevance to a thought’s inferential significance. However, in light of (a) Frege’s conception of a logically correct language serving inter alia as an organon for the acquisition or reconstruction of knowledge, and (b) his epistemic conception of inference, (...) it is argued that the sign of assertion is a device for distinguishing from all others those thoughts lying on the path of discovery. The drawing of such a distinction is then shown to be of inferential significance by elucidating Frege’s conception of inference as involving the acquisition or reconstruction of knowledge. Frege’s view of inference rules as codifying justificatory relations among judgments is then given an interpretation as making no undue use of psychological notions, and his denial that the assertion sign can have semantic content is shown to be mistaken but not in such a way as to frustrate the aim with which it is introduced. (shrink)

We examine a crucial question for the World Wide Web: What does a Uniform Resource Identifier (URI) mean? Crucial for the next-generation Semantic Web, can it refer to things outside web-pages? The Web is a universal information space for naming and accessing information via URIs. However, the classical philosophical problems of meaning and reference that have been the source of debate within the philosophy of language return when the Web is given as the foundation for a knowledge representation with the (...) Semantic Web. Debates on the Semantic Web about the meaning and referential status of a URI are explored as analogues to debates about the meaning and reference of names in the philosophy of language. Three main positions are inspected: the logical position, as exemplified by the descriptivist theory of reference, the direct reference position, as exemplified by Putnam and Kripke’s causal theory of reference, and a Wittgensteinian position that views URIs as a public language, as exemplified by Web search engines. These positions show that debates within the philosophy of language are alive and well on the Web, and so in the philosophy of computer science. (shrink)

Frege's puzzle for demonstratives is accounting for the cognitive significance of identity statements containing demonstratives, such as "That [demonstration-1] is identical to that [demonstration-2]". Since the demonstrative 'that' makes the same semantic contribution (has the same 'character') on both occurrences, the difference must be due to the cognitive significance or 'senses' of the associated demonstrations. But what is the sense of a demonstration? Kaplan's suggested solutions in terms of gestures and appearances are not compatible with his general theory, and do (...) not work - a different solution must be found. (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)

A reply to Byrne and Thau's criticisms of "The Sense of Communiction".

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.

Are Fregean thoughts compositionally complex and composed of senses? We argue that, in Begriffsschrift, Frege took 'conceptual contents' to be unstructured, but that he quickly moved away from this position, holding just two years later that conceptual contents divide of themselves into 'function' and 'argument'. This second position is shown to be unstable, however, by Frege's famous substitution puzzle. For Frege, the crucial question the puzzle raises is why "The Morning Star is a planet" and "The Evening Star is a (...) planet" have different contents, but his second position predicts that they should have the same content. Frege's response to this antinomy is of course to distinguish sense from reference, but what has not previously been noticed is that this response also requires thoughts to be compositionally complex, composed of senses. That, however, raises the question just how thoughts are composed from senses. We reconstruct a Fregean answer, one that turns on an insistence that this question must be understood as semantic rather than metaphysical. It is not a question about the intrinsic nature of residents of the third realm but a question about how thoughts are expressed by sentences. (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.

Logicism is, roughly speaking, the doctrine that mathematics is fancy logic. So getting clear about the nature of logic is a necessary step in an assessment of logicism. Logic is the study of logical concepts, how they are expressed in languages, their semantic values, and the relationships between these things and the rest of our concepts, linguistic expressions, and their semantic values. A logical concept is what can be expressed by a logical constant in a language. So the question “What (...) is logic?” drives us to the question “What is a logical constant?” Though what follows contains some argument, limitations of space constrain me in large part to express my Credo on this topic with the broad brush of bold assertion and some promissory gestures. (shrink)

There is a parallel between Plato's argument for the forms at 74b7-c5 in the Phaedo and Frege's argument for the claim that proper names express senses. There is also, I claim, an important asymmetry. The asymmetry explains why it is consistent to accept the conclusion of the Phaedo argument without accepting the conclusion of Frege's argument. The Phaedo argument turns on the possibility of a specific kind of mistaken judgement that may be termed "brute error". Frege's argument does not so (...) depend on the possibility of brute error. (shrink)

Contemporary philosophy standardly accepts Frege's conceptions of sense as the determiner of reference and of analyticity as (necessary) truth in virtue of meaning. This paper argues that those conceptions are mistaken. It develops referentially autonomous notions of sense and analyticity and applies them to the semantics of natural kind terms. The arguments of Donnellan, Putnam, and Kripke concerning natural kind terms are widely taken to refute internalist and rationalist theories of meaning. This paper shows that the counter-intuitive consequences about the (...) reference of natural kind terms depend as much on Frege's conceptions of sense and analyticity as on what such theories of meaning say about the senses of natural kind terms. Rather than refuting the internalist and rationalist theories of meaning, the arguments of Donnellan, Putnam, and Kripke are best recast as refutations of their own Fregean assumptions. The paper also shows how autonomous notions of sense and analyticity enable us to reconstruct such theories, formulate an internalist/ rationalist account of semantic knowledge, and preserve Donnellan's, Putnam's, and Kripke's insights about reference. (shrink)

This book aims to develop certain aspects of Gottlob Frege's theory of meaning, especially those relevant to intentional logic. It offers a new interpretation of the nature of senses, and attempts to devise a logical calculus for the theory of sense and reference that captures as closely as possible the views of the historical Frege.

Frege's theory of indirect contexts and the shift of sense and reference in these contexts has puzzled many. What can the hierarchy of indirect senses, doubly indirect senses, and so on, be? Donald Davidson gave a well-known 'unlearnability' argument against Frege's theory. The present paper argues that the key to Frege's theory lies in the fact that whenever a reference is specified (even though many senses determine a single reference), it is specified in a particular way, so that giving a (...) reference implies giving a sense; and that one must be 'acquainted' with the sense. It is argued that an indirect sense must be 'immediately revelatory' of its reference. General principles for Frege's doctrine of sense and reference are sated, for both direct and indirect quotation, to be understood iteratively. I also discuss Frege's doctrine of tensed and first person statements in the light of my analysis. The views of various other authors are examined. The conclusion is to ascribe to Frege an implicit doctrine of acquaintance similar to that of Russell. (shrink)

I’m going to present a new idea about how to find the right place for the indexical and demonstrative expressions in Gottlob Frege’s semantics. My main thesis is: that it is possible to find such interpretation of Frege’s view on indexicals and demonstratives which is entirely “fregean” and is not vulnerable to the counterexamples given by Kaplan and Perry. According to the interpretation I propose, these expressions are functional and they denote first-level functions defined on objects. These functional expressions taken (...) together with an object form a hybrid proper name. (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)

The article presents Frege's distinction between Sense and Reference. After a short introduction, it explains the puzzle which gave rise to the distinction; Frege's earlier solution, and his reasons for its later repudiation. The distinction, which embodies Frege's second solution, is then discussed in two phases. The first, which is restricted to proper names, sets out its most basic features. The second discusses 'empty' names; indirect speech, and the distinction for predicates and for complete sentences. Finally, two criticisms, by Russell (...) and by Kripke, are briefly set out. (shrink)

Michael Dummett has advanced, very influentially, the view that Frege means truth conditions by his notion of thought (Gedanke). My aim in this paper is to argue that Dummett and others are mistaken in this claim. First, Frege's aversion of the correspondence theory of truth does not square well with Dummett's claim. Secondly, and more importantly, Grundgesetze I, §32, is the only place where Frege even appears to be talking about truth conditions in connection with his notion of thought -- (...) and even there, I shall show, he does not really identify thoughts with truth conditions, but states only the triviality that a statement such as, say, 'Leibniz is a philosopher' expresses the thought that Leibniz is a philosopher. (shrink)

Between April and November 1912, Bertrand Russell and Ludwig Wittgenstein were engaged in a joint philosophical program. Wittgenstein‘s meeting with Gottlob Frege in December 1912 led, however, to its dissolution – the joint program was abandoned. Section 2 of this paper outlines the key points of that program, identifying what Russell and Wittgenstein each contributed to it. The third section determines precisely those features of their collaborative work that Frege criticized. Finally, building upon the evidence developed in the preceding two (...) sections, section 4 recasts along previously undeveloped lines Wittgenstein‘s logical–philosophical discoveries in the two years following his encounter with Frege in 1912. The paper concludes, in section 5, with an overview of the dramatic consequences the Frege-Wittgenstein critique had for Russell‘s philosophical development. (shrink)

In this paper I shall deal with the role of "understanding a thought" in the debate on the definition of the content of an assertion. I shall present a well known tension in Frege's writings, between a cognitive and semantic notion of sense. This tension is at the source of some of the major contemporary discussions, mainly because of the negative influence of Wittgenstein's Tractatus, which did not give in-depth consideration to the tension found in Frege. However many contemporary authors, (...) after the first attempt by Carnap himself, have tried to make room both for a cognitive and semantic aspect of meaning. I claim that at least some of these attempts (Dummett, Perry and Chalmers) are seriously flawed, mainly due to the difficulty in making a proper connection between the two different conceptions of sense. I shall outline an alternative project, which takes into consideration Frege's requirements on antipsychologism and of the objectivity of thought, while maintaining a close connection between the two aspects of sense. (shrink)

In this paper, I will discuss a well-known oscillation in Frege’s conception of sense. My point is only partially concerned with his two different criteria of sense identity, and touches upon a more specific point: what happens if we apply Frege’s intuitive criterion for the difference of thoughts to logically equivalent sentences? I will try to make a schematic argument here that will preempt any endeavor to make Frege more coherent than he really is. In sections A and B, I (...) will present two alternative Fregean ways to treat the sense of logically equivalent sentences. Frege really oscillated between two alternative conceptions of sense, and his inability to detect the contrast between the two alternative conceptions is partly due to his strong conception of rationality. To apply the criterion of difference of thoughts to logical matters, we may also use a weak notion of rationality, or at least a notion of rationality of human agents, with limited computational resources. The distinctions towards which Frege was striving are better understood nowadays from the point of view of the treatment of limited rationality, which imposes itself even in logical matters. (shrink)

One particular topic in the literature on Frege’s conception of sense relates to two apparently contradictory theses held by Frege: the isomorphism of thought and language on one hand and the expressibility of a thought by different sentences on the other. I will divide the paper into five sections. In (1) I introduce the problem of the tension in Frege’s thought. In (2) I discuss the main attempts to resolve the conflict between Frege’s two contradictory claims, showing what is wrong (...) with some of them. In (3), I analyze where, in Frege’s writings and discussions on sense identity, one can find grounds for two different conceptions of sense. In (4) I show how the two contradictory theses held by Frege are connected with different concerns, compelling Frege to a constant oscillation in terminology. In (5) I summarize two further reasons that prevented Frege from making the distinction between two conceptions of sense clear: (i) the antipsychologism problem and (ii) the overlap of traditions in German literature contemporary to Frege about the concept of value. I conclude with a hint for a reconstruction of the Fregean notion of ‘thought’ which resolves the contradiction between his two theses. (shrink)

In this paper we give some formal examples of ideas developed by Penco in two papers on the tension inside Frege's notion of sense (see Penco 2003). The paper attempts to compose the tension between semantic and cognitive aspects of sense, through the idea of sense as proof or procedure – not as an alternative to the idea of sense as truth condition, but as complementary to it (as it happens sometimes in the old tradition of procedural semantics).

This paper develops a criterion for sameness of Fregean senses. I consider three criteria: logical equivalence, intensional isomorphism, and epistemic equipollence. I reject the first two and argue for a version of the third.

One of Kripke's fundamental objections to descriptivism was that the theory misclassifies certain _a posteriori_ propositions expressed by sentences involving names as _a priori_. Though nowadays very few philosophers would endorse a descriptivism of the sort that Kripke criticized, many find two-dimensional semantics attractive as a kind of successor theory. Because two-dimensionalism needn't be a form of descriptivism, it is not open to the epistemic argument as formulated by Kripke; but the most promising versions of two-dimensionalism are open to a (...) close relative of that argument. (shrink)

A detailed chronology is offered for the writing of Frege's central philosophical essays from the early 1890s. Particular attention is given to (the distinction between) Sinn and Bedeutung. Suggestions are made as to the origin of the examples concerning the Morning Star/Evening Star and August Bebel's views on the return of Alsace-Lorraine. Likely sources are offered for Frege's use of the terms Bestimmungsweise, Art des Gegebenseins and Sinn und Bedeutung.

What account of evaluative expressions, such as ‘is beautiful’, ‘is generous’ or ‘is good’, should a Fregean adopt? Given Frege’s claim that predicates can have both a sense and a reference in addition to their extension, an interesting range of only partially explored theoretical possibilities opens to Frege and his followers. My intention here is to briefly present these putative possibilities and explore one of them, namely David Wiggins’ claim that evaluative predicates refer to non-natural concepts and have a sense (...) which is sentiment-involving. In order to defend this claim against objections which aim at showing that evaluative concepts do not really exist, I shall suggest that our awareness of evaluative concepts involves affective (or emotive) states. (shrink)

The Routledge Philosophy Guidebook to Frege On Sense and Reference helps the student to get to grips with Frege's thought, and introduces and assesses:the ...

In The Logical Basis of Metaphysics, Dummett argues at length that Geach has been wrong in taking the sense of a predicate to be a function that sends the sense of a proper name to that of a sentence, and claims that it should instead be a means to determine the referent of the predicate, as is suggested by Frege’s sense-determines-reference (SDR) principle. This disagreement between Dummett and Geach calls for a serious investigation into two of Frege’s sense-related principles, namely (...) the Compositionality thesis and the SDR thesis. By making precise both theses in terms of supervenience, we pin down a preferable sense of compositionality for senses, and resolve the debate in question. (shrink)

The nature of reference, or the relation of a word to the object to which it refers, has been perhaps the dominant concern of twentieth-century analytic philosophy. Extremely influential arguments by Gottlob Frege around the turn of the century convinced the large majority of philosophers that the meaning of a word must be distinguished from its referent, the former only providing some kind of direction for reaching the latter. In the last twenty years, this Fregean orthodoxy has been vigorously challenged (...) by those who argue that certain important kinds of words, at least, refer directly without need of an intermediate meaning or sense. The essays in this volume record how a long-term study of Frege has persuaded the author that Frege's pivotal distinction between sense and reference, and his attendant philosophical views about language and thought, are unsatisfactory. Frege's perspective, he argues, imposes a distinctive way of thinking about semantics, specifically about the centrality of cognitive significance puzzles for semantics. Freed from Frege's perspective, we will no longer find it natural to think about semantics in this way. (shrink)

The definitive version of this article is published in Philosophical Books 48.3 July 2007 pp. 233-240 by Blackwell Publishing, and is available at www.blackwell-synergy.com.

Can externalist concepts really capture an individual.

In a recent essay, “Frege's Theory of Sense of Reference: Some Exegetical Notes”, Saul Kripke shows that in addition to being an astute critic of Frege, he is also an insightful interpreter. Kripke's Frege emerges as a closet Russellian, who, like Russell, relies heavily on a doctrine of acquaintance. Is Kripke right? Where exactly does his approach resemble, and where depart from earlier interpretations, and what should one take away about whether or not Frege really was a Russellian and the (...) effect this has on his theory? (shrink)