000			02088cam a2200169 4500500
005			20250121133003.0
041			_afre
042			_adc
100	1	0	_aHalimi, Brice _eauthor
245	0	0	_aLogic, Cavaillès’s sought-after science
260			_c2020.
500			_a48
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 avail 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			_aCavaillès’s ἐπιστήμη ζητοῦμένη (Aristotle’s “sought-after science”) is a theory of science that would make possible a “systematic study of forms.” It is to be found neither in the Kantian analytic nor in Bolzano’s Wissenschaftslehre; nor in Frege, Carnap, or Tarski; nor in proof theory, nor in Husserl’s mathesis. This article claims that Cavaillès could have found this sought-after science, or at least drawn closer to it, had he paid more attention to another figure of logic: that found in the work of Russell and his heir Wittgenstein. This would also have been of benefit in the analysis of the concept of form itself, whether it designates a symbolic complex, a mathematical structure, or the schema of a proof.
786	0		_nRevue de métaphysique et de morale | o 106 | 2 | 2020-04-27 | p. 145-164 | 0035-1571
856	4	1	_uhttps://shs.cairn.info/journal-revue-de-metaphysique-et-de-morale-2020-2-page-145?lang=en&redirect-ssocas=7080
999			_c573277 _d573277