Epistemology of Mathematics

By asking questions and seeking information with an eye on the logical implications of the answers of one's questions, one can become a lifelong seeker. However, one cannot become so, if one does not pay enough attention to the boundaries of logical inquiry. It holds true in all types of information-seeking that some lines of thought may turn out to be pointless, unnecessary, or at most a waste of time. Some lines of thought, on the other hand, may turn out (...) to be to the point, perhaps time consuming but necessary, or even possibly time saver. That is not to suggest, of course, that varying degrees of time consumption determine the boundaries of logical inquiry. The boundaries in question are determined rather by conclusiveness conditions of finding, evaluating and putting information in use. In that sense the ultimate boundaries, if there are any, should be determined rather by model building for information in real-time. (shrink)

Hossack’s project in this book is to provide a new foundation for the philosophy of number inspired by the traditional idea that numbers are magnitudes.

Cantor’s abstractionist account of cardinal numbers has been criticized by Frege as a psychological theory of numbers which leads to contradiction. The aim of the paper is to meet these objections by proposing a reassessment of Cantor’s proposal based upon the set theoretic framework of Bourbaki—called BK—which is a First-order set theory extended with Hilbert’s \-operator. Moreover, it is argued that the BK system and the \-operator provide a faithful reconstruction of Cantor’s insights on cardinal numbers. I will introduce first (...) the axiomatic setting of BK and the definition of cardinal numbers by means of the \-operator. Then, after presenting Cantor’s abstractionist theory, I will point out two assumptions concerning the definition of cardinal numbers that are deeply rooted in Cantor’s work. I will claim that these assumptions are supported as well by the BK definition of cardinal numbers, which will be compared to those of Zermelo–von Neumann and Frege–Russell. On the basis of these similarities, I will make use of the BK framework in meeting Frege’s objections to Cantor’s proposal. A key ingredient in the defence of Cantorian abstraction will be played by the role of representative sets, which are arbitrarily denoted by the \-operator in the BK definition of cardinal numbers. (shrink)

This paper clarifies and discusses Imre Lakatos’ claim that mathematics is quasi-empirical in one of his less-discussed papers A Renaissance of Empiricism in the Recent Philosophy of Mathematics. I argue that Lakatos’ motivation for classifying mathematics as a quasi-empirical theory is epistemological; what can be called the quasi-empirical epistemology of mathematics is not correct; analysing where the quasi-empirical epistemology of mathematics goes wrong will bring to light reasons to endorse a pluralist view of mathematics.

This article presents a challenge that those philosophers who deny the causal interpretation of explanations provided by population genetics might have to address. Indeed, some philosophers, known as statisticalists, claim that the concept of natural selection is statistical in character and cannot be construed in causal terms. On the contrary, other philosophers, known as causalists, argue against the statistical view and support the causal interpretation of natural selection. The problem I am concerned with here arises for the statisticalists because the (...) debate on the nature of natural selection intersects the debate on whether mathematical explanations of empirical facts are genuine scientific explanations. I argue that if the explanations provided by population genetics are regarded by the statisticalists as non-causal explanations of that kind, then statisticalism risks being incompatible with a naturalist stance. The statisticalist faces a dilemma: either she maintains statisticalism but has to renounce naturalism; or she maintains naturalism but has to content herself with an account of the explanations provided by population genetics that she deems unsatisfactory. This challenge is relevant to the statisticalists because many of them see themselves as naturalists. (shrink)

A famous passage in Section 64 of Frege’s Grundlagen may be seen as a justification for the truth of abstraction principles. The justification is grounded in the procedureofcontent recarvingwhich Frege describes in the passage. In this paper I argue that Frege’sprocedure of content recarving while possibly correct in the case of first-order equivalencerelations is insufficient to grant the truth of second-order abstractions. Moreover, I propose apossible way of justifying second-order abstractions by referring to the operation of contentrecarving and I show (...) that the proposal relies to a certain extent on the Basic Law V. Therefore,if we are to justify the truth of second-order abstractions by invoking the content recarvingprocedure we are committed to a special status of some instances of the Basic Law V and thusto a special status of extensions of concepts as abstract objects. (shrink)

