Partenaires

logo Equipe Chspam
Logo Laboratoire Logo équipe Rehseis
CNRS
Logo Université Paris-Diderot Logo Université Paris1-Panthéon-Sorbonne


Rechercher

Sur ce site

Sur le Web du CNRS


Accueil > Archives > Journées et colloques 1996–2012 > Journées d’étude et colloques 2008 > La démonstration de l’Antiquité à l’Age classique

La démonstration de l’Antiquité à l’Age classique

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