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...
Đã lưu trong:
| Tác giả chính: | |
|---|---|
| Định dạng: | Article ou chapitre numérique |
| Ngôn ngữ: | Français |
| Được phát hành: |
2020
|
| Truy cập trực tuyến: | Accès Université d'Orléans et IFPM Accès Université d'Orléans et IFPM |
| Tóm tắt: | 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é. |
|---|