1. Proofs, Pictures, and Euclid.John Mumma - 2010 - 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 (8 more)  
    Export citation  
    Bookmark   29 citations  
  2. A Formal System for Euclid’s Elements.Jeremy Avigad, Edward Dean & John Mumma - 2009 - 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 (12 more)  
    Export citation  
    Bookmark   21 citations  
  3. Diagrams in Mathematics: History and Philosophy.John Mumma & Marco Panza - 2012 - 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 (11 more)  
    Export citation  
    Bookmark   3 citations  
  4.  94
    Constructive Geometrical Reasoning and Diagrams.John Mumma - 2012 - 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 (...)
    Direct download (7 more)  
    Export citation  
    Bookmark   2 citations  
  5.  65
    Nathaniel Miller. Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean Geometry. Csli Studies in the Theory and Applications of Diagrams.John Mumma - 2008 - Philosophia Mathematica 16 (2):256-264.
    It is commonplace to view the rigor of the mathematics in Euclid's Elements in the way an experienced teacher views the work of an earnest beginner: respectable relative to an early stage of development, but ultimately flawed. Given the close connection in content between Euclid's Elements and high-school geometry classes, this is understandable. Euclid, it seems, never realized what everyone who moves beyond elementary geometry into more advanced mathematics is now customarily taught: a fully rigorous proof cannot rely on geometric (...)
    Direct download (9 more)  
    Export citation  
    Bookmark   3 citations  
  6.  50
    Prolegomena to a Cognitive Investigation of Euclidean Diagrammatic Reasoning.Yacin Hamami & John Mumma - 2013 - 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)  
    Export citation  
    Bookmark   1 citation  
  7.  11
    Carroll’s Infinite Regress and the Act of Diagramming.John Mumma - forthcoming - Topoi:1-8.
    The infinite regress of Carroll’s ‘What the Tortoise said to Achilles’ is interpreted as a problem in the epistemology of mathematical proof. An approach to the problem that is both diagrammatic and non-logical is presented with respect to a specific inference of elementary geometry.
    Direct download (2 more)  
    Export citation  
  8.  25
    Le rôle du contenu géométrique dans le raisonnement diagrammatique d'Euclide.John Mumma - 2011 - Les Etudes Philosophiques 97 (2):243.
    Rav et Leitgeb défendent la thèse de l’autonomie des preuves informelles par rapport aux systèmes formels de preuve. Azzouni, au contraire développe une explication qui réduit les preuves informelles à un réseau de systèmes formels sous-jacents. L’objectif principal de cet article est de démontrer la possibilité d’une position tierce médiane mettant en avant une explication quasi formelle de la méthode de preuve dans les Éléments. L’explication est quasi formelle, plutôt que formelle, en ce qu’elle donne au contenu géométrique un rôle (...)
    Direct download (5 more)  
    Export citation