Transcendental syntax I: deterministic case - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Mathematical Structures in Computer Science Année : 2017

Transcendental syntax I: deterministic case

Résumé

We study logic in the light of the Kantian distinction between analytic (untyped, meaningless, locative) answers and synthetic (typed, meaningful, spiritual) questions. Which is specially relevant to proof-theory: in a proof-net, the upper part is locative, whereas the lower part is spiritual: a posteriori (explicit) as far as correctness is concerned, a priori (implicit) for questions dealing with consequence, typically cut-elimination. The divides locative/spiritual and explicit/implicit give rise to four blocks which are enough to explain the whole logical activity.
Fichier non déposé

Dates et versions

hal-01322327 , version 1 (27-05-2016)

Identifiants

Citer

Jean-Yves Girard. Transcendental syntax I: deterministic case. Mathematical Structures in Computer Science, 2017, 27 (5), pp.827 - 849. ⟨10.1017/S0960129515000407⟩. ⟨hal-01322327⟩
85 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More