One main challenge of non-platonist philosophy of mathematics is to account for the apparent objectivity of mathematical knowledge. Cole and Feferman have proposed accounts that aim to explain objectivity through the intersubjectivity of mathematical knowledge. In this paper, focusing on arithmetic, I will argue that these accounts as such cannot explain the apparent objectivity of mathematical knowledge. However, with support from recent progress in the empirical study of the development of arithmetical cognition, a stronger argument can be provided. I will (...) show that since the development of arithmetic is (partly) determined by biologically evolved proto-arithmetical abilities, arithmetical knowledge can be understood as maximally intersubjective. This maximal intersubjectivity, I argue, can lead to the experience of objectivity, thus providing a solution to the problem of reconciling non-platonist philosophy of mathematics with the (apparent) objectivity of mathematical knowledge. (shrink)

The paper shows how to use the Husserlian phenomenological method in contemporary philosophical approaches to mathematical practice and mathematical ontology. First, the paper develops the phenomenological approach based on Husserl's writings to obtain a method for understanding mathematical practice. Then, to put forward a full-fledged ontology of mathematics, the phenomenological approach is complemented with social ontological considerations. The proposed ontological account sees mathematical objects as social constructions in the sense that they are products of culturally shared and historically developed practices. (...) At the same time the view endorses the sense that mathematical reality is given to mathematicians with a sense of independence. As mathematical social constructions are products of highly constrained, intersubjective practices and accord with the phenomenologically clarified experience of mathematicians, positing them is phenomenologically justified. The social ontological approach offers a way to build mathematical ontology out of the practice with no metaphysical magic. (shrink)

The semantic inferentialist account of the social institution of semantic meaning can be naturally extended to account for social ontology. I argue here that semantic inferentialism provides a framework within which mathematical ontology can be understood as social ontology, and mathematical facts as socially instituted facts. I argue further that the semantic inferentialist framework provides resources to underpin at least some aspects of the objectivity of mathematics, even when the truth of mathematical claims is understood as socially instituted.

From the perspective of mathematical practice, I examine positions claiming that mathematical objects are introduced by human agents. I consider in particular mathematical fictionalism and a recent position on social ontology formulated by Cole (2013, 2015). These positions are able to solve some of the challenges that non-realist positions face. I argue, however, that mathematical entities have features other than fictional characters and social institutions. I emphasise that the way mathematical objects are introduced is different and point to the multifaceted (...) role that relations and interconnections play in this context. Finally, I argue that mathematical entities can be considered to be pragmatically real. (shrink)

In this introductory essay we compare different strategies to study the possibility of applying philosophical theories of social ontology to mathematical practice and vice versa. Analyzing the contributions to the special issue Mathematical practice and social ontology, we distinguish four main strands: (1) to verify whether the very act of producing mathematical knowledge is an intersubjective activity; (2) to explain how the intersubjective nature of mathematics relates to mathematical objectivity; (3) to show how this intersubjectivity-based objectivity is the result of (...) social practice; (4) to understand whether, given the social nature of intersubjectivity-based mathematical objectivity, mathematical objects can be described by analogy with social facts as institutions. (shrink)

I respond to a challenge by Dieterle (Philos Math 18:311–328, 2010) that requires mathematical social constructivists to complete two tasks: (i) counter the myth that socially constructed contents lack objectivity and (ii) provide a plausible social constructivist account of the objectivity of mathematical contents. I defend three theses: (a) the collective agreements responsible for there being socially constructed contents differ in ways that account for such contents possessing varying levels of objectivity, (b) to varying extents, the truth values of objective, (...) socially constructed contents are constrained to be what they are, and (c) typically, socially constructed mathematical contents are objective and possess truth values that are highly constrained by the intended applications of the mathematical facets of reality that they represent. (shrink)

© The Authors [2017]. Published by Oxford University Press. All rights reserved. For permissions, please e-mail: [email protected] Sher believes that our basic epistemic situation — that we aim to gain knowledge of a highly complex world using our severely limited, yet highly resourceful, cognitive capacities — demands that all epistemic projects be undertaken within two broad constraints: epistemic freedom and epistemic friction. The former permits us to employ our cognitive resourcefulness fully while undertaking epistemic projects, while the latter requires that (...) such projects always be substantially grounded in both the mind and reality. Epistemic Friction is an exploration of the latter constraint — the former being left for later work — that demonstrates the complementary nature of three projects that Sher has been working on, largely independently of one another, over the past three decades: a dynamic, neo-Quinean model of knowledge, a substantivist theory of truth, and... (shrink)

