Related papers: Inadequacy of Modal Logic in Quantum Settings
We introduce a software package that allows users to design and run simulations of thought experiments in quantum theory. In particular, it covers cases where several reasoning agents are modelled as quantum systems, such as Wigner's friend…
We recently performed cognitive experiments on conjunctions and negations of two concepts with the aim of investigating the combination problem of concepts. Our experiments confirmed the deviations (conceptual vagueness, underextension,…
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…
The construction of a consistent theory for structuring and representing how concepts combine and interact is one of the main challenges for the scholars involved in cognitive studies. All traditional approaches are still facing serious…
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…
There has been a surge of recent interest in the Wigner's Friend paradox, sparking several novel thought experiments and no-go theorems. The main narrative has been that Wigner's Friend highlights a counterintuitive feature that is unique…
Recently the mathematical formalism of quantum mechanics, especially methods of quantum probability theory, started to be widely used in a variety of applications outside of physics, e.g., cognition and psychology as well as economy and…
Quantum theory provides an extremely accurate description of fundamental processes in physics. It thus seems likely that the theory is applicable beyond the, mostly microscopic, domain in which it has been tested experimentally. Here we…
Traditional cognitive science rests on a foundation of classical logic and probability theory. This foundation has been seriously challenged by several findings in experimental psychology on human decision making. Meanwhile, the formalism…
The original Wigner's friend paradox is a gedankenexperiment involving an observer described by an external agent. The paradox highlights the tension between unitary evolution and collapse in quantum theory, and is sometimes taken as…
It is generally believed that classical regime emerges as a limiting case of quantum theory. Exploring such quantum-classical correspondences in a more transparent manner is central to the deeper understanding of foundational aspects and…
Quantum uncertainty is a well-known property of quantum mechanics that states the impossibility of predicting measurement outcomes of multiple incompatible observables simultaneously. In contrast, the uncertainty in the classical domain…
In this paper, we discuss content and context for quantum properties. We give some examples of why quantum properties are problematic: they depend on the context in a non-trivial way. We then connect this difficulty with properties to the…
In prior work, we have shown how the basic concepts and terms of quantum mechanics relate to factorizations and marginals of complex-valued quantum mass functions, which are generalizations of joint probability mass functions. In this…
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…
We consider a proper propositional quantum logic and show that it has multiple disjoint lattice models, only one of which is an orthomodular lattice (algebra) underlying Hilbert (quantum) space. We give an equivalent proof for the classical…
In this paper we concentrate on the nature of the liar paradox as a cognitive entity; a consistently testable configuration of properties. We elaborate further on a quantum mechanical model [Aerts, Broekaert, Smets 1999] that has been…
Lately, so-called "quantum" models, based on parts of the mathematics of quantum mechanics, have been developed in decision theory and cognitive sciences to account for seemingly irrational or paradoxical human judgments. We consider here…
A modal logic based on quantum logic is formalized in its simplest possible form. Specifically, a relational semantics and a sequent calculus are provided, and the soundness and the completeness theorems connecting both notions are…
In this work, we present a logical formalism for reasoning about quantum systems in finite dimension. Contrary to the usual approach in quantum logic, our formalism is based classical first-order logic, which allows us to use the tools of…