A partir de son "tournant mathématique", la logique se convertit en une théorie des fondements des mathématiques, une théorie de la vérité et des preuves - loin de son statut philosophique de theorie du processus intellectuel de raisonnement. Avec le remplacement récent du paradigme traditionnel des preuves-comme-discours par celui des preuves-comme-programes, la Logique est à présent devenue une théorie des fondements du calcul. On peut voir dans ce nouveau tournant comme un glissement supplémentaire qui conduirait la logique toujours plus près de l'ingénierie appliquée, toujours plus loin de son statut historique de théorie des processus de raisonnement. Cet article défend le point de vue dual: sous la lumière des analyses contemporaines de la dynamique des preuves, qui conduisent à une compréhension originale de la contrepartie sémantique de l'opérationalité des processus (y compris les liens entre déreliction sémantique due à l'incohérence et exubérance calculatoire), la logique n'a finalement jamais semblé aussi proche de devenir la théorie du raisonnement.
Publié le : 2001-07-05
Classification:
Logic,
Philosophy,
Reasoning,
Computation,
Process,
Logique,
Philosophie,
Raisonnement,
Preuves,
Calcul,
Processus,
[SHS.HISPHILSO]Humanities and Social Sciences/History, Philosophy and Sociology of Sciences,
[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO],
[MATH.MATH-LO]Mathematics [math]/Logic [math.LO],
[SHS.PHIL]Humanities and Social Sciences/Philosophy
@article{halshs-00528946,
author = {Joinet, Jean-Baptiste},
title = {Proofs, Reasoning and the Metamorphosis of Logic},
journal = {HAL},
volume = {2001},
number = {0},
year = {2001},
language = {en},
url = {http://dml.mathdoc.fr/item/halshs-00528946}
}
Joinet, Jean-Baptiste. Proofs, Reasoning and the Metamorphosis of Logic. HAL, Tome 2001 (2001) no. 0, . http://gdmltest.u-ga.fr/item/halshs-00528946/