Contents
372 found
Order:
1 — 50 / 372
Material to categorize
  1. A Conventionalist Account of Distinctively Mathematical Explanation.Mark Povich - forthcoming - Philosophical Problems in Science.
    Distinctively mathematical explanations (DMEs) explain natural phenomena primarily by appeal to mathematical facts. One important question is whether there can be an ontic account of DME. An ontic account of DME would treat the explananda and explanantia of DMEs as ontic structures and the explanatory relation between them as an ontic relation (e.g., Pincock 2015, Povich 2021). Here I present a conventionalist account of DME, defend it against objections, and argue that it should be considered ontic. Notably, if indeed it (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  2. Rules to Infinity: The Normative Role of Mathematics in Scientific Explanation.Mark Povich - forthcoming - Oxford University Press.
    [EDIT: This book will be published open access. Check back around April 2024 to access the entire book.] One central aim of science is to provide explanations of natural phenomena. What role(s) does mathematics play in achieving this aim? How does mathematics contribute to the explanatory power of science? Rules to Infinity defends the thesis, common though perhaps inchoate among many members of the Vienna Circle, that mathematics contributes to the explanatory power of science by expressing conceptual rules, rules which (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  3. On the continuum fallacy: is temperature a continuous function?Aditya Jha, Douglas Campbell, Clemency Montelle & Phillip L. Wilson - 2023 - Foundations of Physics 53 (69):1-29.
    It is often argued that the indispensability of continuum models comes from their empirical adequacy despite their decoupling from the microscopic details of the modelled physical system. There is thus a commonly held misconception that temperature varying across a region of space or time can always be accurately represented as a continuous function. We discuss three inter-related cases of temperature modelling — in phase transitions, thermal boundary resistance and slip flows — and show that the continuum view is fallacious on (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  4. Solutions to the Knower Paradox in the Light of Haack’s Criteria.Mirjam de Vos, Rineke Verbrugge & Barteld Kooi - 2023 - Journal of Philosophical Logic 52 (4):1101-1132.
    The knower paradox states that the statement ‘We know that this statement is false’ leads to inconsistency. This article presents a fresh look at this paradox and some well-known solutions from the literature. Paul Égré discusses three possible solutions that modal provability logic provides for the paradox by surveying and comparing three different provability interpretations of modality, originally described by Skyrms, Anderson, and Solovay. In this article, some background is explained to clarify Égré’s solutions, all three of which hinge on (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  5. On Radical Enactivist Accounts of Arithmetical Cognition.Markus Pantsar - 2022 - Ergo: An Open Access Journal of Philosophy 9.
    Hutto and Myin have proposed an account of radically enactive (or embodied) cognition (REC) as an explanation of cognitive phenomena, one that does not include mental representations or mental content in basic minds. Recently, Zahidi and Myin have presented an account of arithmetical cognition that is consistent with the REC view. In this paper, I first evaluate the feasibility of that account by focusing on the evolutionarily developed proto-arithmetical abilities and whether empirical data on them support the radical enactivist view. (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  6. Human Thought, Mathematics, and Physical Discovery.Gila Sher - 2023 - In Carl Posy & Yemima Ben-Menahem (eds.), Mathematical Knowledge, Objects and Applications: Essays in Memory of Mark Steiner. Berlin: Springer. pp. 301-325.
    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 (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  7. Group Knowledge and Mathematical Collaboration: A Philosophical Examination of the Classification of Finite Simple Groups.Joshua Habgood-Coote & Fenner Stanley Tanswell - 2023 - Episteme 20 (2):281-307.
    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   Download  
     
    Export citation  
     
    Bookmark   7 citations  
  8. A novel Holistic Risk Assessment Concept: The Epistemological Positioning and the Methodology.Carrodano Tarantino Cinzia - unknown
    Risk is an intrinsic part of our lives. In the future, the development and growth of the Internet of things allows getting a huge amount of data. Considering this evolution, our research focuses on developing a novel concept, namely Holistic Risk Assessment (HRA), that takes into consideration elements outside the direct influence of the individual to provide a highly personalized risk assessment. The HRA implies developing a methodology and a model. This paper is related to the epistemological positioning of this (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  9. Knowledge and the Philosophy of Number. [REVIEW]Richard Lawrence - 2022 - History and Philosophy of Logic 43 (4):404-406.
    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.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  10. Mathematical Explanations in Evolutionary Biology or Naturalism? A Challenge for the Statisticalist.Fabio Sterpetti - 2021 - Foundations of Science 27 (3):1073-1105.
    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 (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  11. Grundlagen §64: An Alternative Strategy to Account for Second-Order Abstraction.Vincenzo Ciccarelli - 2022 - Principia: An International Journal of Epistemology 26 (2):183-204.
    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 (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  12. Neutrality and Force in Field's Epistemological Objection to Platonism.Ylwa Sjölin Wirling - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy.
    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 (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  13. Quine vs. Quine: Abstract Knowledge and Ontology.Gila Sher - 2020 - In Frederique Janssen-Lauret (ed.), Quine, Structure, and Ontology. Oxford: Oxford. pp. 230-252.
    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 (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  14. Du Châtelet’s Philosophy of Mathematics.Aaron Wells - forthcoming - In Fatema Amijee (ed.), The Bloomsbury Handbook of 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   Download  
     
    Export citation  
     
    Bookmark  
  15. 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   Download  
     
    Export citation  
     
    Bookmark  
  16. "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   Download  
     
    Export citation  
     
    Bookmark  
  17. Intersubjective Propositional Justification.Silvia De Toffoli - 2022 - In Luis R. G. Oliveira & Paul Silva Jr (eds.), Propositional and Doxastic Justification. Routledge. pp. 241-262.
    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   Download  
     
    Export citation  
     
    Bookmark   3 citations  
  18. 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   Download  
     
    Export citation  
     
    Bookmark  
  19. A Categorical Characterization of Accessible Domains.Patrick Walsh - 2019 - Dissertation, Carnegie Mellon University
    Inductively defined structures are ubiquitous in mathematics; their specification is unambiguous and their properties are powerful. All fields of mathematical logic feature these structures prominently: the formula of a language, the set of theorems, the natural numbers, the primitive recursive functions, the constructive number classes and segments of the cumulative hierarchy of sets. -/- This dissertation gives a mathematical characterization of a species of inductively defined structures, called accessible domains, which include all of the above examples except the set of (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  20. 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   Download  
     
    Export citation  
     
    Bookmark  
  21. 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   Download  
     
    Export citation  
     
    Bookmark   9 citations  
  22. Modal Cognitivism and Modal Expressivism.Timothy Bowen - 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, 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 (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  23. 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   Download  
     
    Export citation  
     
    Bookmark   8 citations  
  24. Ce este matematica: Ghidul şcolar al înţelegerii conceptuale a matematicii.Cătălin Bărboianu - 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   Download  
     
    Export citation  
     
    Bookmark  
  25. How Can Mathematical Objects Be Real but Mind-Dependent?Hazhir Roshangar - 2022 - In Jakub Mácha & Herbert Hrachovec (eds.), PLATONISM: Contributions of the 43rd International Wittgenstein Symposium. Kirchberg am Wechsel: Austrian Ludwig Wittgenstein Society. pp. 159-161.
    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.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  26. The Idea of Continuity as Mathematical-Philosophical Invariant.Eldar Amirov - 2019 - Metafizika 2 (8):p. 87-100.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  27. Francesca Biagioli: Space, Number, and Geometry from Helmholtz to Cassirer: Springer, Dordrecht, 2016, 239 pp, $109.99 (Hardcover), 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   Download  
     
    Export citation  
     
    Bookmark  
  28. Mathematical cognition and enculturation: introduction to the Synthese special issue.Markus Pantsar - 2020 - Synthese 197 (9):3647-3655.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   8 citations  
  29. 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   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  30. 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   Download  
     
    Export citation  
     
    Bookmark  
  31. 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   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  32. 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   Download  
     
    Export citation  
     
    Bookmark  
  33. 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   Download  
     
    Export citation  
     
    Bookmark   8 citations  
  34. 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   Download  
     
    Export citation  
     
    Bookmark  
  35. 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   Download  
     
    Export citation  
     
    Bookmark  
  36. 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   Download  
     
    Export citation  
     
    Bookmark  
  37. Why inference to the best explanation doesn’t secure empirical grounds for mathematical platonism.Kenneth Boyce - 2018 - Synthese 198 (1):1-13.
    Proponents of the explanatory indispensability argument for mathematical platonism maintain that claims about mathematical entities play an essential explanatory role in some of our best scientific explanations. They infer that the existence of mathematical entities is supported by way of inference to the best explanation from empirical phenomena and therefore that there are the same sort of empirical grounds for believing in mathematical entities as there are for believing in concrete unobservables such as quarks. I object that this inference depends (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  38. 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   Download  
     
    Export citation  
     
    Bookmark  
  39. 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   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  40. 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   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  41. 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   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  42. Hyperintensional Ω-Logic.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 paper examines the philosophical significance of the consequence relation defined in the $\Omega$-logic for set-theoretic languages. I argue that, as with second-order logic, the hyperintensional profile of validity in $\Omega$-Logic enables the property to be epistemically tractable. Because of the duality between coalgebras and algebras, Boolean-valued models of set theory can be interpreted as coalgebras. In Section \textbf{2}, I demonstrate how the hyperintensional profile of $\Omega$-logical validity can be countenanced within a coalgebraic logic. Finally, in Section \textbf{3}, the philosophical (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  43. (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   Download  
     
    Export citation  
     
    Bookmark   10 citations  
  44. 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   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  45. Modality and Hyperintensionality in Mathematics.Timothy Bowen - manuscript
    This paper aims to contribute to the analysis of the nature of mathematical modality and hyperintensionality, and to the applications of the latter to absolute decidability. Rather than countenancing the interpretational type of mathematical modality as a primitive, I argue that the interpretational type of mathematical modality is a species of epistemic modality. I argue, then, that the framework of two-dimensional semantics ought to be applied to the mathematical setting. The framework permits of a formally precise account of the priority (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  46. Epistemic Modality and Hyperintensionality in Mathematics.Timothy Bowen - 2017 - Dissertation, Arché, University of St Andrews
    This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   3 citations  
  47. Les Principes des mathématiques et le problème des ensembles.Jules Richard - 1905 - Revue Générale des Sciences Pures Et Appliquées 12 (16):541-543.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   18 citations  
  48. The Applicability of Mathematics to Physical Modality.Nora Berenstain - 2017 - Synthese 194 (9):3361-3377.
    This paper argues that scientific realism commits us to a metaphysical determination relation between the mathematical entities that are indispensible to scientific explanation and the modal structure of the empirical phenomena those entities explain. The argument presupposes that scientific realism commits us to the indispensability argument. The viewpresented here is that the indispensability of mathematics commits us not only to the existence of mathematical structures and entities but to a metaphysical determination relation between those entities and the modal structure of (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   9 citations  
  49. In search of $$\aleph _{0}$$ ℵ 0 : how infinity can be created.Markus Pantsar - 2015 - Synthese 192 (8):2489-2511.
    In this paper I develop a philosophical account of actual mathematical infinity that does not demand ontologically or epistemologically problematic assumptions. The account is based on a simple metaphor in which we think of indefinitely continuing processes as defining objects. It is shown that such a metaphor is valid in terms of mathematical practice, as well as in line with empirical data on arithmetical cognition.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   16 citations  
  50. Logicism, Interpretability, and Knowledge of Arithmetic.Sean Walsh - 2014 - Review of Symbolic Logic 7 (1):84-119.
    A crucial part of the contemporary interest in logicism in the philosophy of mathematics resides in its idea that arithmetical knowledge may be based on logical knowledge. Here an implementation of this idea is considered that holds that knowledge of arithmetical principles may be based on two things: (i) knowledge of logical principles and (ii) knowledge that the arithmetical principles are representable in the logical principles. The notions of representation considered here are related to theory-based and structure-based notions of representation (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   8 citations  
1 — 50 / 372