Neo-Fregeans argue that substantial mathematics can be derived from a priori abstraction principles, Hume's Principle connecting numerical identities with one:one correspondences being a prominent example. The embarrassment of riches objection is that there is a plurality of consistent but pairwise inconsistent abstraction principles, thus not all consistent abstractions can be true. This paper considers and criticizes various further criteria on acceptable abstractions proposed by Wright settling on another one—stability—as the best bet for neo-Fregeans. However, an analogue of the embarrassment of (...) riches objection resurfaces in the metatheory and I conclude by arguing that the neo-Fregean program, at least insofar as it includes a platonistic ontology, is fatally wounded by it. (shrink)

Philip Jourdain put this question to Frege in a letter of 28 January 1909. Frege had, indeed, next to nothing to say about ordinals, and in this respect Bob Hale has followed the master. As I hope this chapter will show, though, the topic is worth addressing. The natural abstraction principle for ordinals combines with full, impredicative second-order logic to engender a contradiction, the so-called Burali-Forti Paradox. I shall contend that the best solution involves a retreat to a predicative logic. (...) Such a retreat has implications for other neo-Fregean theories, including the cardinal arithmetic on which Hale has focused. The discussion will touch on a topic which has been at the centre of Hale’s more recent work—namely, the interpretation of plural and higher-order quantifiers. (shrink)

NeoFregeanism is an intriguing but elusive philosophy of mathematical existence. At crucial points, it goes cryptic and metaphorical. I want to put forward an interpretation of neoFregeanism—perhaps not one that actual neoFregeans will embrace—that makes sense of much of what they say. NeoFregeans should embrace quantifier variance.

Rips et al. argue that the construction of math schemas roughly similar to the Dedekind/Peano axioms may be necessary for arriving at arithmetical skills. However, they neglect the neo-Fregean alternative axiomatization of arithmetic, based on Hume's principle. Frege arithmetic is arguably a more plausible start for a top-down approach in the psychological study of mathematical cognition than Peano arithmetic.

It is argued here that there is no fact of the matter between direct reference theory and neo-Fregeanism. To get a more precise idea of the central thesis of this paper, consider the following two claims: (i) While direct reference theory and neo-Fregeanism can be developed in numerous ways, they can be developed in essentially parallel ways; that is, for any (plausible) way of developing direct reference theory, there is an essentially parallel way of developing neo-Fregeanism, and (...) vice versa. And (ii) for each such pair of theories, there is no fact of the matter as to which of them is superior; or more precisely, they are tied in terms of factual accuracy. These are sweeping claims that cannot be fully justified in a single paper. But arguments are given here that motivate these theses, i.e., that suggest that they are very likely true. (shrink)

Neo-Fregeans need their stipulation of Hume's Principle — $NxFx=NxGx \leftrightarrow \exists R (Fx \,1\hbox {-}1_R\, Gx)$ — to do two things. First, it must implicitly define the term-forming operator ‘Nx…x…’, and second it must guarantee that Hume's Principle as a whole is true. I distinguish two senses in which the neo-Fregeans might ‘stipulate’ Hume's Principle, and argue that while one sort of stipulation fixes a meaning for ‘Nx…x…’ and the other guarantees the truth of Hume's Principle, neither does both.

I explain and criticize a theory of beliefs and of belief sentences offered by Graeme Forbes. My main criticism will be directed at Forbes' idea that, as a matter of the semantic rules of belief reporting -- as a matter of the meaning of belief ascriptions -- to get at the subject's way of thinking in an attitude ascription, we must use expressions that are "linguistic counterparts" of the subject's expressions. I think we often do something like that, but that (...) we have other, equally good methods of getting at ways of thinking; so what is wanted is a more inclusive characterization of the rules of belief reporting by which we manage to do it -- a characterization more along the lines of: anything goes. (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)

