Mathematical Neo-Fregeanism

This paper aims to provide hyperintensional foundations for mathematical platonism. I examine Hale and Wright's (2009) objections to the merits and need, in the defense of mathematical platonism and its epistemology, of the thesis of Necessitism. In response to Hale and Wright's objections to the role of epistemic and metaphysical modalities in providing justification for both the truth of abstraction principles and the success of mathematical predicate reference, I examine the Necessitist commitments of the abundant conception of properties endorsed by (...) Hale and Wright and examined in Hale (2013), and demonstrate how a two-dimensional approach to the epistemology of mathematics is consistent with Hale and Wright's notion of there being non-evidential epistemic entitlement rationally to trust that abstraction principles are true. A choice point that I flag is that between availing of intensional or hyperintensional semantics. The hyperintensional semantic approach that I advance is a topic-sensitive epistemic two-dimensional truthmaker semantics. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest that observational type theory can be applied to first-order abstraction principles in order to make abstraction principles recursively enumerable. Epistemic and metaphysical states and possibilities may thus be shown to play a constitutive role in vindicating the reality of mathematical objects and truth, and in providing a conceivability-based route to the truth of abstraction principles as well as other axioms and propositions in mathematics. (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 short paper I will pose the difficulty, (...) and then propose a solution. (shrink)

In this article I offer an explicating interpretation of the procedure of content recarving as described by Frege in §64 of the Foundations of Arithmetic. I argue that the procedure of content recarving may be interpreted as an operation that while restricting the subject matter of a sentence, performs a generalization on what the sentence says about its subject matter. The characterization of the recarving operation is given in the setting of Yablo’s theory of subject matter and it is based (...) on the relation of determination between properties. The main advantage of the proposal is its generality, for it is applicable not just to the case of abstraction principles. (shrink)

The idea that some objects are metaphysically “cheap” has wide appeal. An influential version of the idea builds on abstractionist views in the philosophy of mathematics, on which numbers and other mathematical objects are abstracted from other phenomena. For example, Hume’s Principle states that two collections have the same number just in case they are equinumerous, in the sense that they can be correlated one-to-one: (HP) #xx=#yy iff xx≈yy. The principal aim of this article is to use the notion of (...) grounding to develop this sort of abstractionism. The appeal to grounding enables a unified response to the two main challenges that confront abstractionism. First, we must explicate the metaphor of meta- physical “cheapness.” Second, we must rebut the “bad company” objection, which rejects abstraction principles like (HP) as tarnished by their similarity to inconsistent principles like Frege’s Basic Law V. By enforcing a simple requirement that all abstraction be properly grounded, we propose a unified solution to these two hard, and prima facie unrelated, problems. On our view, grounded abstraction simultaneously ensures “cheap” abstracta and permissible abstraction. (shrink)

One prominent criticism of the abstractionist program is the so-called Bad Company objection. The complaint is that abstraction principles cannot in general be a legitimate way to introduce mathematical theories, since some of them are inconsistent. The most notorious example, of course, is Frege’s Basic Law V. A common response to the objection suggests that an abstraction principle can be used to legitimately introduce a mathematical theory precisely when it is stable: when it can be made true on all sufficiently (...) large domains. In this paper, we raise a worry for this response to the Bad Company objection. We argue, perhaps surprisingly, that it requires very strong assumptions about the range of the second-order quantifiers; assumptions that the abstractionist should reject. (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 longstanding 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)

I identify two reasons for believing in the objectivity of mathematical knowledge: apparent objectivity and applications in science. Focusing on arithmetic, I analyze platonism and cognitive nativism in terms of explaining these two reasons. After establishing that both theories run into difficulties, I present an alternative epistemological account that combines the theoretical frameworks of enculturation and cumulative cultural evolution. I show that this account can explain why arithmetical knowledge appears to be objective and has scientific applications. Finally, I will argue (...) that, while this account is compatible with platonist metaphysics, it does not require postulating mind-independent mathematical objects. (shrink)

