Colloque • « L’intuitionnisme entre philosophie, mathématique et logique »
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)
LUNDI 25 OCTOBRE 2021
09h00 • 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 Epicure et Chrysippe »
Pause
11h30 • Behnam Zolghadr (Ludwig-Maximilians Universität, Munich) « The theory of Ahwal: a formal semantics »
Pause déjeuner
14h00 • 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
15h00 • 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 (Université Jean Jaurès, Toulouse – ERRAPHIS) « 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) « Brouwer on induction »
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é »
11h00 • Carl Posy (Hebrew University, Jerusalem) « The axiom of choice in intuitionism: two lessons »
Clôture du colloque
lien Zoom ici | Meeting ID: 948 5707 9741 | Passcode: 05SgZp
Télécharger programme ici.
