Hostname: page-component-669899f699-tzmfd Total loading time: 0 Render date: 2025-04-26T00:19:39.880Z 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: [email protected]
Get access Rights & Permissions [Opens in a new window]

Abstract

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.

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

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Article purchase

Temporarily unavailable

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