nLab
transcendental syntax

Contents

Contents

Idea

“Transcendental syntax” (Girard 13) is the name of a proposal (or maybe a pamphlete) by Jean-Yves Girard which means to rethink fundamental aspects of formal logic, of syntax/semantics. According to Girard, linear logic and Geometry of Interaction are but exercises in transcendental syntax (Girard 13b).

While Girard’s prose is notoriously demanding, exegesis may be found in (Abrusci-Pistone 12, Rouleau 13).

Girard describes four levels of semantics: alethic, functional, interactive, and deontic. They descend into the depths of meaning, and thus are numbered from -1 to -4. The negatively first, alethic, is the layer of truth or models. The negatively second, functional, is the layer of functions or categories. The negatively third, interaction, is the layer of games or game semantics. The negatively fourth, deontic, is the layer of normativity or formatting. (Equivalent eXchange)

References

Last revised on May 26, 2019 at 23:52:04. See the history of this page for a list of all contributions to it.