Une théorie de la science qui permette une « étude systématique des formes » est l’ἐπιστήμη ζητοῦμένη de Cavaillès : ce dernier ne la trouve ni dans l’analytique kantienne, ni dans la théorie de la science de Bolzano ; pas plus que chez Frege, Carnap ou Tarski ; et ni dans la théorie de la démonstration, ni dans la mathesis husserlienne. Cet article défend l’idée qu’il aurait pu la trouver, ou du moins s’en approcher, s’il avait accordé davantage d’attention à (...) une figure de la logique qu’il a délaissée : celle qu’incarnent Russell et son héritier Wittgenstein. L’analyse de la notion même de forme, que celle-ci désigne un complexe symbolique, une structure mathématique ou un schéma démonstratif, y aurait également gagné. (shrink)