Fregean Theories of Meaning

This paper is largely exegetical/interpretive. My goal is to demonstrate that some criticisms that have been leveled against the program Gareth Evans constructs in The Varieties of Reference (Evans 1980, henceforth VR) misfire because they are based on misunderstandings of Evans’ position. First I will be discussing three criticisms raised by Tyler Burge (Burge, 2010). The first has to do with Evans’ arguments to the effect that a causal connection between a belief and an object is insufficient for that belief (...) to be about that object. A key part of Evans’ argument is to carefully distinguish considerations relevant to the semantics of language from considerations relevant to the semantics (so to speak) of thought or belief (to make the subsequent discussion easier, I will henceforth use ‘thought’ as a blanket term for the relevant mental states, including belief). I will argue that Burge’s criticisms depend on largely not taking account of Evans’ distinctions. Second, Burge criticizes Evans’ account of ‘informational content’ taking it to be inconsistent. I will show that the inconsistency Burge finds depends entirely on a misreading of the doctrine. Finally, Burge takes Evans to task for a perceived over-intellectualization in a key aspect of his doctrine. Burge incorrectly reads Evans as requiring that the subject holding a belief be engaged in certain overly intellectual endeavors, when in fact Evans is only attributing these endeavors to theorists of such a subject. Next, I turn to two criticisms leveled by John Campbell (Campbell, 1999). I will argue that Campbell’s criticisms are based on misunderstandings – though they do hit at deeper elements of Evans’ doctrine. First, Campbell reads Evans’ account of demonstrative thought as requiring that the subject’s information link to an object allows her to directly locate that object in space. Campbell constructs a case in which one tomato (a) is, because of an angled mirror, incorrectly seen as being at a location that happens to be occupied by an identical tomato (b). Campbell claims that Evans’ doctrines require us to conclude that the subject cannot have a demonstrative thought about the seen tomato (a), though it seems intuitively that such a subject would be able to have a demonstrative thought about that tomato, despite its location is inaccurately seen. I show that Evans’ position in fact allows that the subject can have a demonstrative thought about the causal-source tomato in this case because his account does not require that the location of demonstratively identified objects be immediately accurately assessed. What is crucial is that the subject have the ability to accurately discover the location. Second, Campbell criticizes Evans’ notion of a fundamental level of thought. I show that this criticism hinges on view of the nature and role of the fundamental level of thought that mischaracterizes Evans’ treatment of the notion. (shrink)

Frege famously held that numbers play the role of objects in our language and thought, and that this role is on display when we use sentences like "The number of Jupiter's moons is four". I argue that this role is an example of a general pattern that also encompasses persons, times, locations, reasons, causes, and ways of appearing or acting. These things are 'objects' simply in the sense that they are answers to questions: they are the sort of thing we (...) search for and specify during investigation or inquiry. I support this epistemological conception of objects by studying specificational sentences, a class of sentences which includes Frege's original example. I defend an analysis of such sentences as question-answer pairs, and show how to formally represent this analysis using game-theoretical semantics. (shrink)

Bertrand Russell in his essay On Denoting [1905] presented a theory of description developed in response to the one proposed by Gottlob Frege in his paper Über Sinn und Bedeutung [1892]. The aim of our work will be to show that Russell underestimated Frege three times over in presenting the latter’s work: in relation to the Gray’s Elegy argument, to the Ferdinand argument, and to puzzles discussed by Russell. First, we will discuss two claims of Russell’s which do not do (...) justice to Frege: that we speak of a sense by means of quotation marks, and that all Frege does to cope with phrases that might denote nothing is define an arbitrary object as their reference. Second, we will show that Russell omitted the fact that Frege’s theory provided some answers for the puzzles presented by Russell in his essay. (shrink)

