Le rôle du contenu géométrique dans le raisonnement diagrammatique d'Euclide
RésuméRav (1999 et 2007) et Leitgeb (2009) défendent la thèse de l’autonomie des preuves informelles par rapport aux systèmes formels de preuve. Azzouni (2004, 2005, et 2009), au contraire développe une explication qui réduit les preuves informelles à un réseau de systèmes formels sous-jacents. L’ob...
Guardat en:
| Autor principal: | |
|---|---|
| Format: | Article ou chapitre numérique |
| Idioma: | Français |
| Publicat: |
2011
|
| Accés en línia: | Accès Université d'Orléans et IFPM Accès Université d'Orléans et IFPM |
| Sumari: | RésuméRav (1999 et 2007) et Leitgeb (2009) défendent la thèse de l’autonomie des preuves informelles par rapport aux systèmes formels de preuve. Azzouni (2004, 2005, et 2009), 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. |
|---|