L’intuitionnisme entre philosophie, mathématique et logique : mutations et histoire longue

Télécharger comme fichier iCal

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

Retour