This paper is a contribution to the historical roots of the analytical tradition. As Michael Dummett points out in his Origins of Analytic Philosophy, many tendencies in Central European thought contributed to the early development of analytic philosophy. Dummett himself concentrates on just one aspect of this historical complex, namely on the relationship between the theories of meaning and reference developed by Frege and by Husserl in the years around the turn of the century. It is to this specific issue (...) that the present essay is devoted, though we attempt a more sympathetic reading of Husserl's views on these matters than is to be found in Dummett’s work. Topics covered include Husserl’s theory of intentionality, his view of meanings as types or essences of mental acts, of the relation between meaning and expression, of states of affairs, and of indexicality. (shrink)

Analytic philosophers apply the term ‘object’ both to concreta and to abstracta of certain kinds. The theory of objects which this implies is shown to rest on a dichotomy between object-entities on the one hand and meaning-entities on the other, and it is suggested that the most adequate account of the latter is provided by Husserl’s theory of noemata. A two-story ontology of objects and meanings (concepts, classes) is defended, and Löwenheim’s work on class-representatives is cited as an indication of (...) how the need for higher types may be obviated, even in mathematical contexts. The paper concludes with a sketch of the taxonomy of the object realm which results from the above. (shrink)

In this paper I apply a well known tension between cognitive and semantic aspects in Frege’s notion of sense to his treatment of indexicals. I first discusses Burge’s attack against the identification of sense and meaning, and Kripke’s answer supporting such identification. After showing different problems for both interpreters, the author claims that the tension in Frege’s conception of sense (semantic and cognitive) accounts for some shortcomings of both views, and that considering the tension helps in understanding apparently contradictory Fregean (...) claims about sameness of sense of sentences with indexicals. I conclude that the Fregean notion of sense, also in its cognitive aspect, cannot be reduced to linguistic meaning, and that the Fregean tension between two notions of sense may also explain the discussion Frege gives on the indexical “I”, proposing to develop a picture of indexicals as hidden complex demonstratives, as originally suggested by Burge. (shrink)

This paper is a comparison of Kripke’s and Künne’s interpretations of Frege’s theory of indexicals, especially concerning Frege’s remarks on time as “part of the expression of thought”. I analyze the most contrasting features of Kripke’s and Künne’s interpretations of Frege’s remarks on indexicals. Subsequently, I try to identify a common ground between Kripke’s and Künne’s interpretations, and hint at a possible convergence between those two views, stressing the importance given by Frege to nonverbal signs in defining the content of (...) thought. I conclude by indicating a possible direction for further research. (shrink)

Fine (2007) argues that Frege’s puzzle and its relatives demonstrate a need for a basic reorientation of the field of semantics. According to this reorientation, the domain of semantic facts would be closed not under the classical consequence relation but only under a stronger relation Fine calls “manifest consequence.” I examine Fine’s informally sketched analyses of manifest consequence, showing that each can be amended to determine a class of strong consequence relations. A best candidate relation emerges from each of the (...) two classes, and I prove that the two candidates extensionally coincide. The resulting consequence relation is of independent interest, for it might be held to constitute a cogent standard of reasoning that proceeds under a deficient grasp on the identity of objects. (shrink)

In nearly forty years’ of work, Simon Blackburn has done more than anyone to expand our imaginations about the aspirations for broadly projectivist/expressivist theorizing in all areas of philosophy. I know that I am far from alone in that his work has often been a source of both inspiration and provocation for my own work. It might be tempting, in a volume of critical essays such as this, to pay tribute to Blackburn’s special talent for destructive polemic, by seeking to (...) take down that by which I’ve been most provoked over the years. But Blackburn’s biting wit has both more wit and more bite than I could hope to emulate. So instead I’ll try to emulate here what I’ve admired the most about Blackburn – the constructive vein of much of his work. (shrink)

This is a very short book review of a recent volume on the philosophy of Gareth Evans with special attention to work on first-person reference.

