La soutenance, au jury impressionnant, était accompagnée d'un colloque sur les constantes logiques. Etant à Genève, je n'y ai pas assisté, mais je soupçonne que tout cela a été extrêmement stimulant. Mes félicitations!

Il y a plusieurs soutenances qui arrivent côté Jean Nicod (pas la mienne, malheureusement!), je m'efforcerai de les annoncer.

(Via Theoreme, entre autres.)

Résumé de la thèse

The problem of the characterization of the class of logical constants is one of the major issues in the philosophy of logic. The definition of the notion of logical consequence, in particular, depends on the delimitation of the boundary between logical and non-logical expressions. On the standard semantic approach to this problem, logical operations are characterized as operations which are invariant under permutation. The aim of this work is to assess the conceptual grounds of this thesis and the objections which have been raised in the literature. On the basis of a revision of the justifications of the thesis, we defend an alternative characterization of logical constants in terms of invariance under potential isomorphism. This new thesis is meant to account for the generality of logic and its lack of empirical and, in some sense to be made precise, of mathematical content.

Jury

  • Johan van Benthem, Professor of Logic and its Applications, , University of Amsterdam, Professor of Philosophy, University of Stanford, USA.
  • Jacques Dubucs. (Directeur)
  • Gerhard Heinzmann, Professor, University of Nancy, Head of Archives Poincaré, Nancy, France.
  • Gabriel Sandu, Senior Researcher, CNRS, IHPST, France.
  • Gila Sher, Professor of Philosophy, University of California, San Diego, USA.
  • Dag Westerstahl, Professor, Department of Philosophy, University of Göteborg, Sweden.

Et, dans le comité de lecture:

  • Solomon Feferman, Patrick Suppes Familly Professor of Humanities and Sciences, Em. Professor of Mathematics and of Philosophy, Em. Professor, Stanford University, USA.