Abstract

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. © 2018 Elsevier B.V., All rights reserved.