Related papers: Quantum Logic and Meaning
The common-sense view of reality is expressed logically in Boolean subset logic (each element is either definitely in or not in a subset, i.e., either definitely has or does not have a property). But quantum mechanics does not agree with…
A physical picture for Quantum Mechanics which permits to conciliate it with the usual common sense is proposed. The picture agrees with the canonical Copenhagen interpretation making more clear its statements.
While its applications have made quantum theory arguably the most successful theory in physics, its interpretation continues to be the subject of lively debate within the community of physicists and philosophers concerned with conceptual…
It is argued that the orthodox interpretation of quantum mechanics is in conflict with the objective existence of space-time, and suggested that kets are labels which name real states of matter but do not directly describe them. Position is…
With a view towards models of quantum computation and/or the interpretation of linear logic, we define a functional language where all functions are linear operators by construction. A small step operational semantic (and hence an…
Quantum theory can be understood as pointing to an ontology of relations. I observe that this reading of quantum mechanics is supported by the ubiquity of relationality in contemporary fundamental physics, including in classical mechanics,…
We discuss the hypothesis that the debate about the interpretation of the orthodox formalism of quantum mechanics (QM) might have been misguided right from the start by a biased metaphysical interpretation of the formalism and its inner…
Hilary Putnam (1965, 2005) has argued that from a realist perspective, quantum mechanics stands in need of an interpretation. Ironically, this hypothesis may appear vulnerable against arguments drawing on Putnam's own work. Nancy Cartwright…
The interpretation of quantum mechanics has been a problem since its founding days. A large contribution to the discussion of possible interpretations of quantum mechanics is given by the so-called impossibility proofs for hidden variable…
We introduce a quantitative relational Hoare logic for quantum programs. Assertions of the logic range over a new infinitary extension of positive semidefinite operators. We prove that our logic is sound, and complete for bounded…
Full formal descriptions of algorithms making use of quantum principles must take into account both quantum and classical computing components, as well as communications between these components. Moreover, to model concurrent and…
We search for a possible mathematical formulation of some of the key ideas of the relational interpretation of quantum mechanics and study their consequences. We also briefly overview some proposals of relational quantum mechanics for an…
The investigation of quantum-classical correspondence may lead to gain a deeper understanding of the classical limit of quantum theory. We develop a quantum formalism on the basis of a linear-invariant theorem, which gives an exact…
Quantum information and computation may serve as a source of useful axioms and ideas for the quantum logic/quantum structures project of characterizing and classifying types of physical theories, including quantum mechanics and classical…
This paper proposes an approach to framing and answering fundamental questions about consciousness. It argues that many of the more theoretical debates about consciousness, such as debates about "when does it begin?", are misplaced and…
We establish a connection between measurement-based quantum computation and the field of mathematical logic. We show that the computational power of an important class of quantum states called graph states, representing resources for…
Quantum mechanics is a theory that is as effective as it is counterintuitive. While quantum practices operate impeccably, they compel us to embrace enigmatic phenomena like the collapse of the state vector and non-locality, thereby pushing…
Familiar formulations of classical and quantum mechanics are shown to follow from a general theory of mechanics based on pure states with an intrinsic probability structure. This theory is developed to the stage where theorems from quantum…
A certain non-linear non-local substitution is shown to transform the action of the self-interacting quantum field to the free one. The functional integrals in both theories are equal to each other. However, the integrations are performed…
Historically, appearance of the quantum theory led to a prevailing view that Nature is indeterministic. The arguments for the indeterminism and proposals for indeterministic and deterministic approaches are reviewed. These include collapse…