The purpose of this paper is to apply Crispin Wright’s criteria and various axes of objectivity to mathematics. I test the criteria and the objectivity of mathematics against each other. Along the way, various issues concerning general logic and epistemology are encountered.

The author of the work proposes a philosophical and methodological interpretation of the mathematical objects, using the system triad of the main directions of substantiation of mathematics: the formalism of Hilbert, Brouwer’s intuitionism and Godel’s Platonism. The need for these directions in the concept of substantiation of mathematics from the point of view of the current state of the philosophy of mathematics is shown on the mathematical examples. The philosophical and methodological analysis of objects of mathematics (...) has never been unambiguous, therefore in this paper the results of studies of philosophers, logicians and mathematicians, in which the problem of substantiation is explicated in the context of trends in the development of mathematics, are used. Their professional view on philosophical characteristics of the objects of mathematics contributes to the identification of the unity of all mathematical knowledge maintaining the initial mathematical base of knowledge and revealing new ways of integrating the directions of substantiation in the philosophy of mathematics. The practical problem of substantiation of mathematics is realized through the elaboration of metatheoretical knowledge under the paradigm shift in the philosophy of mathematics to the productive direction from analysis to synthesis. (shrink)

Wittgenstein’s philosophy of mathematics is often devalued due to its peculiar features, especially its radical departure from any of standard positions in foundations of mathematics, such as logicism, intuitionism, and formalism. We first contrast Wittgenstein’s finitism with Hilbert’s finitism, arguing that Wittgenstein’s is perspicuous or surveyable finitism whereas Hilbert’s is transcendental finitism. We then further elucidate Wittgenstein’s philosophy by explicating his natural history view of logic and mathematics, which is tightly linked with the so-called rule-following problem and (...) Kripkenstein’s paradox, yielding vital implications to the nature of mathematical understanding, and to the nature of the certainty and objectivity of mathematical truth. Since the incompleteness theorems, foundations of mathematics have mostly lost their philosophical driving force, and anti-foundationalism has become prevalent and pervasive. Yet new foundations have nevertheless emerged and come into the scene, namely categorical foundations. We articulate the foundational significance of category theory by explicating three forms of foundations, i.e., global foundations, local foundations, and conceptual foundations. And we explore the possibility of categorical unified science qua pluralistic unified science, arguing for the categorical unity of science on both mathematical and philosophical grounds. We then turn to an issue in conceptual foundations of mathematics, namely the nature of the concept of space. We elucidate Wittgenstein’s intensional conception of space in relation to Brouwer’s theory of space continua and to the modern conception of space as point-free structure in category theory and algebraic geometry. We finally give a bird’s-eye view of mathematical philosophy from a Wittgensteinian perspective, and further sheds new light on Wittgenstein’s constructive structuralism and his view of incompleteness and contradictions in mathematics. (shrink)

Wittgenstein’s philosophy of mathematics is often devalued due to its peculiar features, especially its radical departure from any of standard positions in foundations of mathematics, such as logicism, intuitionism, and formalism. We first contrast Wittgenstein’s finitism with Hilbert’s finitism, arguing that Wittgenstein’s is perspicuous or surveyable finitism whereas Hilbert’s is transcendental finitism. We then further elucidate Wittgenstein’s philosophy by explicating his natural history view of logic and mathematics, which is tightly linked with the so-called rule-following problem and (...) Kripkenstein’s paradox, yielding vital implications to the nature of mathematical understanding, and to the nature of the certainty and objectivity of mathematical truth. Since the incompleteness theorems, foundations of mathematics have mostly lost their philosophical driving force, and anti-foundationalism has become prevalent and pervasive. Yet new foundations have nevertheless emerged and come into the scene, namely categorical foundations. We articulate the foundational significance of category theory by explicating three forms of foundations, i.e., global foundations, local foundations, and conceptual foundations. And we explore the possibility of categorical unified science qua pluralistic unified science, arguing for the categorical unity of science on both mathematical and philosophical grounds. We then turn to an issue in conceptual foundations of mathematics, namely the nature of the concept of space. We elucidate Wittgenstein’s intensional conception of space in relation to Brouwer’s theory of space continua and to the modern conception of space as point-free structure in category theory and algebraic geometry. We finally give a bird’s-eye view of mathematical philosophy from a Wittgensteinian perspective, and further sheds new light on Wittgenstein’s constructive structuralism and his view of incompleteness and contradictions in mathematics. (shrink)

