Disagreements that resist rational resolution, often termed “deep disagreements”, have been the focus of much work in epistemology and informal logic. In this paper, I argue that they also deserve the attention of philosophers of mathematics. I link the question of whether there can be deep disagreements in mathematics to a more familiar debate over whether there can be revolutions in mathematics. I propose an affirmative answer to both questions, using the controversy over Shinichi Mochizuki’s work on the abc conjecture (...) as a potential example of both phenomena. I conclude by investigating the prospects for the resolution of mathematical deep disagreements in virtue-theoretic approaches to informal logic and mathematical practice. (shrink)

Annalisa Coliva (Int J Study Skept 10(3–4):346–366, 2020) asks, “Are there mathematical hinges?” I argue here, against Coliva’s own conclusion, that there are. I further claim that this affirmative answer allows a case to be made for taking the concept of a hinge to be a useful and general-purpose tool for studying mathematical practice in its real complexity. Seeing how Wittgenstein can, and why he would, countenance mathematical hinges additionally gives us a deeper understanding of some of his latest thoughts (...) on mathematics. For example, a view of how mathematical hinges relate to Wittgenstein’s well-known river-bed analogy enables us to see how his way of thinking about mathematics can account nicely for a “dynamics of change” within mathematical research—something his philosophy of mathematics has been accused of missing (e.g., by Robert Ackermann (Wittgenstein’s city, The University of Massachusetts Press, Amherst, 1988) and Mark Wilson (Wandering significance: an essay on conceptual behavior, Oxford University Press, Oxford, 2006). Finally, the perspective on mathematical hinges ultimately arrived at will be seen to provide us with illuminating examples of how our conceptual choices and theories can be ungrounded but nevertheless the right ones (in a sense to be explained). (shrink)

We shall address from a conceptual perspective the duality between algebra and geometry in the framework of the refoundation of algebraic geometry associated to Grothendieck’s theory of schemes. To do so, we shall revisit scheme theory from the standpoint provided by the problem of recovering a mathematical structure A from its representations \ into other similar structures B. This vantage point will allow us to analyze the relationship between the algebra-geometry duality and the structure-semiotics duality. Whereas in classical algebraic geometry (...) a certain kind of rings can be recovered by considering their representations with respect to a unique codomain B, Grothendieck’s theory of schemes permits to reconstruct general rings by considering representations with respect to a category of codomains. The strategy to reconstruct the object from its representations remains the same in both frameworks: the elements of the ring A can be realized—by means of what we shall generally call Gelfand transform—as quantities on a topological space that parameterizes the relevant representations of A. As we shall argue, important dualities in different areas of mathematics can be understood as particular cases of this general pattern. In the wake of Majid’s analysis of the Pontryagin duality, we shall propose a Kantian-oriented interpretation of this pattern. We shall use this conceptual framework to argue that Grothendieck’s notion of functor of points can be understood as a “relativization of the a priori” that generalizes the relativization already conveyed by the notion of domain extension to more general variations of the corresponding domains. (shrink)

Domain extension in mathematics occurs whenever a given mathematical domain is augmented so as to include new elements. Manders argues that the advantages of important cases of domain extension are captured by the model-theoretic notions of existential closure and model completion. In the specific case of domain extension via ideal elements, I argue, Manders’s proposed explanation does not suffice. I then develop and formalize a different approach to domain extension based on Dedekind’s Habilitationsrede, to which Manders’s account is compared. I (...) conclude with an examination of three possible stances towards extensions via ideal elements. (shrink)

This paper argues that in mathematical practice, conjectures are sometimes confirmed by “Inference to the Best Explanation” as applied to some mathematical evidence. IBE operates in mathematics in the same way as IBE in science. When applied to empirical evidence, IBE sometimes helps to justify the expansion of scientists’ ontological commitments. Analogously, when applied to mathematical evidence, IBE sometimes helps to justify mathematicians' in expanding the range of their ontological commitments. IBE supplements other forms of non-deductive reasoning in mathematics, avoiding (...) obstacles sometimes faced by enumerative induction or hypothetico-deductive reasoning. Both platonist and non-platonist interpretations of mathematics ought to accommodate explanation in mathematics and ought to recognize IBE in mathematics, though these interpretations disagree on the ontological commitments that mathematicians ought to have. This paper offers an inductive account of why mathematical IBE tends to lead to mathematical truths. (shrink)

>The Blackwell Guide to the Philosophy of Science Peter Machamer & Michael Silberstein Oxford, Blackwell, 2002 xi + 347 pp., ISBN 0631221077, £60.00, $73.95, ISBN 0631221085, £16.9...

This paper explores Simon Stevin’s l’Arithmétique of 1585, where we find a novel understanding of the concept of number. I will discuss the dynamics between his practice and philosophy of mathematics, and put it in the context of his general epistemological attitude. Subsequently, I will take a close look at his justificational concerns, and at how these are reflected in his inductive, a postiori and structuralist approach to investigating the numerical field. I will argue that Stevin’s renewed conceptualisation of the (...) notion of number is a sort of “existential closure” of the numerical domain, founded upon the practice of his predecessors and contemporaries. Accordingly, I want to make clear that l’Aritmetique have to be read not as an ontological analysis or exploration of the numerical field, but as an explication of a mathematical ethos. In this sense, this article also intends to make a specific contribution to the broader issue of the “ethics of geometry.”. (shrink)

In this expository article one of the contributions of Jean Cavailles to the philosophy of mathematics is presented: the analysis of ‘mathematical experience’. The place of Cavailles on the logico-philosophical scene of the 30s and 40s is sketched. I propose a partial interpretation of Cavailles's epistemological program of so-called ‘conceptual dialectics’: mathematical holism, duality principles, the notion of formal contents, and the specific temporal structure of conceptual dynamics. The structure of mathematical abstraction is analysed in terms of its complementary dimensions: (...) paradigmatic generalization (domain extension, descriptive definitions, creative role of the symbolism...) and thematic reflexivity of concepts (promotion of operations to objects of a higher type). (shrink)

This is a critical notice of Mark Wilson's Wandering Significance.

The present paper discusses a proposal which says,roughly and with several qualifications, that thecollection of mathematical truths is identical withthe set of theorems of ZFC. It is argued that thisproposal is not as easily dismissed as outright falseor philosophically incoherent as one might think. Some morals of this are drawn for the concept ofmathematical knowledge.