The logic of causally closed spacetime subsets

  title={The logic of causally closed spacetime subsets},
  author={Horacio Casini},
  journal={Classical and Quantum Gravity},
  • H. Casini
  • Published 3 May 2002
  • Mathematics, Philosophy
  • Classical and Quantum Gravity
The causal structure of spacetime offers a natural notion of an opposite or orthogonal in the logical sense, where the opposite of a set is formed by all points non-timelike related with it. We show that for a general spacetime the algebra of subsets that arises from this negation operation is a complete orthomodular lattice, and thus has several of the properties characterizing the algebra of physical propositions in quantum mechanics. We think this lattice could be used to investigate the… 

Figures from this paper

A geometrical origin for the covariant entropy bound
Causal diamond-shaped subsets of spacetime are naturally associated with operator algebras in quantum field theory, and they are also related to the Bousso covariant entropy bound. In this work we
Algebraic and Geometric Structures in Special Relativity
I review, some of the algebraic and geometric structures that underlie the theory of Special Relativity. This includes a discussion of relativity as a symmetry principle, derivations of the Lorentz
Dirac and Weyl Fermions - the Only Causal Systems
Causal systems describe the localizability of relativistic quantum systems complying with the principles of special relativity and elementary causality. At their classification we restrict ourselves
On completeness and generalized symmetries in quantum field theory
We review a notion of completeness in QFT arising from the analysis of basic properties of the set of operator algebras attached to regions. In words, this completeness asserts that the physical
Observables III: Classical Observables
In the second part of our work on observables we have shown that quantum observables in the sense of von Neumann, i.e.bounded selfadjoint operators in some von Neumann subalgebra $R$ of $L(H)$, can
Between quantum logic and concurrency
A logical language whose formulas are interpreted over closed sets of a causal net, where every line induces an assignment of truth values to formulas is delineated; the resulting logic is non-classical; it is shown that maximal antichains in a causalNet are associated to Boolean substructures of the overall quantum logic.
Fibred contextual quantum physics
A contextual quantum mechanics via the geometric mathematics to propose a quantum contextuality adaptable in every topos, corresponding to the belief that the quantum world must only be seen from the classical viewpoints a la Bohr.
Lorentzian causality theory
I review Lorentzian causality theory paying particular attention to the optimality and generality of the presented results. I include complete proofs of some foundational results that are otherwise
1 1 1 Se p 20 05 Observables I : Stone Spectra
In this work we discuss the notion of observable both quantum and classical from a new point of view. In classical mechanics, an observable is represented as a function (measurable, continuous or


Space-time as a causal set.
We propose that space-time at the smallest scales is in reality a causal set: a locally finite set of elements endowed with a partial order corresponding to the macroscopic relation that defines past
Quantum logic and the histories approach to quantum theory
An extensive analysis is made of the Gell‐Mann and Hartle axioms for a generalized ‘histories’ approach to quantum theory. Emphasis is placed on finding analogs of the lattice structure employed in
Algebraic Quantum Field Theory: A Status Report
In this contribution a non-technical survey is given with emphasis on interesting recent developments and future perspectives on the relation between the algebraic approach and conventional quantum field theory, its significance for the resolution of conceptual problems (such as the revision of the particle concept).
The Large Scale Structure of Space-Time
The theory of the causal structure of a general space-time is developed, and is used to study black holes and to prove a number of theorems establishing the inevitability of singualarities under certain conditions.
On the structure of causal spaces
The paper examines the structure obtained by abstracting from the conventional (manifold) representation of relativistic space-time the concept of an event-set equipped with two partial orderings,
Causal logic of Minkowski space
It is shown that double-orthogonal sets (diamonds) in Minkowski space form an orthomodular complete lattice. Connection with empirical logic of Randall and Foulis is discussed.
Some Possible Roles for Topos Theory in Quantum Theory and Quantum Gravity
We discuss some ways in which topos theory (a branch of category theory) can be applied to interpretative problems in quantum theory and quantum gravity. In Sec.1, we introduce these problems. In
General Relativity; an Einstein Centenary Survey
List of contributors Preface 1. An introductory survey S. W. Hawking and W. Israel 2. The confrontation between gravitation theory and experiment C. M. Will 3. Gravitational-radiation experiments D.
Logic of Quantum Mechanics
“When we go far in the direction of the very small, quantum theory says that our forms of thought fail, so that it is questionable whether we can properly think at all”. These words of Bridgman