Nature et logique, de G. Gentzen à J-Y. Girard - HAL Accéder directement au contenu
Pré-publication, Document de travail Année : 2014

Nature et logique, de G. Gentzen à J-Y. Girard

Résumé

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.
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.
Fichier principal
Vignette du fichier
GentzenGirard.pdf ( 158.78 Ko ) Télécharger
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

halshs-00528945, version 1 (23-10-2010)

Identifiants

  • HAL Id : halshs-00528945 , version 1

Citer

Jean-Baptiste Joinet. Nature et logique, de G. Gentzen à J-Y. Girard. 2014. ⟨halshs-00528945⟩
224 Consultations
785 Téléchargements
Dernière date de mise à jour le 20/04/2024
comment ces indicateurs sont-ils produits

Partager

Gmail Facebook Twitter LinkedIn Plus