this issue
previous article in this issuenext 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.

Download article


3.92.28.52.