Séminaire PhilMath : 2014-2015

1. Objectifs. Créé en 1997, ce séminaire est un lieu de réflexion et de discussion ouvert sur l’ensemble des problèmes métaphysiques, sémantiques, logiques et cognitifs soulevés, d’une part par les mathématiques pures et appliquées, et d’autre part par la logique.  L’histoire et la pratique de ces disciplines est un élément essentiel des travaux présentés et discutés.

2. Participants. Parmi les conférenciers invités, on compte aussi bien des philosophes, des logiciens et des mathématiciens de réputation internationale que des jeunes chercheurs, voire des doctorants. Depuis sa création en 1997, le séminaire est devenu un lieu de rencontre privilégié pour les spécialistes internationaux de ces disciplines. De nombreux travaux de recherche ont été présentés et discutés au séminaire avant leur publication. Un résumé ou un abstract des conférences est disponible sur le calendrier des sites de l’IHPST (http://www-ihpst.univ-paris1.fr) et de SND (http://www.snd-sorbonne.org) environ une semaine avant la conférence. Il y reste consultable.

3. Activités du séminaire. Les responsables du séminaire travaillent en coordination avec les groupes de recherche en philosophie des mathématiques et de la logique de l’IHPST et de SND. Les activités du séminaire — conférences, workshops, tables rondes, journées d’étude ­— sont annoncées sur les sites de l’IHPST et de SND ainsi que sur les principales listes de diffusion françaises et internationales.

Responsable (s): 

Séminaire PhilMath : Catarina Dutilh Novaes & ​Kevin Mulligan

Undefined
Monday 13 October 2014 - 14:00 to 17:45
IHPST - Salle de conférence

Séminaire de philosophie des mathématiques et de la logique​

Programme 

14h00-15h45  : Catarina Dutilh Novaes - Associate professor, Faculty of Philosophy of the University of Groningen : "Reducio proofs from a dialogical perspective"​

- Coffee Break -

16h00-17h45 : ​Kevin Mulligan - Chairman, Department of Philosophy, University of Geneva : "the origin of the concept of truth"

Séminaire PhilMath : Luis Carlos Arboleda

Undefined
Monday 27 October 2014 - 17:00 to 20:00
IHPST - Salle de conférence

Luis Carlos Arboleda (Universidad del Valle ; Santiago de Cali, Colombia) interviendra sur le sujet : "Le système de Bourbaki pour la théorie des ensembles".

Séminaire PhilMath : Friederike Moltmann

Undefined
Thursday 27 November 2014 - 10:00 to 11:30
IHPST - Salle de conférence

"Number terms as proper names". In this talk, Friederike Moltmann will review her arguments for number terms being nonreferential in Moltmann (2013a, b) within the greater perspective of (my) recent work on proper names. She will argue that some of those arguments have to be reinterpreted: they show that number terms are mass (or number-neutral) terms in certain languages rather than showing their nonreferentiality.

Moltmann, F. (2013a): 'Reference to Numbers in Natural Language'. Philosophical Studies 162.3., 499-534.
                     (2013b): Abstract Objects and the Semantics of Natural Language. Oxford UP.Moltmann (IHPST, CNRS) interviendra sur le sujet : "Number terms as proper names".

Séminaire PhilMath : Charles Parsons

Undefined
Monday 16 March 2015 - 18:00 to 20:00
IHPST - Salle de conférence

Charles Parsons (Harvard University) interviendra sur le sujet "Intuition revisited". La séance sera retransmise en direct à l'adresse : http://live.univ-paris1.fr:8080/IHPST

Abstract

 

The talk will revisit two conceptions of intuition that occur in earlier
writings of mine, particularly my 2008 book Mathematical Thought and its
Objects. The first, more widespread in philosophical literature, might be
called "rational intuition." It is not intrinsically spatio-temporal. Gödel
is its main proponent in philosophy of mathematics. Some remarks will be
made about the appearance of this conception in general epistemological
literature, where the focus is on the use of "intuitions" in philosophy.

 

The second is a conception of intuition in arithmetic, distantly derived
from Kant's but more closely inspired by Brouwer and especially Hilbert. A
modified version will be presented, designed to meet objections by Felix
Mühlhölzer. If time permits we will examine the question whether the
revised conception allows intuitive knowledge of arithmetic short of
exponentiation.

 

Séminaire Philmath : Marco Ruffino

Undefined
Monday 15 June 2015 - 17:30 to 19:30
13 rue du Four - 3 ème étage- salle 404

Marco Ruffino (Philosophy, University of Campinas, Brazil) interviendra sur le sujet "A puzzle about Frege's singular senses".

Séminaire Philmath : Walter Dean

Undefined
Wednesday 24 June 2015 - 17:30 to 19:30
IHPST - Salle de conférence

Walter Dean (Philosophy, University of Warwick, UK) interviendra sur le sujet "Ultrafinitism, Feasibility, and the Sorities". La séance sera retransmise en direct à l'adresse : http://live.univ-paris1.fr:8080/IHPST.

This paper seeks to build a bridge between three subjects: the semantics of vague predicates in natural language, ultrafinitism in philosophy of mathematics, and the analysis of feasibility in computational complexity theory. These topics are linked by the need to provide a response to the sorites paradox — e.g. with respect to predicates like “bald” or “walking distance” in the first case, “practically constructible number” in the second, and “feasibly computable function” in the third. I will begin by arguing that several forms of the sorites implicitly rely on arithmetical assumptions, which are in turn related to concerns similar to those which motivate the formulation of theories of bounded arithmetic studied in complexity theory.  Although such connections were noted by Wang (1958), Yessenin-Volpin (1961/1970), Dummett (1975) and Boolos (1991), they have had little effect on subsequent theorizing about vagueness.  Once the connections are acknowledged, however, I will suggest that a semantical treatment of so-called almost consistent theories — as originally introduced by Parikh (1971) and subsequently studied by Carbone (1993/1996) — provides insight not only into soritical phenomena in natural language but also into our knowledge of arithmetic in light of the concerns raised by ultrafinitism.

It will be possible to follow the talk live at http://live.univ-paris1.fr:8080/IHPST.