Field’s challenge to platonists is the challenge to explain the reliable match between mathematical truth and belief. The challenge grounds an objection claiming that platonists cannot provide such an explanation. This objection is often taken to be both neutral with respect to controversial epistemological assumptions, and a comparatively forceful objection against platonists. I argue that these two characteristics are in tension: no construal of the objection in the current literature realises both, and there are strong reasons to think that no (...) version of Field’s epistemological objection which has both Neutrality and Force can be construed. (shrink)

In this paper I discuss Mark Steiner's view of the contribution of mathematics to physics and take up some of the questions it raises. In particular, I take up the question of discovery and explore two aspects of this question ‒ a metaphysical aspect and a related epistemic aspect. The metaphysical aspect concerns the formal structure of the physical world. Does the physical world have mathematical or formal features or constituents, and what is the nature of these constituents? The related (...) epistemic question concerns humans' cognitive ability to reach the formal structure of the physical world. Among other things, I explore the interaction of mathematical and non-mathematical cognition in physical discovery. (shrink)

How does Quine fare in the first decades of the twenty-first century? In this paper I examine a cluster of Quinean theses that, I believe, are especially fruitful in meeting some of the current challenges of epistemology and ontology. These theses offer an alternative to the traditional bifurcations of truth and knowledge into factual and conceptual-pragmatic-conventional, the traditional conception of a foundation for knowledge, and traditional realism. To make the most of Quine’s ideas, however, we have to take an active (...) stance: accept some of his ideas and reject others, sort different versions of the relevant ideas, sharpen or revise some of the ideas, connect them with new, non-Quinean ideas, and so on. As a result the paper pits Quine against Quine, in an attempt to identify those Quinean ideas that have a lasting value and sketch potential developments. (shrink)

This paper clarifies and discusses Imre Lakatos’ claim that mathematics is quasi-empirical in one of his less-discussed papers A Renaissance of Empiricism in the Recent Philosophy of Mathematics. I argue that (1) Lakatos’ motivation for classifying mathematics as a quasi-empirical theory is epistemological; (2) what can be called the quasi-empirical epistemology of mathematics is not correct; (3) analysing where the quasi-empirical epistemology of mathematics goes wrong will bring to light reasons to endorse a pluralist view of mathematics.

This book brings together philosophers, mathematicians and logicians to penetrate important problems in the philosophy and foundations of mathematics. In philosophy, one has been concerned with the opposition between constructivism and classical mathematics and the different ontological and epistemological views that are reflected in this opposition. The dominant foundational framework for current mathematics is classical logic and set theory with the axiom of choice. This framework is, however, laden with philosophical difficulties. One important alternative foundational programme that is actively pursued (...) today is predicativistic constructivism based on Martin-Löf type theory. Associated philosophical foundations are meaning theories in the tradition of Wittgenstein, Dummett, Prawitz and Martin-Löf. What is the relation between proof-theoretical semantics in the tradition of Gentzen, Prawitz, and Martin-Löf and Wittgensteinian or other accounts of meaning-as-use? What can proof-theoretical analyses tell us about the scope and limits of constructive and predicative mathematics? (shrink)

I begin by outlining Du Châtelet’s ontology of mathematical objects: she is an idealist, and mathematical objects are fictions dependent on acts of abstraction. Next, I consider how this idealism can be reconciled with her endorsement of necessary truths in mathematics, which are grounded in essences that we do not create. Finally, I discuss how mathematics and physics relate within Du Châtelet’s idealism. Because the primary objects of physics are partly grounded in the same kinds of acts as yield mathematical (...) objects, she thinks we are sometimes licensed in drawing conclusions about physical things from mathematical premises. (shrink)