A down-to-earth admission of abstract objects can be based on detailed explanation of where the objectivity of mathematics comes from, and how a ‘thin’ notion of object emerges from objective mathematical discourse or practices. We offer a sketch of arguments concerning both points, as a basis for critical scrutiny of the idea that mathematical and social objects are essentially of the same kind—which is criticized. Some authors have proposed that mathematical entities are indeed institutional objects, a product of our collective (...) imposition of function onto reality (the phrase comes from Searle) and of surrogation or hypostasis. Yet there are significant disanalogies between the typical social objects and mathemata, on which basis I argue that one should make a clear distinction between both. The comparison of mathematical with social objects helps understanding how non-physical objects can figure prominently in our explanations of reality. Yet mathematical objects have a different kind of cognitive grounding, and the more elementary of them emerge under relatively very simple sociocultural conditions. The differences are also reflected in the wide scope of use of mathematical concepts, and the much higher degree of variation found among social objects. On the basis of all of these features, I defend the thesis that one can significantly distinguish degrees of objectivity, and I use the distinction to articulate a graded ontology where one can locate the different kinds of mathematical and social objects. (shrink)

The core idea of social constructivism in mathematics is that mathematical entities are social constructs that exist in virtue of social practices, similar to more familiar social entities like institutions and money. Julian C. Cole has presented an institutional version of social constructivism about mathematics based on John Searle’s theory of the construction of the social reality. In this paper, I consider what merits social constructivism has and examine how well Cole’s institutional account meets the challenge of accounting for the (...) characteristic features of mathematics, especially objectivity and applicability. I propose that in general social constructivism shows promise as an ontology of mathematics, because the view can agree with mathematical practice and it offers a way of understanding how mathematical entities can be real without conflicting with a scientific picture of reality. However, I argue that Cole’s specific theory does not provide an adequate social constructivist account of mathematics. His institutional account fails to sufficiently explain the objectivity and applicability of mathematics, because the explanations are weakened and limited by the three-level theoretical model underlying Cole’s account of the construction of mathematical reality and by the use of the Searlean institutional framework. The shortcomings of Cole’s theory give reason to suspect that the Searlean framework is not an optimal way to defend the view that mathematical reality is socially constructed. (shrink)

In 1909, Peirce recorded in a few pages of his logic notebook some experiments with matrices for three-valued propositional logic. These notes are today recognized as one of the first attempts to create non-classical formal systems. However, besides the articles published by Turquette in the 1970s and 1980s, very little progress has been made toward a comprehensive understanding of the formal aspects of Peirce's triadic logic (as he called it). This paper aims to propose a new approach to Peirce's matrices (...) for three-valued propositional logic. We suggested that his logical matrices give rise to three different systems, one of them - which we called P3 - is an original and non-explosive logic. Besides that, we will show that the P3 system can easily be transformed into paraconsistent and paracomplete calculi, adding to it, respectively, unary operators of consistency and intuitionistic negation. We conclude with a discussion about philosophical motivations. (shrink)

What understanding of mathematical objectivity is promoted by Peirce’s pragmatism? Can Peirce’s theory help us to further comprehend the role of intersubjectivity in mathematics? This paper aims to answer such questions, with special reference to recent debates on mathematical practice, where Peirce is often quoted, although without a detailed scrutiny of his theses. In particular, the paper investigates the role of intersubjectivity in the constitution of mathematical objects according to Peirce. Generally speaking, this represents one of the key issues for (...) the philosophy of mathematical practice, whereas – with regard to Peirce – these two aspects (intersubjectivity and objectivity) have been studied for a long time, but mostly as unrelated topics. To reconstruct the connection between Peirce’s reflection on intersubjectivity and the objectivity of mathematical theories, the paper is divided into three parts: (1) the first part introduces Peirce’s view of mathematics; (2) the second analyzes his peculiar “pragmatist realism,” which overcomes common dichotomies in the philosophy of mathematics; (3) the third illustrates the role that Peirce attributes to intersubjectivity in science, and investigates to what extent the intersubjective dimension is also essential in mathematics. (shrink)