Lieu:
Université Paris1
UFR de philosophie
17 rue de la Sorbonne-75 005 Paris
Salle Cavaillès (Escalier C, 1er étage, à droite)
Accès:
RER Cluny-La Sorbonne
RER Luxembourg
Bus 21, 27, 38, 82, 85
Programme:
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
