Enthymemathical Proofs and Canonical Proofs in Euclid’s Plane Geometry

&
In Hassan Tahiri (ed.), The Philosophers and Mathematics: Festschrift for Roshdi Rashed. Cham: 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

DOI

10.1007/978-3-319-93733-5_7

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,897

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

Proofs, pictures, and Euclid.John Mumma - 2010 - Synthese 175 (2):255 - 287.
The twofold role of diagrams in Euclid’s plane geometry.Marco Panza - 2012 - Synthese 186 (1):55-102.
"The whole is greater than the part." Mereology in Euclid's Elements.Klaus Robering - 2016 - Logic and Logical Philosophy 25 (3):371-409.
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.
Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean Geometry.Nathaniel Miller - 2007 - Center for the Study of Language and Inf.
Combinatorial analysis of proofs in projective and affine geometry.Jan von Plato - 2010 - Annals of Pure and Applied Logic 162 (2):144-161.
De la Práctica Euclidiana a la Práctica Hilbertiana: las Teorías del Área Plana.Eduardo N. Giovannini, Abel Lassalle Casanave & Paulo A. S. Veloso - 2017 - Revista Portuguesa de Filosofia 73 (3-4):1263-1294.
Geometrical Method.Ursula Goldenbaum - 2015
Ternary operations as primitive notions for plane geometry II.Victor Pambuccian - 1992 - Mathematical Logic Quarterly 38 (1):345-348.
Сочинения платона и аристотеля как свидетельства о становлении системы математических определений и аксиом.Andrey Shetnikov - 2007 - Schole 1 (2):172-194.
Mathematical definitions and axioms in Plato and Aristotle.Andrey Shetnikov - 2007 - Schole 1 (2):172-194.
Aspects of Mathematical Explanation: Symmetry, Unity, and Salience.Marc Lange - 2014 - Philosophical Review 123 (4):485-531.
Explanation in mathematics: Proofs and practice.William D'Alessandro - 2019 - Philosophy Compass 14 (11):e12629.
The Euclidean Mousetrap.Jason M. Costanzo - 2008 - Idealistic Studies 38 (3):209-220.
A formal system for euclid’s elements.Jeremy Avigad, Edward Dean & John Mumma - 2009 - Review of Symbolic Logic 2 (4):700--768.

Analytics

Added to PP
2020-06-17

Downloads
8 (#1,318,140)

6 months
4 (#790,314)

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