Friday, December 04, 2009

Richard Craven

La prochaine séance du séminaire Philform aura lieu lundi 7 décembre, de 15h à 17h à l'IHPST.

Richard Craven (Bristol University) interviendra sur le thème suivant : "The Axes of Actualism: a Response to Karen Bennett"

Monday, September 07, 2009

Absolute generality Workshop

Starting tomorrow in Paris, the Absolute generality Workshop, organized by David Nicolas at the Institut Jean Nicod.

Program :
Tuesday, Sept 8: Salle de conférence, 46 rue d'Ulm
09:30 - 11:00: Glanzberg: Unrestricted quantification and extraordinary context dependence?
11:15 - 12:30: Karlsson: Unrestricted quantification and model-theoretic semantics based on NFU
14:00 - 15:30: Nicolas: Semantics for plurals
15:45 - 17:15: Uzquiano: How many angels can dance on the point of a needle?

Wednesday, Sept 9: Salle Paul Lapie, 29 rue d'Ulm
09:30 - 11:00: Linnebo: Modality and absolute generality
11:15 - 12:30: Studd: The iterative conception of set: a modal reading
14:00 - 15:30: Rayo: Confessions

Monday, May 18, 2009

Vagueness and decision theory Workshop

Vagueness and decision theory :
May 29, 2009.
Ecole Normale Supérieure, 45 rue d'Ulm, 75005, Paris.
Salle des Actes.
* Mikaël Cozic (Institut Jean Nicod)
* Paul Egré (Institut Jean-Nicod)
* Leon Horsten (Bristol University)
* Kris de Jaegher (Utrecht)
* Robert van Rooij (ILLC, Amsterdam)
* Maurice Salles (Université de Caen)

Benson Mates

The Philosophy Department (Berkeley) announces with great sadness the death, on May 13, 2009, of Prof. Emeritus Benson Mates.

Balder ten Cate & Dietmar Berwanger

Le lundi 18 Mai de 14h à 16h à l'IHPST, Philform recevra un joint-session avec deux exposés de Balder ten Cate (Amsterdam-ENS Cachan) et Dietmar Berwanger (ENS Cachan).

Thursday, May 14, 2009

Colloquium : Carnap's Ideal of explanation

Carnap's Ideal of Explication: Logic, Metalogic, and Wissenschaftslogik
14, 15, 16 May 2009
Venue :
Université Paris 1 Panthéon-Sorbonne - 12, place du Panthéon, Paris
Aile Soufflot - Escalier A - 4th floor - Room 419 B
No fee, no registration

Thursday, May 14th 2009
Morning session. Chair: Pierre Wagner

8:50 – 9:00 Welcoming address and introduction. Pierre WAGNER.
9:00 – 9:55 Wolfgang KIENZLER (Universität Jena)
On Carnap's Ideal of Philosophy. The Scope of Tolerance and the Double-Faced Ideal of Explication
10:00 – 10:55 Juliet FLOYD (Boston University)
Carnap, Turing and Wittgenstein: Contrasting Notions of Analysis
11:15 – 12:10 Juha MANNINEN (University of Helsinki)
14:00 – 14:55 Michael BEANEY (University of York)
Flexplication: Fashioning Frege's Functional Framework
15:00 – 15:55 Richard CREATH (Arizona State University)
16:15 – 17:10 Erich RECK (University of California, Riverside)
Carnapian Explication and its Rivals
17:15 – 18:10 Xavier VERLEY (Université de Toulouse le Mirail)
Interpretation, Explication, and Logic of Science

Friday, May 15th 2009

9:00 – 9:55 Alan RICHARDSON (University of British Columbia)
15:00 – 15:55 Daniel ISAACSON (University of Oxford)
Carnap’s Conception of Mathematics as Analytic
16:15 – 17:10 Philippe de ROUILHAN (IHPST, CNRS, Paris)
Carnap and the Semantical Explication of Truth and Logical Consequence

Saturday, May 16th 2009

9:00 – 9:55 Peter HYLTON (University of Illinois at Chicago)
Quine and the Aufbau: the Problem of Objective Knowledge
10:00 – 10:55 Gottfried GABRIEL (Universität Jena)
Carnap, Pseudo-Problems, and Ontological Questions
15:00 – 15:55 Jacques BOUVERESSE (IHPST, Collège de France, Paris)
Carnap and the Legacy of Aufklärung
16:15 – 17:10 André CARUS (University of Cambridge)
Engineers and Drifters