According to the species of neo-logicism advanced by Hale and Wright, mathematical knowledge is essentially logical knowledge. Their view is found to be best understood as a set of related though independent theses: (1) neo-fregeanism-a general conception of the relation between language and reality; (2) the method of abstraction-a particular method for introducing concepts into language; (3) the scope of logic-second-order logic is logic. The criticisms of Boolos, Dummett, Field and Quine (amongst others) of these theses are explicated and (...) assessed. The issues discussed include reductionism, rejectionism, the Julius Caesar problem, the Bad Company objections, and the charge that second-order logic is set theory in disguise. (shrink)

Certain advocates of the so-called “neo-logicist” movement in the philosophy of mathematics identify themselves as “neo-Fregeans” (e.g., Hale and Wright), presenting an updated and revised version of Frege’s form of logicism. Russell’s form of logicism is scarcely discussed in this literature and, when it is, often dismissed as not really logicism at all (in light of its assumption of axioms of infinity, reducibility and so on). In this paper I have three aims: firstly, to identify more clearly the primary meta-ontological (...) and methodological differences between Russell’s logicism and the more recent forms; secondly, to argue that Russell’s form of logicism offers more elegant and satisfactory solutions to a variety of problems that continue to plague the neo-logicist movement (the bad company objection, the embarrassment of richness objection, worries about a bloated ontology, etc.); thirdly, to argue that neo-Russellian forms of logicism remain viable positions for current philosophers of mathematics. (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)

This paper discusses two notational variance views with respect to indexical singular reference and content: the view that certain forms of Millianism are at bottom notational variants of a Fregean theory of reference, the Fregean Notational Variance Claim; and the view that certain forms of Fregeanism are at bottom notational variants of a direct reference theory, the Millian Notational Variance Claim. While the former claim rests on the supposition that a direct reference theory could be easily turned into a (...) particular version of a neo-Fregean one by showing that it is bound to acknowledge certain senselike entities, the latter claim is based upon the supposition that a neo-Fregean theory could be easily turned into a particular version of a Millian one by showing that De Re senses are theoretically superfluous and hence eliminable. The question how many accounts of singular reference and content are we confronted with here — Two different (and mutually antagonistic) theories? Or just two versions of what is in essence the same theory? — is surely of importance to anyone interested in the topic. And this question should be answered by means of a careful assessment of the soundness of each of the above claims. Before trying to adjudicate between the two accounts, one would naturally want to know whether or not there are indeed two substantially disparate accounts. Grosso modo, if the Fregean Claim were sound then we would have a single general conception of singular reference to deal with, viz. Fregeanism; likewise, if the Millian Claim were sound we would be facing a single general conception of singular reference, viz. Millianism. My view is that both the Fregean Notational Variance Claim and its Millian counterpart are wrong, though naturally on different grounds. I have argued elsewhere that the Fregean Notational Variance Claim - considered in its application to the semantics of propositional-attitude reports involving proper names — is unsound. I intend tosupplement in this paper such a result by trying to show that the Millian Claim - taken in its application to the semantics of indexical expressions — should also be rated as incorrect. I focus on a certain set of arguments for the Millian Claim, arguments which I take as adequately representing the general outlook of the Millian theorist with respect to neo-Fregeanism about indexicals and which involve issues about the cognitive significance of sentences containing indexical terms. (shrink)

