The present study of sense and reference in the logic of Frege represents the first fruits of several years of dealing with the work of this great German logician. In the preparation of this work, which was presented as a dissertation to the Faculty of Philosophy of the Friedrich-Alexander University in Erlangen/Nuremberg, assistance came from many quarters. lowe most to Professor R. Zocher, who directed this dissertation with understanding counsel and unflagging interest. I must also thank Professor P. (...) Lorenzen, whose courses and seminars provided more inspiration than might be immediately apparent in the book. Professor W. Britzelmayr of Munich was so kind as to provide copies of important fragments of Frege's works. These texts are reproduced with the permission of Professor H. Hermes, Director of the 'Institut fUr mathematische Logik und Grund lagenforschung' in Munster, where Frege's works and letters are being prepared for publication. The preparation of this work was greatly facilitated by a two-year grant from the Fritz Thyssen Foundation. CHRISTIAN THIEL Nuremberg, February 1965 v TRANSLATOR'S NOTE In the difficult matter of Fregean terminology we have taken Ignacio Angelelli's translation of Two Soviet Studies on Frege as the model. Both Professor Angelelli and Dr. Thiel have been so kind as to read over the translation before publication. (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)

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)

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

This book aims to develop certain aspects of Gottlob Frege’s theory of meaning, especially those relevant to intensional 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. (The approach is contrasted with the less historically-minded Logic of Sense and Denotation of Alonzo Church.) Comparisons of Frege’s theory with those of (...) Russell and others are given. It is in the end shown that developing Frege’s theory in these ways reveals serious problems hitherto largely unnoticed, including those possibly rendering a Fregean intensional logic inconsistent even if his naïve class theory is excluded. (shrink)

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)

First Published in 1993. Routledge is an imprint of Taylor & Francis, an informa company.

Frege’s distinction between sense (Sinn) and meaning (Bedeutung) is his most influential contribution to philosophy, however central it was to his own projects, and however he may have conceived its importance. Philosophers of language influenced by, or reacting against the distinction, and historians of philosophy commenting on it, have all contributed to the voluminous literature surrounding it.1 Nonetheless in this essay I hope to shed new light on the distinction by considering it in the context of the development of (...) Frege’s thought, and connecting it more intimately than is usually done with Frege’s interests in logic, especially his views on judgment, truth and inference, which were central to his own projects as he conceived them. (shrink)

Editorial NoteThis paper was read by Michael Dummett at Leiden University on September 26, 1992 at the invitation by Göran Sundholm to address the topic mentioned in the title. Dummett’s lecture was part of a workshop, Meaning Theory and Intuitionism, with 12 invited speakers over three days. After the workshop, Dummett gave a copy of the manuscript to Sundholm together with permission to publish it. At the time, nothing came of the publication plans, nor did Dummett publish it in any (...) other form. The text has remained virtually unknown, and apart from a lecture of Per Martin-Löf, also at Leiden, on the same topic, it has received no scholarly attention. We are indebted to Dummett’s literary executor, Professor Ian Rumfitt, of All Souls College, Oxford, who after nearly three decades confirmed the earlier permission to publish.Göran SundholmAnsten Klev. (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)

This is a study of the epistemology of indexical reference, Or its foundation in the intentionality of the speaker's awareness of the referent. Where the referent is the object of the speaker's acquaintance on that occasion, The sense expressed is the generic content of that awareness. This, Indexical sense determines indexical reference, But indexical sense works by appeal to the context of the speaker's awareness of the referent. It is discussed how, By virtue of indexical (...) sense, Indexical reference is rigid, I.E. Picks out the same referent in any possible world. (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)

John Hyman insists that Frege-style cases for depiction show that any sound theory of depiction must distinguish between the ‘sense’ and the ‘reference’ of a picture. I argue that this rests on a mistake. Making sense of the cases does not require the distinction.