Philosophical analysis of mathematical knowledge are commonly conducted within the realist/antirealist dichotomy. Nevertheless, philosophers working within this dichotomy pay little attention to the way in which mathematics evolves and structures itself. Focusing on mathematical practice, I propose a weak notion of objectivity of mathematical knowledge that preserves the intersubjective character of mathematical knowledge but does not bear on a view of mathematics as a body of mind-independent necessary truths. Furthermore, I show how that the successful application of (...) mathematics in science is an important trigger for the objectivity of mathematical knowledge. (shrink)

The aim of the paper is to answer some arguments raised against mathematical structuralism developed by Michael Resnik. These arguments stress the abstractness of mathematical objects, especially their causal inertness, and conclude that mathematical objects, the structures posited by Resnik included, are inaccessible to human cognition. In the paper I introduce a distinction between abstract and ideal objects and argue that mathematical objects are primarily ideal. I reconstruct some aspects of the instrumental practice of mathematics, such as symbolic manipulations (...) or ruler-and-compass constructions, and argue that instrumental practice can secure epistemic access to ideal objects of mathematics. (shrink)

Argues that Aquinas's views on intelligible matter and abstraction, as they relate to mathematics, are considerably more developed than those of Aristotle.

In this essay, I argue that Hume’s theory of Quantitative and Numerical Philosophical Relations can be interpreted in a way which allows mathematical knowledge to be about a body of objective and necessary truths, while preserving Hume’s nominalism and the basic principles of his theory of ideas. Attempts are made to clear up a number of obscure points about Hume’s claims concerning the abstract sciences of Arithmetic and Algebra by means of re-examining what he says and what he could comfortably (...) have said about relations of qualitative resemblance. (shrink)

There is a basic division in the philosophy of mathematics between realist, ‘platonist’ theories and anti-realist ‘constructivist’ theories. Platonism explains how mathematical truth is strongly objective, but it does this at the cost of invoking mind-independent mathematical objects. In contrast, constructivism avoids mind-independent mathematical objects, but the cost tends to be a weakened conception of mathematical truth. Neither alternative seems ideal. The purpose of this paper is to show that in the philosophical writings of Henri Poincaré there is a (...) coherent argument for an interesting position between the two traditional poles in the philosophy of mathematics. Relying on a semi-Kantian framework, Poincaré combines an epistemological and metaphysical constructivism with a more realist account of the nature of mathematical truth. (shrink)

In a series of recent papers, Emily Katz has argued that on Aristotle's view mathematical sciences are in an important respect no different from most natural sciences: They study sensible substances, but not qua sensible. In this paper, I argue that this is only half the story. Mathematical sciences are distinctive for Aristotle in that they study things ‘from’, ‘through’ or ‘in’ abstraction, whereas natural sciences study things ‘like the snub’. What this means, I argue, is that natural sciences must (...) study properties as they occur in the subjects from which they are originally abstracted, even where they reify these properties and treat them as subjects. The objects of mathematical sciences, on the other hand, can be studied as if they did not really occur in an underlying subject. This is because none of the properties of mathematical objects depend on their being in reality features of the subjects from which they are abstracted, such as bodies and inscriptions. Mathematical sciences are in this way able to study what are in reality non-substances as if they were substances. (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)

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. (shrink)