This paper presents a Peircean take on Wittgenstein's famous rule-following problem as it pertains to 'knowing how to go on in mathematics'. I argue that McDowell's advice that the philosophical picture of 'rules as rails' must be abandoned is not sufficient on its own to fully appreciate mathematics' unique blend of creativity and rigor. Rather, we need to understand how Peirce counterposes to the brute compulsion of 'Secondness', both the spontaneity of 'Firstness' and also the rational intelligibility of 'Thirdness'. This (...) is a written version of a presentation I gave at the “Peirce’s Mathematics” conference, Universidad Nacional de Colombia, November 25-27, 2015, which was organized by Professor Fernando Zalamea. The piece owes much to the inspiration of Prof. Zalamea's writings on philosophy of mathematics. (shrink)

Gottlob Frege abandoned his logicist program after Bertrand Russell had discovered that some assumptions of Frege’s system lead to contradiction (so called Russell’s paradox). Nevertheless, he proposed a new attempt for the foundations of mathematics in two last years of his life. According to this new program, the whole of mathematics is based on the geometrical source of knowledge. By the geometrical source of cognition Frege meant intuition which is the source of an infinite number of objects in arithmetic. In (...) this article, I describe this final attempt of Frege to provide the foundations of mathematics. Furthermore, I compare Frege’s views of intuition from The Foundations of Arithmetic (and his later views) with the Kantian conception of pure intuition as the source of geometrical axioms. In the conclusion of the essay, I examine some implications for the debate between Hans Sluga and Michael Dummett concerning the realistic and idealistic interpretations of Frege’s philosophy. (shrink)

In recent years philosophers have used results from cognitive science to formulate epistemologies of arithmetic :5–18, 2001). Such epistemologies have, however, been criticised, e.g. by Azzouni, for interpreting the capacities found by cognitive science in an overly numerical way. I offer an alternative framework for the way these psychological processes can be combined, forming the basis for an epistemology for arithmetic. The resulting framework avoids assigning numerical content to the Approximate Number System and Object Tracking System, two systems that have (...) so far been the basis of epistemologies of arithmetic informed by cognitive science. The resulting account is, however, only a framework for an epistemology: in the final part of the paper I argue that it is compatible with both platonist and nominalist views of numbers by fitting it into an epistemology for ante rem structuralism and one for fictionalism. Unsurprisingly, cognitive science does not settle the debate between these positions in the philosophy of mathematics, but I it can be used to refine existing epistemologies and restrict our focus to the capacities that cognitive science has found to underly our mathematical knowledge. (shrink)

The distinction between propositional and doxastic justification is well-known among epistemologists. Propositional justification is often conceived as fundamental and characterized in an entirely apsychological way. In this chapter, I focus on beliefs based on deductive arguments. I argue that such an apsychological notion of propositional justification can hardly be reconciled with the idea that justification is a central component of knowledge. In order to propose an alternative notion, I start with the analysis of doxastic justification. I then offer a notion (...) of propositional justification, intersubjective propositional justification, that is neither entirely apsychological nor idiosyncratic. To do so, I argue that to be able to attribute propositional justification to a subject, we have to consider her social context as well as broad features of our human cognitive architecture. (shrink)

Departing from and closing with reflections on issues regarding teaching practices of philosophy of mathematics, I propose a comparison between the main features of the Leibnizian notion of symbolic knowledge and some passages from the Tractatus on arithmetic. I argue that this reading allows (i) to shed a new light on the specificities of the Tractarian definition of number, compared to those of Frege and Russell; (ii) to highlight the understanding of the nature of mathematical knowledge as symbolic or formal (...) knowledge that Wittgenstein mobilizes in his book; (iii) to offer reasons for the claim that Wittgenstein can be considered the philosopher of mathematical practice avant la lettre. The paper ends with an overview, a return to the initial reflection on the connections between research and teaching, and a defense of the reading key used here in terms of its potential for the research in philosophy of mathematics. (shrink)