Neo-Fregeanism contends that knowledge of arithmetic may be acquired by second-order logical reflection upon Hume's principle. Heck argues that Hume's principle doesn't inform ordinary arithmetical reasoning and so knowledge derived from it cannot be genuinely arithmetical. To suppose otherwise, Heck claims, is to fail to comprehend the magnitude of Cantor's conceptual contribution to mathematics. Heck recommends that finite Hume's principle be employed instead to generate arithmetical knowledge. But a better understanding of Cantor's contribution is achieved if it is supposed (...) that Hume's principle really does inform arithmetical practice. More generally, Heck's arguments misconceive the epistemological character of neo-Fregeanism. (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.

Neo-Fregeanism aims to provide a possible route to knowledge of arithmetic via Hume’s principle, but this is of only limited significance if it cannot account for how the vast majority of arithmetic knowledge, accrued by ordinary people, is obtained. I argue that Hume’s principle does not capture what is ordinarily meant by numerical identity, but that we can do much better by buttressing plural logic with plural versions of the ancestral operator, obtaining natural and plausible characterizations of various key (...) arithmetic concepts, including finiteness, equinumerosity and addition and multiplication of cardinality—revealing these to be logical concepts, and obtaining much of ordinary arithmetic knowledge as logical knowledge. Supplementing this with an abstraction principle and a simple axiom of infinity (known either empirically or modally) we obtain a full interpretation of arithmetic. (shrink)

The existence of mereological sums can be derived from an abstraction principle in a way analogous to numbers. I draw lessons for the thesis that “composition is innocent” from neo-Fregeanism in the philosophy of mathematics.

In his paper in the same volume, Sider argues that, of maximalism and quantifier variance, the latter promises to let us make better sense of neo-Fregeanism. I argue that neo-Fregeans should, and seemingly do, reject quantifier variance. If they must choose between these two options, they should choose maximalism.

What are the ontological commitments of a sentence? In this paper I offer an answer from the perspective of the truthmaker theorist that contrasts with the familiar Quinean criterion. I detail some of the benefits of thinking of things this way: they include making the composition debate tractable without appealing to a neo-Carnapian metaontology, making sense of neo-Fregeanism, and dispensing with some otherwise recalcitrant necessary connections.

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)

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’.

Neo-Fregeans take their argument for arithmetical realism to depend on the availability of certain, so-called broadly syntactic tests for whether a given expression functions as a singular term. The broadly syntactic tests proposed in the neo-Fregean tradition are the so-called inferential test and the Aristotelian test. If these tests are to subserve the neo-Fregean argument, they must be at least adequate, in the sense of correctly classifying paradigm cases of singular terms and non-singular terms. In this paper, I pursue two (...) main goals. On the one hand, I show that the tests’ current state-of-the-art formulations are inadequate and, hence, cannot subserve the neo-Fregean argument. On the other hand, I propose revisions that are adequate and, hence, can subserve this argument. (shrink)

The dispute between the Fregean and the Neo-Meinongian approach to existence has become entrenched: it seems that nothing but intuitions may be relied upon to decide the issue. And since contemporary analytic philosophers clearly are inclined towards the intuitions that support Frege's approach, it looks as if Fregeanism has won the day. In this paper, however, I try to develop a compromise solution. This compromise consists in abandoning the assumption shared by both Fregeanism and Neo-Meinongianism, namely that the (...) notion of existence adds something to the content of a statement. To the contrary, we should think of existence as a redundant notion. In other words, I will argue that we should be deflationist about existence. Moreover, the kind of deflationism I propose relies on what I call the existence equivalence schema, a schema which follows the blueprint of the well-known truth equivalence schema. From such a perspective, we can say that Fregean philosophers rightly deny the status of a discriminating property to existence; and, conversely, Neo-Meinongians, too, rightly reject the view that existence is captured by quantification or expresses a universal property of objects. Finally, the argument that we should take a deflationist approach to existence builds upon an analysis of natural language (general) existential statements and their intuitive entailment-relations. (shrink)

Adherents of Ockham’s fundamental razor contend that considerations of ontological parsimony pertain primarily to fundamental objects. Derivative objects, on the other hand, are thought to be quite unobjectionable. One way to understand the fundamental vs. derivative distinction is in terms of the Aristotelian distinction between ontologically independent and dependent objects. In this paper I will defend the thesis that every natural number greater than 0 is an ontologically dependent object thereby exempting the natural numbers from Ockham’s fundamental razor.

Neo-Fregean logicism seeks to base mathematics on abstraction principles. But the acceptable abstraction principles are surrounded by unacceptable ones. This is the "bad company problem." In this introduction I first provide a brief historical overview of the problem. Then I outline the main responses that are currently being debated. In the course of doing so I provide summaries of the contributions to this special issue.