In "Has Semantics Rested on a Mistake?", Howard Wettstein denies that semantics must account for cognitive significance. He thus rejects Frege's condition of adequacy for semantics and rids the new theorists from seemingly intractable puzzles. In a more recent article, Wettstein claims that not only reference but even cognitive significance is not a matter of how the referent is presented to the mind of the speaker. In this paper, I submit that the crucial element in the debate between new theorists (...) and neo-Fregeans concerning the semantic significance of language is the connection between semantic matters and the human thougth. (shrink)

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

It is widely supposed that if there is to be a plausible connection between the truth of a de re attitude report about a subject and that subject’s possession of a singular thought, then ‘acquaintance’-style requirements on singular thought must be rejected. I show that this belief rests on poorly motivated claims about how we talk about the attitudes. I offer a framework for propositional attitude reports which provides both attractive solutions to recalcitrant puzzle cases and the key to preserving (...) acquaintance constraints. The upshot is that there is an independently motivated response to the principal argument against acquaintance. (shrink)

كان «فريجه» – على حد تعبير «دامت» – من أوائل من أدركوا أن نظرية المعنى، أو فلسفة اللغة، هي جزءٌ اساسي من الفلسفة ترتكز عليه كافة الأجزاء الاخرى؛ فإلى جانب دراساته التأسيسية الرائدة في الرياضيات والمنطق، كان يُؤسس ايضًا لفلسفة اللغة ببعض المقالات التي فاقت في تاثيرها وشهرتها تاثير وشهرة معظم أعماله الرياضية الأخرى، دون إقلال من شان هذه الأخيرة وريادتها. وهذه الدراسة بمثابة قراءة تحليلية – نقدية لمقاله الأكثر أهمية في هذا الصدد «في المعنى والإشارة»، مشفوعة بترجمة إلى العربية (...) للجزء الأكبر والاهم منه. (shrink)

Although much has been written about the truth-conditions of de re attitude reports, little attention has been paid to certain ‘ultra-liberal’ uses of those reports. We believe that if these uses are legitimate, then a number of interesting consequences for various theses in philosophical semantics follow. The majority of the paper involves describing these consequences. In short, we argue that, if true, ultra-liberal reports: bring counterexamples to a popular approach to de re attitude ascriptions, which we will call ‘descriptivism’; and (...) combine with independently plausible principles about the logic of belief to imply that subjects can achieve omniscience about what exists from the armchair. Although we are not committed to the view that ultra-liberal reports are false, in the final part of the paper we discuss the prospects of pursuing a line according to which the acceptability of such reports ought not be taken at face value. We conclude by arguing that those who are sympathetic with this move might have reason to doubt the truth of an even broader class of acceptable de re attitude reports, namely those that have been taken to undermine orthodox accounts of de re attitude ascriptions. (shrink)

An influential tradition holds that thoughts are public: different thinkers share many of their thoughts, and the same applies to a single subject at different times. This ‘publicity principle’ has recently come under attack. Arguments by Mark Crimmins, Richard Heck and Brian Loar seem to show that publicity is inconsistent with the widely accepted principle that someone who is ignorant or mistaken about certain identity facts will have distinct thoughts about the relevant object—for instance, the astronomer who does not know (...) that Hesperus is Phosphorus will have two distinct thoughts Hesperus is bright and Phosphorus is bright. In this paper, I argue that publicity can be defended if we adopt a relational account on which thoughts are individuated by their mutual relations. I then go on to develop a specific relational theory—the ‘linking account’—and contrast it with other relational views. (shrink)

Many philosophers have argued or taken for granted that Frege's puzzle has little or nothing to do with identity statements. I show that this is wrong, arguing that the puzzle can only be motivated relative to a thinker's beliefs about the identity or distinctness of the relevant object. The result is important, as it suggests that the puzzle can be solved, not by a semantic theory of names or referring expressions as such, but simply by a theory of identity statements. (...) To show this, I sketch a framework for developing solutions of this sort. I also consider how this result could be implemented by two influential solutions to Frege's puzzle, Perry's referential-reflexivism and Fine's semantic relationism. (shrink)

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)