Since the beginning of the twentieth century, prominent authors including Jean Piaget have drawn attention to Edmond Goblot’s account of mathematical thought experiments. But his contribution to today’s debate has been neglected so far. The main goal of this article is to reconstruct and discuss Goblot’s account of logical operations (the term he used for thought experiments in mathematics) and its interpretation by Piaget against the theoretical background of two open questions in today’s debate: (1) the relationship between empirical and (...) mathematical thought experiments and (2) the question of whether mathematical thought experiments can play a justificatory function in proofs. The main corollary of this analysis is that Piaget’s interpretation is seriously flawed and insufficiently appreciative of important theses of Goblot’s account. First, Goblot can be easily defended against Piaget’s main criticism, and second, Goblot developed ideas about mathematical thought experiments that still deserve attention. (shrink)

In this paper we apply social epistemology to mathematical proofs and their role in mathematical knowledge. The most famous modern collaborative mathematical proof effort is the Classification of Finite Simple Groups. The history and sociology of this proof have been well-documented by Alma Steingart (2012), who highlights a number of surprising and unusual features of this collaborative endeavour that set it apart from smaller-scale pieces of mathematics. These features raise a number of interesting philosophical issues, but have received very little (...) attention. In this paper, we will consider the philosophical tensions that Steingart uncovers, and use them to argue that the best account of the epistemic status of the Classification Theorem will be essentially and ineliminably social. This forms part of the broader argument that in order to understand mathematical proofs, we must appreciate their social aspects. (shrink)

Penelope Maddy’s Second Philosophy is one of the most well-known ap- proaches in recent philosophy of mathematics. She applies her second-philosophical method to analyze mathematical methodology by reconstructing historical cases in a setting of means-ends relations. However, outside of Maddy’s own work, this kind of methodological analysis has not yet been extensively used and analyzed. In the present work, we will make a first step in this direction. We develop a general framework that allows us to clarify the procedure and (...) aims of the Second Philosopher’s investigation into set-theoretic methodology; pro- vides a platform to analyze the Second Philosopher’s methods themselves; and can be applied to further questions in the philosophy of set theory. (shrink)

The power of representation and the representation of power, and, the exploding NFT market. Euclid's error and the mathematics behind representation, identification, and interpretation.

Using Hiromi’s ‘Voice’ to understand ‘physics.’ (The underlying relationship between mind and music.) (The relationship between mind and mathematics.) The relationship between the arithmetic numbers 'two' and 'three.' The relationship between light (an infinite line) and sound (an infinite circle) (where it is impossible to have one without the other).

Beck presents an outline of the procedure of bootstrapping of integer concepts, with the purpose of explicating the account of Carey. According to that theory, integer concepts are acquired through a process of inductive and analogous reasoning based on the object tracking system, which allows individuating objects in a parallel fashion. Discussing the bootstrapping theory, Beck dismisses what he calls the "deviant-interpretation challenge"—the possibility that the bootstrapped integer sequence does not follow a linear progression after some point—as being general to (...) any account of inductive learning. While the account of Carey and Beck focuses on the OTS, in this paper I want to reconsider the importance of another empirically well-established cognitive core system for treating numerosities, namely the approximate number system. Since the ANS-based account offers a potential alternative for integer concept acquisition, I show that it provides a good reason to revisit the deviant-interpretation challenge. Finally, I will present a hybrid OTS-ANS model as the foundation of integer concept acquisition and the framework of enculturation as a solution to the challenge. (shrink)

