Fregean Sense

The paper proposes a way for adherents of Fregean, structured propositions to designate propositions (and other complex senses/concepts), using a special kind of functor. Investigating some formulations by Peacocke, I highlight certain problems that arise when we try to quantify over propositional constituents while referring to propositions using “that”-clauses (I also consider some other kinds of proposition designator). With the functor notation, by contrast, we can quantify over senses/concepts with ordinary quantifiers and speak without further ado about how they can (...) be involved in propositions. In addition to this benefit, the functor notation also turns out to come with an important kind of expressive strengthening, and is shown to be neutral on many central questions about concepts and propositions. (shrink)

Modes of presentation are often posited to accommodate Frege’s puzzle. Philosophers differ, however, in whether they follow Frege in identifying modes of presentation with Fregean senses, or instead take them to be formally individuated symbols of “Mentalese”. Building on Fodor, Margolis and Laurence defend the latter view by arguing that the mind-independence of Fregean senses renders them ontologically suspect in a way that Mentalese symbols are not. This paper shows how Fregeans can withstand this objection. Along the way, a clearer (...) understanding emerges of what senses must be to serve as an ontologically benign alternative to symbols of Mentalese. (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.

This paper is devoted to an examination of some aspects of the central issue of Cognitive Dynamics, the issue about the conditions under which intentional mental states may persist over time. I discuss two main sorts of approach to the topic: the directly referential approach, which I take as best represented in David Kaplan?s views, and the neo-Fregean approach, which I take as best represented in Gareth Evans?s views. The upshot of my discussion is twofold. On the one hand, I (...) argue that both Kaplan?s account and Evans?s account are on the whole defective (for different sorts of reason, of course); even though there are features of each of those views which seem to me to be along the right lines. On the other, and in spite of that, I claim that a broadly Fregean theory is still to be preferred since by positing semantically efficacious modes of presentation it is clearly better equipped to deal adequately with some important phenomena in the area. In particular, I argue that the notion of a memory-based demonstrative mode of presentation of an object (a spatio-temporal particular, a region in space, a period of time, etc.) turns out to be indispensable for the purpose of accounting for the persistence of an important range of mental states with propositional content over time. (shrink)

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)

Different authors of Fregean inspiration have argued recently for the need of resorting to senses in order to explain successful communication. Such arguments have led some philosophers to develop theories of sense which include some of the externalist insights brought up by neo-Russellians. In this paper, we argue that these theories of sense don't work. We also present a broadly neo-Russellian account that explains away Fregean puzzles on communication without resource to entities like senses.

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 sucient to list a great number of customary concepts of a semantical nature ([Carnap, 1963], 60--62).

In "Analyticity, Necessity, and the Epistemology of Semantics," Jerrold Katz argues against the Fregean thesis that sense determines reference. He proposes a reconception of sense, uses this to give a non-standard understanding of analyticity, and then goes on to show how these moves block arguments for semantic externalism, evade Quine's attacks on analyticity, and ground a "rationalist/internalist" conception of semantic knowledge. For these reasons it seems that quite a lot hangs on the viability of Katz's proposal. Therefore, the question whether (...) his program can be sustained is of considerable philosophical interest. This paper argues that Katz's program cannot succeed. Because he rejects the Fregean thesis, Katz ends up with an impoverished account of analyticity incapable of doing the work Katz requires of it. If this is right, then we have no reason to endorse Katz's idiosyncratic notions of sense and analyticity over their traditional competitors. (shrink)

The goal of the paper is to offer an explanation why Frege has changed his Begriffsschrift account of identity to the one presented in Über Sinn und Bedeutung. The main claim of the paper is that in order to better understand Frege’s motivation for the introduction of his distinction between sense and reference, which marks his change of views, one should place this change in its original setting, namely the broader framework of Frege’s fundamental preoccupations with the foundations of arithmetic (...) and logic. The Fregean thesis that mathematics is contentful, and its defense against formalism and psychologism, provides us an valuable interpretative key. Thus, Fregean senses are not just the mere outcome of some profound reflections on language, rather they play an important role in the articulation of Frege’s program in the foundations of arithmetic. (shrink)

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)

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)

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)

This book is an analysis of Frege's views on language metaphysics raised in On Sense Reference, arguably one of the most important philosophical essays of the past hundred years. It provides a thorough introduction to the function/argument analysis and applies Frege's technique to the central notions of predication, identity, existence and truth. Of particular interest is the analysis of the Paradox of Identity and a discussion of three solutions: the little-known Begriffsschrift solution, the sense/reference solution, and Russell's 'On Denoting' solution. (...) Russell's views wend their way through the work, serving as a foil to Frege. Appendices give the proofs of the first 68 propositions of Begriffsschrift in modern notation. This book will be of interest to students and professionals in philosophy and linguistics. (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.

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

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

Despite its importance for early analytic philosophy, Gottlob Frege's account of existence statements, according to which they classify concepts, has been thought to succumb to a number of well-worn criticisms. This article does two things. First, it argues that, by remaining faithful to the letter of Frege's claim that concepts are functions, the Fregean account can be saved from many of the standard criticisms. Second, it examines the problem that Frege's account fails to generalize to cases which involve definite descriptions (...) and proper names. To deal with this the proffered analysis deviates from the letter of Frege's views, while remaining within its spirit. It proposes, in opposition to Frege, that expressions which grammatically look like singular terms should not always be read as referring to objects, but are sometimes best analysed as indicating functions. (shrink)

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.

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)