In his Logical Investigations Edmund Husserl criticizes John Stuart Mill’s account of meaning as connotation, especially Mill’s failure to separate the distinction between connotative and non-connotative names from the distinction between the meaningful and the meaningless. According to Husserl, both connotative and non-connotative names have meaning or “signification”, that is, what Gottlob Frege calls the sense (“Sinn”) of an expression. The distinction between connotative and non-connotative names is a distinction between two kinds of meaning (or sense), attributive and (...) non-attributive meaning (“attributive und nicht-attributive Bedeutung”). Attributive (connotative) names denote (refer to) objects through their attributes, whereas a non-attributive name means a thing directly (“direkt”). In this paper I examine the concepts of attributive and non-attributive meaning by means of the semiotic theory of Charles S. Peirce, and compare Peirce’s account with the views of Frege, Husserl, Alexius Meinong, and David Kaplan and Gareth Evans. (shrink)

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)

Gottlob Frege's brief article Uber Sinn und Bedeutung (On Sense and Reference) has come to be seen, in the century since its publication in 1892, as one of the seminal texts of analytic philosophy. It, along with the rest of Frege's writings on logic and mathematics, came to mark out a whole new domain of inquiry and to set the agenda for it. This volume bears witness to the continuing importance and influence of that agenda. It contains original (...) papers written by leading Frege scholars for the conference held in 1992 in Karlovy Vary to celebrate the centenary of the publication of Frege's essay. The 14 essays show how the questions Frege discusses in that essay connect intimately with issues much debated in current philosophy of language and philosophy of mind. (shrink)

Resenha de "Sobre o sentido e a referência" / Review of "On sense and reference".

The topic of this paper is the semantic structure of belief reports of the form 'a believes that p'. it is argued that no existing theory of these sentences satisfactorily accounts for anaphoric relations linking expressions within the embedded complement sentence to expressions outside. a new account of belief reports is proposed which assigns to embedded expressions their normal semantic values but which also exploits frege's idea of using senses to explain the apparent failures of extensionality in the reports.

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)

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)

Pierre Duhem’s philosophy of science was criticized by several of his contemporaries for being surreptitiously influenced by his Catholic faith. In his essay “Physics of a Believer,” Duhem defends himself against this appraisal. In this paper, I detail Duhem’s argument and reconstruct his view concerning the relationship between theoretical science and religious belief. Ultimately, Duhem claims that the propositions of physical theory cannot contradict the propositions of religious belief because they do not share a domain of reference. To clarify (...) why Duhem holds this view, I present a case study: the discovery of entropy. By examining how the term “entropy” was introduced into thermo-dynamic theory, a story with which Duhem was intimately familiar, much of the apparent conflict in Duhem’s philosophy of science is resolved. (shrink)

Smart argues that saw ("british journal of aesthetics", Vol. I, 2) has given an account of the subject-Matter of aesthetics which is too general. It allows that the playing and watching of some games are aesthetic phenomena. Saw admits that there are aesthetic elements involved in these cases, But she claims that in enjoying these aspects of games one is not enjoying the game as such. (staff).

I consider a common objection to assimilating arts and languages and show that it depends on the view that meaning in language is exhausted by reference (frege's "bedeutung"). if meaning in art is viewed as involving sense (frege's "sinn") as well as reference, the common objection fails. the notion of sense also seems valuable in formulating problems about meaning in art, despite its obscurity. i also suggest that problems about meaning in art, treated in this way, (...) may prove to illuminate problems about meaning in language. (shrink)

Smart argues that saw ("british journal of aesthetics", Vol. I, 2) has given an account of the subject-Matter of aesthetics which is too general. It allows that the playing and watching of some games are aesthetic phenomena. Saw admits that there are aesthetic elements involved in these cases, But she claims that in enjoying these aspects of games one is not enjoying the game as such. (staff).