This article deals with a question of a most general, comprehensive and profound content as it is the nature of mathematical–logical objects insofar as these are considered objects of knowledge and more specifically objects of formal mathematical theories. As objects of formal theories they are dealt with in the sense they have acquired primarily from the beginnings of the systematic study of mathematical foundations in connection with logic dating from the works of G. Cantor and G. Frege in the last (...) decades of the nineteenth century. Largely motivated by a phenomenologically founded view of mathematical objects/states-of-affairs, I try to consistently argue for their character as objects shaped to a certain extent by intentional forms exhibited by consciousness and the modes of constitution of inner temporality and at the same time as constrained in the form of immanent ‘appearances’ by what stands as their non-eliminable reference, that is, the world as primitive soil of experience and the mathematical intuitions developed in relations of reciprocity within-the-world. In this perspective and relative to my intentions I enter, in the last section, into a brief review of certain positions of G. Sher’s foundational holism and R. Tieszen’s constituted platonism, among others, respectively presented in Sher and Tieszen. (shrink)

I identify two reasons for believing in the objectivity of mathematical knowledge: apparent objectivity and applications in science. Focusing on arithmetic, I analyze platonism and cognitive nativism in terms of explaining these two reasons. After establishing that both theories run into difficulties, I present an alternative epistemological account that combines the theoretical frameworks of enculturation and cumulative cultural evolution. I show that this account can explain why arithmetical knowledge appears to be objective and has scientific applications. Finally, I (...) will argue that, while this account is compatible with platonist metaphysics, it does not require postulating mind-independent mathematical objects. (shrink)

In 2020, Daniele Molinini published a paper outlining two types of mathematical objectivity. One could say that with this paper Molinini not only separated two mathematical concepts in terms of terminology and content, but also contrasted two mathematical-philosophical contexts, the traditional-idealistic and the modern-practical. Since the first context was the theoretical basis for a large number of analyses that we find in the framework of the philosophy of mathematics, the space was now offered to re-examine such analyses in (...) the second context. More specifically, with respect to the second context, we will analyse the strength of one of the few explicit Platonic arguments that seeks to justify the ontological status of mathematical objects and the central claim of mathematical Platonism about the existence of mathematical objects. (shrink)

A popular method for comparing the structures of mathematical objects, which I call the ‘subset approach’, says that X has more structure than Y just in case X’s automorphisms form a proper subset of Y’s automorphisms. This approach is attractive, in part, because it seems to yield the right results in some comparisons of spacetime structure. But as I show, it yields the wrong results in a number of other cases. The problem is that the subset approach compares structure using (...) automorphism sets. So a different approach is needed: structure should be compared using automorphism groups. (shrink)

The realist versions of mathematical structuralism are often characterized by what I call ‘the insubstantiality thesis’, according to which mathematical objects, being positions in structures, have no non-structural properties: they are purely structural objects. The thesis has been criticized for being inconsistent or descriptively inadequate. In this paper, by implementing the resources of a real-definitional account of essence in the context of Fregean abstraction principles, I offer a version of structuralism – essentialist structuralism – which validates a weaker version of (...) the insubstantiality thesis: mathematical objects have no non-structural essential properties. Next, I show how this rendition of structuralism alleviates a Fregean worry against insubstantiality, which is directed at the explanation of the applicability of mathematics from the structuralist perspective. (shrink)

Do numbers, sets, and so forth, exist? What do mathematical statements mean? Are they literally true or false, or do they lack truth values altogether? Addressing questions that have attracted lively debate in recent years, Stewart Shapiro contends that standard realist and antirealist accounts of mathematics are both problematic. As Benacerraf first noted, we are confronted with the following powerful dilemma. The desired continuity between mathematical and, say, scientific language suggests realism, but realism in this context suggests seemingly intractable (...) epistemic problems. As a way out of this dilemma, Shapiro articulates a structuralist approach. On this view, the subject matter of arithmetic, for example, is not a fixed domain of numbers independent of each other, but rather is the natural number structure, the pattern common to any system of objects that has an initial object and successor relation satisfying the induction principle. Using this framework, realism in mathematics can be preserved without troublesome epistemic consequences. Shapiro concludes by showing how a structuralist approach can be applied to wider philosophical questions such as the nature of an "object" and the Quinean nature of ontological commitment. Clear, compelling, and tautly argued, Shapiro's work, noteworthy both in its attempt to develop a full-length structuralist approach to mathematics and to trace its emergence in the history of mathematics, will be of deep interest to both philosophers and mathematicians. (shrink)