Universal Circularity answers the most important question on every person’s mind: what is the core dynamic in Nature? It’s a short, easily digestible read that anyone can understand, targeted to the intellectually curious of any age, background, and-or cultural group. Why will people read it? It untangles, finally, the relationship between religion and science (biology and technology) (philosophy and physics) at the perfect time in a digital age, when we all need a shortcut to work through the cognitive dissonance called (...) ‘reality.’ The book is targeted to millenials, their parents, and grandparents, in some cases, great-grandparents, a US market of 200 million people, an international market of two billion people, that is, everyone on Facebook. These age groups connect everyone to everyone, which is, realistically, and pragmatically, the theoretical basis (validation, and motivation) for the book. Demonstrating, and proving, no matter what you're trying to understand, no matter what you're trying to explain, no matter what you're trying to accomplish, an uber-simple circle controls 'reality.'. (shrink)

Since the beginning of the twentieth century, prominent authors including Jean Piaget have drawn attention to Edmond Goblot’s account of mathematical thought experiments. But his contribution to today’s debate has been neglected so far. The main goal of this article is to reconstruct and discuss Goblot’s account of logical operations (the term he used for thought experiments in mathematics) and its interpretation by Piaget against the theoretical background of two open questions in today’s debate: (1) the relationship between empirical and (...) mathematical thought experiments and (2) the question of whether mathematical thought experiments can play a justificatory function in proofs. The main corollary of this analysis is that Piaget’s interpretation is seriously flawed and insufficiently appreciative of important theses of Goblot’s account. First, Goblot can be easily defended against Piaget’s main criticism, and second, Goblot developed ideas about mathematical thought experiments that still deserve attention. (shrink)

This paper aims to provide a mathematically tractable background against which to model both modal cognitivism and modal expressivism. I argue that epistemic modal algebras, endowed with a hyperintensional, topic-sensitive epistemic two-dimensional truthmaker semantics, comprise a materially adequate fragment of the language of thought. I demonstrate, then, how modal expressivism can be regimented by modal coalgebraic automata, to which the above epistemic modal algebras are categorically dual. I examine five methods for modeling the dynamics of conceptual engineering for intensions and (...) hyperintensions. I develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. I examine then the virtues unique to the modal expressivist approach here proffered in the setting of the foundations of mathematics, by contrast to competing approaches based upon both the inferentialist approach to concept-individuation and the codification of speech acts via intensional semantics. (shrink)

In the new millennium there have been important empirical developments in the philosophy of mathematics. One of these is the so-called “Empirical Philosophy of Mathematics” of Buldt, Löwe, Müller and Müller-Hill, which aims to complement the methodology of the philosophy of mathematics with empirical work. Among other things, this includes surveys of mathematicians, which EPM believes to give philosophically important results. In this paper I take a critical look at the sociological part of EPM as a case study of sociological (...) approaches to the philosophy of mathematics, focusing on the most concrete development of EPM so far: a questionnaire-based study by Müller-Hill. I argue that the study has many problems and that the EPM conclusion that mathematical knowledge is context-dependent is unwarranted by the evidence. In addition, I consider the general justification and criteria for introducing sociological methods in the philosophy of mathematics. While surveys can give us important data about the philosophical views of mathematicians, there is no reason to believe that mathematicians have a privileged access to philosophical questions concerning mathematics. In order to be philosophically relevant in the way EPM claims, the philosophical views of mathematicians cannot be assessed without considering the argumentation behind them. (shrink)

This paper puts forward a new account of rigorous mathematical proof and its epistemology. One novel feature is a focus on how the skill of reading and writing valid proofs is learnt, as a way of understanding what validity itself amounts to. The account is used to address two current questions in the literature: that of how mathematicians are so good at resolving disputes about validity, and that of whether rigorous proofs are necessarily formalizable.

The 'Science of Knowing: Mathematics' textbook is the first book to put forward and substantiate the thesis that the mathematical understanding of mathematics, as exemplified in F. William Lawvere's Functorial Semantics, constitutes the science of knowing i.e. cognitive science.

