The truth of a statement depends on the world in two ways: what the statement says is true if the world is as the statement says it is; on the other hand, what the expressions in the statement mean depends on what the world is like (for instance, on what conventions are in place). Each of these two kinds of dependence of truth on the world corresponds to one of the dimensions on the two-dimensional semantic framework, developed in the 1970’ (...) in the work of Evans, Kaplan, Kripke and Stalnaker. The introduction provides a systematic overview of the framework, the ideas of its earlier originators, recent developments and criticism. Finally, it gives a brief overview over the contributions to the volume. (shrink)

I outline a neo-Fregean strategy in the debate on the existence of possible worlds. The criterion of identity and the criterion of application are formulated. Special attention is paid to the fact that speakers do not possess proper names for worlds. A broadly Quinean solution is proposed in response to this difficulty.

Much of The Reason’s Proper Study is devoted to defending the claim that simply by stipulating an abstraction principle for the “number-of” functor, we can simultaneously fix a meaning for this functor and acquire epistemic entitlement to the stipulated principle. In this paper, I argue that the semantic and epistemological principles Hale and Wright offer in defense of this claim may be too strong for their purposes. For if these principles are correct, it is hard to see why they do (...) not justify platonist strategies that are not in any way “neo-Fregean,” e.g. strategies that treat “the number of Fs” as a Russellian definite description rather than a singular term, or employ axioms that do not have the form of abstraction principles. (shrink)

The Neo-Fregean view individuates concepts at the level of Fregean senses. It is an internalist view according to which concepts can be described as ways of thinking that imply classifications and epistemic/normative inferences. In this paper, I argue that the Neo-Fregean view of concepts adequately characterises the targets of conceptual engineering (CE), which I depict as the activity of purposefully changing our concepts in order to change classifications and/or concept-implicit inferences. I discuss and reject rival views that (...) either reduce the targets of CE to linguistic meanings or classification procedures or characterise concepts in a psychological or concept-externalist manner. I argue that the Neo-Fregean view is a more encompassing and adequate characterisation of the targets of CE. (shrink)

This paper provides a semantics for propositional attitude ascriptions. (In this respect, the title of the paper is quite well chosen.).

Neo-Russellianism, which incorporates both Millianism (with regard to proper names) and the thesis of singular Russellian propositions, has widely been defended after the publication of Kripke's Naming and Necessity. The view, however, encounters various problems regarding empty names, names that do not have semantic referents. Nathan Salmon and Scott Soames have defended neo-Russellianism against such problems in a novel way; to account for various intuitions of competent and rational speakers regarding utterances of sentences containing empty names, Salmon and Soames appeal (...) neither to entities similar to Fregean senses, e.g. propositional guises or modes of presentation, nor to Gricean implicatures. In this paper, however, I argue that their view slips into neo-Meinongianism; it is committed to nonexistent objects, assigns various properties to them, and allows quantifiers range over such entities. This, I conclude, makes Salmon and Soames' view less appealing, if not implausible. (shrink)

Critically reflecting some theses of Fodor & LePore's Holism, it is argued that semantic holism in spite of all their criticism is not defeated. As a consequence of the rejection of the analytic-synthetic distinction, a first result is that they do not take Traditional Holism, as it originates from Frege and Wittgenstein, serious at all. Whereas a Weak Anatomism, inspired with views of Traditional Holism, might be an interesting alternative to atomism and holism even for Quine and Neo-Fregeans like Dummett. (...) Concerning the Principle of Compositionality an ambiguity between recurrence and functional compositionality is localized that relativizes their critique on Davidson. And finally versions of content- and belief-holism in combination with adequate charity-principles are discussed as a basis for squaring Intentional Realism with Brentano's Thesis. (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)

According to the neo-Fregean abstractionism, numerical expressions of the form ‘the number of Fs’, introduced by Hume’s Principle, should be read as purportedly referential singular terms. I will explore the prospects of a version of abstractionism in which such expressions have presuppositional content, as in Strawson’s account. I will argue that the thesis that ‘the number of Fs’ semantically presupposes the existence of a number is inconsistent with the required ‘modest’ stipulative character of the truth of Hume’s Principle: since (...) Hume’s Principle is true and provably presupposes that numbers exist, what it presupposes is also true; and so numbers exist. This, however, means that numbers are conjured into existence by a direct stipulation. (shrink)