In this paper I examine a strategy which aims to bypass the technicalities of the indispensability debate and to offer a direct route to nominalism. The starting-point for this alternative nominalist strategy is the claim that--according to the platonist picture--the existence of mathematical objects makes no difference to the concrete, physical world. My principal goal is to show that the 'Makes No Difference' (MND) Argument does not succeed in undermining platonism. The basic reason why not is that the makes-no-difference claim (...) which the argument is based on is problematic. Arguments both for and against this claim can be found in the literature; I examine three such arguments, uncovering flaws in each one. In the second half of the paper, I take a more direct approach and present an analysis of the counterfactual which underpins the makes-no-difference claim. What this analysis reveals is that indispensability considerations are in fact crucial to the proper evaluation of the MND Argument, contrary to the claims of its supporters. (shrink)

The view that mathematical objects are indefinite in nature is presented and defended, hi the first section, Field's argument for fictionalism, given in response to Benacerraf's problem of identification, is closely examined, and it is contended that platonists can solve the problem equally well if they take the view that mathematical objects are indefinite. In the second section, two general arguments against the intelligibility of objectual indefiniteness are shown erroneous, hi the final section, the view is compared to mathematical structuralism, (...) and it is shown that a version of structuralism should be understood as embracing the same view. (shrink)

Some authors have proposed that Avicenna considers mathematical objects, i.e., geometric shapes and numbers, to be mental existents completely separated from matter. In this paper, I will show that this description, though not completely wrong, is misleading. Avicenna endorses, I will argue, some sort of literalism, potentialism, and finitism.

Mathematical objects are divided into (1) those which are autonomous, i.e., not dependent for their existence upon mathematicians’ conscious acts, and (2) intentional objects, which are so dependent. Platonist philosophy of mathematics argues that all objects belong to group (1), Brouwer’s intuitionism argues that all belong to group (2). Here we attempt to develop a dualist ontology of mathematics (implicit in the work of, e.g., Hilbert), exploiting the theories of Meinong, Husserl and Ingarden on the relations between autonomous (...) and intentional objects. In particular we develop a phenomenology of mathematical works, which has the stratified intentional structure discovered by Ingarden in his study of the literary work. (shrink)

This paper has two main purposes: first, to compare Wittgenstein's views to the more traditional views in the philosophy of mathematics; second, to provide a general outline for a Wittgensteinian reply to these two objections. Two fundamental themes of Wittgenstein's account of mathematics title the following two sections: mathematical propositions are rules and not descriptions and mathematics is employed within a form of life. Under each heading, I examine Wittgenstein's rejection of alternative views. My aim is to (...) make clear the differences and too suggest some similarities. As will become soon clear, Wittgenstein often rejects opposing views for the same or similar reasons. This comparison will provide the necessary background for better understanding Wittgenstein's philosophy of mathematics, for appreciating its many unappreciated advantages and, finally, for defending a conventionalist account of mathematics. (shrink)

Moving beyond both realist and anti-realist accounts of mathematics, Shapiro articulates a "structuralist" approach, arguing that the subject matter of a mathematical theory is not a fixed domain of numbers that exist independent of each other, but rather is the natural structure, the pattern common to any system of objects that has an initial object and successor relation satisfying the induction principle.

