| Titre | Qu'est-ce que l'inférence ? Une relecture du Tractatus logico-philosophicus | |
|---|---|---|
| Auteur | Mathieu Marion | |
 |
Revue | Archives de philosophie |
| Numéro | tome 64, no 3, juillet 2001 Numéro spécial : Wittgenstein (1889-1951) | |
| Page | 545-567 | |
| Résumé |
En logique mathématique, on doit distinguer entre une conception
« axiomatique »de la logique, qui fut celle de Frege, Russell et Hilbert, et une
conception plus « pragmatique »en termes d'actes de preuves, que l'on retrouve
dans les systèmes de déduction naturelle de Gentzen. Des parallèles sont
esquissés entre la conception de l'inférence et de la logique dans le Tractatus
Logico-philosophicus de Wittgenstein et celle de Gentzen. Ce cadre permet en
outre de jeter un regard neuf sur l'argument de Wittgenstein sur « suivre une
règle ». Source : Éditeur (via Cairn.info) |
|
| Article en ligne | http://www.cairn.info/article.php?ID_ARTICLE=APHI_643_0545 |
