 previous article in this issue | next article in this issue  |
|
Document Details : Title: Nature et logique de G. Gentzen à J.-Y. Girard Author(s): JOINET, Jean-Baptiste Journal: Logique et Analyse Volume: 234 Date: 2016 Pages: 157-171 DOI: 10.2143/LEA.234.0.3159739 Abstract : La conception de la logique de J.-Y. Girard s’enracine dans la critique de la naturalité logique opérée par G. Gentzen dans les années 1930. Récemment, Girard a radicalisé cette critique et proposé une entreprise de refondation de la logique comme produit d’une théorie générale de l’interaction. La présente étude vise à montrer que cette entreprise va dans le sens d’une réunification de l’idée de logique naturelle et de celle de logique de la nature, via la notion de calcul. J.-Y. Girard’s conception of logic originates in the critique of logical naturality made by G. Gentzen around 1930. Recently, Girard radicalized this critique and proposed a program for new foundations for logic, as a product of a general theory of interaction. The present paper is an attempt to show that this program tends to reunify the idea of natural logic and the idea of a logic of nature, via the notion of computation. |
 |
