Accueil du site > Archives > Activités du centre > Colloque international : La démonstration de l’antiquité à l’âge (...)

Colloque international : La démonstration de l’antiquité à l’âge classique

Dernière mise à jour le mardi 5 août 2008

CENTRE D’HISTOIRE DES SCIENCES ET DES PHILOSOPHIES ARABES ET MÉDIÉVALES (UMR 7062 : CNRS, Université Paris 7 – Denis-Diderot, École Pratique des Hautes Études Ve section, Université Paris I - Panthéon Sorbonne)

COLLOQUE

LA DÉMONSTRATION DE L’ANTIQUITÉ À L’ÂGE CLASSIQUE

Organisateurs : A. Hasnaoui, A. Jaulin, P. Pellegrin, R. Rashed

du 3 au 6 juin 2008

à l’Université Paris I Panthéon-Sorbonne UFR de philosophie 17, rue de la Sorbonne, Paris 5ème arrdt Salle Cavaillès (Escalier C, 1er étage, à droite)

Accès : RER Cluny-La Sorbonne RER Luxembourg Bus 21, 27, 38, 82, 85

Mardi 3 juin
- 9.00-10.45 Accueil
- R. RASHED (CNRS, Paris) La démonstration aux commencements de l’algèbre
- E. SCHWARTZ (Université B. Pascal, Clermont-Ferrand) La fonction du concept de démonstration dans la théorie de la science : de l’organon au mos geometricus

Pause
- 11.00-12.30
- C. HOUZEL (CNRS, Paris) La démonstration chez Euler : du fini à l’infini
- A. MICHEL (Université de Provence, Aix-en-Provence) Intuition et démonstration dans la théorie du continu : l’exemple de la compacité

Déjeuner

- 14.30-16
- J. BIARD (Université F. Rabelais / CNRS, Tours) « Démontrer par les causes » : quels sens Buridan donne-t-il à cette formule aristotélicienne ?
- N. EL-BIZRI (University of Cambridge) La démonstration en optique : le raisonnement hypothético-déductif et l’expérimentation suivant la tradition d’Ibn al-Haytham »

Pause
- 16.15-17.45
- H. MASOUMI-HAMEDANI (Université Sharif de Technologie, Téhéran) : Démonstration mathématique et démonstration physique : Alhazen et Avicenne
- S. ROMMEVAUX (CNRS / Université F. Rabelais, Tours) Styles de démonstration en philosophie naturelle aux XIVe et XVe siècles

Mercredi 4 juin
- 9.00-10.30
- P. PELLEGRIN (CNRS, Paris) Définir et démontrer : le moment des Seconds Analytiques
- E. GIUSTI (Universita dejli Shidi, Florence) Démonstration et mouvement à l’âge classique

Pause

- 10.45-12.15
- E. MAZET (Université Charles-de-Gaulle-Lille3) Aristote sur la démonstration par l’absurde comparée à la démonstration négative directe
- P.-M. MOREL (Université Paris 1) La théorie épicurienne des indémontrables

Déjeuner

- 14.00-15.30
- A. HASNAOUI (CNRS, Paris) Topique et démonstration dans la tradition logique arabe
- I. MUELLER (University of Chicago) Space-filling pyramids (regular tetrahedra) : From Aristotle’s De Caelo 3.8.306b5-8 to Giuseppe Biancani’s Aristotelis loca mathematica

Pause

- 15.45-17.15
- C. DALIMIER (Première Supérieure, Lycée Henri IV, Paris) Galien et la logique floue
- M. KATOUZIAN-SAFADI (CNRS, Paris) Comment suivre et contredire Galien : principes, méthodes et pratiques de la thérapie chez Râzî (865- 925)

Jeudi 5 juin

- 9.00-10.30
- H. BELLOSTA (CNRS, Paris) La théorie de la démonstration au Xe siècle : quels changements ? pourquoi ?
- P. CROZET (CNRS, Paris) Découvrir et démontrer : l’exemple d’al-Sijzi Pause
- 10.45-12.15
- J.-J. SZCZECINIARZ (Université Paris7-D. Diderot) Sur le théorème de Ménélaos et sa démonstration chez Ptolémée
- M. AL-HOUJAIRI (Université libanaise de Tripoli-Liban) Sur une proposition sphérique remarquable de l’Istikmâl d’Ibn Hûd

Déjeuner

- 14.00-15.30
- C. SASAKI (University of Tokyo) The Euclidean axiomatic mathematics and scepticism : The Szabo thesis revised
- I. VANDOULAKIS (University of the Aegean, Mitylene) On a possible relation between Greek mathematics and Eleatic philosophy

Pause

- 15.45-17.15
- S. NEGREPONTIS (Université d’Athènes) The anthyphairetic interpretation of Plato’s dialectics
- S. BIRBA-PAPPA (Université d’Athènes) The anthyphairetic interpretation of Platonic ’doxa’

Vendredi 6 juin

- 9.00-10.30
- M. PATY (CNRS, Paris) Intuition, invention, démonstration en philosophie des mathématiques et de la physique
- K. CHEMLA (CNRS, Paris) Démontrer la correction d’algorithmes. Réflexions basées sur des sources arabes et chinoises

Pause

- 10.45-12.15
- Ph. ABGRALL (CNRS, Aix-en-Provence) Postulats et démonstrations en optique et en statique entre le IXe et le XIIIe siècle
- L. MAIERU (Università della Calabria, Cosenza) Les démonstrations de Francesco Barozzi dans l’Admirandum illud geometricum problema (1586)

Déjeuner

- 14.00-15h30
- P. FREGUGLIA (Università degli Studi dell’Aquila) Le De certitudine matematicarum et les démonstrations mathématiques entre le XVIe et le XVIIe siècle
- M. GALUZZI (Università degli Studi di Milano) La démonstration en géométrie (élémentaire) après Viète et Descartes

Pause

- 15.45-17.00 Table ronde de clôture


LIU PINLAI, UMR 7062, chspam@vjf.cnrs.fr Tel : 01 49 58 35 99

 

SPIP | | Plan du site | Suivre la vie du site RSS 2.0