arXiv:1306.3076

Some Remarks on the Logic of Quantum Gravity

Andreas Doering

Published Jun 13, 2013• 4 citations

Abstract

We discuss some conceptual issues that any approach to quantum gravity has to confront. In particular, it is argued that one has to find a theory that can be interpreted in a realist manner, because theories with an instrumentalist interpretation are problematic for several well-known reasons. Since the Hilbert space formalism almost inevitably forces an instrumentalist interpretation on us, we suggest that a theory of quantum gravity should not be based on the Hilbert space formalism. We briefly sketch the topos approach, which makes use of the internal logic of a topos associated with a quantum system and comes with a natural (neo-)realist interpretation. Finally, we make some remarks on the relation between system logic and metalogic.

DOI: 10.48550/arxiv.1306.3076

Related papers

Topos Theoretic Quantum Realism

Benjamin Eva

Topos quantum theory (TQT) is standardly portrayed as a kind of ‘neo-realist’ reformulation of quantum mechanics.1 In this article, I study the extent to which TQT can really be characterized as a realist formulation of the theory, and examine the question of whether the kind of realism that is provided by TQT satisfies the philosophical motivations that are usually associated with the search for a realist reformulation of quantum theory. Specifically, I show that the notion of the quantum state is problematic for those who view TQT as a realist reformulation of quantum theory. 1. Introduction2. Topos Quantum Theory 2.1. Phase space2.2. Hilbert space2.3. Beyond Hilbert space2.4. Defining realism2.5. The spectral presheaf2.6. The logic of topos quantum theory3. Interpreting States in Topos Quantum Theory4. Interpreting Truth Values and Clopen Subobjects in Topos Quantum Theory 4.1. Interpreting the truth values4.2. Interpreting Subcl(Σ̲)5. Neo-realism 5.1. The covariant approach6. Conclusion

The British Journal for the Philosophy of ScienceApr 15, 201610 citations

An Introduction to Topos Physics

Marios C. Tsatsos

The basic notion of how topoi can be utilized in physics is presented here. Topos and category theory serve as valuable tools which extend our ordinary set-theoretical conceptions, can further the study of quantum logic and give rise to new and 'neo-realistic' descriptions of quantum physics, i.e. make possible the construction of a general scheme for quantum physics, which 'looks like' the classical one. A novel way of writing theories of physics, by representing a formal language of a physical system, into an appropriate topos, is analyzed here. This novel approach is initiated by C.J. Isham and A. Doering and the major part of this paper comes from there; however there has been an effort in simplifying the basic ideas and do this work accessible to 'less experts' of the field. A minor, but not less important, part of this paper is devoted to resuming, in a concise way the background knowledge of logic, quantum logic and category theory, that is necessary for anyone who wishes to follow the whole topos approach.

arXiv:0803.2361Mar 16, 20080 citations

Review of the topos approach to quantum theory

Cecilia Flori

Topos theory has been suggested by Döring and Isham as an alternative mathematical structure with which to formulate, in general, physical theories. However, the motivation for using it to express quantum theory, lies in the desire to solve certain interpretational problems inherent in the standard formulation of the theory. In fact, the topos approach to quantum theory overcomes the instrumentalist–Copenhagen interpretation, rendering the theory more realist. The caveat is that one ends up with a multivalued–intuitionistic logic, rather than a Boolean logic.

arXiv:1106.5660Canadian Journal of PhysicsMar 13, 20139 citations

Topos Theory and ‘Neo-Realist’ Quantum Theory

Andreas Döring

Topos theory, a branch of category theory, has been proposed as mathematical basis for the formulation of physical theories. In this article, we give a brief introduction to this approach, emphasizing the logical aspects. Each topos serves as a ‘mathematical universe’ with an internal logic, which is used to assign truth-values to all propositions about a physical system. We show in detail how this works for (algebraic) quantum theory.

arXiv:0712.4003Birkhäuser Basel eBooksJan 1, 200929 citations

Topos Quantum Logic and Mixed States

Andreas Döring

The topos approach to the formulation of physical theories includes a new form of quantum logic. We present this topos quantum logic, including some new results, and compare it to standard quantum logic, all with an eye to conceptual issues. In particular, we show that topos quantum logic is distributive, multi-valued, contextual and intuitionistic. It incorporates superposition without being based on linear structures, has a built-in form of coarse-graining which automatically avoids interpretational problems usually associated with the conjunction of propositions about incompatible physical quantities, and provides a material implication that is lacking from standard quantum logic. Importantly, topos quantum logic comes with a clear geometrical underpinning. The representation of pure states and truth-value assignments are discussed. It is briefly shown how mixed states fit into this approach.

Electronic Notes in Theoretical Computer ScienceFeb 1, 201123 citations

ONTOLOGY OF LOOPED QUANTUM GRAVITY. HINGES

В.Д. Эрекаев

Some ontological aspects of the theory of loop quantum gravity are considered. First of all, its possible nature of one of the fundamental objects of theory - the quantum loop - is discussed. In particular, the possible material, geometric and instrumentalist interpretations of this object are briefly considered.

MetafizikaDec 15, 20210 citations