[Educasup] IHPST June 13 & 14 2019 - Formalisation vs. Meaning in Mathematics : Formal theories as tools for understanding Themes from the work of Göran Sundholm

2019-06-11 Par sujet Secrétariat IHPST 
*Formalisation vs. Meaning in Mathematics : Formal theories as tools for
understanding*

*Themes from the work of  G**ö**ran Sundholm*



*Address : 13, rue du four 75006 Paris - 2nd floor *

*Marco Panza : **panza...@gmail.com *



*Day 1* - *June 13th, 2019* - IHPST, Salle de conférences


*Chair : Maria van der Schaar*



9.00 - 10.30 Giuseppe Primiero, From Proof to Designs

10.30 - 10.45 Coffee break

10.45 - 12.15  Francesca Poggiolesi, Grounding Principles  for (Relevant)
Implication

12.15 - 14.00 Lunch



*Chair : Michel Bourdeau*



14.00 - 15.30 Alberto Naibo (join talk with Marco Panza), Constructions and
Proofs in Euclid's Geometry

15.30 - 15.45 Break

15.45 - 17.15 Mark van Atten, Sundholm and Heyting

17.15 - 18.45 Gerhard Heinzmann, Some Reflexions on the Demarcation Line
between Evident and Suspect Reasoning

 20.00  Dinner





*Day 2* - *June 14th, 2019* - IHPST, Salle de conférences



*Chair : Hourya Benis Sinaceur *



9.00 - 10.30 Pierre Wagner, Judgment and commitment

10.30 - 10.45 Coffee break

10.45 - 12.15  Kevin Mulligan, Logical Norms and Logical Truths. Was Hume
Wrong ?

12.15 - 14.00 Lunch



*Chair : Jacques Dubucs*



14.00 - 15.30  Shahid Rahman (join talk with Nicolas Clerbout), Immanent
Reasoning and CTT : building on Göran Sundholm’s Insight on Dialogical Logic

15.30 - 15.45 Break

15.45 - 17.15 Yacine Hamami, Rigor Judgements in Mathematical Practice

17.15 - 18.45 Mathieu Marion, Sundholm’s Tractatus

18.45 - 19.00 Final remarks by Göran Sundholm

--
Pour toute question, la FAQ de la liste se trouve ici:  
https://www.vidal-rosset.net/

[Educasup] Formalisation vs. Meaning in Mathematics : Formal th eories as tools for understanding Themes from the work of G öran Sundholm

2019-05-21 Par sujet Secrétariat IHPST 
*Formalisation vs. Meaning in Mathematics: Formal theories as tools for
understanding*
*Themes from the work of  Göran Sundholm.*

Day 1 - June 13th, 2019 - IHPST, Salle de Conférences
*Chair: Maria van der Schaar*
9.00 - 10.30 *Giuseppe Primiero*, *From Proof to Designs*
10.30 - 10.45 Coffee break
10.45-12.15  *Francesca Poggiolesi*, *Grounding Principles  for (Relevant)
Implication*
12.15-14 lunch
*Chair: Michel Bourdeau*
14.00.15.30 *Alberto Naibo (join talk with Marco Panza)*, *Constructions
and Proofs in Euclid's Geometry*
15.30 -15.45 break
15.45 - 17.15 *Zoe McConaughey (join talk with Shahid Rahman)*,* Immanent
Reasoning and CTT: building on Göran Sundholm’s Insight on Dialogical Logic*
17.15 - 18.45* Gerhard Heinzmann*, *Some Reflexions on the Demarcation Line
between Evident and Suspect Reasoning*


20.00  dinner

Day 2 - June 14th, 2019 - IHPST, Salle de Conférences
*Chair: Hourya Benis Sinaceur*
9.00 - 10.30 *Pierre Wagner*, *Judgment and commitment*
10.30 - 10.45 Coffee break
10.45-12.15  *Kevin Mulligan*, *Logical Norms and Logical Truths. Was Hume
Wrong ?*
12.15-14 lunch
*Chair: Jacques Dubucs*
14.00.15.30 *Mark van Atten*, *Sundholm and Heyting*
15.30 -15.45 break
15.45 - 17.15 *Michael Detlefsen*, *Weyl vs. Dedekind on Proof, Complexity
and Intuition*
17.15 - 18.45 *Mathieu Marion*, *Sundholm’s *Tractatus*.*
18.45 - 19.00 Final remarks by Göran Sundholm



Address : 13, rue du four 75006 Paris - 2nd floor

--
Pour toute question, la FAQ de la liste se trouve ici:  
https://www.vidal-rosset.net/

[Educasup] Vendredi 17 mai 2019 Journée d'études : Autour de Louis Rougier IHPST Paris 6ème arrondissement

2019-05-16 Par sujet Secrétariat IHPST 
Bien qu'il ait joué un rôle central dans la réception, ou non-réception, du
néo-positivisme en France, l'oeuvre de Louis Rougier continue à être assez
largement méconnue. Il y a quelque temps déjà, un important colloque lui
fut consacré à Genève. La présente journée d'études vise à mieux cerner son
influence, en s'intéressant plus particulièrement aux personnalités dont il
fut proche et dont la diversité (Otto Neurath, Maurice Allais, Jean-Louis
Destouche ou encore Marcel Boll) aide à mieux comprendre la complexité de
son oeuvre .

*Programme Vendredi 17 mai 2019 *


   - 9h-9h15 : Introduction par Gerhard Heinzmann, Archives Henri Poincaré,
   Université de Lorraine (Nancy).
   - 9h15-10h15 : Mathieu Marion, professeur à l’UQAM (Montréal) : « Le
   conventionnalisme de Louis Rougier »
   - 10h15-11h15 : Simone Mazauric, professeur émérite à l'Université de
   Lorraine : « Louis Rougier, historien des sciences »

11h15-11h30 : *Pause café*

   -  11h30-12h30 : Peter Schöttler, Institut Max-Planck d'histoire des
   sciences (Berlin) : « Louis Rougier et Marcel Boll »

Déjeuner

   - 14H45-15H45 : Olivier Dard, professeur à Paris-IV Sorbonne,
   laboratoire SIRICE, « Louis Rougier et le néo-libéralisme »
   - 15H45-16H45 : Christophe Eckes, maître de conférences à l’université
   de Lorraine : « Sur le physicien Jean-Louis Destouches »

16h45-17h : *Pause café*

   -  17-18h : Alexandre Moatti, chercheur associé à Paris-Diderot,
   laboratoire SPHERE : « Maurice Allais, physicien ?




*Lieu* IHPST : 13, rue du four 75006 Paris - 2ème étage - Salle de
conférence

http://www.ihpst.cnrs.fr/activites/colloques-et-journees-detudes/journee-detudes-autour-de-louis-rougier

--
Pour toute question, la FAQ de la liste se trouve ici:  
https://www.vidal-rosset.net/