I argue for a theory of the optimal function of the speech act of referring, called the edenic theory. First, the act of singular reference is defined directly in terms of Gricean communicative intentions. Secondly, I propose a doxastic constraint on the optimal performance of such acts, stating, roughly, that the speaker must not have any relevant false beliefs about the identity or distinctness of the intended object. In uttering a singular term on an occasion, on this theory, one represents (...) oneself as not having any confused beliefs about the object to which one intends to refer. This paves the way for an intentionalist theory of reference that circumvents well known problems, which have not been adequately addressed before in the literature. (shrink)

The new theory of reference has won popularity. However, a number of noted philosophers have also attempted to reply to the critical arguments of Kripke and others, and aimed to vindicate the description theory of reference. Such responses are often based on ingenious novel kinds of descriptions, such as rigidified descriptions, causal descriptions, and metalinguistic descriptions. This prolonged debate raises the doubt whether different parties really have any shared understanding of what the central question of the philosophical theory of reference (...) is: what is the main question to which descriptivism and the causal-historical theory have presented competing answers. One aim of the paper is to clarify this issue. The most influential objections to the new theory of reference are critically reviewed. Special attention is also paid to certain important later advances in the new theory of reference, due to Devitt and others. (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.

We explore the view that Frege's puzzle is a source of straightforward counterexamples to Leibniz's law. Taking this seriously requires us to revise the classical logic of quantifiers and identity; we work out the options, in the context of higher-order logic. The logics we arrive at provide the resources for a straightforward semantics of attitude reports that is consistent with the Millian thesis that the meaning of a name is just the thing it stands for. We provide models to show (...) that some of these logics are non-degenerate. (shrink)

In a series of recent works, Kit Fine, 605–631, 2003, 2007) has sketched a novel solution to Frege’s puzzle. Radically departing from previous solutions, Fine argues that Frege’s puzzle forces us to reject compositionality. In this paper we first provide an explicit formalization of the relational semantics for first-order logic suggested, but only briefly sketched, by Fine. We then show why the relational semantics alone is technically inadequate, forcing Fine to enrich the syntax with a coordination schema. Given this enrichment, (...) we argue, that that the semantics is compositional. We then examine the deep consequences of this result for Fine’s proposed solution to Frege’s puzzle. We argue that Fine has mis-diagnosed his own solution–his attempted solution does not deny compositionality. The correct characterization of Fine’s solution fits him more comfortably among familiar solutions to the puzzle. (shrink)

Kit Fine has reawakened a puzzle about variables with a long history in analytic philosophy, labeling it “the antinomy of the variable”. Fine suggests that the antinomy demands a reconceptualization of the role of variables in mathematics, natural language semantics, and first-order logic. The difficulty arises because: (i) the variables ‘x’ and ‘y’ cannot be synonymous, since they make different contributions when they jointly occur within a sentence, but (ii) there is a strong temptation to say that distinct variables ‘x’ (...) and ‘y’ are synonymous, since sentences differing by the total, proper substitution of ‘x’ for ‘y’ always agree in meaning. We offer a precise interpretation of the challenge posed by (i) and (ii). We then develop some neglected passages of Tarski to show that his semantics for variables has the resources to resolve the antinomy without abandoning standard compositional semantics. (shrink)

We examine how Frege’s contrast between identity judgments of the forms “a=a” vs. “a=b” would fare in the special case where ‘a’ and ‘b’ are complex mental representations, and ‘a’ stands for an introspected ‘I’-thought. We first argue that the Fregean treatment of I-thoughts entails that they are what we call “one-shot thoughts”: they can only be thought once. This has the surprising consequence that no instance of the “a=a” form of judgment in this specific case comes out true, let (...) alone a priori true. This further reinforces Glezakos’s objections against the set-up of Frege’s puzzle, while also raising what we think is an acute problem for Fregeans, insofar as I-thought (and indexical thinking more generally), understood in their way, turns out to be incompatible with some basic features of rationality. (shrink)

