Notre Dame Journal of Formal Logic 60 (3):457-480 (2019)

Authors
John Mumma
California State University, San Bernardino
Abstract
In line with Ken Manders’s seminal account of Euclid’s diagrammatic method in the “The Euclidean Diagram,” two proof systems with a diagrammatic syntax have been advanced as formalizations of the method FG and Eu. In a paper examining Eu, Nathaniel Miller, the creator of FG, has identified a variety of technical problems with the formal details of Eu. This response shows how the problems are remedied.
Keywords diagrams   formalization  elementary geometry
Categories (categorize this paper)
DOI 10.1215/00294527-2019-0012
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 65,811
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Proofs, Pictures, and Euclid.John Mumma - 2010 - Synthese 175 (2):255 - 287.
Knowing with Images: Medium and Message.John Kulvicki - 2010 - Philosophy of Science 77 (2):295-313.
On the Inconsistency of Mumma's Eu.Nathaniel Miller - 2012 - Notre Dame Journal of Formal Logic 53 (1):27-52.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

On the Inconsistency of Mumma's Eu.Nathaniel Miller - 2012 - Notre Dame Journal of Formal Logic 53 (1):27-52.
A Formal System for Euclid’s Elements.Jeremy Avigad, Edward Dean & John Mumma - 2009 - Review of Symbolic Logic 2 (4):700--768.
Proofs, Pictures, and Euclid.John Mumma - 2010 - Synthese 175 (2):255 - 287.
Formalizing Euclid’s First Axiom.John Corcoran - 2014 - Bulletin of Symbolic Logic 20 (3):404-405.
Sur Quelques Points d'Algebre Homologique.E. Dean J. Avigad & J. Mumma - 2009 - Review of Symbolic Logic 2 (4):700-768.
A Revenge Problem Without the Concept of Truth.Mark Pinder - 2015 - Thought: A Journal of Philosophy 4 (3):151-161.

Analytics

Added to PP index
2019-07-02

Total views
17 ( #622,620 of 2,463,168 )

Recent downloads (6 months)
3 ( #223,490 of 2,463,168 )

How can I increase my downloads?

Downloads

My notes