Enthymemathical proofs and canonical proofs in Euclid's plane geometry

&
In Claudio Bartocci (ed.), The Philosophers and Mathematics. Springer Verlag. pp. 127-144 (2018)
  Copy   BIBTEX

Abstract

Since the application of Postulate I.2 in Euclid's Elements is not uniform, one could wonder in what way should it be applied in Euclid's plane geometry. Besides legitimizing questions like this from the perspective of a philosophy of mathematical practice, we sketch a general perspective of conceptual analysis of mathematical texts, which involves an extended notion of mathematical theory as system of authorizations, and an audience-dependent notion of proof.

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,227

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Enthymemathical Proofs and Canonical Proofs in Euclid’s Plane Geometry.Marco Panza & Abel Lassalle-Casanave - 2018 - In Hassan Tahiri (ed.), The Philosophers and Mathematics: Festschrift for Roshdi Rashed. Cham: Springer Verlag. pp. 127-144.
Proofs, pictures, and Euclid.John Mumma - 2010 - Synthese 175 (2):255 - 287.
Explanation in mathematics: Proofs and practice.William D'Alessandro - 2019 - Philosophy Compass 14 (11):e12629.
Informal and formal proofs, metalogic, and the groundedness problem.Mario Bacelar Valente - manuscript
The normal road to geometry: Δή in euclid's elements and the mathematical competence of his audience.Stéphanie van der Pas - 2014 - Classical Quarterly 64 (2):558-573.
Visual Proofs as Counterexamples to the Standard View of Informal Mathematical Proofs?Simon Weisgerber - 2022 - In Giardino V., Linker S., Burns R., Bellucci F., Boucheix J.-M. & Viana P. (eds.), Diagrammatic Representation and Inference. 13th International Conference, Diagrams 2022, Rome, Italy, September 14–16, 2022, Proceedings. Springer, Cham. pp. 37-53.
The surveyability of long proofs.Edwin Coleman - 2009 - Foundations of Science 14 (1-2):27-43.
Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean Geometry.Nathaniel Miller - 2007 - Center for the Study of Language and Inf.
Proof and the art of mathematics: examples and extensions.Joel David Hamkins - 2021 - Cambridge, Massachusetts: The MIT Press.
The “Pythagorean” “Theorem” and the Rant of Racist and Civilizational Superiority – Part 2.C. K. Raju - 2021 - Arụmarụka 1 (2):76-105.
Visual imagery and geometric enthymeme: The example of euclid I.Keith K. Niall - 2002 - Behavioral and Brain Sciences 25 (2):202-203.
Geometrical Method.Ursula Goldenbaum - 2015
Arguing Around Mathematical Proofs.Michel Dufour - 2013 - In Andrew Aberdein & Ian J. Dove (eds.), The Argument of Mathematics. Dordrecht: Springer. pp. 61-76.
100% Mathematical Proof.Rowan Garnier & John Taylor - 1996 - John Wiley & Son.
Explanatory Proofs and Beautiful Proofs.Marc Lange - unknown

Analytics

Added to PP
2023-03-26

Downloads
12 (#1,090,149)

6 months
7 (#439,760)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Marco Panza
Centre National de la Recherche Scientifique

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references