Epistemology of Mathematics

Edited by Alan Baker (Swarthmore College)
Assistant editor: Sam Roberts (University of Sheffield)
Related categories

1235 found
Order:
1 — 50 / 1235
Material to categorize
  1. The Quasi-Empirical Epistemology of Mathematics.Ellen Shi - forthcoming - Kriterion - Journal of Philosophy.
    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.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  2. Epistemology Versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf.P. Dybjer, Sten Lindström, Erik Palmgren & G. Sundholm (eds.) - 2012 - Dordrecht, Netherland: Springer.
    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 (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3. Du Châtelet’s Philosophy of Mathematics.Aaron Wells - forthcoming - In The Bloomsbury Companion to Du Châtelet. Bloomsbury.
    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 (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  4. Grasping Mathematical Reality.Catherine Legg - 2015 - CUADERNOS DE SISTEMÁTICA PEIRCEANA 7.
    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 (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5. "Cała matematyka to właściwie geometria". Poglądy Gottloba Fregego na podstawy matematyki po upadku logicyzmu.Krystian Bogucki - 2019 - Hybris. Internetowy Magazyn Filozoficzny 44:1 - 20.
    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 (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  6. Building blocks for a cognitive science-led epistemology of arithmetic.Stefan Buijsman - 2021 - Philosophical Studies:1-18.
    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 (...)
    Remove from this list   Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  7. Intersubjective Propositional Justification.Silvia De Toffoli - forthcoming - In Luis R. G. Oliveira & Paul Silva Jr (eds.), Propositional and Doxastic Justification. Routledge.
    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 (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  8. Aritmética e conhecimento simbólico: notas sobre o Tractatus Logico-Philosophicus e o ensino de filosofia da matemática.Gisele Dalva Secco - 2020 - Perspectiva Filosófica 47 (2):120-149.
    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 (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  9. A Neglected Chapter in the History of Philosophy of Mathematical Thought Experiments: Insights From Jean Piaget’s Reception of Edmond Goblot.Marco Buzzoni - 2021 - Hopos: The Journal of the International Society for the History of Philosophy of Science 11 (1):282-304.
  10. Group Knowledge and Mathematical Collaboration: A Philosophical Examination of the Classification of Finite Simple Groups.Joshua Habgood-Coote & Fenner Stanley Tanswell - forthcoming - Episteme.
    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 (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  11. A General Framework for a Second Philosophy Analysis of Set-Theoretic Methodology.Carolin Antos & Deborah Kant - manuscript
    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 (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  12. Mathematical Selves and the Shaping of Mathematical Modernism: Conflicting Epistemic Ideals in the Emergence of Enumerative Geometry.Nicolas Michel - 2021 - Isis 112 (1):68-92.
  13. Foucault, Deleuze, and Nietzsche.Ilexa Yardley - 2021 - Https://Medium.Com/the-Circular-Theory/.
  14. Bootstrapping of Integer Concepts: The Stronger Deviant-Interpretation Challenge.Markus Pantsar - 2021 - Synthese 199 (3-4):5791-5814.
    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 (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  15. Universal Circularity.Ilexa Yardley - 2019 - Intelligent Design Center: Intelligent Design Center.
    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 (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  16. A Neglected Chapter in the History of Philosophy of Mathematical Thought Experiments: Edmond Goblot and His Interpretation by Jean Piaget.Marco Buzzoni - forthcoming - Hopos: The Journal of the International Society for the History of Philosophy of Science.
  17. Modal Cognitivism and Modal Expressivism.Hasen Khudairi - manuscript
    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 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 dual. I examine, in particular, the virtues unique to the modal expressivist approach here proffered in the setting of (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  18. Assessing the “Empirical Philosophy of Mathematics”.Markus Pantsar - 2015 - Discipline filosofiche. 25 (1):111-130.
    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 (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  19. Rigour and Proof.Oliver Tatton-Brown - forthcoming - Review of Symbolic Logic:1-29.
    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.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20. Science of Knowing: Mathematics.Venkata Rayudu Posina - manuscript
    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.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  21. Set-Theoretic Pluralism and the Benacerraf Problem.Justin Clarke-Doane - 2020 - Philosophical Studies 177 (7):2013-2030.
    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 (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  22. Ce este matematica: Ghidul şcolar al înţelegerii conceptuale a matematicii.Catalin Barboianu - 2020 - Targu Jiu: PhilScience Press.
    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 (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  23. Book Review of “Numbers and the Making of Us: Counting and the Course of Human Cultures” by Caleb Everett.Paula Quinon & Markus Pantsar - 2018 - Journal of Numerical Cognition 4 (2).
  24. The Idea of Continuity as Mathematical-Philosophical Invariant.Eldar Amirov - 2019 - “Metafizika” Journal 2 (8):p. 87-100.
    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 (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  25. Francesca Biagioli: Space, Number, and Geometry From Helmholtz to Cassirer: Springer, Dordrecht, 2016, 239 Pp, $109.99 , ISBN: 978-3-319-31777-9. [REVIEW]Lydia Patton - 2019 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 50 (2):311-315.
    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. (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  26. Mathematical Cognition and Enculturation: Introduction to the Synthese Special Issue.Markus Pantsar - 2020 - Synthese 197 (9):3647-3655.
  27. Maddy On The Multiverse.Claudio Ternullo - 2019 - In Deniz Sarikaya, Deborah Kant & Stefania Centrone (eds.), Reflections on the Foundations of Mathematics. Berlin: Springer Verlag. pp. 43-78.
    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 (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  28. Forms of Structuralism: Bourbaki and the Philosophers.Jean-Pierre Marquis - 2020 - Structures Meres, Semantics, Mathematics, and Cognitive Science.
    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.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  29. What is Field's Epistemological Objection to Platonism?Ylwa Sjölin Wirling - 2019 - In Robin Stenwall & Tobias Hansson Wahlberg (eds.), Maurinian Truths : Essays in Honour of Anna-Sofia Maurin on her 50th Birthday. pp. 123-133.
    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 (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30. Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts.Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.) - 2019 - Springer Verlag.
    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, (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31. Mathesis Universalis, Computability and Proof.Stefania Centrone, Sara Negri, Deniz Sarikaya & Peter M. Schuster (eds.) - 2019 - Cham, Switzerland: Springer Verlag.
    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 (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  32. On the Philosophical Significance of Frege’s Constraint.Andrea Sereni - 2019 - Philosophia Mathematica 27 (2):244–275.
    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 (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark   1 citation  
  33. Naturalizing Logico-Mathematical Knowledge: Approaches From Philosophy, Psychology and Cognitive Science.Markus Pantsar - 2019 - Philosophical Quarterly 69 (275):432-435.
    Naturalizing Logico-Mathematical Knowledge: Approaches from Philosophy, Psychology and Cognitive Science. Edited by Bangu Sorin.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34. Mathematical Knowledge and Naturalism.Fabio Sterpetti - 2019 - Philosophia 47 (1):225-247.
    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 (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  35. Mathematician's Call for Interdisciplinary Research Effort.Catalin Barboianu - 2013 - International Gambling Studies 13 (3):430-433.
    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.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  36. Circularities In The Contemporary Philosophical Accounts Of The Applicability Of Mathematics In The Physical Universe.Catalin Barboianu - 2015 - Revista de Filosofie 61 (5):517-542.
    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 (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  37. The "Unreasonable" Effectiveness of Mathematics: The Foundational Approach of the Theoretic Alternatives.Catalin Barboianu - 2015 - Revista de Filosofie 62 (1):58-71.
    The attempts of theoretically solving the famous puzzle-dictum of physicist Eugene Wigner regarding the “unreasonable” effectiveness of mathematics as a problem of analytical philosophy, started at the end of the 19th century, are yet far from coming out with an acceptable theoretical solution. The theories developed for explaining the empirical “miracle” of applied mathematics vary in nature, foundation and solution, from denying the existence of a genuine problem to structural theories with an advanced level of mathematical formalism. Despite this variation, (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  38. Filosofia Aplicabilitatii Matematicii: Intre Irational si Rational.Catalin Barboianu - 2018 - Târgu Jiu, Romania: Infarom.
    Lucrarea tratează unul dintre “misterele” filosofiei analitice şi ale raţionalităţii însăşi, anume aplicabilitatea matematicii în ştiinţe şi în investigarea matematică a realităţii înconjurătoare, a cărei filosofie este dezvoltată în jurul sintagmei – de acum paradigmatice – ‘eficacitatea iraţională a matematicii’, aparţinând fizicianului Eugene Wigner, problemă filosofică etichetată în literatură drept “puzzle-ul lui Wigner”. Odată intraţi în profunzimea acestei probleme, investigaţia nu trebuie limitată la căutarea unor răspunsuri explicative la întrebări precum “Ce este de fapt aplicabilitatea matematicii?”, “Cum explicăm prezenţa în (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  39. Learning the Natural Numbers as a Child.Stefan Buijsman - 2019 - Noûs 53 (1):3-22.
    How do we get out knowledge of the natural numbers? Various philosophical accounts exist, but there has been comparatively little attention to psychological data on how the learning process actually takes place. I work through the psychological literature on number acquisition with the aim of characterising the acquisition stages in formal terms. In doing so, I argue that we need a combination of current neologicist accounts and accounts such as that of Parsons. In particular, I argue that we learn the (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  40. Mathematical Models of Abstract Systems: Knowing Abstract Geometric Forms.Jean-Pierre Marquis - 2013 - Annales de la Faculté des Sciences de Toulouse 22 (5):969-1016.
    Scientists use models to know the world. It i susually assumed that mathematicians doing pure mathematics do not. Mathematicians doing pure mathematics prove theorems about mathematical entities like sets, numbers, geometric figures, spaces, etc., they compute various functions and solve equations. In this paper, I want to exhibit models build by mathematicians to study the fundamental components of spaces and, more generally, of mathematical forms. I focus on one area of mathematics where models occupy a central role, namely homotopy theory. (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41. The "Artificial Mathematician" Objection: Exploring the (Im)Possibility of Automating Mathematical Understanding.Sven Delarivière & Bart Van Kerkhove - 2017 - In B. Sriraman (ed.), Humanizing Mathematics and its Philosophy. Cham: Birkhäuser. pp. 173-198.
    Reuben Hersh confided to us that, about forty years ago, the late Paul Cohen predicted to him that at some unspecified point in the future, mathematicians would be replaced by computers. Rather than focus on computers replacing mathematicians, however, our aim is to consider the (im)possibility of human mathematicians being joined by “artificial mathematicians” in the proving practice—not just as a method of inquiry but as a fellow inquirer.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  42. Mathematical Abstraction, Conceptual Variation and Identity.Jean-Pierre Marquis - 2014 - In Peter Schroeder-Heister, Gerhard Heinzmann, Wilfred Hodges & Pierre Edouard Bour (eds.), Logic, Methodology and Philosophy of Science, Proceedings of the 14th International Congress. London, UK: pp. 299-322.
    One of the key features of modern mathematics is the adoption of the abstract method. Our goal in this paper is to propose an explication of that method that is rooted in the history of the subject.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  43. The Limits of Reconstructive Neologicist Epistemology.Eileen S. Nutting - 2018 - Philosophical Quarterly 68 (273):717-738.
    Wright claims that his and Hale’s abstractionist neologicist project is primarily epistemological in aim. Its epistemological aims include establishing the possibility of a priori mathematical knowledge, and establishing the possibility of reference to abstract mathematical objects. But, as Wright acknowledges, there is a question of how neologicist epistemology applies to actual, ordinary mathematical beliefs. I take up this question, focusing on arithmetic. Following a suggestion of Hale and Wright, I consider the possibility that the neologicist account provides an idealised reconstruction (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44. The Reality of Field’s Epistemological Challenge to Platonism.David Liggins - 2018 - Erkenntnis 83 (5):1027-1031.
    In the introduction to his Realism, mathematics and modality, and in earlier papers included in that collection, Hartry Field offered an epistemological challenge to platonism in the philosophy of mathematics. Justin Clarke-Doane Truth, objects, infinity: New perspectives on the philosophy of Paul Benacerraf, 2016) argues that Field’s challenge is an illusion: it does not pose a genuine problem for platonism. My aim is to show that Clarke-Doane’s argument relies on a misunderstanding of Field’s challenge.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  45. Mathematical Knowledge, the Analytic Method, and Naturalism.Fabio Sterpetti - 2018 - In Sorin Bangu (ed.), Naturalizing Logico-Mathematical Knowledge. Approaches from Philosophy, Psychology and Cognitive Science. New York, Stati Uniti: pp. 268-293.
    This chapter tries to answer the following question: How should we conceive of the method of mathematics, if we take a naturalist stance? The problem arises since mathematical knowledge is regarded as the paradigm of certain knowledge, because mathematics is based on the axiomatic method. Moreover, 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 authors tried to naturalize (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  46. Modal Ω-Logic: Automata, Neo-Logicism, and Set-Theoretic Realism.Hasen Khudairi - 2019 - In Matteo Vincenzo D'Alfonso & Don Berkich (eds.), On the Cognitive, Ethical, and Scientific Dimensions of Artificial Intelligence. Springer. pp. 65-82.
    This essay examines the philosophical significance of $\Omega$-logic in Zermelo-Fraenkel set theory with choice (ZFC). The duality between coalgebra and algebra permits Boolean-valued algebraic models of ZFC to be interpreted as coalgebras. The modal profile of $\Omega$-logical validity can then be countenanced within a coalgebraic logic, and $\Omega$-logical validity can be defined via deterministic automata. I argue that the philosophical significance of the foregoing is two-fold. First, because the epistemic and modal profiles of $\Omega$-logical validity correspond to those of second-order (...)
    Remove from this list   Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  47. (Probably) Not Companions in Guilt.Sharon Berry - 2018 - Philosophical Studies 175 (9):2285-2308.
    In this paper, I will attempt to develop and defend a common form of intuitive resistance to the companions in guilt argument. I will argue that one can reasonably believe there are promising solutions to the access problem for mathematical realism that don’t translate to moral realism. In particular, I will suggest that the structuralist project of accounting for mathematical knowledge in terms of some form of logical knowledge offers significant hope of success while no analogous approach offers such hope (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  48. Stairway to Heaven: The Abstract Method and Levels of Abstraction in Mathematics.Jean Pierre Marquis & Jean-Pierre Marquis - 2016 - The Mathematical Intelligencer 38 (3):41-51.
    In this paper, following the claims made by various mathematicians, I try to construct a theory of levels of abstraction. I first try to clarify the basic components of the abstract method as it developed in the first quarter of the 20th century. I then submit an explication of the notion of levels of abstraction. In the final section, I briefly explore some of main philosophical consequences of the theory.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  49. Emily Grosholz and Herbert Breger, Editors. The Growth of Mathematical Knowledge.Brendan P. Larvor - 2002 - Philosophia Mathematica 10 (1):93-96.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  50. The Methodological Roles of Tolerance and Conventionalism in the Philosophy of Mathematics: Reconsidering Carnap's Logic of Science.Emerson P. Doyle - 2014 - Dissertation, University of Western Ontario
    This dissertation makes two primary contributions. The first three chapters develop an interpretation of Carnap's Meta-Philosophical Program which places stress upon his methodological analysis of the sciences over and above the Principle of Tolerance. Most importantly, I suggest, is that Carnap sees philosophy as contiguous with science—as a part of the scientific enterprise—so utilizing the very same methods and subject to the same limitations. I argue that the methodological reforms he suggests for philosophy amount to philosophy as the explication of (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1235