Critically reflecting some theses of Fodor & LePore's Holism, it is argued that semantic holism in spite of all their criticism is not defeated. As a consequence of the rejection of the analytic-synthetic distinction, a first result is that they do not take Traditional Holism, as it originates from Frege and Wittgenstein, serious at all. Whereas a Weak Anatomism, inspired with views of Traditional Holism, might be an interesting alternative to atomism and holism even for Quine and Neo-Fregeans like Dummett. (...) Concerning the Principle of Compositionality an ambiguity between recurrence and functional compositionality is localized that relativizes their critique on Davidson. And finally versions of content- and belief-holism in combination with adequate charity-principles are discussed as a basis for squaring Intentional Realism with Brentano's Thesis. (shrink)

Critically reflecting some theses of Fodor & LePore's Holism, it is argued that semantic holism in spite of all their criticism is not defeated. As a consequence of the rejection of the analytic-synthetic distinction, a first result is that they do not take Traditional Holism, as it originates from Frege and Wittgenstein, serious at all. Whereas a Weak Anatomism, inspired with views of Traditional Holism, might be an interesting alternative to atomism and holism even for Quine and Neo-Fregeans like Dummett. (...) Concerning the Principle of Compositionality an ambiguity between recurrence and functional compositionality is localized that relativizes their critique on Davidson. And finally versions of content- and belief-holism in combination with adequate charity-principles are discussed as a basis for squaring Intentional Realism with Brentano's Thesis. (shrink)

In this paper, I mainly pursue the following two goals: on the one hand, I want to show how a central Fregean insight is tried to be captured within a two-dimensional strategy. On the other hand, I want to show that, in the light of Saul Kripke’s arguments against descriptivism, this strategy is faced with a fundamental problem. I proceed in four steps: in a first step, I bring together the passages that contain a central Fregean insight as (...) a source of inspiration for a two-dimensional reconstruction and that suggest a descriptivist reading of Frege’s view. In a second step, I shortly present Kripke’s threefold argumentation against two versions of descriptivism, which is also the basis for Kripke’s view that proper names are rigid designators. In a third step, I explain the basic idea of a Frege-inspired two-dimensional strategy which is used to reconcile theories of definite descriptions with theories of rigid designation and which is sometimes characterized as ‘neo-descriptivism’. Since the two-dimensional strategy is dependent on rigidified definite descriptions, I argue, in a fourth step, that, in the light of Kripke’s epistemological and semantic arguments, the two-dimensional strategy is problematic and untenable – though it is, nevertheless, motivated by Kripke’s modal argument. (shrink)

Neo-Fregeanism in the philosophy of mathematics consists of two main parts: the logicist thesis, that mathematics (or at least branches thereof, like arithmetic) all but reduce to logic, and the platonist thesis, that there are abstract, mathematical objects. I will here focus on the ontological thesis, platonism. Neo-Fregeanism has been widely discussed in recent years. Mostly the discussion has focused on issues specific to mathematics. I will here single out for special attention the view on ontology which underlies the neo-Fregeans’ (...) claims about mathematical objects, and discuss this view in a broader setting. (shrink)

We now know of a number of ways of developing real analysis on a basis of abstraction principles and second-order logic. One, outlined by Shapiro in his contribution to this volume, mimics Dedekind in identifying the reals with cuts in the series of rationals under their natural order. The result is an essentially structuralist conception of the reals. An earlier approach, developed by Hale in his "Reals byion" program differs by placing additional emphasis upon what I here term Frege's Constraint, (...) that a satisfactory foundation for any branch of mathematics should somehow so explain its basic concepts that their applications are immediate. This paper is concerned with the meaning of and motivation for this constraint. Structuralism has to represent the application of a mathematical theory as always posterior to the understanding of it, turning upon the appreciation of structural affinities between the structure it concerns and a domain to which it is to be applied. There is, therefore, a case that Frege's Constraint has bite whenever there is a standing body of informal mathematical knowledge grounded in direct reflection upon sample, or schematic, applications of the concepts of the theory in question. It is argued that this condition is satisfied by simple arithmetic and geometry, but that in view of the gap between its basic concepts (of continuity and of the nature of the distinctions among the individual reals) and their empirical applications, it is doubtful that Frege's Constraint should be imposed on a neo-Fregean construction of analysis. (shrink)

Here, Bob Hale and Crispin Wright assemble the key writings that lead to their distinctive neo-Fregean approach to the philosophy of mathematics. In addition to fourteen previously published papers, the volume features a new paper on the Julius Caesar problem; a substantial new introduction mapping out the program and the contributions made to it by the various papers; a section explaining which issues most require further attention; and bibliographies of references and further useful sources. It will be recognized as (...) the most powerful presentation yet of a neo-Fregean program. (shrink)

We discuss abstraction principles in the context of modal and temporal logic. It is argued that abstractionism conflicts with both serious presentism and serious actualism.

