Sciences, normes, décision - PhilMath 2014-2015

Sciences, normes, décision

Accueil > Activités > Séminaires SND > PhilMath > PhilMath 2014-2015

PhilMath 2014-2015

par Emilio Thalabard - publié le , mis à jour le


Fondé en 1997, ce séminaire mensuel a été animé par M. van Atten, J. Dubucs et F. Pataut. Il est consacré aux problèmes métaphysiques, sémantiques, logiques et cognitifs soulevés par les mathématiques pures et appliquées.


Programme 2014-2015, organisé par Marco Panza et Fabrice Pataut


Lieu : IHPST, salle de conférences, 13 rue du Four, 75006 Paris.


en partenariat avec l’IHPST ( [http://www.ihpst.cnrs.fr/activites/seminaires/seminaire-philmath-2014-2015] )


Lundi 13 octobre 2014


14h30-16h30 :


Catarina Dutilh Novaes (Philosophy, University of Groningen)


REDUCTIO PROOFS FROM A DIALOGICAL PERSPECTIVE


17h00-19h00 :


Kevin Mulligan (Philosophy, University of Geneva)


THE ORIGIN OF TYHE CONCEPT OF TRUTH


Lundi 27 Octobre 2014, 17h30 – 19h30


Luis Carlos Arboleda (Universidad del Valle ; Santiago de Cali, Colombia)


LE SYSTÈME DE BOURBAKI POUR LA THÉORIE DES ENSEMBLES


Jeudi 27 Novembre 2014, 10h00 – 11h30


Friederike Moltmann (CNRS — IHPST)


NUMBER TERMS AS PROPER NAMES


Lundi 16 mars 2015, 18h-20h, IHPST – Salle de conférence


Charles Parsons (Philosophy, Harvard University)


INTUITION REVISITED


Jeudi 19 mars 2015, au Samedi 21 mars 2015


Chaque jour : 9h00-18h00, IHPST – Salle de conférence


WORKSHOP REPRESENTATION AND AXIOMATIZATION : POWER AND LIMITS


Le workshop fait partie des projets HYPOTHESES et ObMathRe, financés conjointement par l’Agence nationale de la recherche et la Deutsche Forschungsgemeinschaft


 The aim of the workshop is to understand whether the formal analysis of mathematical proofs — as it has been developed by the proof-theoretical tradition of Hilbert and Gentzen — is compatible with the use of diagrammatical representations. More precisely, the idea is to investigate the articulation of these two different approaches with respect to two fundamental aspects of the mathematical practice of demonstration : assuming hypotheses and drawing inferences. Since axiomatic reasoning plays a crucial role with respect to these two aspects, the question can be rephrased as the problem of the compatibility of axiomatic thought and reasoning by representation. A particular attention will be given to the ontological import of these two practices. Descriptif du colloque [http://www.ihpst.cnrs.fr/activites/colloque/representation-and-axiomatization-power-and-limits->http://www.ihpst.cnrs.fr/activites/colloque/representation-and-axiomatization-power-and-limits]


 


Lundi 13 avril 2015, 17h30-19h30, Maison de la Recherche – Salle S001


Igor Douven (Philosophie, SND)


A GEOMETRIC PRINCIPLE OF INDIFFERENCE


Lundi 4 mai2015, 17h30-19h30, IHPST - Salle de conférences


Guido Bacciagaluppi, (Philosophy, University of Aberdeen)


• En collaboration avec le Séminaire de logiques non classiques de l’IHPST •


QUANTUM LOGIC MEETS LOGICAL PLURALISM


lundi 8 juin 2015, de 17h30 à 19h30, IHPST, Salle de conférences.


Otavio Bueno, (Philosophie, Université de Miami)


"What does a mathematical proof really prove ?"


Lundi 15 juin 2015, 17h30-19h30, IHPST- Salle de conférences


Marco Ruffino, (Philosophy, University of Campinas, Brazil)


A PUZZLE ABOUT FREGE’S SINGULAR SENSES


Mercredi 24 juin 2015, 17h30-19h30, IHPST - Salle de conférence


Walter Dean, (Philosophy, University of Warwick, UK)


ULTRAFINITISM, FEASIBILITY, AND THE SORITES

ACTUS SND

Rechercher