Colloque Benacerraf

Depuis le milieu des années soixante, le travail de Paul Benacerraf a été au centre des préoccupations des philosophes des mathématiques. Sa conception des difficultés épistémologiques du platonisme est cruciale pour les arguments de dispensabilité au fondement du nominalisme contemporain, mais également pour le naturalisme hérité de Quine. Sa réflexion sur le critère d'identité des nombres (en termes d'objets, d'ensembles ou de propriétés) est importante pour le structuralisme, et sa critique du logicisme pour toute discussion du principe de Hume à l'œuvre chez Frege. Son article sur les super-tâches a renouvelé les réflexions sur les procédures non constructives, liées à des considérations plus générales sur le finitisme et la faisabilité. Le propos du colloque est d'envisager l'ensemble de ces contributions majeures dans une perspective critique.