The neo-Fregeans have argued that definition by abstraction allows us to introduce abstract concepts such as direction and number in terms of equivalence relations such as parallelism between lines and one-one correspondence between concepts. This paper argues that definition by abstraction suffers from the fact that an equivalence relation may not be sufficient to determine a unique concept. Frege’s original verdict against definition by abstraction is thus reinstated.

Timothy Williamson’s Modal Logic as Metaphysics is a book-length defense of necessitism about objects—roughly put, the view that, necessarily, any object that exists, exists necessarily. In more formal terms, Williamson argues for the validity of necessitism for objects (NO: ◻︎∀x◻︎∃y(x=y)). NO entails both the (first-order) Barcan formula (BF: ◇∃xΦ → ∃x◇Φ, for any formula Φ) and the (first-order) converse Barcan formula (CBF: ∃x◇Φ → ◇∃xΦ, for any formula Φ). The purpose of this essay is not to assess Williamson’s arguments either (...) for necessitism (although discussion of these arguments will play a central role in the dialectic) or for necessitism’s two famous corollaries. Instead, the focus shall be a general principle governing abstract objects—the abstract of principle (or AOP) —instances of which seems to be at work in some of Williamson’s central arguments for necessitism. The AOP can be straightforwardly formulated and applied within the neo-logicist framework—in fact, arguably the principle is most naturally formulated in neo-logicist terms. -/- After closely examining, and carefully formalizing, the AOP, the remainder of the paper focuses on arguments for necessitism-like claims (the exact meaning of “necessitism-like” will become clearer as the essay progresses) based on the AOP. In particular, we shall focus on the instance of the AOP that applies to the abstract objects governed by the most well-known and most fully studied abstraction principle: Hume’s Principle (HP). It turns out that, although we cannot reconstruct a valid argument for necessitism based on this numerical instance of the AOP, we can obtain valid arguments for weaker, but equally interesting conclusions. In particular, we shall show that, although HP combined with the AOP (and some additional, related assumptions) allows the contents of the domains of possible worlds to vary, the size of those domains must remain constant. The paper concludes by developing and critiquing some related arguments for necessitism based on applying relevant instances of the AOP to abstraction principles governing sets (or extensions), and to a simple objectual abstraction principle. (shrink)

Frege's logicism consists of two theses: the truths of arithmetic are truths of logic; the natural numbers are objects. In this paper I pose the question: what conception of logic is required to defend these theses? I hold that there exists an appropriate and natural conception of logic in virtue of which Hume's principle is a logical truth. Hume's principle, which states that the number of Fs is the number of Gs iff the concepts F and G are equinumerous is (...) the central plank in the neo-logicist argument for and. I defend this position against two objections Hume's principle canot be both a logical truth as required by and also have the ontological import required by ; and the use of Hume's principle by the logicist is in effect an ontological proof of a kind which is not valid. (shrink)

We can introduce singular terms for ordered pairs by means of an abstraction principle. Doing so proves useful for a number of projects in the philosophy of mathematics. However there is a question whether we can appeal to the abstraction principle in good faith, since a version of the Caesar Problem can be generated, posing the worry that abstraction fails to introduce expressions which refer determinately to the requisite sort of object. In this note I will pose the difficulty, and (...) then propose a solution. Since my solution appeals to a plausible constraint on the introduction of new expressions to a language, it is of interest independently of the particular case of terms for pairs. Since these provide the occasion for discussion we should nonetheless review the use of abstraction for pairs before the argumentative business of the paper commences. (shrink)

We note that a plural version of logicism about arithmetic is suggested by the standard reading of Hume's Principle in terms of `the number of Fs/Gs'. We lay out the resources needed to prove a version of Frege's principle in plural, rather than second-order, logic. We sketch a proof of the theorem and comment philosophically on the result, which sits well with a metaphysics of natural numbers as plural properties.

