Øystein Linnebo

This paper has two goals. The first goal is to show that the structuralists’ claims about dependence are more significant to their view than is generally recognized. I argue that these dependence claims play an essential role in the most interesting and plausible characterization of this brand of structuralism. The second goal is to defend a compromise view concerning the dependence relations that obtain between mathematical objects. Two extreme views have tended to dominate the debate, namely the view that all mathematical objects depend on the structures to which they belong and the view that none do. I present counterexamples to each of these extreme views. I defend instead a compromise view according to which the structuralists are right about many kinds of mathematical objects (roughly, the algebraic ones), whereas the anti-structuralists are right about others (in particular, the sets). I end with some remarks about how to understand the crucial notion of dependence, which despite being at the heart of the debate is rarely examined in any detail.

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:. 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 metaphysical “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.

Fixing Frege is one of the most important investigations to date of Fregean approaches to the foundations of mathematics. In addition to providing an unrivalled survey of the technical program to which Frege's writings have given rise, the book makes a large number of improvements and clarifications. Anyone with an interest in the philosophy of mathematics will enjoy and benefit from the careful and well-informed overview provided by the first of its three chapters. Specialists will find the book an indispensable reference and an invaluable source of insights and new results. Although Frege is widely regarded as the father of analytic philosophy, his work on the foundations of mathematics was for a long time rather peripheral to ongoing research. The main reason for this is no doubt Russell's discovery in 1901 that the paradox now bearing his name can be derived in Frege's logical system. But recent decades have seen a huge surge of interest in Fregean approaches to the foundations of mathematics. A variety of consistent theories have been discovered that can be salvaged from Frege's inconsistent system, and foundational and philosophical claims have been made on behalf of many of these theories. Burgess claims quite plausibly that the significance of any such modified Fregean theory will in large part depend on how much of ordinary mathematics it enables us to develop. His book is accordingly 'a survey of various modified Fregean systems, attempting to determine the scope and limits of each'. The book's agenda is thus predominantly technical, and its spirit open-minded and experimental.

Platonism about mathematics (or mathematical platonism) isthe metaphysical view that there are abstract mathematical objectswhose existence is independent of us and our language, thought, andpractices. Just as electrons and planets exist independently of us, sodo numbers and sets. And just as statements about electrons and planetsare made true or false by the objects with which they are concerned andthese objects' perfectly objective properties, so are statements aboutnumbers and sets. Mathematical truths are therefore discovered, notinvented., Existence. There are mathematical objects

We analyze the precise modal commitments of several natural varieties of set-theoretic potentialism, using tools we develop for a general model-theoretic account of potentialism, building on those of Hamkins, Leibman and Löwe [14], including the use of buttons, switches, dials and ratchets. Among the potentialist conceptions we consider are: rank potentialism, Grothendieck–Zermelo potentialism, transitive-set potentialism, forcing potentialism, countable-transitive-model potentialism, countable-model potentialism, and others. In each case, we identify lower bounds for the modal validities, which are generally either S4.2 or S4.3, and an upper bound of S5, proving in each case that these bounds are optimal. The validity of S5 in a world is a potentialist maximality principle, an interesting set-theoretic principle of its own. The results can be viewed as providing an analysis of the modal commitments of the various set-theoretic multiverse conceptions corresponding to each potentialist account.

Thirteen up-and-coming researchers in the philosophy of mathematics have been invited to write on what they take to be the right philosophical account of mathematics, examining along the way where they think the philosophy of mathematics is and ought to be going. A rich and diverse picture emerges. Some broader tendencies can nevertheless be detected: there is increasing attention to the practice, language and psychology of mathematics, a move to reassess the orthodoxy, as well as inspiration from philosophical logic.

Mathematics is one of the most successful human endeavors—a paradigm of precision and objectivity. It is also one of our most puzzling endeavors, as it seems to deliver non-experiential knowledge of a non-physical reality consisting of numbers, sets, and functions. How can the success and objectivity of mathematics be reconciled with its puzzling features, which seem to set it apart from all the usual empirical sciences? This book offers a short but systematic introduction to the philosophy of mathematics. Readers are introduced to all of the classical approaches to the field, including logicism, formalism, intuitionism, empiricism, and structuralism. The book also contains accessible introductions to some more specialized issues, such as mathematical intuition, potential infinity, the iterative conception of sets, and the search for new mathematical axioms. The exposition is always closely informed by ongoing research in the field and sometimes draws on the author’s own contributions to this research. This means that Gottlob Frege—a German mathematician and philosopher widely recognized as one of the founders of analytic philosophy—figures prominently in the book, both through his own views and his criticism of other thinkers.