Recherche

Thèse


J’ai effectué mon doctorat sous la codirection de Pierre LIVET (philosophe) et Jean-Yves GIRARD (mathématicien).

Pour ce travail, l’Institut de Mathématiques de Luminy a assuré mon accueil physique, et le Département de Philosophie de l’Université Aix-Marseille a financé mon allocation.

La soutenance a eu lieu en 2006 devant un jury composé de Michele ABRUSCI (philosophe, logicien), Gabriella CROCCO (philosophe), Jean-Yves GIRARD (mathématicien, logicien), Pierre LIVET (philosophe) et Frédéric NEF (philosophe).

J’ai obtenu la mention "très honorable, avec félicitations du jury". Une version révisée de ma thèse sera prochainement publiée aux Presses Universitaires (courant 2008).

Ma thèse de doctorat est une étude philosophique de la géométrie des démonstrations et de la théorie de l’interaction logique. Plus précisément ce travail était consacré à l’élaboration d’une phénoménologie des structures et des dynamiques dont la logique mathématique fait la description formelle. Mon but était d’évaluer le pouvoir expressif des théories récentes, en les remettant notamment dans le contexte épistémologique de leur développement. La finalité était de rendre envisageable la production de modèles conceptuels utiles aux sciences humaines. J’ai ainsi identifié plusieurs modèles de représentation qui m’ont amené à concevoir une approche différentielle et intégrée de la signification et de la formalisation. Ces modèles pourraient permettre de clarifier certaines conceptions et d’adapter des formalismes puissants grà¢ce à une analyse en termes de processus cognitifs et d’interactions.

Samuel Tronçon - 2014