This book brings together papers of the conference on 'Space, Geometry and the Imagination from Antiquity to the Modern Age' held in Berlin, Germany, 27-29 August 2012. Focusing on the interconnections between the history of geometry and the philosophy of space in the pre-Modern and Early Modern Age, the essays in this volume are particularly directed toward elucidating the complex epistemological revolution that transformed the classical geometry of figures into the modern geometry of space. Contributors: Graciela De Pierris Franco Farinelli (...) Michael Friedman Daniel Garber Jeremy Gray Gary Hatfield Andrew Janiak Douglas Jesseph Alexander Jones Henry Mendell David Rabouin. (shrink)

The philosophy of mathematical practice sometimes investigates the social constitution of mathematics but does not always make explicit the philosophical-normative framework that guides the discussion. This chapter investigates some recent proposals in the philosophy of mathematical practice that compare social facts and mathematical objects, discussing similarities and differences. An attempt will be made to identify, through a comparison with three different perspectives in social ontology, the kind of objectivity attributed to mathematical knowledge, the type of representational or non-representational (...) semantics adopted, and the justificatory or coordinative role entrusted to axiomatics. After a brief introduction to key issues in social ontology, Sect. 3 of the chapter offers a survey of contributions by Feferman, Ferreirós, and Cole, highlighting a difference between approaches based on rules, practices, and intentional states, respectively. Section 4.1 also discusses results by Carter, Collin, Giardino, and Pantsar, focusing on differences between the objectivity of knowledge and objectivity of objects and showing that many authors combine a realist, structuralist, and pragmatist perspective, as well as the idea that objectivity comes in degrees. Section 4.2 focuses on the kind of semantics that is adopted in socially oriented approaches. A representational semantics is preferred by authors grounding their views on mental states, whereas a non-representational semantics best fits with views based on practices. Section 5 considers how axiomatics can be understood in a social perspective. Axiomatics generally plays a justificatory role also in theories that aim to explain the social constitution of mathematical knowledge. Yet, if one shifts from approaches based on mental states to approaches anchored on rules or habits, axiomatics can be viewed as an institution based on obligations, functions, coordination problems, and agent’s actions and roles, thus playing an organizational and coordination role. (shrink)

A traditional question in the philosophy of mathematics is to give an answer to the question: What is the nature of mathematical objects? This chapter considers the main answers that have been given to this question, specifically those according to which mathematical objects are independently existing entities, or abstractions, or logical objects, or simplifications, or mental constructions, or structures, or fictions, or idealizations of sensible things, or idealizations of operations. The chapter also shows the shortcomings of these answers, and (...) considers an alternative answer, according to which mathematical objects are hypotheses introduced to solve mathematical problems by the analytic method. (shrink)

Du Châtelet holds that mathematical representations play an explanatory role in natural science. Moreover, she writes that things proceed in nature as they do in geometry. How should we square these assertions with Du Châtelet’s idealism about mathematical objects, on which they are ‘fictions’ dependent on acts of abstraction? The question is especially pressing because some of her important interlocutors (Wolff, Maupertuis, and Voltaire) denied that mathematics informs us about the properties of material things. After situating Du Châtelet in (...) this debate, this chapter argues, first, that her account of the origins of mathematical objects is less subjectivist than it might seem. Mathematical objects are non-arbitrary, public entities. While mathematical objects are partly mind-dependent, so are material things. Mathematical objects can approximate the material. Second, it is argued that this moderate metaphysical position underlies Du Châtelet’s persistent claims that mathematics is required for certain kinds of general knowledge, including in natural science. The chapter concludes with an illustrative example: an analysis of Du Châtelet’s argument that matter is continuous. A key premise in the argument is that mathematical representations and material nature correspond. (shrink)

Numbers and other mathematical objects are exceptional in having no locations in space or time or relations of cause and effect. This makes it difficult to account for the possibility of the knowledge of such objects, leading many philosophers to embrace nominalism, the doctrine that there are no such objects, and to embark on ambitious projects for interpreting mathematics so as to preserve the subject while eliminating its objects. This book cuts through a host of technicalities that have obscured (...) previous discussions of these projects, and presents clear, concise accounts of a dozen strategies for nominalistic interpretation of mathematics, thus equipping the reader to evaluate each and to compare different ones. The authors also offer critical discussion, rare in the literature, of the aims and claims of nominalistic interpretation, suggesting that it is significant in a very different way from that usually assumed. (shrink)

