Sur la logique et la théorie de la science

C'est en prison que le résistant-philosophe Jean Cavaillès composa son dernier ouvrage Sur la logique et la théorie de la science qui achève une carrière consacrée essentiellement à la philosophie des mathématiques. Après ses deux thèses, Remarques sur la formation de la théorie abstraite des ensembles et Méthode axiomatique et formalisme (1938), où il étudie les problèmes des mathématiques et de la logique au XIXe et XXe siècles, il aborde le problème de la théorie de la science. Cavaillès dessine les lignes directrices de sa théorie en confrontation avec quatre grandes théories de la science : celle de Kant, de Bolzano, de Carnap et de Husserl. Son écrit n'est ni une étude historique de l'évolution de la science ni une description de son état actuel : Cavaillès y définit les conditions de la formation des structures conceptuelles qui font l'ossature de la science. Les thèmes suivants en commandent l'exécution : le caractère normatif des règles qui gouvernent la logique, le rôle décisif de la démonstration, l'autonomie de la science, son rapport nécessaire à l'objet, son insertion dans l'histoire.