Qu'est-ce que l'inférence ? Une relecture du Tractatus logico-philosophicus
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...
Tallennettuna:
| Päätekijä: | |
|---|---|
| Aineistotyyppi: | Article ou chapitre numérique |
| Kieli: | Français |
| Julkaistu: |
2001
|
| Aiheet: | |
| Linkit: | Accès Université d'Orléans et IFPM Accès Université d'Orléans et IFPM |