One of the earliest discussions of the so-called 'bad company' objection to Neo-Fregeanism, I show that the consistency of an arbitrary second-order 'contextual definition' (nowadays known as an 'abstraction principle' is recursively undecidable. I go on to suggest that an acceptable such principle should satisfy a condition nowadays known as 'stablity'.

According to neo-Fregeans, an expression that is syntactically singular and figures in a true sentence is guaranteed to have some existing thing in the world to pick out. But this approach is confronted by a dilemma. If reality is crystalline, has a structure fixed independently of language, then the view that reality is guaranteed to contain a sufficient plenitude of objects to supply referents for the relevant expressions is left hostage to cosmological fortune. Whereas if reality is plastic then it (...) becomes dubiously coherent to conceive of our ordinary, scientific, and mathematical claims about a diversity of objects as being genuinely true or false of an independent reality. To avoid this dilemma, the neo-Fregeans must abandon the dichotomy that says either our true sentences must ‘mirror’ the structure of a crystalline reality or ‘impose’ structure upon a plastic one. If we can legitimately deny that there is an intelligible question to be raised of how language hooks onto reality, then prima facie we can grant that a sentence S is true without thereby becoming embroiled in the uncomfortable consequences of having to say what makes S true. So ontological quietism holds out the last, best hope for neo-Fregeanism. (shrink)

Neo-Fregean logicists claim that Hume’s Principle (HP) may be taken as an implicit definition of cardinal number, true simply by fiat. A long-standing problem for neo-Fregean logicism is that HP is not deductively conservative over pure axiomatic second-order logic. This seems to preclude HP from being true by fiat. In this paper, we study Richard Kimberly Heck’s Two-Sorted Frege Arithmetic (2FA), a variation on HP which has been thought to be deductively conservative over second-order logic. We show that it isn’t. (...) In fact, 2FA is not conservative over n-th order logic, for all $n \geq 2$. It follows that in the usual one-sorted setting, HP is not deductively Field-conservative over second- or higher-order logic. (shrink)

The neo-Fregean project of basing mathematics on abstraction principles faces “the bad company problem,” namely that a great variety of unacceptable abstraction principles are mixed in among the acceptable ones. In this paper I propose a new solution to the problem, based on the idea that individuation must take the form of a well-founded process. A surprising aspect of this solution is that every form of abstraction on concepts is permissible and that paradox is instead avoided by restricting what concepts (...) there are. (shrink)

Kim :1099–1112, 2013) defends a logicist theory of numbers. According to him, numbers are adverbial entities, similar to those denoted by “frequently” and “at 100 mph”. He even introduces new adverbs for numbers: “1-wise”, “2-wise”, and so on. For example, “Fs exist 2-wise” means that there are two Fs. Kim claims that, because we can derive Dedekind–Peano axioms from his definition of numbers as adverbial entities, it is a new form of logicism. In this paper, I will, however, argue that (...) his theory is vulnerable to an analogue of the so-called Bad Company objection to neo-Fregeanism. This means that we cannot be sure that numbers are actually given to us by Kim’s definition; for, we don’t know whether it is indeed a good definition. So, unless Kim, or somebody else, provides a demarcation criterion between good and bad adverbial definitions, Kim’s theory will remain incomplete. (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)