This paper is about the meaning and function of identity statements involving proper names. There are two prominent views on this topic, according to which identity statements ascribe a relation: the object-view, on which identity statements ascribe a relation borne by all objects to themselves, and the name-view, on which an identity statement 'a is b' says that the names 'a' and 'b' codesignate. The object- and name-views may seem to exhaust the field. I make a case for treating identity (...) statements as sui generis instead of attempting to explain them by means of the idea that they ascribe a relation. My contention is that once we do this, no analysis is required. -/- I do not wish to insist that we stop saying that identity statements ascribe a relation. The point is that there is a fundamental disanalogy between identity statements and other two-termed statements which we overlook to our peril. This will be seen to parallel the more recognized disanalogy between existence statements and other one-termed statements. One way of registering the fundamental disanalogy is to say that identity statements are not relational, but this is not essential. Following my negative arguments in section 2, I employ some simple diagrammatical models in section 3 to exhibit the fundamental disanalogy. In a final section I respond to some possible objections which may be raised against this kind of approach. (shrink)

Speakers are confused about identity if they mistake one thing for two or two things for one. I present two plausible models of confusion, the Frege model and the Millikan model. I show how a prominent objection to Fregean models fails and argue that confusion consists in having false implicit beliefs involving the identity relation. Further, I argue that confused identity has characteristic corruptive effects on singular cognition and on the proper function of singular terms in linguistic communication.

The purpose of this paper is to lay out the algebraic approach to propositions and then to show how it can be implemented in new solutions to Frege's puzzle and a variety of related puzzles about content.

One reason to think that names have a predicate-type semantic value is that they naturally occur in count-noun positions: ‘The Michaels in my building both lost their keys’; ‘I know one incredibly sharp Cecil and one that's incredibly dull’. Predicativism is the view that names uniformly occur as predicates. Predicativism flies in the face of the widely accepted view that names in argument position are referential, whether that be Millian Referentialism, direct-reference theories, or even Fregean Descriptivism. But names are predicates (...) in all of their occurrences; they are predicates that are true of their bearers. When a name appears as a bare singular in argument position, it really occupies the predicate position of what in this essay is called a denuded definite description: a definite description with an unpronounced definite article. Sloat provided good evidence for this. The definite article is sometimes pronounced with names in the singular: ‘The Ivan we all love doesn't feel well’. Sloat proposed a disjunctive generalization of when the definite article must be pronounced with a singular name. This essay shows that by slightly revising Sloat's generalization, we arrive at a simple, nondisjunctive, syntactic rule that governs the overt appearance of the definite article with singular names. But Ivan does not necessarily bear the name ‘Ivan’, so one might worry that the sentence “Ivan might not have had ‘Ivan’ as a name” would incorrectly be predicted false. This essay shows that Predicativism does not have this consequence by showing that incomplete definite descriptions in general and incomplete denuded descriptions, such as ‘Øthe Ivan’, in particular are rigid designators. (shrink)

Chalmers (Mind 120(479): 587–636, 2011a) presents an argument against “referentialism” (and for his own view) that employs Bayesianism. He aims to make progress in a debate over the objects of belief, which seems to be at a standstill between referentialists and non-referentialists. Chalmers’ argument, in sketch, is that Bayesianism is incompatible with referentialism, and natural attempts to salvage the theory, Chalmers contends, requires giving up referentialism. Given the power and success of Bayesianism, the incompatibility is prima facie evidence against referentialism. (...) In this paper, I review Chalmers’ arguments and give some responses on behalf of the referentialist. (shrink)

