La logique, science recherchée
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émonstr...
Kaydedildi:
| Yazar: | |
|---|---|
| Materyal Türü: | Article ou chapitre numérique |
| Dil: | Français |
| Baskı/Yayın Bilgisi: |
2020
|
| Online Erişim: | Accès Université d'Orléans et IFPM Accès Université d'Orléans et IFPM |
| id |
cairn-RMM_202_0145 |
|---|---|
| record_format |
cairn |
| spelling |
cairn-RMM_202_0145RMMRevue de métaphysique et de morale https://shs.cairn.info/revue-de-metaphysique-et-de-morale-2020-2-page-145?lang=fr https://doi.org/10.3917/rmm.202.0145 La logique, science recherchée Halimi, Brice2020 fre Revue de métaphysique et de morale | 106 | 2 | 2020-04-27 | p. 145-164 | 0035-1571 RMM_20211 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.Cairn free access |
| language |
Français |
| format |
Article ou chapitre numérique |
| building |
0/Bibliothèque numérique/ 1/Bibliothèque numérique/Cairn/ |
| description |
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é. |
| author |
Halimi, Brice |
| spellingShingle |
Halimi, Brice La logique, science recherchée |
| author_facet |
Halimi, Brice |
| author_sort |
Halimi, Brice |
| title |
La logique, science recherchée |
| title_short |
La logique, science recherchée |
| title_full |
La logique, science recherchée |
| title_fullStr |
La logique, science recherchée |
| title_full_unstemmed |
La logique, science recherchée |
| title_sort |
la logique, science recherchée |
| publishDate |
2020 |
| container_title |
|
| container_issue |
|
| url |
https://ezproxy.univ-orleans.fr/login?url=https://shs.cairn.info/revue-de-metaphysique-et-de-morale-2020-2-page-145?lang=fr https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.3917/rmm.202.0145 |
| _version_ |
1877284627039649792 |