Related papers: Can many-valued logic help to comprehend quantum p…
This paper is an extended version of an earlier submission to WoLLIC 2023. We discuss two-layered logics formalising reasoning with probabilities and belief functions that combine the Lukasiewicz $[0,1]$-valued logic with Baaz $\triangle$…
Some notes about quantum physics, an interpretation if one wishes, are put forward, insisting on `closely following the mathematics/formalism, the `nuts and bolts of what quantum physics says'. These, basically well-known, issues seem to…
The status of the uncertainty relations varies between the different interpretations of quantum mechanics. The aim of the current paper is to explore their meanings within a certain neo-Everettian many worlds interpretation. We will also…
To operate intelligently in the world, an agent must reason about its actions. The consequences of an action are a function of both the state of the world and the action itself. Many aspects of the world are inherently stochastic, so a…
How can quantum mechanics be (i) the fundamental theoretical framework of contemporary physics and (ii) a probability calculus that presupposes the events to which, and on the basis of which, it assigns probabilities? The question is…
There are reasons to doubt that making sense of the wave function (other than as a probability algorithm) will help with the project of making sense of quantum mechanics. The consistency of the quantum-mechanical correlation laws with the…
A problem with an instructive description of measurement process for sufficiently separated entangled quantum systems is well known. More precise and crafty experiments together with new technological challenges raise questions about…
A variety of physical unknowables are discussed. Provable lack of physical omniscience, omnipredictability and omnipotence is derived by reduction to problems which are known to be recursively unsolvable. "Chaotic" symbolic dynamical…
The quantum measurement problem is often presented as a conflict between unitary evolution and non-unitary collapse. Drawing on Wittgenstein's later philosophy of language and Bohr's principle of complementarity, we argue that this conflict…
Quantum mechanics challenges classical intuitions of space, time, and causality via the superposition principle, which allows systems to exist in multiple states simultaneously. Niels Bohr addressed these paradoxes through his…
Consider four binary +-1 variables A, B, C and D for which classical reasoning implies ABCD = 1. In this case the knowledge of A, B, C automatically provides knowledge of D because D = ABC. However, the Greenberger-Horne-Zeilinger paradox…
Heisenberg's uncertainty principle implies fundamental constraints on what properties of a quantum system can we simultaneously learn. However, it typically assumes that we probe these properties via measurements at a single point in time.…
Intuitionistic logic extended with decidable propositional atoms combines classical properties in its propositional part and intuitionistic properties for derivable formulas not containing propositional symbols. Sequent calculus is used as…
We note the separation of a quantum description of an experiment into a statement of results (as probabilities) and an explanation of these results (in terms of linear operators). The inverse problem of choosing an explanation to fit given…
A non-relativistic quantum mechanical theory is proposed that describes the universe as a continuum of worlds whose mutual interference gives rise to quantum phenomena. A logical framework is introduced to properly deal with propositions…
Moisil logic, having as algebraic counterpart \L ukasiewicz-Moisil algebras, provide an alternative way to reason about vague information based on the following principle: a many-valued event is characterized by a family of Boolean events.…
The products of weak values of quantum observables are shown to be of value in deriving quantum uncertainty and complementarity relations, for both weak and strong measurement statistics. First, a 'product representation formula' allows the…
Quantum computation has suggested new forms of quantum logic, called quantum computational logics. The basic semantic idea is the following: the meaning of a sentence is identified with a quregister, a system of qubits, representing a…
As it is known, neither classical logical conjunction "and" nor classical logical alternative "either...or" can replace "+" representing a linear superposition of two quantum states. Therefore, to provide a logical account of the quantum…
In two articles, the authors claim that the Heisenberg uncertainty principle limits the precision of simultaneous measurements of the position and velocity of a particle and refer to experimental evidence that supports their claim. It is…