Citations of work:

Nathaniel Miller (2007). Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean Geometry.

5 found
Order:
Are we missing citations?

PhilPapers citations & references are currently in beta testing. We expect to add many more in the future.

Meanwhile, you can use our bibliography tool to import references for this or another work.

Or you can directly add citations for the above work:

Search for work by author name and title
Add directly by record ID

  1.  29
    The Mystery of Deduction and Diagrammatic Aspects of Representation.Sun-Joo Shin - 2015 - Review of Philosophy and Psychology 6 (1):49-67.
    Deduction is decisive but nonetheless mysterious, as I argue in the introduction. I identify the mystery of deduction as surprise-effect and demonstration-difficulty. The first section delves into how the mystery of deduction is connected with the representation of information and lays the groundwork for our further discussions of various kinds of representation. The second and third sections, respectively, present a case study for the comparison between symbolic and diagrammatic representation systems in terms of how two aspects of the mystery of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  48
    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  
  3. The Twofold Role of Diagrams in Euclid's Plane Geometry.Marco Panza - 2012 - Synthese 186 (1):55-102.
    Proposition I.1 is, by far, the most popular example used to justify the thesis that many of Euclid’s geometric arguments are diagram-based. Many scholars have recently articulated this thesis in different ways and argued for it. My purpose is to reformulate it in a quite general way, by describing what I take to be the twofold role that diagrams play in Euclid’s plane geometry (EPG). Euclid’s arguments are object-dependent. They are about geometric objects. Hence, they cannot be diagram-based unless diagrams (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  4. 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   27 citations  
  5. 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 (11 more)  
     
    Export citation  
     
    Bookmark   16 citations