Le rôle du contenu géométrique dans le raisonnement diagrammatique d'Euclide

Les Etudes Philosophiques 97 (2):243 (2011)
  Copy   BIBTEX

Abstract

Rav et Leitgeb défendent la thèse de l’autonomie des preuves informelles par rapport aux systèmes formels de preuve. Azzouni, au contraire développe une explication qui réduit les preuves informelles à un réseau de systèmes formels sous-jacents. L’objectif principal de cet article est de démontrer la possibilité d’une position tierce médiane mettant en avant une explication quasi formelle de la méthode de preuve dans les Éléments. L’explication est quasi formelle, plutôt que formelle, en ce qu’elle donne au contenu géométrique un rôle irréductible dans les preuves d’Euclide en ce que ce rôle est sujet à des contraintes formelles. Les inférences qui sont basées sur concepts géométriques ont une occurrence à l’intérieur d’un cadre formel précisément défini.Rav and Leitgeb argue for the autonomy of informal proofs from formal systems of proof. In contrast, Azzouni develops an account which reduces informal proofs to a network of underlying formal systems. The general aim of this paper is to demonstrate the possibility of a third, middle position with a quasi-formal account of Euclid’s proof method in the Elements. The account is quasi-formal, rather than simply formal, in that it gives geometric content an irreducible role in Euclid’s proofs. It is quasi-formal, rather than simply informal, in that this role is subject to formal constraints. Inferences which are based on geometric concepts occur within a precisely defined formal framework

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,127

External links

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

Through your library

Analytics

Added to PP
2013-09-29

Downloads
55 (#298,726)

6 months
19 (#145,295)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

John Mumma
California State University, San Bernardino

Citations of this work

Add more citations

References found in this work

Why Do We Prove Theorems?Yehuda Rav - 1999 - Philosophia Mathematica 7 (1):5-41.
Proofs, pictures, and Euclid.John Mumma - 2010 - Synthese 175 (2):255 - 287.
The derivation-indicator view of mathematical practice.Jody Azzouni - 2004 - Philosophia Mathematica 12 (2):81-106.
Why do informal proofs conform to formal norms?Jody Azzouni - 2009 - Foundations of Science 14 (1-2):9-26.

View all 6 references / Add more references