Kaplan (1977) proposes a neo-Fregean theory of demonstratives which, despite its departure from a certain problematic Fregean thesis, I argue, ultimately founders on account of its failure to give up the Fregean desideratum of a semantic theory that it provide an account of cognitive significance. I explain why Kaplan's (1989) afterthoughts don't remedy this defect. Finally, I sketch an alternative nonsolipsistic picture of demonstrative reference which idealizes away from an agent's narrowly characterizable psychological state, and instead relies (...) on the robust multiply realizable relation between the skilled agent and demonstrated object.When the unclean spirit has gone out of a person, it wanders through waterless regions looking for a resting place, but it finds none. Then it says, 'I will return to my house from which I came.' When it comes, it finds it empty, swept, and put in order. Then it goes and brings along seven other spirits more evil than itself, and they enter and live there; and the last state of that person is worse than the first. So will it be also with this evil generation. (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)

Neo-Fregeanism is a family of positions in the philosophy of mathematics that combines a certain type of platonism about mathematical abstracta with a certain type of logicism about the foundations and epistemology of mathematics. This paper addresses the following question: what sort of theory of reference can/should NF be committed to? The theory of reference I propose for NF comes in two parts. First, an alethic account of referential success: the fact that a term ‘a’ succeeds in referring to something (...) depends on facts about truth. Second, a deflationary account of referential specification: given that ‘a’ refers to something, the fact that ‘a’ refers to b specifically follows from the disquotational schema for reference together with the fact that b = a. In the first section of the paper I argue that NF should be committed to the first part of this theory. This a point on which there is already agreement. The bulk of the paper is therefore devoted to arguing that NF should be committed to the second part, given that it is committed to the first part. I close the paper by indicating some significant implications and a possible problem for this theory of reference. (shrink)

Gottlob Frege is not only the father of contemporary mathematical logic and the philosophy of logic, but — as advocated by others, especially M. Dummett – he is, above all, the founder of contemporary research in logic and the philosophy of language. The categories and concepts introduced by Frege were assimilated by philosophers studying language and inspired further detailed analyses. It seems impossible to overestimate the role of Frege’s theory, despite the fact that his objectives — setting a logical basis (...) for mathematics, undoing the psychologizing of logic, building a clear and accurate language for logic and science — differ from the ones set out by contemporary explorers of language. (shrink)

i.e. for any concepts X and Y, the number of X’s and the number of Y’s are identical if and only if there is a 1-1 correspondence between X and Y.1 The central claim of neo- Fregeanism with respect to arithmetic is that arithmetical knowledge can be obtained a priori through Frege’s Theorem, the result that the axioms of arithmetic are derivable in the system obtained by adding Hume’s Principle to second-order logic.

Erratum to: Axiomathes DOI 10.1007/s10516-013-9222-7In the online publication, page 13, line 27, after the sentence “Hence, neo-logicism is doomed to failure.”, the following two sentences were missing:This argument was developed by Robert Trueman in a draft of his paper ‘Sham Names andion’. A revised version of this paper is forthcoming in Philosophia Mathematica under the tile ‘A Dilemma for Neo-Fregeanism’.

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)

The paper considers Fregean and neo-Fregean strategies for securing the apriority of arithmetic. The Fregean strategy recovers the apriority of arithmetic from that of logic and a family of explicit definitions. The neo-Fregean strategy relies on a principle which, though not an explicit definition, is given the status of a stipulation; unlike the Fregean strategy it relies on an extension of second order logic which is not merely a definitional extension. The paper argues that this (...) methodological difference is important in assessing the success of the neo-Fregean strategy. (shrink)

Neo-logicism is, not least in the light of Frege’s logicist programme, an important topic in the current philosophy of mathematics. In this essay, I critically discuss a number of issues that I consider to be relevant for both Frege’s logicism and neo-logicism. I begin with a brief introduction into Wright’s neo-Fregean project and mention the main objections that he faces. In Sect. 2, I discuss the Julius Caesar problem and its possible Fregean and neo-Fregean solution. In Sect. (...) 3, I raise what I take to be a central objection to the position of neo-logicism. In Sect. 4, I attempt to clarify how we should understand Frege’s stipulation that the two sides of an abstraction principle qua contextual definition of a term-forming operator shall be “gleichbedeutend”. In Sect. 5, I consider the options that Frege might have had to establish the analyticity of Hume’s Principle: The number that belongs to the concept F is equal to the number that belongs to the concept G if and only if F and G are equinumerous. Section 6 is devoted to Frege’s two criteria of thought identity. In Sects. 7 and 8, I defend the position of the neo-logicist against an alleged “knock-down argument”. In Sect. 9, I comment on Frege’s description of abstraction in Grundlagen, §64 and the use of the terms “recarving” and “reconceptualization” in the relevant literature on Fregean abstraction and neo-logicism. I argue that Fregean abstraction has nothing to do with the recarving of a sentence content or its decomposition in different ways. I conclude with remarks on global logicism versus local logicisms. (shrink)

