Hostname: page-component-74656f9884-npj9w Total loading time: 0 Render date: 2026-11-08T09:08:21.254Z Has data issue: false hasContentIssue false
  • English
  • Français

Truth, modality and intersubjectivity

Published online by Cambridge University Press:  01 December 2007

JEAN-YVES GIRARD
JEAN-YVES GIRARD*
Affiliation:
Institut de Mathématiques de Luminy, UPR 9016 – CNRS, 163, Avenue de Luminy, Case 930, F-13288 Marseille Cedex 09France Email: girard@iml.univ-mrs.fr
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the 'Save PDF' action button.

Quantum physics, together with the experimental (and slightly controversial) quantum computing, induces a twist in our vision of computation, and hence, since computing and logic are intimately linked, in our approach to logic and foundations. In this paper, we discuss the most mistreated notion of logic, truth.

Information

Type
Paper
Information
Mathematical Structures in Computer Science , Volume 17 , Issue 6 , December 2007 , pp. 1153 - 1167
Copyright
Copyright © Cambridge University Press 2007

References

Connes, A.Non-commutative geometry, Academic Press.Google Scholar
Girard, J.-Y. (1989) Geometry of interaction I: interpretation of system F. In: Ferro, R., Bonotto, C., Valentini, S. and Zanardo, A. (eds.) Logic Colloquium '88, North-Holland221–260.Google Scholar
Girard, J.-Y. (2004) Between logic and quantic: a tract. In: Ehrhard, T., Girard, J.-Y., Ruet, P. and Scott, P. (eds.) Linear Logic in Computer Science, Cambridge University Press 346–381.CrossRefGoogle Scholar
Girard, J.-Y. (2006) Le point aveugle, tome 1: vers la perfection, Visions des Sciences, Hermann.Google Scholar
Girard, J.-Y. (2006) Geometry of interaction IV: the feedback equation. In: Stoltenberg-Hansen, V. and Väänänen, J. (eds.) Logic Colloquium '03, Association for Symbolic Logic 76–117.CrossRefGoogle Scholar
Girard, J.-Y. (2007) Le point aveugle, tome 2: vers l'imperfection, Visions des Sciences, Hermann.Google Scholar