One of the most fundamental questions in the philosophy of mathematics concerns the relation between truth and formal proof. The position according to which the two concepts are the same is called deflationism, and the opposing viewpoint substantialism. In an important result of mathematical logic, Kurt Gödel proved in his first incompleteness theorem that all consistent formal systems containing arithmetic include sentences that can neither be proved nor disproved within that system. However, such undecidable Gödel sentences can be established to (...) be true once we expand the formal system with Alfred Tarski s semantical theory of truth, as shown by Stewart Shapiro and Jeffrey Ketland in their semantical arguments for the substantiality of truth. According to them, in Gödel sentences we have an explicit case of true but unprovable sentences, and hence deflationism is refuted. -/- Against that, Neil Tennant has shown that instead of Tarskian truth we can expand the formal system with a soundness principle, according to which all provable sentences are assertable, and the assertability of Gödel sentences follows. This way, the relevant question is not whether we can establish the truth of Gödel sentences, but whether Tarskian truth is a more plausible expansion than a soundness principle. In this work I will argue that this problem is best approached once we think of mathematics as the full human phenomenon, and not just consisting of formal systems. When pre-formal mathematical thinking is included in our account, we see that Tarskian truth is in fact not an expansion at all. I claim that what proof is to formal mathematics, truth is to pre-formal thinking, and the Tarskian account of semantical truth mirrors this relation accurately. -/- However, the introduction of pre-formal mathematics is vulnerable to the deflationist counterargument that while existing in practice, pre-formal thinking could still be philosophically superfluous if it does not refer to anything objective. Against this, I argue that all truly deflationist philosophical theories lead to arbitrariness of mathematics. In all other philosophical accounts of mathematics there is room for a reference of the pre-formal mathematics, and the expansion of Tarkian truth can be made naturally. Hence, if we reject the arbitrariness of mathematics, I argue in this work, we must accept the substantiality of truth. Related subjects such as neo-Fregeanism will also be covered, and shown not to change the need for Tarskian truth. -/- The only remaining route for the deflationist is to change the underlying logic so that our formal languages can include their own truth predicates, which Tarski showed to be impossible for classical first-order languages. With such logics we would have no need to expand the formal systems, and the above argument would fail. From the alternative approaches, in this work I focus mostly on the Independence Friendly (IF) logic of Jaakko Hintikka and Gabriel Sandu. Hintikka has claimed that an IF language can include its own adequate truth predicate. I argue that while this is indeed the case, we cannot recognize the truth predicate as such within the same IF language, and the need for Tarskian truth remains. In addition to IF logic, also second-order logic and Saul Kripke s approach using Kleenean logic will be shown to fail in a similar fashion. (shrink)

Quantifier variantists accept multiple alternative ontological languages in which quantifiers obey the usual inference rules despite having different meanings. But collapse arguments seem to show that these quantifiers would be provably equivalent to one another. Cian Dorr has pushed this discussion forward by formulating the collapse argument in terms of an algebra of meanings that are common amongst the languages. I attempt to show that quantifier variantists can respond. But an important distinction between types of quantifier variance emerges, between those (...) in which quantifier meanings draw on a single objective backbone of “portions of reality,” and those (such as the type that is arguably associated with neo-Fregeanism) in which they do not. (shrink)

This paper discusses Michael Dummett’s criticism of the Neo-Fregean concep- tion of the context principle. I will present four arguments by Dummett that purport to show that the context principle is incompatible with platonism. I discuss and ultimately reject each argument. I will close this paper by identifying what I take to be a deep rooted tension in the Neo-Fregean project which might have motivated Dummett’s opposition to the Neo-Fregean use of the context principle. I argue that this tension does (...) give rise to a legitimate concern, yet it does not affect the Neo-Fregean conception of the context principle. (shrink)

Neo-Fregeans such as Bob Hale and Crispin Wright seek a foundation of mathematics based on abstraction principles. These are sentences involving a relation called the abstraction relation. It is usually assumed that abstraction relations must be equivalence relations, so reflexive, symmetric and transitive. In this article I argue that abstraction relations need not be reflexive. I furthermore give an application of non-reflexive abstraction relations to restricted abstraction principles.

A survey of the emergence of early analytic philosophy as a subfield of the history of philosophy. The importance of recent literature on Frege, Russell, and Wittgenstein is stressed, as is the widening interest in understanding the nineteenth-century scientific and Kantian backgrounds. In contrast to recent histories of early analytic philosophy by P.M.S. Hacker and Scott Soames, the importance of historical and philosophical work on the significance of formalization is highlighted, as are the contributions made by those focusing on systematic (...) treatments of individual philosophers, traditions, and periods in relation to contemporary issues (rule-following, neo-Fregeanism, contextualism, theory of meaning). (shrink)

