7 found
Sort by:
  1. Yacin Hamami & John Mumma (2013). Prolegomena to a Cognitive Investigation of Euclidean Diagrammatic Reasoning. Journal of Logic, Language and Information 22 (4):421-448.
    Euclidean diagrammatic reasoning refers to the diagrammatic inferential practice that originated in the geometrical proofs of Euclid’s Elements. A seminal philosophical analysis of this practice by Manders (‘The Euclidean diagram’, 2008) has revealed that a systematic method of reasoning underlies the use of diagrams in Euclid’s proofs, leading in turn to a logical analysis aiming to capture this method formally via proof systems. The central premise of this paper is that our understanding of Euclidean diagrammatic reasoning can be fruitfully advanced (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. John Mumma (2012). Constructive Geometrical Reasoning and Diagrams. Synthese 186 (1):103-119.
    Modern formal accounts of the constructive nature of elementary geometry do not aim to capture the intuitive or concrete character of geometrical construction. In line with the general abstract approach of modern axiomatics, nothing is presumed of the objects that a geometric construction produces. This study explores the possibility of a formal account of geometric construction where the basic geometric objects are understood from the outset to possess certain spatial properties. The discussion is centered around Eu , a recently developed (...)
    No categories
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  3. John Mumma & Marco Panza (2012). Diagrams in Mathematics: History and Philosophy. Synthese 186 (1):1-5.
    Diagrams are ubiquitous in mathematics. From the most elementary class to the most advanced seminar, in both introductory textbooks and professional journals, diagrams are present, to introduce concepts, increase understanding, and prove results. They thus fulfill a variety of important roles in mathematical practice. Long overlooked by philosophers focused on foundational and ontological issues, these roles have come to receive attention in the past two decades, a trend in line with the growing philosophical interest in actual mathematical practice.
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  4. John Mumma & B. Gnassounou (2011). Le rôle du contenu géométrique dans le raisonnement diagrammatique d'Euclide. Les Etudes Philosophiques 2 (2):243-258.
    Translate to English
    | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  5. John Mumma (2010). Proofs, Pictures, and Euclid. Synthese 175 (2):255 - 287.
    Though pictures are often used to present mathematical arguments, they are not typically thought to be an acceptable means for presenting mathematical arguments rigorously. With respect to the proofs in the Elements in particular, the received view is that Euclid's reliance on geometric diagrams undermines his efforts to develop a gap-free deductive theory. The central difficulty concerns the generality of the theory. How can inferences made from a particular diagrams license general mathematical results? After surveying the history behind the received (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  6. Jeremy Avigad, Edward Dean & John Mumma (2009). A Formal System for Euclid's Elements. Review of Symbolic Logic 2 (4):700--768.
    We present a formal system, E, which provides a faithful model of the proofs in Euclid's Elements, including the use of diagrammatic reasoning.
    Direct download (11 more)  
     
    My bibliography  
     
    Export citation  
  7. John Mumma (2008). Nathaniel Miller. Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean Geometry. Csli Studies in the Theory and Applications of Diagrams. Philosophia Mathematica 16 (2):256-264.