Many philosophers, including direct reference theorists, appeal to naively to 'modes of presentation' in the analysis of belief reports. I show that a variety of such appeals can be analyzed in terms of a precise theory of modes of presentation. The objects that serve as modes are identified intrinsically, in a noncircular way, and it is shown that they can function in the required way. It is a consequence of the intrinsic characterization that some objects are well-suited to serve as (...) modes that present individuals and while others are well-suited to serve as modes that present properties (though such modes do not `determine' the objects they present---there is no necessary connection between a mode m and the individual x or property F that it presents). Moreover, it is also a consequence that the modes for properties and individuals can be organized into complexes that are structurally identical to Russellian propositions having the represented properties and individuals as constituents. Not only is the relationship between modes and Fregean senses and modes of presentation explored in the paper, but also the idea that the theory of modes of presentation developed in the paper can serve as a theory of concepts. (shrink)

of my axiomatic theory of abstract objects.¹ The theory asserts the ex- istence not only of ordinary properties, relations, and propositions, but also of abstract individuals and abstract properties and relations. The.

While it is highly controversial whether Frege's criterion of sameness and difference for sense is true, it is relatively uncontroversial that that principle is inconsistent with Millian–Russellian views of content. I argue that this should not be uncontroversial. The reason is that it is surprisingly difficult to come up with an interpretation of Frege's criterion which implies anything substantial about the sameness or difference of content of anything.

On behalf of Millian views on the meaning of proper names, Mark Textor offers in 'Knowledge Transmission and Linguistic Sense' a suggestive critical discussion of an argument for Fregean views due to Richard Heck (1995). IWhat exactly Heck's argument is, however, is not very clear, as witnessed by Byrne & Thau's (1996) efforts at reconstructing it and Heck's (1996) reply to which is not terribly illuminating. After presenting a form of a Fregean view and a Heckian argument for (...) it, the paper argues that Texror's criticism, as addressed to that argument, is unsuccessful. (shrink)

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

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

The question whether Frege’s theory of indirect reference enforces an infinite hierarchy of senses has been hotly debated in the secondary literature. Perhaps the most influential treatment of the issue is that of Burge (1979), who offers an argument for the hierarchy from rather minimal Fregean assumptions. I argue that this argument, endorsed by many, does not itself enforce an infinite hierarchy of senses. I conclude that whether or not the theory of indirect reference can avail itself (...) of only finitely many senses is pending further theoretical development. (shrink)

Can externalist concepts really capture an individual.

The foregoing considerations have shown that on the Fregean model, no descriptive rendition of the meaning of a word, and no feature of the subject's psychological state, will be sufficient to answer the question of how reference takes place. Reference is determined by an independent semantical object, and the mind is limited by its perceptual access to this external semantical realm. The psychological and epistemic states of the language user will be causally influenced by this perceptual contact, and such (...) causal influences will enable the subject to evince the appropriate behavioral signs of comprehension. But the internal effects produced by the perception of meaning are not in principle sufficient to individuate their semantical causes, and hence some of the prominent criticisms of the traditional theory are simply not applicable to Frege's system. (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)

Intuitively, when all goes well, we adopt beliefs based on inference because we realize that their truth is established by the truth of the involved premises. If this intuitive picture of our successful reasoning is correct, then it must be possible that our reasoning is motivated by our sensitivity to the soundness of the involved inference. This paper argues that such a view of ideal reasoning can only be upheld if we accept the minority view that the proper inferential role (...) of our thoughts is individuated in terms of object dependent Fregean senses. I consider respectively Millian, Guise–Fregean, and object dependent Fregean views, and show how only the latter view provides a picture of our theoretical reasoning where sensitivity to soundness can be what motivates a subject’s reasoning. (shrink)

Marie Duží, Bjørn Jespersen, and Pavel Materna: Procedural Semantics for Hyperintensional Logic. Foundations and Applications of Transparent Intentional Logic, vol. 17 of series “Logic, Epistemology, and the Unity of Science”, Springer, Dordrecht, Heidelberg, London, New York, 2010; xiii+552 pages, ISBN 978-90-481-8811-6, e-ISBN 978-90-481-8812-3. DOI: 10.1007/978-90-481-8812-3.

This paper continues my discussion with Michael Dummett on Frege’s senses, published in The Philosophy of Michael Dummett and further developed in Diametros. In his reply to my original paper, Dummett came to agree with me that senses are neither objects nor functions, since they have a categorially different kind of linguistico-metaphysical function to perform. He then asks how we might quantify over senses, if they are neither objects nor functions. He discusses two main options, and finds (...) one unviable and the other “very un-Fregean.” I then offer a Fregean or neo-Fregean option in my rejoinder. And I still hold that this way out will do the job, or is at least plausible enough that the burden of persuasion is on those who disagree. But I hope to show in this paper that on a more complete examination of Frege, there are at least twenty Fregean or neo-Fregean ways out, with the one I proposed being option. (shrink)

This papers aims at clarifying some misunderstandings that seem to block an adequate account of de re thoughts within the Fregean framework. It is usually assumed that Fregean senses cannot be de re, or dependent upon objects. Contrary to this assumption, Gareth Evans and John McDowell have claimed that Fregean de re senses are not just possible, but in fact the most promising alternative for accounting for de re thoughts. The reasons blocking this alternative can (...) be traced back to Russellian considerations that contaminated the interpretation of Frege. This contaminated understanding is first detected in Tyler Burge’s distinction between de dicto and de re, then connected to the motivations behind David Kaplan’s notion of character, and finally found in John Searle’s descriptivist account. The difficulty in understanding de re thoughts is, roughly speaking, a side effect of the misunderstanding of the boundaries separating internal and external elements of thoughts, as well as the distinction between mental content and means of representation. (shrink)

Há sérios problemas, contudo, no que concerne à caracterizaçáo da noçáo de sentido fregeano. Por vezes, Frege sugere que o sentido de um nome próprio é dado por uma descriçáo definida associada, cujo conteúdo individua a referência do nome em questáo. Por sua vez, Bertrand Russell rejeita expressamente o sentido fregeano, e, ao mesmo tempo, afirma que nomes próprios comuns revelam-se, quando analisados, como descrições definidas disfarçadas. Essa posiçáo, hoje conhecida como descritivismo , foi atribuída, por Saul Kripke, entre outros, (...) a Frege e Russell, a despeito de suas posturas teóricas diversas. Infelizmente, os paradoxos da referência também sáo espinhosos para as teorias de referência direta. Neste artigo, fazemos um sumário das dificuldades para ambos os lados da disputa e apresentamos uma defesa da interpretaçáo náo-fregeana do sentido de Michael Devitt, a qual evita os problemas do descritivismo mas rejeita a referência direta. Faz-se um uso crucial da teoria histórico-causal, que náo temos razáo para abandonar. (shrink)

In this paper, we present a new semantic framework designed to capture a distinctly cognitive or epistemic notion of meaning akin to Fregean senses. Traditional Carnapian intensions are too coarse-grained for this purpose: they fail to draw semantic distinctions between sentences that, from a Fregean perspective, differ in meaning. This has led some philosophers to introduce more fine-grained hyperintensions that allow us to draw semantic distinctions among co-intensional sentences. But the hyperintensional strategy has a flip-side: it risks (...) drawing semantic distinctions between sentences that, from a Fregean perspective, do not differ in meaning. This is what we call the ‘new problem’ of hyperintensionality to distinguish it from the ‘old problem’ that faced the intensional theory. We show that our semantic framework offers a joint solution to both these problems by virtue of satisfying a version of Frege’s so-called ‘equipollence principle’ for sense individuation. Frege’s principle, we argue, not only captures the semantic intuitions that give rise to the old and the new problem of hyperintensionality, but also points the way to an independently motivated solution to both problems. (shrink)

According to Frege's principle the denotation of a sentence coincides with its truth-value. The principle is investigated within the context of abstract algebraic logic, and it is shown that taken together with the deduction theorem it characterizes intuitionistic logic in a certain strong sense.A 2nd-order matrix is an algebra together with an algebraic closed set system on its universe. A deductive system is a second-order matrix over the formula algebra of some fixed but arbitrary language. A second-order matrix A is (...) Fregean if, for any subset X of A, the set of all pairs a,b such that X{a} and X{b} have the same closure is a congruence relation on A. Hence a deductive system is Fregean if interderivability is compositional. The logics intermediate between the classical and intuitionistic propositional calculi are the paradigms for Fregean logics. Normal modal logics are non-Fregean while quasi-normal modal logics are generally Fregean.The main results of the paper: Fregean deductive systems that either have the deduction theorem, or are protoalgebraic and have conjunction, are completely characterized. They are essentially the intermediate logics, possibly with additional connectives. All the full matrix models of a protoalgebraic Fregean deductive system are Fregean, and, conversely, the deductive system determined by any class of Fregean second-order matrices is Fregean. The latter result is used to construct an example of a protoalgebraic Fregean deductive system that is not strongly algebraizable. (shrink)

There are two dominant approaches to quantification: the Fregean and the Tarskian. While the Tarskian approach is standard and familiar, deep conceptual objections have been pressed against its employment of variables as genuine syntactic and semantic units. Because they do not explicitly rely on variables, Fregean approaches are held to avoid these worries. The apparent result is that the Fregean can deliver something that the Tarskian is unable to, namely a compositional semantic treatment of quantification centered on (...) truth and reference. We argue that the Fregean approach faces the same choice: abandon compositionality or abandon the centrality of truth and reference to semantic theory. Indeed, we argue that developing a fully compositional semantics in the tradition of Frege leads to a typographic variant of the most radical of Tarskian views: variabilism, the view that names should be modeled as Tarskian variables. We conclude with the consequences of this result for Frege's distinction between sense and reference. (shrink)

A deductive system (in the sense of Tarski) is Fregean if the relation of interderivability, relative to any given theory T, i.e., the binary relation between formulas.

A deductive system \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $$\mathcal{S}$$ \end{document} (in the sense of Tarski) is Fregean if the relation of interderivability, relative to any given theory T, i.e., the binary relation between formulas\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $$\{ \left\langle {\alpha,\beta } \right\rangle :T,\alpha \vdash s \beta and T,\beta \vdash s \alpha \},$$ \end{document}is a congruence relation on the formula algebra. The multiterm deduction-detachment theorem is a natural generalization of (...) the deduction theorem of the classical and intuitionistic propositional calculi (IPC) in which a finite system of possibly compound formulas collectively plays the role of the implication connective of IPC. We investigate the deductive structure of Fregean deductive systems with the multiterm deduction-detachment theorem within the framework of abstract algebraic logic. It is shown that each deductive system of this kind has a deductive structure very close to that of the implicational fragment of IPC. Moreover, it is algebraizable and the algebraic structure of its equivalent quasivariety is very close to that of the variety of Hilbert algebras. The equivalent quasivariety is however not in general a variety. This gives an example of a relatively point-regular, congruence-orderable, and congruence-distributive quasivariety that fails to be a variety, and provides what apparently is the first evidence of a significant difference between the multiterm deduction-detachment theorem and the more familiar form of the theorem where there is a single implication connective. (shrink)

In Naming and Necessity Kripke accuses Frege of conflating two notions of meaning (or sense), one is meaning proper, the other is determining of reference (p. 59). More precisely, Kripke argues that Frege conflated the question of how the meaning of a word is given or determined with the question of how its reference is determined. The criterial mark of meaning determination, according to Kripke, is a statement of synonymy: if we give the sense of “a” by means of “b”, (...) then the two expressions must be synonymous. The criterial mark of reference-determination is knowledge, typically a priori, of the truth of their identity: If the reference of “a” is given by “b”, then we know a priori that a is b. Kripke then argues that Frege’s conceptions of both meaning-determination and of reference determination were wrong, and proposes an alternative picture of reference determination. (shrink)

Frege's account of opacity is based on two attractive ideas: every meaningful expression has a sense (Sinn) that determines the expression's semantic value (Bedeutung); and the semantic value of a‘that’‐clause is the thought expressed by its embedded sentence. Considerations of compositionality led Frege to a more problematic view: inside ‘that’‐clauses, an expression does not have its customary Bedeutung. But contrary to initial appearances, compositionality does not entail a familiar substitutivity principle. And Fregeans can exploit this point in a way that (...) lets them reject Bedeutung‐shifting. (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)

Two important Fregean ideas appear to conflict. The first is that a thought can be decomposed in different ways, and the second is that a thought is constituted by the senses of its constituents. This paper is a defense of Dummett’s suggestion of a way to reconcile between those two theses through the claim that although the same thought can be structured in different ways by different sentences; one of the structures is privileged. My defense focuses on the (...) charge raised by Levine, XIX, 43–63, 2006) that Dummett’s claim about the privileged structure of a thought conflicts with the Slingshot argument. I show that this charge is misconceived; a careful examination of the Slingshot argument’s methodology reveals that Dummett’s claim does not conflict with it. (shrink)

This paper asks which free logic a Fregean should adopt. It examines options within the tradition including Carnap’s (1956) chosen object theory, Lehmann’s (1994, 2002) strict Fregean free logic, Woodruff’s (1970) strong table about Boolean operators and Bencivenga’s (1986, 1991) supervaluational semantics. It argues for a neutral free logic in view of its proximity towards explaining natural languages. However, disagreeing with Lehmann, it claims a Fregean should adopt the strong table based on Frege’s discussion on generality. Supervaluation (...) uses strong table and aims to give it a semantic justification. However, supervaluation is in turn justified by convention or mental experiments, which Lehmann argues as inadequate. The paper proposes a new justification of supervaluation based on sense and two-dimensional semantics. The resulting model, coined Supervaluational Neutral Free Logic (SNFL), resolves many conflicts between Lehmann and Bencivenga while staying close with Frege’s discussions about non-denotation. It also provides new insights into the relations among truth, logical truth, and supervaluated truth (or supertruth, for short). (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 ‘that I smell the scent of violets is true’ 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)

When “Sinning Against Frege” was published in 1979 I thought it should have given a real turn in the discussion on Frege’s ideas. Actually the impact was less then I imagined, and the problem was that – at the end of the story – Tyler Burge’s interpretation should have posed a shadow on the direct reference theories and the Millean criticism of descriptivist theories of proper names, based on the criticism of the identification of Frege’s notion of sense with linguistic (...) meaning or connotation1. In fact Burge (1979) claims that the identification of Frege’s notion of sense with the notion of linguistic meaning is a «basic misunderstanding» of Frege’s work2. This claim implies that Fregean senses are not like Mill’s connotations; therefore many direct-reference criticisms against Frege, which are grounded on Mill’s claims that proper names have no connotation, lose their efficacy. Burge, in giving specifications3, apparently accepts at least the idea that sense is an aspect of meaning, in particular «the aspect of meaning relevant to fixing the truth value of sentences». This feature is the “harmless” part of the assimilation of sense and linguistic meaning; but this assimilation becomes dangerous when context dependence is concerned. Revisiting Burge (1979), after more than two decades of debate on indexicals, may help to better understand the originality and the limitation of his claims. (shrink)

In their theories of know how, proponents of Intellectualism routinely appeal to ‘practical modes of presentation’. But what are practical modes of presentation? And what makes them distinctively practical? In this essay, I develop a Fregean account of practical modes of presentation: I argue that there are such things as practical senses and I give a theory of what they are. One of the challenges facing the proponent of a distinctively Fregean construal of practical modes of presentation (...) is to provide an account of their nature on which they are plausible qua Fregean senses. I take up this challenge, arguing that we find examples of practical senses in the semantic values assigned to programs by operational semantics for programming languages. By looking at a species of practical senses, we will have taken one important step towards legitimizing the genus. In particular, I show that certain features of operational semantic values can be generalized towards a comprehensive theory of practical senses. The upshot is a full-fledged account of what practical senses are, which can be put to use in an explanatory theory of know how. (shrink)

We begin by setting out the posision dubbed 'Fregean descriptivism', that Kripke attributed to Frege. We then set out various descriptivist theses. We proced to argue that Kripke’s interpretation of Frege as a reference-fixing descriptivist stems from his ascription of two other views, each logically weaker than reference-fixing descriptivism itself, to Frege. These are sense descriptivism and the view that sense fixes reference. The meaning descriptivism and the reference-fixing descriptivism of Kripke’s Frege have sense descriptivism as their common, logically (...) weaker, core. Since we do not concur with Kripke’s view that Frege was a sense descriptivist, we do not share his reasons for thinking that Frege was a reference-fixing descriptivist. (shrink)

The paradox of analysis is the problem of formulating analyses that avoid the metaphilosophical dilemma of uninformativeness where analysandum and analysans are identical in meaning, and incorrectness or unsoundness where analysandum and analysans are nonidentical in meaning. Frege's distinction between sense and reference supports an intentional solution to the paradox, incorporating Roderick M. Chisholm's concept of converse intentional properties. Formal definitions of unrestricted Leibnizian or conceptual identity and referential identity or codesignation are provided, under which analysanda and analysantia are referentially (...) identical, guaranteeing informativeness, of philosophically correct analyses. (shrink)

The paradox of analysis is the problem of formulating analyses that avoid the metaphilosophical dilemma of uninformativeness where analysandum and analysans are identical in meaning, and incorrectness or unsoundness where analysandum and analysans are nonidentical in meaning. Frege's distinction between sense and reference supports an intentional solution to the paradox, incorporating Roderick M. Chisholm's concept of converse intentional properties. Formal definitions of unrestricted Leibnizian or conceptual identity and referential identity or codesignation are provided, under which analysanda and analysantia are referentially (...) identical, guaranteeing informativeness, of philosophically correct analyses. (shrink)

As Quine observed, the following sentence has a reading which, if true, would be of special interest to the authorities: Ralph believes that someone is a spy. This is the reading where the quantifier is naturally understood as taking wide scope relative to the attitude verb and as binding a variable within the scope of the attitude verb. This essay is interested in addressing the question what the semantic analysis of this kind of reading should look like from a (...) class='Hi'>Fregean perspective—a perspective according to which attitude states are generally relations to structured Fregean thoughts composed of senses. The Fregean view faces a challenge of compositionality here. This essay describes the challenge and offers a response on the Fregean's behalf. (shrink)

In Frege’s logicism, numbers are logical objects in the sense that they are extensions of certain concepts. Frege’s logical system is inconsistent, but Richard Heck showed that its restriction to predicative quantification is consistent. This predicative fragment is, nevertheless, too weak to develop arithmetic. In this paper, I will consider an extension of Heck’s system with impredicative quantifiers. In this extended system, both predicative and impredicative quantifiers co-exist but it is only permissible to take extensions of concepts formulated in the (...) predicative fragment of the language. This system is consistent. Moreover, it proves the principle of reducibility applied to concepts true of only finitely many objects. With the aid of this form of reducibility, it is possible to develop arithmetic in a thoroughly Fregean way. (shrink)

The aim of this paper is (i) to defend Frege's view that the referents of predicates are certain kinds of functions, or "concepts", i.e. incomplete entities, and not their extensions (i.e. sets of objects described by those predicates); and (ii) to justify, by a natural augmentation of Frege's semantic theory with modal ingredients, Frege's position that the sameness between concepts, or property-sharing, turns only on the sameness of extensions. Several problems with the doctrine that a predicate's extension is its referent (...) are presented, including the regress argument and an argument from the modern philosophy of language related to natural kind terms. In this connection, it is also pointed out that all referential expressions are in a sense rigid. (shrink)

In Anti-Individualism and Knowledge Jessica Brown criticises views of content that combine Fregean Sense and anti-individualism. Brown assumes that all Fregean theories are motivated by a picture of the rational thinker as someone who will always have transparent access to the simple inferential consequences of his thoughts. This picture, Brown argues, is incompatible with anti-individualism about content. While traditional Fregean theories have indeed had such motivation, Brown’s mistake is in attributing this motivation to the modern Fregean (...) anti-individualist. My goal in this paper is to bring to light a different, and seldom discussed, motivation for Fregean views of content which is immune to Browns objections. (shrink)

According to Frege a proposition—or, in his terms, a thought—is an abstract structured entity constituted by senses which satisfies, at least, the three following properties: it can be semantically assessed as true or as false, it is the object of so called propositional attitudes and it can be grasped. What Frege meant by 'grasping' is the peculiar way in which we can have epistemic access to propositions. The possibility for propositions to be grasped is put by Frege as a (...) warrant for their existence: to challenge their graspability would amount to jeopardise their ontological reality. But is it true, as Frege uncritically maintained, that the "graspability requirement" is satisfied as far as propositions (as he conceived them) are concerned? This is the topic of the present work. A negative answer to the above mentioned question has been given in recent time by the representatives of what has come to be labelled the "cognitive turn" in analytical philosophy. People such as Fodor and Johnson-Laird patently denied the possibility for propositions, conceived à la Frege, to be accessed by the grasping relation. What grounds their position is, to put it roughly, the following train of thought: in order for something to be the target of the grasping relation it must enter the mind. Nothing which is different from a mental entity can enter the mind. Therefore, what can be grasped must be mental. The upshot of this move implies, among other things, the rejection of that radical anti-psychologism which was characteristic of the forefathers of the analytical tradition. In our work we shall try to resist their conclusion by showing that it is not necessary to zero the distinction between propositions and mental entities in order to provide an adequate account of the grasping relation. What one has to give up, instead, is only Frege's late Platonism of the "third realm" which, in our view, is a wholly unnecessary and dispensable accretion of his picture. For, as we shall show, if Platonism is in place it is difficult to provide an account of the grasping relation which makes no use of the "representationalist hypothesis" — i.e. of the hypothesis that ideas mediate our access to whatever can be given to us. But representationalism, once in place, makes the theoretical role of the notion of sense dispensable or purely additional. (shrink)

A central element in neo-Fregean philosophy of mathematics is the focus on abstraction principles, and the use of abstraction principles to ground various areas of mathematics. But as is well known, not all abstraction principles are in good standing. Various proposals for singling out the acceptable abstraction principles have been presented. Here I investigate what philosophical underpinnings can be provided for these proposals; specifically, underpinnings that fit the neo-Fregean's general outlook. Among the philosophical ideas I consider are: general (...) views on a priori justification; the idea of abstraction as reconceptualization, the idea that truth is prior to reference in the sense associated with Frege's context principle; and various broadly relativistic views. The conclusions are by and large negative. (shrink)

This paper discusses some relations between the notion of Fregean sense and the notion of linguistic meaning. It argues that these notions come apart from one another even in the case of non-indexical expressions. In particular, synonymous non-indexical expressions may be assigned different Fregean senses with respect to certain contexts of use.

This chapter provides an overview of those of Frege's basic contributions to a theory of meaning that are most important for an understanding of Wittgenstein's later thought. It shows that Frege was aware of the problem of how, when constructing complex expressions out of their components, to avoid coming up with a list of names rather than a sentence. This led him to his strategy of not building a sentence out of its component parts, but of getting at the parts (...) by breaking up a whole. Wittgenstein, despite his own “synthetic” approach, did not encounter this problem, because he followed Frege's late insight to its logical conclusion, namely that the sense of an expression consists in its use as a sign. (shrink)

On Sense and Direct Reference: Readings in the Philosophy of Language focuses on the debate between neo-Fregeans and neo-Russellians in philosophy of language. With a foreword by Nathan Salmon, the volume collects more than 40 of the most important papers in philosophy of language in the last 40 years; including David Kaplan's "Demonstratives" and "Afterthoughts", and a paper written by Scott Soames especially for the volume. It is suitable for advanced undergraduate and graduate courses.

In his Grundgesetze, §32, Frege launched the idea that the meaning of a sentence is given by its truth condition, or, in his particular version, the condition under which it will be a name of the True. This, indeed, was only one of the many roles in which truth has to serve within the Fregean system. In particular, truth is an absolute notion in the sense that bivalence holds: every Gedanke is either true or false, in complete independence of (...) any conative activity, whether by God or man. Thus various epistemological notions, such as the correctness of an assertion made, or judgement passed, are reducible to this absolute notion of truth: an assertion made through the utterance of a declarative sentence is correct when the proposition expressed by the sentence in question is true. Given this absolute status of truth it is not surprising that Frege is of the opinion that truth is a sui generis notion which has to be left unanalyzed and, indeed, which is indefinable. (shrink)

How do we inferentially unify separately acquired empirical information into a single comprehensive picture of the lives of persistent particulars? This paper argues that hidden in such inferences is a Fregean puzzle that can only be solved by individuating our demonstratives thoughts in terms of object-dependent Fregean Senses. I begin by characterizing some constraints on a non-skeptical account of our inferential unification of empirical information. I then go on to show that traditional Fregean views of Sense (...) cannot explain the rationality of such inferences; the consequence of which would be widespread skepticism concerning fundamental aspects of our empirical worldview. I show how the theory of object-dependent Senses can account for the rationality of the puzzling inferences. Lastly, I consider the alternative that we abandon a Fregean explanation of the rationality of inferences. While not fully dismissing that option, I briefly raise, what I take to be, a daunting challenge that uniquely faces non-Fregean views of rational inference. (shrink)