Could the truths of mathematics have been different than they in fact are? If so, which truths could have been different? Do the contingent mathematical facts supervene on physical facts, or are they free floating? I investigate these questions within a framework of higher-order modal logic, drawing sometimes surprising connections between the necessity of arithmetic and analysis and other theses of modal metaphysics: the thesis that possibility in the broadest sense is governed by a logic of S5, that what (...) is possible holds in some maximally specific possibility, and that every property can be rigidified. The investigation will distinguish sharply between platonic contingency---contingency about whether particular abstract ``platonic'' mathematical objects are arranged in a certain way (e.g. in a natural number or real number structure)---from a deeper variety of structural contingency concerning what holds of objects whenever they *are* arranged in that way. (shrink)

This article is a brief formulation of a radical thesis. We start with the formalist doctrine that mathematical objects have no meanings; we have marks and rules governing how these marks can be combined. That's all. Then I go further by arguing that the signs of a formal system of mathematics should be considered as physical objects, and the formal operations as physical processes. The rules of the formal operations are or can be expressed in terms of the laws (...) of physics governing these processes. In accordance with the physicalist understanding of mind, this is true even if the operations in question are executed in the head. A truth obtained through (mathematical) reasoning is, therefore, an observed outcome of a neuro-physiological (or other physical) experiment. Consequently, deduction is nothing but a particular case of induction. (shrink)

It may be a myth that Plato wrote over the entrance to the Academy “Let no-one ignorant of geometry enter here.” But it is a well-chosen motto for his view in the Republic that mathematical training is especially productive of understanding in abstract realms, notably ethics. That view is sound and we should return to it. Ethical theory has been bedevilled by the idea that ethics is fundamentally about actions (right and wrong, rights, duties, virtues, dilemmas and so on). That (...) is an error like the one Plato mentions of thinking mathematics is about actions (of adding, constructing, extracting roots and so on). Mathematics is about eternal relations between universals, such as the ratio of the diagonal of a square to the side. Ethics too is about eternal verities, such as the equal worth of persons and just distributions. Mathematical and ethical verities do both constrain actions, such as the possibility of walking over the seven bridges of Königsberg once and once only or of justly discriminating between races. But they are not themselves about action. In principle, neither mathematical nor ethical verities are subject to historical forces or disagreement among tribes (though they can be better understood as time goes on). Plato is right: immersion in mathematics induces an understanding of the necessities underpinning reality, an understanding that is essential for distinguishing objective ethics from tribal custom. Equality, for example, is an abstract concept which is foundational for both mathematics and ethics. (shrink)

An Aristotelian Philosophy of Mathematics breaks the impasse between Platonist and nominalist views of mathematics. Neither a study of abstract objects nor a mere language or logic, mathematics is a science of real aspects of the world as much as biology is. For the first time, a philosophy of mathematics puts applied mathematics at the centre. Quantitative aspects of the world such as ratios of heights, and structural ones such as symmetry and continuity, are parts (...) of the physical world and are objects of mathematics. Though some mathematical structures such as infinities may be too big to be realized in fact, all of them are capable of being realized. Informed by the author's background in both philosophy and mathematics, but keeping to simple examples, the book shows how infant perception of patterns is extended by visualization and proof to the vast edifice of modern pure and applied mathematical knowledge. (shrink)