By endorsing that Bildung is a condition for thought, McDowell explicitly sets out to revive a theme in classical german philosophy. As long as the concept of Bildung is intended to play a role in McDowell’s theory of meaning and reasons, however, it is best understood in the light of its distinctive combination of neo-Fregeanism about content and Wittgensteinianism about rule-following. The Fregean part is there to warrant that reasons are objective, the Wittgensteinian move is to account for our (...) grasping of reasons. I argue that, as it stands, the project can hardly succeed. According to this reading, Bildung not only provides the epistemic resources to access reasons. It shapes them in a way that is in tension with the idea that reasons are objective. I conclude with a guess about the amendment needed to keep the project in the air. (shrink)

Oystein Linnebo's book Thin Objects is partly devoted to defending the view that some objects are “thin” in that their existence does not impose any substantive demands on the world. In this paper, I discuss the concern that the defense relies on there being entities that serve as the referents of predicates. Linnebo thus seems to assume the thinness of those entities. In the course of my discussion, I also discuss what Linnebo says about the role of criteria of identity (...) in his discussion of reference and existence. (shrink)

[Use code AUFLY30 for 30% off on the OUP website.] One central aim of science is to provide explanations of natural phenomena. What role(s) does mathematics play in achieving this aim? How does mathematics contribute to the explanatory power of science? Rules to Infinity defends the thesis, common though perhaps inchoate among many members of the Vienna Circle, that mathematics contributes to the explanatory power of science by expressing conceptual rules, rules which allow the transformation of empirical descriptions. Mathematics should (...) not be thought of as describing, in any substantive sense, an abstract realm of eternal mathematical objects, as traditional platonists have thought. In Rules to Infinity, this view, which I call mathematical normativism, is updated with contemporary philosophical tools, and it is argued that normativism is compatible with mainstream semantic theory. This allows the normativist to accept that there are mathematical truths, while resisting the platonistic idea that there exist abstract mathematical objects that explain such truths. Furthermore, Rules to Infinity defends a particular account of the distinction between scientific explanations that are in some sense distinctively mathematical – those that explain natural phenomena in some uniquely mathematical way – and those that are only standardly mathematical, and it lays out desiderata for any account of this distinction. Normativism is compared with other prominent views in the philosophy of mathematics such as neo-Fregeanism, fictionalism, conventionalism, and structuralism. Rules to Infinity serves as an entry point into debates at the forefront of philosophy of science and mathematics, and it defends novel positions in these debates. (shrink)

Unique in presenting a thoroughgoing examination of the mathematical aspects of the neo-logicist project (and the particular philosophical issues arising from these technical concerns).

Is it possible to characterize the sortal essence of Fs for a sortal concept F solely in terms of a criterion of identity C for F? That is, can the question ‘What sort of thing are Fs?’ be answered by saying that Fs are essentially those things whose identity can be assessed in terms of C? This paper presents a case study supporting a negative answer to these questions by critically examining the neo-Fregean suggestion that cardinal numbers can be fully (...) characterized as those things whose identity can be assessed in terms of one-one correspondence between concepts. (shrink)

In The Construction of Logical Space, Agustín Rayo defends trivialism, according to which number-involving truths are trivially equivalent to other, non-number-involving truths; picturesquely, ‘I have five fingers on my hand’ and ‘the number of fingers on my hand is five’ express the same fact, but carved up in different ways. A single fact thus has multiple structures. I distinguish two ways this might go: on the deflationary picture, facts get their structures from our linguistic practices, while on an inflationary picture, (...) facts have multiple structures independently of language. I argue that Rayo’s view is best interpreted as deflationary. Thus interpreted, it blocks off an attractive solution to the old problems of intensionality. I further argue a that a semi-deflationary variant of Rayo’s view can make use of the attractive solution—but it thereby sacrifices the supposed mathematical benefits of trivialism. (shrink)