Book | Chapter
(2012) Epistemology versus ontology, Dordrecht, Springer.
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.
Publication details
DOI: 10.1007/978-94-007-4435-6_12
Full citation:
Girard, J. (2012)., Normativity in logic, in P. Dybjer, S. Lindström, E. Palmgren & G. Sundholm (eds.), Epistemology versus ontology, Dordrecht, Springer, pp. 243-263.
This document is unfortunately not available for download at the moment.