Switch to: References

Add citations

You must login to add citations.
  1. On Euclidean diagrams and geometrical knowledge.Tamires Dal Magro & Manuel J. García-Pérez - 2019 - Theoria. An International Journal for Theory, History and Foundations of Science 34 (2):255.
    We argue against the claim that the employment of diagrams in Euclidean geometry gives rise to gaps in the proofs. First, we argue that it is a mistake to evaluate its merits through the lenses of Hilbert’s formal reconstruction. Second, we elucidate the abilities employed in diagram-based inferences in the Elements and show that diagrams are mathematically reputable tools. Finally, we complement our analysis with a review of recent experimental results purporting to show that, not only is the Euclidean diagram-based (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Philosophy of Mathematical Practice — Motivations, Themes and Prospects†.Jessica Carter - 2019 - Philosophia Mathematica 27 (1):1-32.
    A number of examples of studies from the field ‘The Philosophy of Mathematical Practice’ (PMP) are given. To characterise this new field, three different strands are identified: an agent-based, a historical, and an epistemological PMP. These differ in how they understand ‘practice’ and which assumptions lie at the core of their investigations. In the last part a general framework, capturing some overall structure of the field, is proposed.
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  • Reliability of mathematical inference.Jeremy Avigad - 2020 - Synthese 198 (8):7377-7399.
    Of all the demands that mathematics imposes on its practitioners, one of the most fundamental is that proofs ought to be correct. It has been common since the turn of the twentieth century to take correctness to be underwritten by the existence of formal derivations in a suitable axiomatic foundation, but then it is hard to see how this normative standard can be met, given the differences between informal proofs and formal derivations, and given the inherent fragility and complexity of (...)
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  • Diagrams.Sun-Joo Shin - 2008 - Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • Advances in Experimental Philosophy of Logic and Mathematics: A. Aberdein and M. Inglis, editors, London: Bloomsbury Academic, 2019. 291 pp. $28.76. ISBN 978-1-3500-3902-5.Yuri Sato - 2021 - History and Philosophy of Logic 43 (3):305-307.
    This book is a collection of articles on research that attempts to connect logic and mathematics with empirical and cognition. There have been various such a...
    Download  
     
    Export citation  
     
    Bookmark