In a review of Frege's Puzzle1, Graeme Forbes makes the claim that Salmon's account of belief might be seen, under certain conditions, as a mere notational variant of a neo-Fregean theory; and thus that such an account might be reduced to a neo-Fregean one simply by rewriting it in terms of Fregean terminology. With a view to supporting his claim, Forbes offers an outline of an account of belief which, according to him, would satisfy the following conditions: (i) it could (...) be directly obtained from Salmon's own analysis by means of a certain set of substitutions, which presumably would not affect the essential features of Salmon's view; (ii) it could naturally be described as Fregean, in the sense that it would preserve, (at least) the spirit of Frege's doctrines, especially his fundamental intuitions about belief. Of course, the upshot of Forbes's argument is that Salmon's theory would not, at bottom, constitute a genuine alternative to a Fregean semantics for belief ascriptions. In this paper I argue to the effect that Forbes's claim is not in general sound. It seems to me that the sort of indirect argument used by Forbes - that of trying to undermine Salmon's theory by showing that it is just a version of a neo-Fregean account - does not provide someone working within a Fregean framework with an adequate strategy to counter Salmon's neo-Russellian views. It would perhaps be better to concentrate a Fregean attack on certain apparently dubious and highly controversial theses and results which are constitutive of Salmon's view, e.g. the counterintuitive character of a substantial set of consequences which follow from his theory of belief, as well as the associated revisionist stand he is forced to take towards our current patterns of speaking about belief. (shrink)

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

Gottlob Frege maintained that two name-containing identity sentences, represented schematically as a=a and a=b,can both be true in virtue of the same object’s self-identity but nonetheless, puzzlingly, differ in their epistemic profiles. Frege eventually resolved his puzzlement by locating the source of the purported epistemic difference between the identity sentences in a difference in the Sinne, or senses, expressed by the names that the sentences contain. -/- Thus, Frege portrayed himself as describing a puzzle that can be posed prior to (...) and independently of any particular theoretical position regarding names, and then resolving that puzzle with his theory of Sinn and Bedeutung. In this paper, I suggest that Frege’s presentation is problematic. If attempt is made to characterize the epistemic status of true identity sentences without appeal to Frege’s theoretical commitments, then what initially seemed puzzling largely dissolves. It turns out that, in order to generate puzzlement, Frege must invoke the theoretical account that he uses the puzzle to establish the purported necessity of. (shrink)

John Perry has urged that a semantic theory for natural languages ought to be concerned with the issue of cognitive significance—of how true identity statements containing different (utterances of) indexicals and proper names can be informative, held to be unaccountable by the referentialist view. The informativeness that he has in mind—one that has puzzled Frege, Kaplan and Wettstein—concerns knowledge about the world. In trying to solve this puzzle on referentialist terms, he comes up with the notion of cognitive significance as (...) a special kind of a second-order content which should account for cognitive significance in the former sense. Focusing on his treatment of perceptual demonstratives, I argue that he fails to do so both on the level of second-order contents containing demonstrative utterances and on the level of second-order contents containing perceptual buffers as new notions associated with the perceptions and used to temporarily store ideas we gain from the perceptions, which he holds to be causally connected to each other. (shrink)

Resolution of Frege's Puzzle by denying that synonym substitution in logical truths preserves sentence sense and explaining how logical form has semantic import. Intensional context substitutions needn't preserve truth, because intercepting doesn't preserve sentence meaning. Intercepting is nonuniformly substituting a pivotal term in syntactically secured truth. Logical sentences and their synonym interceptions share factual content. Semantic content is factual content in synthetic predications, but not logical sentences and interceptions. Putnam's Postulate entails interception nonsynonymy. Syntax and vocabulary explain only the factual (...) content of synthetic predications; extrasentential reality explains their truth. Construction of logical factual content explains logical necessity. Terms retain objectual reference, but logical syntax preempts their function in explaining truth. Grasping the facts GG/gg assert entails understanding this. Understanding what GH states requires some recognition that GH must be true just because GmH, and GmH state an empirical fact. GH is standardly used to express that fact. Church's Test exposes puzzles. QMi sentences, and QTi sentences are metalogical necessities, true by syntax. Intercepting QMi creates empirical QM contingencies. Synonymy turns semantic contingencies into metalogical and lexical necessities. That transformation is syntactic, via the syntactic duality of definite descriptions. GmH is a contingent copredication, and a lexically necessary referential identity with rigidly codesignating indexicals. Metalogical sentences may be about expressional matter or what it expresses. GG has GG's semantic content, but the referent expression switches. Metalogical syntax secures truth by self-referential quotational indexing. Metalogically, referents are identified with intrasentential replica. Extrasentential identifications are metalogically irrelevant. (shrink)

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

