Conference on intuitionism: updated program

[Mark van Atten]

Here is an updated program of the conference on intuitionism announced
before. The changes consist in the welcome addition of a talk by Carl
Posy, a change of  topic of my own talk, and a correction of Ottman's
affiliation.



International online conference

"Intuitionism between philosophy, mathematics, and logic: variations
and a long history"

October 25-27, 2021

Zoom details below

Organisers
Mark van Atten (CNRS: UMR 8547 - Archives Husserl)
Dominique Pradelle (Sorbonne Université / Archives Husserl)
Marwan Rashed (Sorbonne Université / Centre Léon Robin / IUF)



Paris time (CEST = UTC +2)

Monday, October 25

09:00 Welcome and introduction

09:15 - Roshdi Rashed (CNRS)
« Ménélaüs: un mathématicien proto-intuitionniste ? »

10:15 - Thomas Auffret (Sorbonne Université / Centre Léon Robin)
« Le tiers-exclu chez Epicure et Chrysippe »

Break

11:30 - Behnam Zolghadr (Ludwig-Maximilians Universität, Munich)
"The theory of Ahwal:  a formal semantics"

Break

14:00 - 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 »

15:00 - Burt Hopkins (CNRS: STL) amd Stepan Holub (Charles University, Prague)
"Rerum formae: What is François Viète’s Logistice Speciosa About?"

Break

16:15 - Joseph Vidal-Rosset (Université de Lorraine, Nancy)
« L’intuitionnisme de Descartes dans les Méditations métaphysiques »

17:15 – Victor Pambuccian (Arizona State University, Phoenix)
"Brouwer's intuitionism: mathematics in the being mode of existence"


--------------------------------------------------------


Tuesday, October 26

09:00 - David Rabouin (CNRS – laboratoire SPHERE ; ERC Philiumm)
« Leibniz, entre intuitionnisme et formalisme ? »

10:00 - François Ottman (Université Jean Jaurès, Toulouse – ERRAPHIS)
« L’intuitionnisme kantien »

Break

11:15 - Gerhard Heinzmann (Université de Lorraine, Nancy)
« Poincaré et l’intuitionnisme »

Break

14:00 - Dominique Pradelle (Sorbonne Université / Archives Husserl)
« Actes, temporalité et infini : phénoménologie husserlienne et
intuitionnisme brouwerien »

15:00 - Mark van Atten (CNRS: UMR 8547 - Archives Husserl)
"Brouwer on induction"

Break

16:15 - Élisabeth Schwartz (Université de Clermont-Ferrand)
« Le rapport de Wittgenstein à l’intuitionnisme »

17:15 - Alberto Naibo (CNRS: IHPST) and Marco Panza (CNRS: IHPST)
 "Formalising the logic and proofs of Euclid’s Elements, Book I"

--------------------------------------------------------


Wednesday, October 27

09:00 - Wim Veldman (Université de Nimègue)
« L’intuitionnisme de l’École de Nimègue »

10:00 – 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"

Closing


Join Zoom Meeting
https://cnrs.zoom.us/j/94857079741?pwd=eFdIMnhuU211ZUoybG4wb1poelVaUT09

Meeting ID: 948 5707 9741
Passcode: 05SgZp