Logique et métaphysique : Hale, Stalnaker, Williamson
Le cours propose un panorama de l’usage de la logique modale dans la métaphysique récente. On partira du nécessitisme défendu dans le livre désormais classique publié par Williamson en 2013. Le nécessitisme est la thèse selon laquelle nécessairement, toute chose est nécessairement quelque chose. Sa négation est le contigentisme. Dans la logique modale, cette thèse est liée à la validité de la formule de Barcan. Mais telle qu’elle est défendue par Williamson, elle mobilise des aspects variés de la philosophie de la logique : la théorie des prédicats, les facteurs de vérité, la signification des opértateurs modaux.
Une forme de contingentisme a été défendue récemment par Stalnaker à propos de l’ontologie des propositions. On tentera de caractériser la position de Stalnaker et plus généralement son usage de la logique modale dans le débat avec Williamson.
Enfin, le nécessitisme suppose qu’on fasse la différence entre être quelque chose et être quelque chose de concret. Cet aspect de la thèse de Williamson nous donnera l’occasion de mettre son travail en dialogue avec les textes du regretté Bob Hale sur la métaphysique des modalités.
- Enseignant: Jean-Baptiste Rauzy