Set-theoretic pluralism is an increasingly influential position in the philosophy of set theory (Balaguer [1998], Linksy and Zalta [1995], Hamkins [2012]). There is considerable room for debate about how best to formulate set-theoretic pluralism, and even about whether the view is coherent. But there is widespread agreement as to what there is to recommend the view (given that it can be formulated coherently). Unlike set-theoretic universalism, set-theoretic pluralism affords an answer to Benacerraf’s epistemological challenge. The purpose of this paper is (...) to determine what Benacerraf’s challenge could be such that this view is warranted. I argue that it could not be any of the challenges with which it has been traditionally identified by its advocates, like of Benacerraf and Field. Not only are none of the challenges easier for the pluralist to meet. None satisfies a key constraint that has been placed on Benacerraf’s challenge. However, I argue that Benacerraf’s challenge could be the challenge to show that our set-theoretic beliefs are safe – i.e., to show that we could not have easily had false ones. Whether the pluralist is, in fact, better positioned to show that our set-theoretic beliefs are safe turns on a broadly empirical conjecture which is outstanding. If this conjecture proves to be false, then it is unclear what the epistemological argument for set-theoretic pluralism is supposed to be. (shrink)

Aceasta nu este o carte de matematică, ci una despre matematică, care se adresează elevului sau studentului, dar şi dascălului său, cu un scop cât se poate de practic, anume acela de a iniţia şi netezi calea către înţelegerea completă a matematicii predate în şcoală. Tradiţia predării matematicii într-o abordare preponderent procedural-formală a avut ca efect o viziune deformată a elevilor asupra matematicii, ca fiind ceva strict formal, instrumental şi calculatoriu. Pierzând contactul cu baza conceptuală a matematicii, elevii dezvoltă pe (...) parcurs o "anxietate matematică" şi renunţă la a mai căuta înţelegerea matematicii, care devine "duşmanul tradiţional" din şcoală. Această lucrare şi-a propus materializarea rezultatelor cercetărilor inter- şi trans-disciplinare având ca obiect înţelegerea matematicii, care au concluzionat că domeniile care au potenţialul de a contribui în acest fel la educaţia matematicii, unificând abordările procedurală şi conceptuală, sunt epistemologia şi filosofia matematicii şi ştiinţei, precum şi fundamentele şi istoria matematicii. Aceste rezultate susţin teza că teama de matematică poate fi înlăturată prin abordarea conceptuală, iar un elev cu o bună înţelegere conceptuală va fi un rezolvitor de probleme mai bun. Autorul a identificat acele zone şi concepte aparţinând acestor discipline, care pot fi adaptate şi prelucrate în vederea familiarizării elevului sau studentului cu acest tip de cunoştinţe, care să însoţească conţinutul tradiţional al matematicii şcolare. Lucrarea a fost astfel organizată încât să contureze cititorului o imagine unificatoare asupra complexităţii naturii matematicii, precum şi o perspectivă conceptuală necesară, în final, înţelegerii de tip holistic a matematicii şcolare. Autorul vorbeşte despre matematică, pentru a convinge că a înţelege matematica înseamnă mai întâi să o înţelegem ca întreg, dar şi ca parte a unui întreg. Natura matematicii, conceptele sale primare (cum ar fi numerele şi mulţimile), structurile, limbajul, metodele, rolurile şi aplicabilitatea matematicii, sunt prezentate în conţinutul lor esenţial, iar explicarea conceptelor non-matematice este făcută într-un limbaj accesibil, însoţită de multe exemple relevante. Cartea este o unitate didactică concepută să reprezinte punctul de plecare şi un ghid de orientare către dobândirea înţelegerii de tip holistic a matematicii (pentru elev sau student) şi (pentru dascăl) către o predare de tip epistemic-conceptual, în care înţelegerea conceptuală este la fel de importantă ca antrenarea abilităţilor procedural-aplicative. (shrink)

Taking mathematics as a language based on empirical experience, I argue for an account of mathematics in which its objects are abstracta that describe and communicate the structure of reality based on some of our ancestral interactions with their environment. I argue that mathematics as a language is mostly invented. Nonetheless, in being a general description of reality it cannot be said that it is fictional; and as an intersubjective reality, mathematical objects can exist independent of any one person’s mind.

