Crossing Curves: A Limit to the Use of Diagrams in Proofs

Philosophia Mathematica 19 (3):281-307 (2011)
Abstract
This paper investigates the following question: when can one reliably infer the existence of an intersection point from a diagram presenting crossing curves or lines? Two cases are considered, one from Euclid's geometry and the other from basic real analysis. I argue for the acceptability of such an inference in the geometric case but against in the analytic case. Though this question is somewhat specific, the investigation is intended to contribute to the more general question of the extent and limits of reliable diagrammatic reasoning in mathematics
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1093/philmat/nkr023
Options
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 26,702
Through your library
References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Add more citations

Similar books and articles
On Automating Diagrammatic Proofs of Arithmetic Arguments.Mateja Jamnik, Alan Bundy & Ian Green - 1999 - Journal of Logic, Language and Information 8 (3):297-321.
Diagrams as Sketches.Brice Halimi - 2012 - Synthese 186 (1):387-409.
Proofs, Pictures, and Euclid.John Mumma - 2010 - Synthese 175 (2):255 - 287.
Diagrams and Proofs in Analysis.Jessica Carter - 2010 - International Studies in the Philosophy of Science 24 (1):1 – 14.
On the Inconsistency of Mumma's Eu.Nathaniel Miller - 2012 - Notre Dame Journal of Formal Logic 53 (1):27-52.
The Role of Diagrams in Mathematical Arguments.David Sherry - 2009 - Foundations of Science 14 (1-2):59-74.
Peirce and the Logical Status of Diagrams.Sun-Joo Shin - 1994 - History and Philosophy of Logic 15 (1):45-68.
What is a Logical Diagram?Catherine Legg - 2013 - In Sun-Joo Shin & Amirouche Moktefi (eds.), Visual Reasoning with Diagrams. Springer. pp. 1-18.
A Diagrammatic Inference System with Euler Circles.Koji Mineshima, Mitsuhiro Okada & Ryo Takemura - 2012 - Journal of Logic, Language and Information 21 (3):365-391.

Monthly downloads

Added to index

2011-08-07

Total downloads

62 ( #83,452 of 2,158,479 )

Recent downloads (6 months)

3 ( #132,912 of 2,158,479 )

How can I increase my downloads?

My notes
Sign in to use this feature


Discussion
Order:
There  are no threads in this forum
Nothing in this forum yet.

Other forums