A new kind of defense of the Millian theory of names is given, which explains intuitive counter-examples as depending on pragmatic effects of the relevant sentences, by direct application of Grice’s and Sperber and Wilson’s Relevance Theory and uncontroversial assumptions. I begin by arguing that synonyms are always intersubstitutable, despite Mates’ considerations, and then apply the method to names. Then, a fairly large sample of cases concerning names are dealt with in related ways. It is argued that the method, as (...) applied to the various cases, satisfies the criterion of success: that for every sentence in context, it is a counter-example to Millianism to the extent that it has pragmatic effects (matching speakers’ intuitions). (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)

Kripke’s puzzle has puts pressure on the intuitive idea that one can believe that Superman can fly without believing that Clark Kent can fly. If this idea is wrong then many theories of belief and belief ascription are built from faulty data. I argue that part of the proper analysis of Kripke’s puzzle refutes the closure principles that show up in many important arguments in epistemology, e.g., if S is rational and knows that P and that P entails Q, then (...) if she considers these two beliefs and Q, then she is in a position to know that.. (shrink)

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)

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)

My hunch has always been that in the end, Fregeanism will defeat Millianism. So I suspect that my (1998) arguments on behalf of Millianism are flawed. Peter Graham (1999) is confident he has found the flaws, but he has not. I hope that some clarification will encourage others to reveal the errors.

This is an essay for undergraduates. I present the basic problems of reference for descriptions and names.

For years philosophers argued for the existence of distinct yet materially coincident things by appealing to modal and temporal properties. For instance, the statue was made on Monday and could not survive being flattened; the lump of clay was made months before and can survive flattening. Such arguments have been thoroughly examined. Kit Fine has proposed a new set of arguments using the same template. I offer a critical evaluation of what I take to be his central lines of reasoning.

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)

كان «فريجه» – على حد تعبير «دامت» – من أوائل من أدركوا أن نظرية المعنى، أو فلسفة اللغة، هي جزءٌ اساسي من الفلسفة ترتكز عليه كافة الأجزاء الاخرى؛ فإلى جانب دراساته التأسيسية الرائدة في الرياضيات والمنطق، كان يُؤسس ايضًا لفلسفة اللغة ببعض المقالات التي فاقت في تاثيرها وشهرتها تاثير وشهرة معظم أعماله الرياضية الأخرى، دون إقلال من شان هذه الأخيرة وريادتها. وهذه الدراسة بمثابة قراءة تحليلية – نقدية لمقاله الأكثر أهمية في هذا الصدد «في المعنى والإشارة»، مشفوعة بترجمة إلى العربية (...) للجزء الأكبر والاهم منه. (shrink)

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)

The new theory of reference has won popularity. However, a number of noted philosophers have also attempted to reply to the critical arguments of Kripke and others, and aimed to vindicate the description theory of reference. Such responses are often based on ingenious novel kinds of descriptions, such as rigidified descriptions, causal descriptions, and metalinguistic descriptions. This prolonged debate raises the doubt whether different parties really have any shared understanding of what the central question of the philosophical theory of reference (...) is: what is the main question to which descriptivism and the causal-historical theory have presented competing answers. One aim of the paper is to clarify this issue. The most influential objections to the new theory of reference are critically reviewed. Special attention is also paid to certain important later advances in the new theory of reference, due to Devitt and others. (shrink)