The concept of ‘ideas’ plays central role in philosophy. The genesis of the idea of continuity and its essential role in intellectual history have been analyzed in this research. The main question of this research is how the idea of continuity came to the human cognitive system. In this context, we analyzed the epistemological function of this idea. In intellectual history, the idea of continuity was first introduced by Leibniz. After him, this idea, as a paradigm, formed the base of (...) several fundamental scientific conceptions. This idea also allowed mathematicians to justify the nature of real numbers, which was one of central questions and intellectual discussions in the history of mathematics. For this reason, we analyzed how Dedekind’s continuity idea was used to this justification. As a result, it can be said that several fundamental conceptions in intellectual history, philosophy and mathematics cannot arise without existence of the idea of continuity. However, this idea is neither a purely philosophical nor a mathematical idea. This is an interdisciplinary concept. For this reason, we call and classify it as mathematical and philosophical invariance. (shrink)

Francesca Biagioli’s Space, Number, and Geometry from Helmholtz to Cassirer is a substantial and pathbreaking contribution to the energetic and growing field of researchers delving into the physics, physiology, psychology, and mathematics of the nineteenth and twentieth centuries. The book provides a bracing and painstakingly researched re-appreciation of the work of Hermann von Helmholtz and Ernst Cassirer, and of their place in the tradition, and is worth study for that alone. The contributions of the book go far beyond that, however. (...) It is a clear, accurate, and deep account of fascinating and philosophically momentous implications of the move to relativity theory. (shrink)

Penelope Maddy has recently addressed the set-theoretic multiverse, and expressed reservations on its status and merits ([Maddy, 2017]). The purpose of the paper is to examine her concerns, by using the interpretative framework of set-theoretic naturalism. I first distinguish three main forms of 'multiversism', and then I proceed to analyse Maddy's concerns. Among other things, I take into account salient aspects of multiverse-related mathematics , in particular, research programmes in set theory for which the use of the multiverse seems to (...) be crucial, and show how one may provide responses to Maddy's concerns based on a careful analysis of 'multiverse practice'. (shrink)

In this paper, we argue that, contrary to the view held by most philosophers of mathematics, Bourbaki’s technical conception of mathematical structuralism is relevant to philosophy of mathematics. In fact, we believe that Bourbaki has captured the core of any mathematical structuralism.

This paper concerns an epistemological objection against mathematical platonism, due to Hartry Field.The argument poses an explanatory challenge – the challenge to explain the reliability of our mathematical beliefs – which the platonist, it’s argued, cannot meet. Is the objection compelling? Philosophers disagree, but they also disagree on (and are sometimes very unclear about) how the objection should be understood. Here I distinguish some options, and highlight some gaps that need to be filled in on the potentially most compelling version (...) of the argument. (shrink)

This edited work presents contemporary mathematical practice in the foundational mathematical theories, in particular set theory and the univalent foundations. It shares the work of significant scholars across the disciplines of mathematics, philosophy and computer science. Readers will discover systematic thought on criteria for a suitable foundation in mathematics and philosophical reflections around the mathematical perspectives. The first two sections focus on the two most prominent candidate theories for a foundation of mathematics. Readers may trace current research in set theory, (...) which has widely been assumed to serve as a framework for foundational issues, as well as new material elaborating on the univalent foundations, considering an approach based on homotopy type theory (HoTT). The further sections then build on this and are centred on philosophical questions connected to the foundations of mathematics. Here, the authors contribute to discussions on foundational criteria with more general thoughts on the foundations of mathematics which are not connected to particular theories. This book shares the work of some of the most important scholars in the fields of set theory (S. Friedman), non-classical logic (G. Priest) and the philosophy of mathematics (P. Maddy). The reader will become aware of the advantages of each theory and objections to it as a foundation, following the latest and best work across the disciplines and it is therefore a valuable read for anyone working on the foundations of mathematics or in the philosophy of mathematics. (shrink)

