93

Una teoría de la ciencia que permite un «estudio sistemático de las formas» es la ἐπιστήμη ζητοῦμένη de Cavaillès: este último no lo encuentra ni en la analítica kantiana ni en la teoría de la ciencia de Bolzano; ni en Frege, Carnap o Tarski; ni en la teoría de la demostración ni en la mathesis husserliana. Este artículo argumenta que podría haberlo encontrado, o al menos acercarse a él, si hubiera prestado más atención a una figura de la lógica que ha descuidado: la encarnada por Russell y su heredero Wittgenstein. El análisis de la noción misma de forma, ya sea que designe un complejo simbólico, una estructura matemática o un esquema demostrativo, también habría ganado con ello.