Contents
156 found
Order:
1 — 50 / 156
  1. On the role played by the work of Ulisse Dini on implicit function theory in the modern differential geometry foundations: the case of the structure of a differentiable manifold, 1.Giuseppe Iurato - manuscript
    In this first paper we outline what possible historic-epistemological role might have played the work of Ulisse Dini on implicit function theory in formulating the structure of differentiable manifold, via the basic work of Hassler Whitney. A detailed historiographical recognition about this Dini's work has been done. Further methodological considerations are then made as regards history of mathematics.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2. Bishop's Mathematics: a Philosophical Perspective.Laura Crosilla - forthcoming - In Handbook of Bishop's Mathematics. CUP.
    Errett Bishop's work in constructive mathematics is overwhelmingly regarded as a turning point for mathematics based on intuitionistic logic. It brought new life to this form of mathematics and prompted the development of new areas of research that witness today's depth and breadth of constructive mathematics. Surprisingly, notwithstanding the extensive mathematical progress since the publication in 1967 of Errett Bishop's Foundations of Constructive Analysis, there has been no corresponding advances in the philosophy of constructive mathematics Bishop style. The aim of (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  3. Explaining Experience In Nature: The Foundations Of Logic And Apprehension.Steven Ericsson-Zenith - forthcoming - Institute for Advanced Science & Engineering.
    At its core this book is concerned with logic and computation with respect to the mathematical characterization of sentient biophysical structure and its behavior. -/- Three related theories are presented: The first of these provides an explanation of how sentient individuals come to be in the world. The second describes how these individuals operate. And the third proposes a method for reasoning about the behavior of individuals in groups. -/- These theories are based upon a new explanation of experience in (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  4. The Logic for Mathematics without Ex Falso Quodlibet.Neil Tennant - forthcoming - Philosophia Mathematica.
    Informally rigorous mathematical reasoning is relevant. So too should be the premises to the conclusions of formal proofs that regiment it. The rule Ex Falso Quodlibet induces spectacular irrelevance. We therefore drop it. The resulting systems of Core Logic C and Classical Core Logic C+ can formalize all the informally rigorous reasoning in constructive and classical mathematics respectively. We effect a revised match-up between deducibility in Classical Core Logic and a new notion of relevant logical consequence. It matches better the (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5. Are mathematical explanations causal explanations in disguise?A. Jha, Douglas Campbell, Clemency Montelle & Phillip L. Wilson - 2024 - Philosophy of Science (NA):1-19.
    There is a major debate as to whether there are non-causal mathematical explanations of physical facts that show how the facts under question arise from a degree of mathematical necessity considered stronger than that of contingent causal laws. We focus on Marc Lange’s account of distinctively mathematical explanations to argue that purported mathematical explanations are essentially causal explanations in disguise and are no different from ordinary applications of mathematics. This is because these explanations work not by appealing to what the (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  6. Model Pembelajaran Etnomatematika dalam Menumbuhkan Motivasi Belajar Siswa di Sekolah Dasar.Vega Bintang Rizky & Ammi Thoibah Nasution - 2024 - Educofa: Jurnal Pendidikan Matematika 1 (1):57-70.
    Etnomatematika merupakan konsep matematika yang terdapat didalam suatu budaya. kehadiran matematika yang bernuansa budaya akan memberikan kontribusi yang besar terhadap pembelajaran matematika. Penelitian ini bertujuan untuk menentukan bagaimana model pembelajaran etnomatematika dalam menumbuhkan motivasi belajar siswa di sekolah dasar. Jenis penelitian deskriptif kualitatif digunakan dalam penelitian ini. Metode penelitian yang meliputi kepada mengamati bersama menemukan jawaban atas masalah secara metode dan analisis. Penelitian ini dilakukan pada bulan Februari 2023 selama semester genap. Dengan cara mengumpulkan data meliputi wawancara kepada guru kelas (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  7. Mathematical experiments on paper and computer.Dirk Schlimm & Juan Fernández González - 2024 - In Bharath Sriraman (ed.), Handbook of the History and Philosophy of Mathematical Practice. Cham: Springer. pp. 2503-2522.
    We propose a characterization of mathematical experiments in terms of a setup, a process with an outcome, and an interpretation. Using a broad notion of process, this allows us to consider arithmetic calculations and geometric constructions as components of mathematical experiments. Moreover, we argue that mathematical experiments should be considered within a broader context of an experimental research project. Finally, we present a particular case study of the genesis of a geometric construction to illustrate the experimental use of hand drawings (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8. Signs as a Theme in the Philosophy of Mathematical Practice.David Waszek - 2024 - In Bharath Sriraman (ed.), Handbook of the History and Philosophy of Mathematical Practice. Cham: Springer.
    Why study notations, diagrams, or more broadly the variety of nonverbal “representations” or “signs” that are used in mathematical practice? This chapter maps out recent work on the topic by distinguishing three main philosophical motivations for doing so. First, some work (like that on diagrammatic reasoning) studies signs to recover norms of informal or historical mathematical practices that would get lost if the particular signs that these practices rely on were translated away; work in this vein has the potential to (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9. Σ01 soundness isn’t enough: Number theoretic indeterminacy’s unsavory physical commitments.Sharon Berry - 2023 - British Journal for the Philosophy of Science 74 (2):469-484.
    It’s sometimes suggested that we can (in a sense) settle the truth-value of some statements in the language of number theory by stipulation, adopting either φ or ¬φ as an additional axiom. For example, in Clarke-Doane (2020b) and a series of recent APA presentations, Clarke-Doane suggests that any Σ01 sound expansion of our current arithmetical practice would express a truth. In this paper, I’ll argue that (given a certain popular assumption about the model-theoretic representability of languages like ours) we can’t (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  10. From a Doodle to a Theorem: A Case Study in Mathematical Discovery.Juan Fernández González & Dirk Schlimm - 2023 - Journal of Humanistic Mathematics 13 (1):4-35.
    We present some aspects of the genesis of a geometric construction, which can be carried out with compass and straightedge, from the original idea to the published version (Fernández González 2016). The Midpoint Path Construction makes it possible to multiply the length of a line segment by a rational number between 0 and 1 by constructing only midpoints and a straight line. In the form of an interview, we explore the context and narrative behind the discovery, with first-hand insights by (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  11. The liberation argument for inconsistent mathematics.Franci Mangraviti - 2023 - Australasian Journal of Logic 29 (2):278-315.
    Val Plumwood charged classical logic not only with the invalidity of some of its laws, but also with the support of systemic oppression through naturalization of the logical structure of dualisms. In this paper I show that the latter charge - unlike the former - can be carried over to classical mathematics, and I propose a new conception of inconsistent mathematics - queer incomaths - as a liberatory activity meant to undermine said naturalization.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12. On the epistemic contribution of financial models.Alexander Mebius - 2023 - Journal of Economic Methodology 30 (1):49-62.
    Financial modelling is an essential tool for studying the possibility of financial transactions. This paper argues that financial models are conventional tools widely used in formulating and establishing possibility claims about a prospective investment transaction, from a set of governing possibility assumptions. What is distinctive about financial models is that they articulate how a transaction possibly could occur in a non-actual investment scenario given a limited base of possibility conditions assumed in the model. For this reason, it is argued that (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13. Developing Artificial Human-Like Arithmetical Intelligence (and Why).Markus Pantsar - 2023 - Minds and Machines 33 (3):379-396.
    Why would we want to develop artificial human-like arithmetical intelligence, when computers already outperform humans in arithmetical calculations? Aside from arithmetic consisting of much more than mere calculations, one suggested reason is that AI research can help us explain the development of human arithmetical cognition. Here I argue that this question needs to be studied already in the context of basic, non-symbolic, numerical cognition. Analyzing recent machine learning research on artificial neural networks, I show how AI studies could potentially shed (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14. Deductivism in the Philosophy of Mathematics.Alexander Paseau & Fabian Pregel - 2023 - Stanford Encyclopedia of Philosophy 2023.
    Deductivism says that a mathematical sentence s should be understood as expressing the claim that s deductively follows from appropriate axioms. For instance, deductivists might construe “2+2=4” as “the sentence ‘2+2=4’ deductively follows from the axioms of arithmetic”. Deductivism promises a number of benefits. It captures the fairly common idea that mathematics is about “what can be deduced from the axioms”; it avoids an ontology of abstract mathematical objects; and it maintains that our access to mathematical truths requires nothing beyond (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  15. Fishbones, Wheels, Eyes, and Butterflies: Heuristic Structural Reasoning in the Search for Solutions to the Navier-Stokes Equations.Lydia Patton - 2023 - In Lydia Patton & Erik Curiel (eds.), Working Toward Solutions in Fluid Dynamics and Astrophysics: What the Equations Don’t Say. Springer Verlag. pp. 57-78.
    Arguments for the effectiveness, and even the indispensability, of mathematics in scientific explanation rely on the claim that mathematics is an effective or even a necessary component in successful scientific predictions and explanations. Well-known accounts of successful mathematical explanation in physical science appeals to scientists’ ability to solve equations directly in key domains. But there are spectacular physical theories, including general relativity and fluid dynamics, in which the equations of the theory cannot be solved directly in target domains, and yet (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  16. Nothing Infinite: A Summary of Forever Finite.Kip Sewell - 2023 - Rond Media Library.
    In 'Forever Finite: The Case Against Infinity' (Rond Books, 2023), the author argues that, despite its cultural popularity, infinity is not a logical concept and consequently cannot be a property of anything that exists in the real world. This article summarizes the main points in 'Forever Finite', including its overview of what debunking infinity entails for conceptual thought in philosophy, mathematics, science, cosmology, and theology.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17. Predicativity and constructive mathematics.Laura Crosilla - 2022 - In Gianluigi Oliveri, Claudio Ternullo & Stefano Boscolo (eds.), Objects, Structures, and Logics. Cham (Switzerland): Springer.
    In this article I present a disagreement between classical and constructive approaches to predicativity regarding the predicative status of so-called generalised inductive definitions. I begin by offering some motivation for an enquiry in the predicative foundations of constructive mathematics, by looking at contemporary work at the intersection between mathematics and computer science. I then review the background notions and spell out the above-mentioned disagreement between classical and constructive approaches to predicativity. Finally, I look at possible ways of defending the constructive (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  18. Unrealistic Models in Mathematics.William D'Alessandro - 2022 - Philosophers' Imprint.
    Models are indispensable tools of scientific inquiry, and one of their main uses is to improve our understanding of the phenomena they represent. How do models accomplish this? And what does this tell us about the nature of understanding? While much recent work has aimed at answering these questions, philosophers' focus has been squarely on models in empirical science. I aim to show that pure mathematics also deserves a seat at the table. I begin by presenting two cases: Cramér’s random (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19. Neues System der philosophischen Wissenschaften im Grundriss. Band II: Mathematik und Naturwissenschaft.Dirk Hartmann - 2021 - Paderborn: Mentis.
    Volume II deals with philosophy of mathematics and general philosophy of science. In discussing theoretical entities, the notion of antirealism formulated in Volume I is further elaborated: Contrary to what is usually attributed to antirealism or idealism, the author does not claim that theoretical entities do not really exist, but rather that their existence is not independent of the possibility to know about them.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20. Permanence as a Principle of Practice.Iulian D. Toader - 2021 - Historia Mathematica 54:77-94.
    The paper discusses Peano's defense and application of permanence of forms as a principle of practice. Dedicated to the memory of Mic Detlefsen.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  21. Why Did Weyl Think That Emmy Noether Made Algebra the Eldorado of Axiomatics?Iulian D. Toader - 2021 - Hopos: The Journal of the International Society for the History of Philosophy of Science 11 (1):122-142.
    This paper argues that Noether's axiomatic method in algebra cannot be assimilated to Weyl's late view on axiomatics, for his acquiescence to a phenomenological epistemology of correctness led Weyl to resist Noether's principle of detachment.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22. Review of John Stillwell, Reverse Mathematics: Proofs from the Inside Out. [REVIEW]Benedict Eastaugh - 2020 - Philosophia Mathematica 28 (1):108-116.
    Review of John Stillwell, Reverse Mathematics: Proofs from the Inside Out. Princeton, NJ: Princeton University Press, 2018, pp. 200. ISBN 978-0-69-117717-5 (hbk), 978-0-69-119641-1 (pbk), 978-1-40-088903-7 (e-book).
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  23. Skolem’s “paradox” as logic of ground: The mutual foundation of both proper and improper interpretations.Vasil Penchev - 2020 - Epistemology eJournal (Elsevier: SSRN) 13 (19):1-16.
    A principle, according to which any scientific theory can be mathematized, is investigated. That theory is presupposed to be a consistent text, which can be exhaustedly represented by a certain mathematical structure constructively. In thus used, the term “theory” includes all hypotheses as yet unconfirmed as already rejected. The investigation of the sketch of a possible proof of the principle demonstrates that it should be accepted rather a metamathematical axiom about the relation of mathematics and reality. Its investigation needs philosophical (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  24. Can the Pyrrhonian Sceptic Suspend Belief Regarding Scientific Definitions?Benjamin Wilck - 2020 - History of Philosophy & Logical Analysis 23 (1):253-288.
    In this article, I tackle a heretofore unnoticed difficulty with the application of Pyrrhonian scepticism to science. Sceptics can suspend belief regarding a dogmatic proposition only by setting up opposing arguments for and against that proposition. Since Sextus provides arguments exclusively against particular geometrical definitions in Adversus Mathematicos III, commentators have argued that Sextus’ method is not scepticism, but negative dogmatism. However, commentators have overlooked the fact that arguments in favour of particular geometrical definitions were absent in ancient geometry, and (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25. Axiomatizing Changing Conceptions of the Geometric Continuum II: Archimedes-Descartes-Hilbert-Tarski†.John T. Baldwin - 2019 - Philosophia Mathematica 27 (1):33-60.
    In Part I of this paper we argued that the first-order systems HP5 and EG are modest complete descriptive axiomatization of most of Euclidean geometry. In this paper we discuss two further modest complete descriptive axiomatizations: Tarksi’s for Cartesian geometry and new systems for adding $$\pi$$. In contrast we find Hilbert’s full second-order system immodest for geometrical purposes but appropriate as a foundation for mathematical analysis.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  26. Axioms in Frege.Patricia A. Blanchette - 2019 - In Philip A. Ebert & Marcus Rossberg (eds.), Essays on Frege's Basic Laws of Arithmetic. Oxford: Oxford University Press.
  27. Diagrams in Mathematics.Carlo Cellucci - 2019 - Foundations of Science 24 (3):583-604.
    In the last few decades there has been a revival of interest in diagrams in mathematics. But the revival, at least at its origin, has been motivated by adherence to the view that the method of mathematics is the axiomatic method, and specifically by the attempt to fit diagrams into the axiomatic method, translating particular diagrams into statements and inference rules of a formal system. This approach does not deal with diagrams qua diagrams, and is incapable of accounting for the (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  28. Explanation in mathematics: Proofs and practice.William D'Alessandro - 2019 - Philosophy Compass 14 (11):e12629.
    Mathematicians distinguish between proofs that explain their results and those that merely prove. This paper explores the nature of explanatory proofs, their role in mathematical practice, and some of the reasons why philosophers should care about them. Among the questions addressed are the following: what kinds of proofs are generally explanatory (or not)? What makes a proof explanatory? Do all mathematical explanations involve proof in an essential way? Are there really such things as explanatory proofs, and if so, how do (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  29. Hermeneutics of Ceteris Paribus in the African Context.Emerson Abraham Jackson - 2019 - Economic Insights -Trends and Challenges 9 (71):9-16.
    This article has provided a philosophical discourse approach in deconstructing Ceteris Paribus (CP) as applied in contemporary Africa. The concept of CP, which affirm the notion of ‘all things are equal’ does not always hold true in the real world. The author has gone beyond the normal interpretation of the word shock, which is making it impossible for the CP concept to hold true in reality. The paper has unraveled critical discourses spanning corruption element as a key factor in the (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30. Applying Mathematics: Immersion, Inference, Interpretation.Otávio Bueno & Steven French - 2018 - Oxford, England: Oxford University Press. Edited by Steven French.
    How is that when scientists need some piece of mathematics through which to frame their theory, it is there to hand? What has been called 'the unreasonable effectiveness of mathematics' sets a challenge for philosophers. Some have responded to that challenge by arguing that mathematics is essentially anthropocentric in character, whereas others have pointed to the range of structures that mathematics offers. Otavio Bueno and Steven French offer a middle way, which focuses on the moves that have to be made (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   29 citations  
  31. A Role for Representation Theorems†.Emiliano Ippoliti - 2018 - Philosophia Mathematica 26 (3):396-412.
    I argue that the construction of representation theorems is a powerful tool for creating novel objects and theories in mathematics, as the construction of a new representation introduces new pieces of information in a very specific way that enables a solution for a problem and a proof of a new theorem. In more detail I show how the work behind the proof of a representation theorem transforms a mathematical problem in a way that makes it tractable and introduces information into (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  32. Rejection in Łukasiewicz's and Słupecki's Sense.Urszula Wybraniec-Skardowska - 2018 - In Urszula Wybraniec-Skardowska & Ángel Garrido (eds.), The Lvov-Warsaw School. Past and Present. Cham, Switzerland: Springer- Birkhauser,. pp. 575-597.
    The idea of rejection originated by Aristotle. The notion of rejection was introduced into formal logic by Łukasiewicz [20]. He applied it to complete syntactic characterization of deductive systems using an axiomatic method of rejection of propositions [22, 23]. The paper gives not only genesis, but also development and generalization of the notion of rejection. It also emphasizes the methodological approach to biaspectual axiomatic method of characterization of deductive systems as acceptance (asserted) systems and rejection (refutation) systems, introduced by Łukasiewicz (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  33. Arguments of stability in the study of morphogenesis.Sara Franceschelli - 2017 - Azafea: Revista de Filosofia 19:117-135.
    Arguments of stability, intended in a wide sense, including the discussion of the conditions of the onset of instability and of stability changes, play a central role in the main theorizations of morphogenesis in 20th century theoretical biology. The aim of this essay is to shed light on concepts and images mobilized in the construction of arguments of stability in theorizing morphogenesis, since they are pivotal in establishing meaningful relationships between mathematical models and empirical morphologies.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  34. Induction, bounding, weak combinatorial principles, and the homogeneous model theorem.Denis Roman Hirschfeldt - 2017 - Providence, Rhode Island: American Mathematical Society. Edited by Karen Lange & Richard A. Shore.
    Goncharov and Peretyat'kin independently gave necessary and sufficient conditions for when a set of types of a complete theory is the type spectrum of some homogeneous model of. Their result can be stated as a principle of second order arithmetic, which is called the Homogeneous Model Theorem (HMT), and analyzed from the points of view of computability theory and reverse mathematics. Previous computability theoretic results by Lange suggested a close connection between HMT and the Atomic Model Theorem (AMT), which states (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  35. In Defense of Mathematical Inferentialism.Seungbae Park - 2017 - Analysis and Metaphysics 16:70-83.
    I defend a new position in philosophy of mathematics that I call mathematical inferentialism. It holds that a mathematical sentence can perform the function of facilitating deductive inferences from some concrete sentences to other concrete sentences, that a mathematical sentence is true if and only if all of its concrete consequences are true, that the abstract world does not exist, and that we acquire mathematical knowledge by confirming concrete sentences. Mathematical inferentialism has several advantages over mathematical realism and fictionalism.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  36. But why does it work?: mathematical argument in the elementary classroom.Susan Jo Russell (ed.) - 2017 - Portsmouth, NH: Heinemann.
    Mathematical argument in the elementary grades : what and why? -- Elementary students as mathematicians -- The teaching model -- Using the lesson sequences : what the teacher does -- Mathematical argument in the elementary classroom : impact on students and teachers.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  37. Numerical infinities and infinitesimals: Methodology, applications, and repercussions on two Hilbert problems.Yaroslav Sergeyev - 2017 - EMS Surveys in Mathematical Sciences 4 (2):219–320.
    In this survey, a recent computational methodology paying a special attention to the separation of mathematical objects from numeral systems involved in their representation is described. It has been introduced with the intention to allow one to work with infinities and infinitesimals numerically in a unique computational framework in all the situations requiring these notions. The methodology does not contradict Cantor’s and non-standard analysis views and is based on the Euclid’s Common Notion no. 5 “The whole is greater than the (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  38. Knowledge of Abstract Objects in Physics and Mathematics.Michael J. Shaffer - 2017 - Acta Analytica 32 (4):397-409.
    In this paper a parallel is drawn between the problem of epistemic access to abstract objects in mathematics and the problem of epistemic access to idealized systems in the physical sciences. On this basis it is argued that some recent and more traditional approaches to solving these problems are problematic.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  39. Envisioning Transformations – The Practice of Topology.Silvia De Toffoli & Valeria Giardino - 2016 - In Brendan Larvor (ed.), Mathematical Cultures: The London Meetings 2012-2014. Springer International Publishing. pp. 25-50.
    The objective of this article is twofold. First, a methodological issue is addressed. It is pointed out that even if philosophers of mathematics have been recently more and more concerned with the practice of mathematics, there is still a need for a sharp definition of what the targets of a philosophy of mathematical practice should be. Three possible objects of inquiry are put forward: (1) the collective dimension of the practice of mathematics; (2) the cognitives capacities requested to the practitioners; (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  40. Introduction to Abstractionism.Philip A. Ebert & Marcus Rossberg - 2016 - In Philip A. Ebert & Marcus Rossberg (eds.), Abstractionism: Essays in Philosophy of Mathematics. Oxford, England: Oxford University Press UK. pp. 3-33.
  41. Some Historical, Philosophical and Methodological Remarks on Proof in Mathematics.Roman Murawski - 2016 - In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. Boston: De Gruyter. pp. 251-268.
  42. On the Depth of Szemeredi's Theorem.Andrew Arana - 2015 - Philosophia Mathematica 23 (2):163-176.
    Many mathematicians have cited depth as an important value in their research. However, there is no single widely accepted account of mathematical depth. This article is an attempt to bridge this gap. The strategy is to begin with a discussion of Szemerédi's theorem, which says that each subset of the natural numbers that is sufficiently dense contains an arithmetical progression of arbitrary length. This theorem has been judged deep by many mathematicians, and so makes for a good case on which (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  43. Mind in mathematics: essays on mathematical cognition and mathematical method.Mariana Bockarova, Marcel Danesi, Dragana Martinovic & Rafael E. Núñez (eds.) - 2015 - Muenchen: LINCOM.
  44. Representing Scott sets in algebraic settings.Alf Dolich, Julia F. Knight, Karen Lange & David Marker - 2015 - Archive for Mathematical Logic 54 (5-6):631-637.
    We prove that for every Scott set S there are S-saturated real closed fields and S-saturated models of Presburger arithmetic.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  45. Reverse mathematics and marriage problems with unique solutions.Jeffry L. Hirst & Noah A. Hughes - 2015 - Archive for Mathematical Logic 54 (1-2):49-57.
    We analyze the logical strength of theorems on marriage problems with unique solutions using the techniques of reverse mathematics, restricting our attention to problems in which each boy knows only finitely many girls. In general, these marriage theorems assert that if a marriage problem has a unique solution then there is a way to enumerate the boys so that for every m, the first m boys know exactly m girls. The strength of each theorem depends on whether the underlying marriage (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  46. Semiotic Scaffolding in Mathematics.Mikkel Willum Johansen & Morten Misfeldt - 2015 - Biosemiotics 8 (2):325-340.
    This paper investigates the notion of semiotic scaffolding in relation to mathematics by considering its influence on mathematical activities, and on the evolution of mathematics as a research field. We will do this by analyzing the role different representational forms play in mathematical cognition, and more broadly on mathematical activities. In the main part of the paper, we will present and analyze three different cases. For the first case, we investigate the semiotic scaffolding involved in pencil and paper multiplication. For (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  47. Identity in Homotopy Type Theory, Part I: The Justification of Path Induction.James Ladyman & Stuart Presnell - 2015 - Philosophia Mathematica 23 (3):386-406.
    Homotopy Type Theory is a proposed new language and foundation for mathematics, combining algebraic topology with logic. An important rule for the treatment of identity in HoTT is path induction, which is commonly explained by appeal to the homotopy interpretation of the theory's types, tokens, and identities as spaces, points, and paths. However, if HoTT is to be an autonomous foundation then such an interpretation cannot play a fundamental role. In this paper we give a derivation of path induction, motivated (...)
    Remove from this list   Direct download (10 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  48. Introduction to mathematical proof: a transition to advanced mathematics.Charles E. Roberts - 2015 - Boca Raton: CRC Press, Taylor & Francis Group.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  49. Anotações acerca de Symbolic Knowledge from Leibniz to Husserl. [REVIEW]Gisele Dalva Secco - 2015 - Revista Latinoamericana de Filosofia (2):239-251.
    This note presents an analysis of Symbolic Knowledge from Leibniz to Husserl, a collection of works from some members of The Southern Cone Group for the Philosophy of Formal Sciences. The volume delineates an outlook of the philosophical treatments presented by Leibniz, Kant, Frege, and the Booleans, as well as by Husserl, of some questions related to the conceptual singularities of symbolic knowledge –whose standard we find in the arts of algebra and arithmetic. The book’s unity of themes and (at (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50. Lakatos’ Quasi-empiricism in the Philosophy of Mathematics.Michael J. Shaffer - 2015 - Polish Journal of Philosophy 9 (2):71-80.
    Imre Lakatos' views on the philosophy of mathematics are important and they have often been underappreciated. The most obvious lacuna in this respect is the lack of detailed discussion and analysis of his 1976a paper and its implications for the methodology of mathematics, particularly its implications with respect to argumentation and the matter of how truths are established in mathematics. The most important themes that run through his work on the philosophy of mathematics and which culminate in the 1976a paper (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 156