In Intuition et idéalités: Phénoménologie des objets mathématiques (2020), Dominique Pradelle questioned the nature of mathematical knowledge–the status of math.

Bob Hale has defended a new conception of properties that is broadly Fregean in two key respects. First, like Frege, Hale insists that every property can be defined by an open formula. Second, like Frege, but unlike later definabilists, Hale seeks to justify full impredicative property comprehension. The most innovative part of his defense, we think, is a “definability constraint” that can serve as an implicit definition of the domain of properties. We make this constraint formally precise and prove that (...) it fails to characterize the domain uniquely. Thus, we conclude, there is no easy road to impredicative definabilism. (shrink)

Boffa non-well-founded set theory allows for several distinct sets equal to their respective singletons, the so-called ‘Quine atoms’. Rieger contends that this theory cannot be a faithful description of set-theoretic reality. He argues that, even after granting that there are non-well-founded sets, ‘the extensional nature of sets’ precludes numerically distinct Quine atoms. In this paper we uncover important similarities between Rieger’s argument and how non-rigid structures are conceived within mathematical structuralism. This opens the way for an objection against Rieger, whilst (...) affording the theoretical resources for a defence of Boffa set theory as a faithful description of set-theoretic reality. (shrink)

Just as mathematics helps us to represent and reason about the natural world, in its internal applications one branch of mathematics helps us to represent and reason about the subject matter of another. Recognition of the close analogy between internal and external applications of mathematics can help resolve two persistent philosophical puzzles concerning its applicability: a platonist puzzle arising from the abstractness of mathematical objects; and an empiricist puzzle arising from mathematical propositions’ lack of empirical factual content. In order to (...) see how this is the case, we will examine what it is to apply mathematics internally and describe examples. (shrink)

The paper introduces the notion of size of countable sets, which preserves the Part-Whole Principle. The sizes of the natural and the rational numbers, their subsets, unions, and Cartesian products are algorithmically enumerable as sequences of natural numbers. The method is similar to that of Numerosity Theory, but in comparison it is motivated by Bolzano’s concept of infinite series, it is constructive because it does not use ultrafilters, and set sizes are uniquely determined. The results mostly agree, but some differ, (...) such as the size of rational numbers. However, set sizes are only partially, not linearly, ordered. Quid pro quo. (shrink)

Brouwer’s view on induction has relatively recently been characterised as one on which it is not only intuitive (as expected) but functional, by van Dalen. He claims that Brouwer’s ‘Ur-intuition’ also yields the recursor. Appealing to Husserl’s phenomenology, I offer an analysis of Brouwer’s view that supports this characterisation and claim, even if assigning the primary role to the iterator instead. Contrasts are drawn to accounts of induction by Poincaré, Heyting, and Kreisel. On the phenomenological side, the analysis provides an (...) alternative to that in Tieszen’s Mathematical Intuition, and confirms a view of Gödel on his Dialectica Interpretation. (shrink)