When I was revising _Sensory Qualities_ there was a period of about a year when I set the manuscript aside and did other things. When I returned to it I found that certain portions of the argument had collapsed of their own weight, like an old New England barn, and could be carted off the premises without compunction. Other parts were wobbling on their foundation, while some had weathered well and seemed nice and solid. My revision strategy was simple: I (...) kept just the nice solid bits, thinking that I could go back and work on the wobbly portions later. (shrink)

Gilbert Ryle wrote that "Meaning-theory expanded just when and just in so far as it was released from that 'Fido'-Fido box, the lid of which was never even lifted by Meinong". This paper sets out to relieve Ryle's oversimplification about Meinong and the role of meaning theory in his thought. One step away from canine simplicity about meaning is the recognition of a distinction between sense and reference, such as we find in Frege, Husserl, and the early Russell. (...) In Über Möglichkeit und Wahrscheinlichkeit (1915) Meinong seems to corroborate Ryle when he writes, "Word-meanings are objects", but immediately after this, he qualifies it: "Word-meanings are very often auxiliary objects". The distinction between auxiliary and target objects in Meinong's later work allows us to attribute to him a theory of sense and reference which shows him to have indeed lifted the box-lid. (shrink)

According to Frege, expressions shift their reference when they occur in indirect contexts: in “Anna believes that Plato is wise” the expression “Plato” no longer refers to Plato but to what is ordinarily its sense. Many philosophers, including Carnap, Davidson, Burge, Parsons, Kripke and Künne, believe that on Frege's view the iteration of indirect context creating operators gives rise to an infinite hierarchy of senses. While the former two take this to be problematic, the latter four welcome the (...) hierarchy with open arms. In this paper I argue that the hierarchy should be avoided and that it can be avoided. (shrink)

Gilbert Ryle wrote that "Meaning-theory expanded just when and just in so far as it was released from that 'Fido'-Fido box, the lid of which was never even lifted by Meinong". This paper sets out to relieve Ryle's oversimplification about Meinong and the role of meaning theory in his thought. One step away from canine simplicity about meaning is the recognition of a distinction between sense and reference, such as we find in Frege, Husserl, and the early Russell. (...) In Über Möglichkeit und Wahrscheinlichkeit Meinong seems to corroborate Ryle when he writes, "Word-meanings are objects", but immediately after this, he qualifies it: "Word-meanings are very often auxiliary objects". The distinction between auxiliary and target objects in Meinong's later work allows us to attribute to him a theory of sense and reference which shows him to have indeed lifted the box-lid. (shrink)

This paper analyzes the concept of truth in terms of an account of Fregean sense as cognitive value. The account highlights the importance of understanding-based knowledge of co-reference for the individuation of senses. Explicit truth attributions, like involve an inter-level version of understanding-based knowledge of co-reference in the that-clause concepts of thoughts that they employ: one cannot understand the that-clause concept of the thought in the truth attribution without understanding the thought the that-clause concept is a concept (...) of. This is not a redundancy that eliminates or deflates cognitive value, but an exploitation, by the concept of truth, of the inter-level version of understanding-based knowledge of co-reference in critical reflective thinking. The cognitive value of the concept of truth is to combine semantically with explicit ways of thinking of thoughts to make critical reflective thinking possible. This account of the cognitive value of the concept of truth assigns cognitive value not by construing the concept of truth as a way of thinking about some thing, but by articulating its broader cognitive role. (shrink)

Frege's semantics of sense and reference and two husserlian alternatives are discussed. it is shown that husserl neither took his semantics of sense and reference from frege nor abandoned psychologism under his influence. frege's arguments on behalf of his choice of truth values as the reference of statements and of concepts as the reference of conceptual words are submitted to criticism. some algebraic considerations are sketched in the last part of the article.

Plato's "theaetetus" (187-200) raises puzzles about false belief. Frege's explanation of how an identity statement can be informative is often seen as a solution to socrates' puzzles. The strategy of frege's solution is to explain a "mistake" as a "mismatch". But it turns out that socrates' argument, In fact, Is aware of and rejects this strategy.

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)