scispace - formally typeset
Open AccessJournal ArticleDOI

The Logos Categorical Approach to Quantum Mechanics: I. Kochen-Specker Contextuality and Global Intensive Valuations

Reads0
Chats0
TLDR
In this article, the authors present a new categorical approach which attempts to provide an original understanding of QM by considering the main features of the quantum formalism as the standpoint to develop a conceptual representation that explains what the theory is really talking about.
Abstract
In this paper we present a new categorical approach which attempts to provide an original understanding of QM. Our logos categorical approach attempts to consider the main features of the quantum formalism as the standpoint to develop a conceptual representation that explains what the theory is really talking about --rather than as problems that need to be bypassed in order to allow a restoration of a classical "common sense" understanding of what there is. In particular, we discuss a solution to Kochen-Specker contextuality through the generalization of the meaning of global valuation. This idea has been already addressed by the so called topos approach to QM --originally proposed by Isham, Butterfield and Doring-- in terms of sieve-valued valuations. The logos approach to QM presents a different solution in terms of the notion of intensive valuation. This new solution stresses an ontological (rather than epistemic) reading of the quantum formalism and the need to restore an objective (rather than classical) conceptual representation and understanding of quantum physical reality.

read more

Citations
More filters
Posted Content

Unscrambling the Omelette of Quantum Contextuality (PART 1): Preexistent Properties or Measurement Outcomes?

TL;DR: In this paper, the authors argue that there exists a general confusion within the foundational literature arising from the improper scrambling of two different meanings of quantum contextuality: epistemic interpretation of contextuality and purely formal interpretation.

A translation of schr6dinger's "cat paradox" paper

TL;DR: In this paper, a translation of Schr6dinger's three-part 1935 paper in Die Naturzkissenschaften is presented, with a focus on the logical and physical content of the original, while at the same time trying to convey something of its semi-conversational, at times slightly sardonic flavor.
Journal ArticleDOI

The Logos Categorical Approach to Quantum Mechanics: II. Quantum Superpositions and Intensive Values

TL;DR: This paper argues that the logos categorical approach allows not only to better visualize the structural features of quantum superpositions providing an anschaulich content to all terms, but also to restore an objective representation of what QM is really talking about.
Posted Content

The (Quantum) Measurement Problem in Classical Mechanics

TL;DR: In this article, the authors analyze the deep link between the 20th Century positivist re-foundation of physics and the famous measurement problem of quantum mechanics, and show how through these same set of presuppositions it is easy to derive a completely analogous paradox for the case of classical mechanics.
References
More filters
Posted Content

A topos perspective on the Kochen-Specker theorem: I. Quantum States as Generalized Valuations

TL;DR: In this paper, the authors show that the Kochen-Specker theorem is equivalent to the statement that a certain presheaf defined on the category of self-adjoint operators has no global elements.
Book ChapterDOI

`What is a Thing?': Topos Theory in the Foundations of Physics

TL;DR: In this paper, it was shown that constructing a theory of physics is equivalent to finding a representation in a topos of a certain formal language that is attached to the system. But the problem of quantum topos is different from that of quantum quantum physics.
Journal ArticleDOI

A topos foundation for theories of physics: I. Formal languages for physics

TL;DR: In this article, the authors argue that constructing a theory of physics is equivalent to finding a representation in a topos of a certain formal language that is attached to the system, and that quantum physics arises when the topos is the category of sets.
Journal ArticleDOI

A Topos Foundation for Theories of Physics: I. Formal Languages for Physics

TL;DR: In this article, it is shown that constructing a theory of physics is equivalent to finding a representation in a topos of a certain formal language that is attached to the system. But the main thrust of the main focus of this paper is on the more powerful language L(S) and its representation in an appropriate topos.
Journal ArticleDOI

Topos theory and consistent histories: The Internal logic of the set of all consistent sets

TL;DR: In this paper, it is shown that a natural way of handling this situation is to employ the theory of varying sets (presheafs) on the spaceB of all nontrivial Boolean subalgebras of the orthoalgebraUP of history propositions.