Saturday, April 11, 2009

The Fundamental Idea of Proof Theory

Date : 15-16 April 2009
Venue: ENS (45 rue d'Ulm, Paris 75005), salle Dussane.
Wednesday, April 15th / Mercredi 15 avril

8h30: Per Martin-Löf, Proof theory as conceived by Hilbert and logic in the
traditional sense
10h30: Albert Visser, Look again. Syntax is no syntax.
12h30 Lunch/ Dejeuner
14h00: Göran Sundholm, Proofs as chains of mental operations; could Brouwer be
right after all?"
16h00: Peter Schroeder-Heister, Bidirectional reasoning

Thursday, April 16th / Jeudi 16 avril
10h00: Dag Prawitz, Conflicting intuitions about deductive reasoning
12h: Lunch / Dejeuner
14h00: Rafael Nunez, Towards the cognitive foundations of proof
16h00: Wilfried Sieg, Uncovering aspects of the mathematical mind"

IP Workshop : Floyd-Kanamori

IP Workshop: "Proof: Mathematical Knowledge, Sense, and Context"
Date: May 26, 2009
Place: Salle Campanille (room 897C), Grands Moulins, U of Paris-Diderot
Time: 14h00--18h00

Session I: 14h00--15h55
Professor Juliet Floyd (Philosophy, Boston):
"Proof: Mathematical Knowledge, Sense, and Context"

Session II: 16h05--18h00
Professor Akihiro Kanamori (Mathematics, Boston)
"Mathematical Knowledge and Complexities in Proof"

Tuesday, March 10, 2009


J. Hintikka donnera une conférence à l'IHPST vendredi 13 mars, à 14h, salle 302:
Some reflections on the continuum hypothesis.

Thursday, February 12, 2009

IP Seminar

The 3rd Ideal of Proof Seminar will be held on Friday, February 27th at 9h30 in salle 417B of the Halle aux Farines building on the Grands Moulins campus of Paris-Diderot.

Session I: 9h30--11h00
Sebastien Maronne: "Ideal elements and projective geometry in early modern mathematics"
Session II: 11h15--12h45
Oliver Schlaudt: "Abstraction and Ideation. A constructivist approach to the nature of
mathematical concepts"
Session III (Focus Session): 14h00--15h30
Paul McCallion: "Ideal numbers vs ideal numerical properties"
Session IV (Focus Session): 15h45--17h15
John Mumma: "Contentful reasoning and rigor in elementary geometry"

Thursday, February 05, 2009

It's Only a Theory

A new philosophy blog for Philosophy of Science : It's Only a Theory.
Contributors : Michael Strevens, M.Suárez, Chris Pincock, Craig Callender, Matteo Morganti, Otavio Bueno, Roman Frigg, Christopher Hitchcock, Elaine Landry, Gabriele Contessa, Martin Thomson-Jones, Steven French, Antony Eagle, Jonah Schupbach, Robert Northcott, Anna Alexandrova, Michael Weisberg.

[via Thoughts, Arguments and Rants]

Wednesday, January 14, 2009

Ideal of Proof Seminar

Thursday, January 22nd (ENS, 45 rue d'Ulm,75005. Salle Dussane).

-Session I (9:00--10:25): Mattia Petrolo (IP Fellow),
``Ideal proofs and logical constructivity: From intuitionistic to classical logic''
-Session II (10:30--11:55): Renaud Chorlay (IP Fellow),
``Ways out of the Grey''
-Session III (13:15--14:40): Paola Cantu (IP Fellow),
``Ideal numbers and magnitudes: a matter of degree?''
-Session IV (14:45--16:10): Andrei Rodin (IP Fellow),
``How Mathematical Concepts Get Their Bodies: The example of Forcing''
-Session V (16:15--17:45): Agustin Rayo (IP visitor),
``Towards a Trivialist Account of Mathematics'' *

Monday, January 05, 2009

Agustin Rayo (updated)

Agustin Rayo is going to give a series of lectures at the ENS : "On Possibility and Content".
Dates and venue :
- mercredi 7, 10h à 12h, salle de réunion IJN-LSCP (au 29 rue d'Ulm, 75005 Paris)
-mardi 13, 10h à 12h, salle Weil (au programme: 'Broad Content')
-mercredi 21, 10h à 12h, salle de réunion IJN/LSCP, 29, rue d'Ulm.
-mardi 27, 10h à 12h, salle Weil

The seminar will be on possibility and content. I will argue that these two notions are closely related, and cannot be understood independently of one another. The core idea can be stated simply: to describe a sentence's truth-conditions is to explain how the world must be in order for the truth-conditions to be satisfied. But it has far reaching consequences. I will argue that it can help address puzzles in modal epistemology, ontology and vagueness.
The seminar will draw on material from a book manuscript I am working
on, which is based on the following papers:
A account of possibility
A actualist's Guide to quantifying in
On specifying truth-conditions
Vague Representation
For a more user-friendly introduction to some of the main themes of
the seminar, I recommend:
Succes by default ?

Paul McCallion

Le 12 janvier 2009, le séminaire Philmath accueillera Paul McCallion (Philosophie, Université de St Andrews): "The Ontology of Formalism". IHPST, Grande Salle, 17h30-19h30.


Sunday, January 04, 2009


Je signale la naissance de la Revue Etudiante de Philosophie Analytique, une revue francophone de philosophie avec comité de lecture. Le site de la revue, est déjà en place à l'adresse suivante : La revue encourage les contributions d'étudiants. Premier numéro prévu vers mars 2009.
L'appel à contribution est ici.

Thursday, December 18, 2008

Flow chart

[Xkcd via Nothing of Consequence]

Tuesday, December 09, 2008

Science in Flux '08

The Colloquium "Science in Flux ’08", organized by P.Wagner will be held Friday 12 December and Saturday 13 December. Venue : IHPST, 13 rue du Four 75006 Paris.
The theme will be "Formal Approaches to Belief Change and Inquiry, and the Philosophy of Science"
Program :
Friday 12 DECEMBER 2008
Keynote address
BENGT HANSSON (Lund): Explanatory Equilibrium
FRANCK ZENKER (Lund): The Formalization of Revolutionary Theory Change
SEBASTIAN ENQVIST (Lund): An Architectonic for Scientific Theory Change
ISAAC LEVI (Columbia/New York): Doxastic States
ERIK OLSSON (Lund): Interrogative Belief Change: Contraction and Ties
HANS ROTT (Regensburg): Defending the Ramsey Test for the Interpretation of Conditionals: A Constructive Approach
Saturday 13 DECEMBER 2008
EMMANUEL GENOT (Lille): Belief Revision and the Interrogative Approach to Inquiry
GERHARD SHURTZ (Duesserldorf): Abduction and Belief Revision In Science
HERVÉ ZWIRN (IHPST, Paris): Abductive Logic In A Belief Revision Framework
JAAKKO HINTIKKA (Boston): Who is Afraid of Thomas Bayes?
GABRIEL SANDU (IHPST, Paris):Probabilistic Reading of Quantifiers

Thursday, December 04, 2008

Philosophy and Foundations of Mathematics : Epistemological and Ontological Aspects

The conference Philosophy and Foundations of Mathematics :Epistemological and Ontological Aspects, dedicated to
Per Martin-Löf on the occasion of his retirement, will be held in Uppsala, May 5-8, 2009.

Monday, November 24, 2008

Conférences Duhem : J. Elster et I. Ekeland

Les troisièmes Conférences Duhem (Société de Philosophie des Sciences) auront lieu le vendredi 28 novembre 2008 de 13h30 à 18h30 à l’Ecole normale supérieure(45, rue d’Ulm,75005 Paris) en salle Dussane.

Programme :

13h30- Accueil par M. Canto-Sperber, dir. de l'ENS, et D. Andler, président de la SPS.

14h- Jon ELSTER (Collège de France) : "L'indétermination de la théorie du choix rationnel"
Discutants : Mikaël Cozic (IHPST, GREGHEC), Nicolas Houy (Ecole polytechnique)

16h30- Ivar EKELAND (University of British Columbia) : "Mathématiques et économie, fécondité et limites d'une formalisation"

Discutants : Jean-Philippe Bouchaud (CEA/Saclay), Jean-Paul Delahaye (LIFL, Lille)

Wednesday, November 19, 2008

PhD's in Logic