The rather unrestrained use of second-order logic in the neo-logicist program is critically examined. It is argued in some detail that it brings with it genuine set-theoretical existence assumptions and that the mathematical power that Hume’s Principle seems to provide, in the derivation of Frege’s Theorem, comes largely from the ‘logic’ assumed rather than from Hume’s Principle. It is shown that Hume’s Principle is in reality not stronger than the very weak Robinson Arithmetic Q. Consequently, only a few rudimentary facts (...) of arithmetic are logically derivable from Hume’s Principle. And that hardly counts as a vindication of logicism. (shrink)

A speculative investigation of how Frege's logical views change between Begriffsschrift and Grundgesetze and how this might have affected the formal development of logicism.

An overview of what Frege accomplishes in Part II of Grundgesetze, which contains proofs of axioms for arithmetic and several additional results concerning the finite, the infinite, and the relationship between these notions. One might think of this paper as an extremely compressed form of Part II of my book Reading Frege's Grundgesetze.

In two recent papers, Bob Hale has attempted to free second-order logic of the 'staggering existential assumptions' with which Quine famously attempted to saddle it. I argue, first, that the ontological issue is at best secondary: the crucial issue about second-order logic, at least for a neo-logicist, is epistemological. I then argue that neither Crispin Wright's attempt to characterize a `neutralist' conception of quantification that is wholly independent of existential commitment, nor Hale's attempt to characterize the second-order domain in terms (...) of definability, can serve a neo-logicist's purposes. The problem, in both cases, is similar: neither Wright nor Hale is sufficiently sensitive to the demands that impredicativity imposes. Finally, I defend my own earlier attempt to finesse this issue, in "A Logic for Frege's Theorem", from Hale's criticisms. (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)

In this paper I explore a position on which it is possible to eliminate the need for postulating abstract objects through abstraction principles by treating terms for abstracta as ‘incomplete symbols’, using Russell's no-classes theory as a template from which to generalize. I defend views of this stripe against objections, most notably Richard Heck's charge that syntactic forms of nominalism cannot correctly deal with non-first-orderizable quantifcation over apparent abstracta. I further discuss how number theory may be developed in a system (...) treating apparent terms for numbers using these definitions. (shrink)

This paper criticizes the view that number words in argument position retain the meaning they have on an adjectival or determiner use, as argued by Hofweber :179–225, 2005) and Moltmann :499–534, 2013a, 2013b). In particular the paper re-evaluates syntactic evidence from German given in Moltmann to that effect.

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 this dissertation I examine the NeoFregean metaontology of mathematics. I try to clarify the relationship between what is sometimes called Priority Thesis and Platonism about mathematical entities. I then present three coherent ways in which one might endorse both these stances, also answering some possible objections. Finally I try to show which of these three ways is the most promising.

The question whether numbers are objects is a central question in the philosophy of mathematics. Frege made use of a syntactic criterion for objethood: numbers are objects because there are singular terms that stand for them, and not just singular terms in some formal language, but in natural language in particular. In particular, Frege (1884) thought that both noun phrases like the number of planets and simple numerals like eight as in (1) are singular terms referring to numbers as abstract (...) objects. (shrink)

The primary purpose of this note is to demonstrate that predicative Frege arithmetic naturally interprets certain weak but non-trivial arithmetical theories. It will take almost as long to explain what this means and why it matters as it will to prove the results.

I argue that we can and should extend Tarski's model-theoretic criterion of logicality to cover indefinite expressions like Hilbert's ɛ operator, Russell's indefinite description operator η, and abstraction operators like 'the number of'. I draw on this extension to discuss the logical status of both abstraction operators and abstraction principles.

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.

Abstract: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)

This paper aims to establish the importance of mathematical thinking in the work of Vilém Flusser. For this purpose highlights the concept of escalation of abstraction with which the Czech German philosopher finishes by reversing the top of the traditional pyramid of knowledge, we know from Plato and Aristotle. It also assumes the implicit cultural revolution in the refinement of the numerical element in a process of gradual abandonment of purely alphabetic code, highlights the new key code, together with the (...) technological and telematic culture and uses the concepts of game theory, of probability theory and computing to analize the society and culture. Of particular importance is the affirmation of a new kind of imagination, a projective one, ranging from the model to the world. Today's society and culture can´t be understood without resorting to the concepts and results coined and made ​​in the course of developing a type of thinking entirely dominated by the mathematics. The limits and boundaries of scientific disciplines overlap under number development, requiring reflection and rethinking traditional concepts of social and natural sciences. (shrink)