It is known that Hume’s Principle, adjoined to a suitable formulation of second-order logic, gives a theory which is almost certainly consistent4 and suffices for arithmetic in the sense that it yields the Dedekind-Peano axioms as theorems. While Hume’s Principle cannot be taken as a definition in any strict sense requiring that it provide for the eliminative paraphrase of its definiendum in every admissible type of occurrence, we hold that it can be viewed as an implicit definition of a sortal (...) concept of cardinal number and, accordingly, as being analytic of that concept. This, coupled with the fact that Hume’s Principle so conceived requires a prior understanding only of (second-order) logical vocabulary, is enough to justify regarding the resulting account of the foundations of arithmetic as a form of logicism. Whether this claim can ultimately be sustained is of course still very much a matter of controversy. But here, rather than add to the debate on that issue, I should like to assume that it can be, and on that basis, address some further questions. (shrink)

In this paper, I seek to clarify an aspect of Frege's thought that has been only insufficiently explained in the literature, namely, his notion of logical objects. I adduce some elements of Frege's philosophy that elucidate why he saw extensions as natural candidates for paradigmatic cases of logical objects. Moreover, I argue (against the suggestion of some contemporary scholars, in particular, Wright and Boolos) that Frege could not have taken Hume's Principle instead of Axiom V as a fundamental law of (...) arithmetic. This would be inconsistent with his views on logical objects. Finally, I shall argue that there is a connection between Frege's view on this topic and the famous thesis first formulated in ‘Über Begriff und Gegenstand’ that ‘the concept horse is not a concept’. As far as I know, no due attention has been given to this connection in the scholarly literature so far. (shrink)

This paper is devoted to the topic of indexicality in relation to the problem of cognitive significance. I undertake a critical examination of what I call the Millian Notational Variance Claim; this is the claim that those versions of a neo-Fregean semantics for demonstratives and other indexicals which rest upon the notion of a de re sense are eventually notational variants of a directly referential or Millian semantics for indexicals. I try to show that several lines of (...) reasoning that might be pursued by Millian theorists with a view to establishing the Millian Notational Variance Claim are inconclusive, and hence that the claim is in general unsound. The problem of cognitive significance is tackled in connection with those categories of indexicals concerning which neo-Fregeanism and Millianism are alleged to yield similar results, viz. temporal indexicals, spatial indexicals, and perceptual demonstratives. I argue towards the conclusion that the notions the Millian theorist might invoke to accommodate the phenomena of cognitive significance in this area of indexicality are hardly adequate to the effect, and hence that senses are indispensable also here. (shrink)

Anything worth regarding as logicism about number theory holds that its fundamental laws – in effect, the Dedekind-Peano axioms – may be known on the basis of logic and definitions alone. For Frege, the logic in question was that of the Begriffschrift – effectively, full impredicative second order logic - together with the resources for dealing with the putatively “logical objects” provided by Basic Law V of Grundgesetze. With this machinery in place, and with the course-of-values operator governed by Basic (...) Law V counting as logical, it is possible for all the definitions involved in the logicist reconstruction of arithmetic and analysis to be fully explicit, abbreviative definitions. Had Frege’s project succeeded, he would therefore have been in position – by his own lights – to regard the axioms of number theory simply as definitional abbreviations of certain theorems of his pure logic. Basic Law V, as every interested party knows, is inconsistent. But twentieth century orthodoxy would have scorned its description as a law of logic in any case, purely on the grounds of its existential fecundity. Contemporary Neo-Fregeanism in the foundations of mathematics does not, in intention at least, pick any quarrel with the idea that pure logic should be ontologically austere. It does however maintain that the existence of the natural numbers and the real numbers as classically conceived, and thereby the truth of the traditional axioms of arithmetic and analysis, may still be known a priori on the basis of logic and definitions. For the purposes of this claim, logic is once again conceived as essentially the system of Begriffschrift. But Basic Law V is superseded by a variety of abstraction principles, of which Hume's Principle is the best known example, which we are regarded as free to lay down as true by way of determination of the meaning of the non-logical vocabulary that they contain. Thus — the idea is — the Dedekind-Peano axioms, for example, may be known, a priori, to be true by virtue of their derivation in pure logic from a principle which may be regarded as stipulatively true, and whose very stipulation may be regarded as conferring content upon the sole item of non-logical vocabulary – the cardinality operator – which it contains and thereby as conferring content upon Hume's Principle itself.. (shrink)