Catégories logiques et paradoxes : recherches à partir de Frege, Russell et Tarski

Les recherches qui composent cette thèse, menées à partir de Frege, Russell et Tarski, sont consacrées à la notion de catégorie logique en relation avec le problème des paradoxes. Leurs titres suggèrent l'unité organique du tout qu'elles constituent. La première recherche porte sur les paradoxes de la représentation (à partir de Frege) ; la seconde, sur la résolution commune des paradoxes logiques ou sémantiques par la théorie des types ramifiée (à partir de Russell) ; la troisième, sur la résolution séparée des paradoxes logiques par la théorie des types simple ou par la théorie des ensembles et des paradoxes sémantiques par la distinction des niveaux de langage (à partir de Tarski). La visée ultime de cette thèse est la résolution simultanée des paradoxes logiques et sémantiques, bien qu'elle ne la produise pas.