Øystein Linnebo has recently shown that the existence of successors cannot be proven in predicative Frege arithmetic, using Frege’s definitions of arithmetical notions. By contrast, it is shown here that the existence of successor can be proven in ramified predicative Frege arithmetic.

This paper argues that Frege is not the metaphysical platonist about mathematics that he is standardly taken to be. It is shown that Frege’s project has two distinct stages: the identification of what is true of our ordinary notions, and then the provision of a systematic account that shares the identified features. Neither of these stages involves much metaphysics. The paper criticizes in detail Dummett’s interpretation of §§55-61 of Grundlagen. These sections fall under the heading ‘Every number is a self-subsistent (...) object’ and are described by Dummett as containing the worst arguments put forward by Frege. It is argued that essentially all of Dummett’s interpretive points are mistaken. Finally, I show that Frege’s claims about the independence of mathematics from humans and their activities does not commit him to any particularly metaphysical position either. (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)

An investigation of Frege’s various contributions to the study of language, focusing on three of his most famous doctrines: that concepts are unsaturated, that sentences refer to truth-values, and that sense must be distinguished from reference.

A close look at Frege's proof in "Foundations of Arithmetic" that every number has a successor. The examination reveals a surprising gap in the proof, one that Frege would later fill in "Basic Laws of Arithmetic".

This paper contains a close analysis of Frege's proofs of the axioms of arithmetic §§70-83 of Die Grundlagen, with special attention to the proof of the existence of successors in §§82-83. Reluctantly and hesitantly, we come to the conclusion that Frege was at least somewhat confused in those two sections and that he cannot be said to have outlined, or even to have intended, any correct proof there. The proof he sketches is in many ways similar to that given in (...) Grundgesetze der Arithmetik, but fidelity to what Frege wrote in Die Grundlagen and in Grundgesetze requires us to reject the charitable suggestion that it was this (beautiful) proof that he had in mind in §§82-83. (shrink)

Discusses Frege's formal definitions and characterizations of infinite and finite sets. Speculates that Frege might have discovered the "oddity" in Dedekind's famous proof that all infinite sets are Dedekind infinite and, in doing so, stumbled across an axiom of countable choice.

This paper argues that that Caesar problem had a technical aspect, namely, that it threatened to make it impossible to prove, in the way Frege wanted, that there are infinitely many numbers. It then offers a solution to the problem, one that shows Frege did not really need the claim that "numbers are objects", not if that claim is intended in a form that forces the Caesar problem upon us.

As is well-known, the formal system in which Frege works in his Grundgesetze der Arithmetik is formally inconsistent, Russell’s Paradox being derivable in it.This system is, except for minor differ...

This paper explores the relationship between Hume's Prinicple and Basic Law V, investigating the question whether we really do need to suppose that, already in Die Grundlagen, Frege intended that HP should be justified by its derivation from Law V.

This paper discusses Frege's account of definition by induction in Grundgesetze and the two key theorems Frege proves using it.

Neo-logicism uses definitions and Hume's Principle to derive arithmetic in second-order logic. This paper investigates how much arithmetic can be derived using definitions alone, without any additional principle such as Hume's.

The way we understand the environment is analogous to the way we draw a map. Drawing insights from this analogy, this paper shows how the abstraction that occurs in ecological explanation can lead to damaging distortion. It is mistaken, therefore, to assume that by abstraction we can easily determine the correct variables for controlling a given ecosystem as if it were ideally closed. Recent work shows that the environment is a global composite with a very high degree of internal dependence (...) between its parts, a kind of dependence that makes it more holistic than a machine and perhaps even as holistic as an organism. This paper was presented at the 6th European Meeting of Jesuits in Science on “Science and Culture”, Frankfurt a. M., Germany (8th - 12th September 1999). (shrink)

This is a technical supplement to "Abstraction and Grounding", forthcoming in /Philosophy and Public Affairs/.

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.