Normativity in Logic - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2012

Normativity in Logic

Résumé

Incompleteness—the absence of alternative natural numbers—can be ascribed to a ready-made normativity, inducing a rigid departure syntax/semantics. Geometry of Interaction, set in the non-commutative universe of von Neumann algebras, makes normative assumptions explicit, thus rending possible their internalisation, a possible way out from the semantic aporia. As an illustration, we define an alternative “model”: logspace integers.
Fichier non déposé

Dates et versions

hal-01322193 , version 1 (26-05-2016)

Identifiants

Citer

Jean-Yves Girard. Normativity in Logic. Epistemology versus Ontology (Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf), 27, Springer Netherlands, pp.243-263, 2012, Logic, Epistemology, and the Unity of Science, 978-94-007-4434-9. ⟨10.1007/978-94-007-4435-6_12⟩. ⟨hal-01322193⟩
84 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More