La logique, science recherchée
Halimi, Brice
La logique, science recherchée - 2020.
42
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é. A theory of science which would support a “comprehensive study of forms” is Cavaillès’ ἐπιστήμη ζητοῦμένη: Cavaillès cannot find it neither in the Kantian analytic, nor in Bolzano’s Wissenschaftslehre ; not in Frege, Carnap or Tarski; and neither in proof theory nor in Husserl’s mathesis . This paper claims that Cavaillès would have found this sought-after science, or at least drawn closer to it, had he lent more attention to another figure of logic: that of Russell and of his heir Wittgenstein. The analysis of the notion of form itself, were it to designate a symbolic complex, a mathematical structure or the schematic support of a proof, would have benefited from that consideration.
La logique, science recherchée - 2020.
42
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é. A theory of science which would support a “comprehensive study of forms” is Cavaillès’ ἐπιστήμη ζητοῦμένη: Cavaillès cannot find it neither in the Kantian analytic, nor in Bolzano’s Wissenschaftslehre ; not in Frege, Carnap or Tarski; and neither in proof theory nor in Husserl’s mathesis . This paper claims that Cavaillès would have found this sought-after science, or at least drawn closer to it, had he lent more attention to another figure of logic: that of Russell and of his heir Wittgenstein. The analysis of the notion of form itself, were it to designate a symbolic complex, a mathematical structure or the schematic support of a proof, would have benefited from that consideration.
Réseaux sociaux