Related papers: A Pragmatic Interpretation of Quantum Logic
An introduction is given to an algebraic formulation and generalisation of the consistent histories approach to quantum theory. The main technical tool in this theory is an orthoalgebra of history propositions that serves as a generalised…
These notes are an elaboration on: (i) a short course that I gave at the IPhT-Saclay in May-June 2012; (ii) a previous letter on reversibility in quantum mechanics. They present an introductory, but hopefully coherent, view of the main…
We present critical arguments against individual interpretation of Bohr's complementarity and Heisenberg's uncertainty principles. Statistical interpretation of these principles is discussed in the contextual framework. We support the…
A realistic axiomatic formulation of nonrelativistic quantum mechanics for a single microsystem with spin is presented, from which the most important theorems of the theory can be deduced. In comparison with previous formulations, the…
Quantum mechanics is more than the derivation of straightforward theorems about vector spaces, Hilbert spaces and functional analysis. In order to be applicable to experiment and technology, those theorems need interpretation and meaning.…
By using the abstract structures investigated in the first Part of this article, we develop a semantics for an epistemic language, which expresses sentences like "Alice knows that Bob does not understand that PI is irrational". One is…
In the paper, the idea of describing not-yet-verified properties of quantum objects with logical many-valuedness is scrutinized. As it is argued, to promote such an idea, the following two foundational problems of many-valued quantum logic…
The (meta)logic underlying classical theory of computation is Boolean (two-valued) logic. Quantum logic was proposed by Birkhoff and von Neumann as a logic of quantum mechanics more than sixty years ago. The major difference between Boolean…
Differentiable Logics are deployed in neuro-symbolic learning tasks as a way of embedding logical constraints in the training objective of neural networks. A differentiable logic consists of a syntax to write logical properties and a…
Computability logic (CL) is a systematic formal theory of computational tasks and resources, which, in a sense, can be seen as a semantics-based alternative to (the syntactically introduced) linear logic. With its expressive and flexible…
Since its inception, many physicists have seen in quantum mechanics the possibility, if not the necessity, of bringing cognitive aspects into the play, which were instead absent, or unnoticed, in the previous classical theories. In this…
Relativistic quantum mechanics can be considered to have begun with a search for wave equations corresponding to each intrinsic spin. However, relativistic quantum physics differs fundamentally from the non-relativistic wave mechanics. It…
Constraint logic grammars provide a powerful formalism for expressing complex logical descriptions of natural language phenomena in exact terms. Describing some of these phenomena may, however, require some form of graded distinctions which…
Experiments in cognitive science and decision theory show that the ways in which people combine concepts and make decisions cannot be described by classical logic and probability theory. This has serious implications for applied disciplines…
This article presents a novel interpretation of quantum mechanics. It extends the meaning of ``measurement'' to include all property-indicating facts. Intrinsically space is undifferentiated: there are no points on which a world of locally…
The Weltanschauung emerging from quantum theory clashes profoundly with our classical concepts. Quantum characteristics like superposition, entanglement, wave-particle duality, nonlocality, contextuality are difficult to reconcile with our…
The paper reviews and discusses four ideas scattered in previous papers of the author. First, objective properties of quantum systems are not associated with observables but are defined by preparations. Second, measurable results of…
After the development of a self-consistent quantum formalism nearly a century ago there began a quest for how to interpret the theoretical constructs of the formalism. In fact, the pursuit of new interpretations of quantum mechanics…
Some aspects of the physical nature of language are discussed. In particular, physical models of language must exist that are efficiently implementable. The existence requirement is essential because without physical models no communication…
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,…