Articoli
Colloque international : L’intuitionnisme entre philosophie, mathématique et logique
- Dettagli
- Ultima modifica il Venerdì, 08 Ottobre 2021 11:53
Colloque international
« L’intuitionnisme entre philosophie, mathématique et logique :
mutations et histoire longue »
25-27 octobre 2021
par Zoom (voir détails ci-dessous)
coordonné par
Mark van Atten (CNRS : UMR 8547 - Archives Husserl)
Dominique Pradelle (Sorbonne Université / Archives Husserl)
et Marwan Rashed (Sorbonne Université / Centre Léon Robin / IUF)
heure de Paris (CEST = UTC +2)
Lundi 25 octobre 2021
09h - Accueil des participants et introduction
1/ Commencements arabes et grecs de l’intuitionnisme
09h15 - Roshdi Rashed (CNRS)
« Ménélaüs: un mathématicien proto-intuitionniste ? »
10h15 - Thomas Auffret (Sorbonne Université / Centre Léon Robin)
« Le tiers-exclu chez Épicure et Chrysippe »
Pause
11h30 - Behnam Zolghadr (Ludwig-Maximilians Universität, Munich)
« The theory of Ahwal: a formal semantics »
Pause déjeuner
14h - Marwan Rashed (Sorbonne Université / Centre Léon Robin / IUF)
« L’intuitionnisme d’al-Samaw’al (m. 1175) entre algèbre, géométrie et théologie »
2/ Formes modernes de l’intuitionnisme
15h - Burt Hopkins (CNRS : STL) et Stepan Holub (Université Charles, Prague)
« Rerum formae: What is François Viète’s Logistice Speciosa About? »
Pause
16h15 - Joseph Vidal-Rosset (Université de Lorraine, Nancy)
« L’intuitionnisme de Descartes dans les Méditations métaphysiques »
17h15 – Victor Pambuccian (Arizona State University, Phoenix)
« Brouwer's intuitionism: mathematics in the being mode of existence »
Mardi 26 octobre 2021
09h00 - David Rabouin (CNRS – laboratoire SPHERE ; ERC Philiumm)
« Leibniz, entre intuitionnisme et formalisme ? »
10h00 - François Ottman (HIPHIMO)
« L’intuitionnisme kantien »
Pause
11h15 - Gerhard Heinzmann (Université de Lorraine, Nancy)
« Poincaré et l’intuitionnisme »
Pause déjeuner
14h00 - Dominique Pradelle (Sorbonne Université / Archives Husserl)
« Actes, temporalité et infini : phénoménologie husserlienne et intuitionnisme brouwerien »
15h00 - Mark van Atten (CNRS : UMR 8547 - Archives Husserl)
« Placing a scale on the intuitive continuum »
Pause
16h15 - Élisabeth Schwartz (Université de Clermont-Ferrand)
« Le rapport de Wittgenstein à l’intuitionnisme »
17h15 - Alberto Naibo (CNRS : IHPST) et Marco Panza (CNRS : IHPST
« Formalising the logic and proofs of Euclid’s Elements, Book I »
Mercredi 27 octobre 2021
3/ Prolongements contemporains de l’intuitionnisme
09h00 - Wim Veldman (Université de Nimègue)
« L’intuitionnisme de l’École de Nimègue »
10h00 – Clément Lion (chercheur associé, UMR 8163 Savoirs Textes Langage)
« Intuitionnisme dialogique et pré-propositionnalité »
Clôture du colloque
Pour participer :
Join Zoom Meeting
https://cnrs.zoom.us/j/94857079741?pwd=eFdIMnhuU211ZUoybG4wb1poelVaUT09
Meeting ID: 948 5707 9741
Passcode: 05SgZp