Notre objectif est d'élucider ce que sont la théorie de la science et la logique dans l'ouvrage posthume de Jean Cavaillès (1903-1944) Sur la logique et la théorie de la science paru en 1947, pour saisir la signification de la « philosophie du concept à proposée » la fin de cet ouvrage.
D'abord, pour cette élucidation, nous examinons un grand ouvrage de Bernard Bolzano Théorie de la science paru en 1837, sur lequel s'appuie Cavaillès. Dans ce livre, d'une part, Bolzano fonde son épistémologie sur deux notions : premièrement, on entend par « proposition en soi » un sens indépendant de l'esprit ainsi que du monde extérieur ; deuxièmement, la « vérité en soi » est une proposition vraie en soi (sens qui énonce les choses comme elles sont), et l'enchaînement entre les vérités en soi constitue la connexion objective des vérités. D'autre part, il y développe sa conception de la théorie de la science : la logique bolzanienne doit s'achever dans la théorie de la science qui donne les règles permettant de diviser toutes les vérités en soi en sciences particulières.
Puis, nous passons à l'étude de l'ouvrage posthume de Cavaillès. Ce dernier hérite des conceptions de Bolzano de la façon suivante : d'un côté, il affirme l'enchaînement interne de sens dans le développement de la science tout en écartant le platonisme bolzanien ; de l'autre, pour lui, la théorie de la science est une logique qui analyse le devenir ou la création de la science en dégageant cet enchaînement.
Enfin, en nous rappelant que la structure de cet ouvrage posthume semble décalquer celle de Logique formelle et logique transcendantale d'Edmund Husserl, nous déterminons la philosophie du concept comme une théorie dernière de la science qui garantit la logique propre à Cavaillès de manière anti-fondationnaliste.