000			02036cam a2200169 4500500
005			20250125172857.0
041			_afre
042			_adc
100	1	0	_aHalimi, Brice _eauthor
245	0	0	_aLa logique, science recherchée
260			_c2020.
500			_a42
520			_aUne 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é.
520			_aA 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.
786	0		_nRevue de métaphysique et de morale | 106 | 2 | 2020-04-27 | p. 145-164 | 0035-1571
856	4	1	_uhttps://shs.cairn.info/revue-de-metaphysique-et-de-morale-2020-2-page-145?lang=fr&redirect-ssocas=7080
999			_c1032449 _d1032449