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)

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)

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)

This essay will examine some rather serious trouble confronting claims that mathematicalia might be social constructs. Because of the clarity with which he makes the case and the philosophical rigor he applies to his analysis, our exemplar of a social constructivist in this sense is Julian Cole, especially the work in his 2009 and 2013 papers on the topic. In a 2010 paper, Jill Dieterle criticized the view in Cole’s 2009 paper for being unable to account for the atemporality of (...) mathematical existents. Cole’s 2013 paper addresses this objection, providing a modification of his 2009 paper allowing for atemporal mathematicalia. An unusual consequence of Cole’s account is that at least some existential claims about mathematicalia used to be false but now have always been true. By examining the semantics of such claims, we demonstrate that social constructivism is in fact, despite Cole’s attempts to rectify matters, incompatible with atemporal mathematicalia. In the course of examining these semantic details, however, an alternative hybrid view of fictionalism and social constructivism emerges. Those tempted by social constructivism, while perhaps disappointed by the negative results of the paper, may be encouraged by how much of their view can be recovered in this alternative account. (shrink)

In a series of works, Jody Azzouni has defended deflationary nominalism, the view that certain sentences quantifying over mathematical objects are literally true, although such objects do not exist. One alleged attraction of this view is that it avoids various philosophical puzzles about mathematical objects. I argue that this thought is misguided. I first develop an ontologically neutral counterpart of Field’s reliability challenge and argue that deflationary nominalism offers no distinctive answer to it. I then show how this reasoning generalizes (...) to other philosophically problematic entities. The moral is that puzzle avoidance fails to motivate deflationary nominalism. (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)

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)

Two topics figure prominently in recent discussions of mathematical structuralism: challenges to the purported metaphysical insight provided by sui generis structuralism and the significance of category theory for understanding and articulating mathematical structuralism. This article presents an overview of central themes related to these topics.

Platonism is the view that there exist such things as abstract objects — where an abstract object is an object that does not exist in space or time and which is therefore entirely non-physical and nonmental. Platonism in this sense is a contemporary view. It is obviously related to the views of Plato in important ways, but it is not entirely clear that Plato endorsed this view, as it is defined here. In order to remain neutral on this question, the (...) term ‘platonism’ is spelled with a lower-case ‘p’. (See entry on Plato.) The most important figure in the development of modern platonism is Gottlob Frege (1884, 1892, 1893-1903, 1919). The view has also been endorsed by many others, including Kurt Gödel (1964), Bertrand Russell (1912), and W.V.O. Quine (1948, 1951). (shrink)

Mathematical fictionalism (or as I'll call it, fictionalism) is best thought of as a reaction to mathematical platonism. Platonism is the view that (a) there exist abstract mathematical objects (i.e., nonspatiotemporal mathematical objects), and (b) our mathematical sentences and theories provide true descriptions of such objects. So, for instance, on the platonist view, the sentence ‘3 is prime’ provides a straightforward description of a certain object—namely, the number 3—in much the same way that the sentence ‘Mars is red’ provides a (...) description of Mars. But whereas Mars is a physical object, the number 3 is (according to platonism) an abstract object. And abstract objects, platonists tell us, are wholly nonphysical, nonmental, nonspatial, nontemporal, and noncausal. Thus, on this view, the number 3 exists independently of us and our thinking, but it does not exist in space or time, it is not a physical or mental object, and it does not enter into causal relations with other objects. This view has been endorsed by Plato, Frege (1884, 1893-1903, 1919), Gödel (1964), and in some of their writings, Russell (1912) and Quine (1948, 1951), not to mention numerous more recent philosophers of mathematics, e.g., Putnam (1971), Parsons (1971), Steiner (1975), Resnik (1997), Shapiro (1997), Hale (1987), Wright (1983), Katz (1998), Zalta (1988), and Colyvan (2001). (shrink)