BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//jEvents 2.0 for Joomla//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:STANDARD
DTSTART:20201025T020000
RDATE:20210328T030000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:Europe/Paris CET
END:STANDARD
BEGIN:STANDARD
DTSTART:20211031T020000
RDATE:20220327T030000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:Europe/Paris CET
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:20201024T090000
RDATE:20201025T020000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:Europe/Paris CEST
END:DAYLIGHT
BEGIN:DAYLIGHT
DTSTART:20210328T030000
RDATE:20211031T020000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:Europe/Paris CEST
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
UID:eada51c768b4fb3435561f96362ebb25
CATEGORIES:Conférences, journées d'études, colloques
SUMMARY:L’intuitionnisme entre philosophie, mathématique et logique : mutations et histoire longue
DESCRIPTION;ENCODING=QUOTED-PRINTABLE:Colloque international « L’intuitionnisme entre philosophie, mathématique e
 t logique : mutations et histoire longue », 25-27 octobre 2021, par Zoom (v
 oir détails ci-dessous)\ncoordonné par Mark van Atten (CNRS : UMR 8547 - Ar
 chives Husserl),  Dominique Pradelle (Sorbonne Université / Archives Husser
 l), et Marwan Rashed (Sorbonne Université / Centre Léon Robin / IUF)\n \n\n
 \nheure de Paris (CEST = UTC +2)\n\n\nLundi 25 octobre 2021\n\n\n09h - Accu
 eil des participants et introduction\n\n\n1/ Commencements arabes et grecs 
 de l’intuitionnisme\n\n\n09h15 - Roshdi Rashed (CNRS) : « Ménélaüs: un math
 ématicien proto-intuitionniste ? »\n\n\n10h15 - Thomas Auffret (Sorbonne Un
 iversité / Centre Léon Robin) : « Le tiers-exclu chez Épicure et Chrysippe 
 »\n\n\nPause\n\n\n11h30 - Behnam Zolghadr (Ludwig-Maximilians Universität, 
 Munich) : « The theory of Ahwal:  a formal semantics »\n\n\nPause déjeuner\
 n\n\n14h - Marwan Rashed (Sorbonne Université / Centre Léon Robin / IUF)\n\
 n\n« L’intuitionnisme d’al-Samaw’al (m. 1175) entre algèbre, géométrie et t
 héologie »\n\n\n2/ Formes modernes de l’intuitionnisme\n\n\n15h - Burt Hopk
 ins (CNRS : STL) et Stepan Holub (Université Charles, Prague) : « Rerum for
 mae: What is François Viète’s Logistice Speciosa About? »\n\n\nPause\n\n\n1
 6h15 - Joseph Vidal-Rosset (Université de Lorraine, Nancy) : « L’intuitionn
 isme de Descartes dans les Méditations métaphysiques »\n\n\n17h15 – Victor 
 Pambuccian (Arizona State University, Phoenix) : « Brouwer's intuitionism: 
 mathematics in the being mode of existence »\n\n\n \n\n\nMardi 26 octobre 2
 021\n\n\n\n09h00 - David Rabouin (CNRS – laboratoire SPHERE ; ERC Philiumm)
  « Leibniz, entre intuitionnisme et formalisme ? »\n\n\n10h00 - François Ot
 tman (HIPHIMO) « L’intuitionnisme kantien »\n\n\nPause\n\n\n11h15 - Gerhard
  Heinzmann (Université de Lorraine, Nancy) : « Poincaré et l’intuitionnisme
  »\n\n\nPause déjeuner\n\n\n14h00 - Dominique Pradelle (Sorbonne Université
  / Archives Husserl) : « Actes, temporalité et infini : phénoménologie huss
 erlienne et intuitionnisme brouwerien »\n\n\n15h00 - Mark van Atten (CNRS :
  UMR 8547 - Archives Husserl) : « Placing a scale on the intuitive continuu
 m »\n\n\nPause\n\n\n16h15 - Élisabeth Schwartz (Université de Clermont-Ferr
 and) : « Le rapport de Wittgenstein à l’intuitionnisme »\n\n\n17h15 - Alber
 to Naibo (CNRS : IHPST) et Marco Panza (CNRS : IHPST) : « Formalising the l
 ogic and proofs of Euclid’s Elements, Book I »\n\n\n \n\n\nMercredi 27 octo
 bre 2021\n\n\n3/ Prolongements contemporains de l’intuitionnisme\n\n\n09h00
  - Wim Veldman (Université de Nimègue) : « L’intuitionnisme de l’École de N
 imègue »\n\n\n10h00 – Clément Lion (chercheur associé, UMR 8163 Savoirs Tex
 tes Langage) : « Intuitionnisme dialogique et pré-propositionnalité »\n\n\n
 Clôture du colloque\n\n\n \n\n\nPour participer : Join Zoom Meeting\n\n\nht
 tps://cnrs.zoom.us/j/94857079741?pwd=eFdIMnhuU211ZUoybG4wb1poelVaUT09\n\n\n
 Meeting ID: 948 5707 9741\n\n\nPasscode: 05SgZp\n
DTSTAMP:20261022T155558Z
DTSTART;TZID=Europe/Paris:20211025T090000
DTEND;TZID=Europe/Paris:20211027T113000
SEQUENCE:0
TRANSP:OPAQUE
END:VEVENT
END:VCALENDAR