In a fragment entitled Elementa Nova Matheseos Universalis Leibniz writes “the mathesis [...] shall deliver the method through which things that are conceivable can be exactly determined”; in another fragment he takes the mathesis to be “the science of all things that are conceivable.” Leibniz considers all mathematical disciplines as branches of the mathesis and conceives the mathesis as a general science of forms applicable not only to magnitudes but to every object that exists in our imagination, i.e. that is (...) possible at least in principle. As a general science of forms the mathesis investigates possible relations between “arbitrary objects”. It is an abstract theory of combinations and relations among objects whatsoever. In 1810 the mathematician and philosopher Bernard Bolzano published a booklet entitled Contributions to a Better-Grounded Presentation of Mathematics. There is, according to him, a certain objective connection among the truths that are germane to a certain homogeneous field of objects: some truths are the “reasons” of others, and the latter are “consequences” of the former. The reason-consequence relation seems to be the counterpart of causality at the level of a relation between true propositions. Arigorous proof is characterized in this context as a proof that shows the reason of the proposition that is to be proven. Requirements imposed on rigorous proofs seem to anticipate normalization results in current proof theory. The contributors of Mathesis Universalis, Computability and Proof, leading experts in the fields of computer science, mathematics, logic and philosophy, show the evolution of these and related ideas exploring topics in proof theory, computability theory, intuitionistic logic, constructivism and reverse mathematics, delving deeply into a contextual examination of the relationship between mathematical rigor and demands for simplification. (shrink)

Foundational projects disagree on whether pure and applied mathematics should be explained together. Proponents of unified accounts like neologicists defend Frege’s Constraint (FC), a principle demanding that an explanation of applicability be provided by mathematical definitions. I reconsider the philosophical import of FC, arguing that usual conceptions are biased by ontological assumptions. I explore more reasonable weaker variants — Moderate and Modest FC — arguing against common opinion that ante rem structuralism (and other) views can meet them. I dispel doubts (...) that such constraints are ‘toothless’, showing they both assuage Frege’s original concerns and accommodate neo-logicist intents by dismissing ‘arrogant’ definitions. (shrink)

Naturalizing Logico-Mathematical Knowledge: Approaches from Philosophy, Psychology and Cognitive Science. Edited by Bangu Sorin.

How should one conceive of the method of mathematics, if one takes a naturalist stance? Mathematical knowledge is regarded as the paradigm of certain knowledge, since mathematics is based on the axiomatic method. Natural science is deeply mathematized, and science is crucial for any naturalist perspective. But mathematics seems to provide a counterexample both to methodological and ontological naturalism. To face this problem, some naturalists try to naturalize mathematics relying on Darwinism. But several difficulties arise when one tries to naturalize (...) in this way the traditional view of mathematics, according to which mathematical knowledge is certain and the method of mathematics is the axiomatic method. This paper suggests that, in order to naturalize mathematics through Darwinism, it is better to take the method of mathematics not to be the axiomatic method. (shrink)

The article addresses the necessity of increasing the role of mathematics in the psychological intervention in problem gambling, including cognitive therapies. It also calls for interdisciplinary research with the direct contribution of mathematics. The current contributions and limitations of the role of mathematics are analysed with an eye toward the professional profiles of the researchers. An enhanced collaboration between these two disciplines is suggested and predicted.

Contemporary philosophical accounts of the applicability of mathematics in physical sciences and the empirical world are based on formalized relations between the mathematical structures and the physical systems they are supposed to represent within the models. Such relations were constructed both to ensure an adequate representation and to allow a justification of the validity of the mathematical models as means of scientific inference. This article puts in evidence the various circularities (logical, epistemic, and of definition) that are present in these (...) formal constructions and discusses them as an argument for the alternative semantic and propositional-structure accounts of the applicability of mathematics. (shrink)