Architecture of Mathematics describes the logical structure of Mathematics from its foundations to its real-world applications. It describes the many interweaving relationships between different areas of mathematics and its practical applications, and as such provides unique reading for professional mathematicians and nonmathematicians alike. This book can be a very important resource both for the teaching of mathematics and as a means to outline the research links between different subjects within and beyond the subject. Features All notions (...) and properties are introduced logically and sequentially, to help the reader gradually build understanding. Focusses on illustrative examples that explain the meaning of mathematical objects and their properties. Suitable as a supplementary resource for teaching undergraduate mathematics, and as an aid to interdisciplinary research. Forming the reader's understanding of Mathematics as a unified science, the book helps to increase his general mathematical culture. (shrink)

I contend that mathematical domains are freestanding institutional entities that, at least typically, are introduced to serve representational functions. In this paper, I outline an account of institutional reality and a supporting metaontological perspective that clarify the content of this thesis. I also argue that a philosophy of mathematics that has this thesis as its central tenet can account for the objectivity, necessity, and atemporality of mathematics.

Our first goal here is to show how one can use a modal language to explicate potentiality and incomplete or indeterminate domains in mathematics, along the lines of previous work. We then show how potentiality bears on some longstanding items of concern to Mark Steiner: the applicability of mathematics, explanation, and de re propositional attitudes toward mathematical objects.

Suppose we are asked to draw up a list of things we take to exist. Certain items seem unproblematic choices, while others (such as God) are likely to spark controversy. The book sets the grand theological theme aside and asks a less dramatic question: should mathematical objects (numbers, sets, functions, etc.) be on this list? In philosophical jargon this is the ‘ontological’ question for mathematics; it asks whether we ought to include mathematicalia in our ontology. The goal of this (...) work is to answer this question in the affirmative, by drawing on considerations on the the applicability of mathematics to natural science. (shrink)

On the face of it, platonism seems very far removed from the scientific world view that dominates our age. Nevertheless many philosophers and mathematicians believe that modern mathematics requires some form of platonism. The defense of mathematical platonism that is both most direct and has been most influential in the analytic tradition in philosophy derives from the German logician-philosopher Gottlob Frege (1848-1925).2 I will therefore refer to it as Frege’s argument. This argument is part of the background of any (...) contemporary discussion of mathematical platonism. (shrink)

This essay explores theories of place, or lived-space, as regards the role of objectivity and the problem of relativism. As will be argued, the neglect of mathematics and geometry by the lived-space theorists, which can be traced to the influence of the early phenomenologists, principally the later Husserl and Heidegger, has been a major contributing factor in the relativist dilemma that afflicts the lived-space movement. By incorporating various geometrical concepts within the analysis of place, it is demonstrated that (...) the lived-space theorists can gain a better insight into the objective spatial relationships among individuals and within groups—and, more importantly, this appeal to mathematical content need not be construed as undermining the basic tenants of the lived-space approach. (shrink)

Wittgenstein's views on mathematics are radically original. He criticizes most of the traditional philosophies of mathematics. His views have been subject to harsh criticisms. In this dissertation, I attempt to defend Wittgenstein's philosophy of mathematics from two objections: the objectivity objection and the consistency objection. The first claims that Wittgenstein's account of mathematics is not sufficient for the objectivity of mathematics; the second claims that it is only a partial account of mathematics (...) because it cannot explain the semantic properties of mathematical systems. ;The first chapter outlines Wittgenstein's Philosophy of Mathematics by stressing the differences and similarities with more traditional accounts. The second chapter discusses the objectivity objection. I distinguish epistemic from non-epistemic objectivity and discuss their relation with the issue of realism and anti-realism. I conclude first that either notion of objectivity is insufficient for disparaging anti-realist accounts of mathematics and, second, that Wittgenstein's account is sufficient for both. The third chapter is a detailed discussion of the consistency objection. Some unsuccessful replies are discussed. In the fourth chapter, I reformulate the objection by means of a rather simple axiomatic system that I call theory T. This allows us to see more clearly why the replies considered before are not successful and, furthermore, which view Wittgenstein is actually required to hold in order to reject the objection. In the fifth chapter, I offer a brief outline of Wittgenstein's account of logic and, finally, show how it provides the required answer to the consistency objection. (shrink)