Intuitionistic Quantum Logic Perspective: Static and Dynamic Revision Operators

• URL: http://arxiv.org/abs/2404.13608v2
• Date: Thu, 30 May 2024 15:13:42 GMT
• Title: Intuitionistic Quantum Logic Perspective: Static and Dynamic Revision Operators
• Authors: Heng Zhou, Yongjun Wang, Baoshan Wang, Jian Yan, Xiaoyang Wang,
• Abstract summary: We focus on the exploration of a revision theory grounded in quantum mechanics, referred to as the natural revision theory. We combine the advantages of two intuitionistic quantum logic frameworks, as proposed by D"oring and Coecke. We introduce two types of revision operators that correspond to the two reasoning modes in quantum systems: static and dynamic revision.
• Score: 6.646627444027416
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: The classical belief revision framework, as proposed by Alchourron, Gardenfors, and Makinson, involves the revision of a theory based on eight postulates. In this paper, we focus on the exploration of a revision theory grounded in quantum mechanics, referred to as the natural revision theory. There are two reasoning modes in quantum systems: static intuitionistic reasoning, which incorporates contextuality, and dynamic reasoning, which is achieved through projection measurement. We combine the advantages of two intuitionistic quantum logic frameworks, as proposed by D{\"o}ring and Coecke, respectively. Our goal is to establish a truth-value assignment for intuitionistic quantum logic that not only aligns with the inherent characteristics of quantum mechanics but also supports truth-value reasoning. The natural revision theory is then investigated based on this approach. We introduce two types of revision operators that correspond to the two reasoning modes in quantum systems: static and dynamic revision. Furthermore, we highlight the distinctions between these two operators. Shifting away from classical revision paradigms, we consider the revision of consequence relations in intuitionistic quantum logic. We demonstrate how, within the natural revision theory framework, both revision operators collectively influence the consequence relations. Notably, the outcomes of revision process are impacted by the sequence in which these interweaved operators are deployed.

Related papers

• On the Common Logical Structure of Classical and Quantum Mechanics [0.0]
  We show that quantum theory does satisfy the classical distributivity law once the full meaning of quantum propositions is properly taken into account. We show that the lattice of statistical propositions in classical mechanics follows the same structure, yielding an analogue non-commutative sublattice of classical propositions.
  arXiv  Detail & Related papers  (2022-06-21T18:31:53Z)
• Fact-nets: towards a mathematical framework for relational quantum mechanics [0.0]
  The relational interpretation of quantum mechanics (RQM) has received a growing interest since its first formulation in 1996. This paper proposes a radical reformulation of the mathematical framework of quantum mechanics which is relational from the start: fact-nets.
  arXiv  Detail & Related papers  (2022-04-01T10:27:38Z)
• Theorems motivated by foundations of quantum mechanics and some of their applications [0.0]
  This paper provides theorems aimed at shedding light on issues in the foundations of quantum mechanics. theorems can be used to propose new interpretations to the theory, or to better understand, evaluate and improve current interpretations.
  arXiv  Detail & Related papers  (2022-02-02T21:55:57Z)
• Self-adjoint extension schemes and modern applications to quantum Hamiltonians [55.2480439325792]
  monograph contains revised and enlarged materials from previous lecture notes of undergraduate and graduate courses and seminars delivered by both authors over the last years on a subject that is central both in abstract operator theory and in applications to quantum mechanics. A number of models are discussed, which are receiving today new or renewed interest in mathematical physics, in particular from the point of view of realising certain operators of interests self-adjointly.
  arXiv  Detail & Related papers  (2022-01-25T09:45:16Z)
• Quantum realism: axiomatization and quantification [77.34726150561087]
  We build an axiomatization for quantum realism -- a notion of realism compatible with quantum theory. We explicitly construct some classes of entropic quantifiers that are shown to satisfy almost all of the proposed axioms.
  arXiv  Detail & Related papers  (2021-10-10T18:08:42Z)
• The operational framework for quantum theories is both epistemologically and ontologically neutral [0.0]
  It is argued that there is no argument that could favour realist or antirealist attitudes towards quantum mechanics based solely on some features of some formalism. Both realist and antirealist views are well accomodable within operational formulations of the theory. This discussion aims at clarifying the limits of the historical and methodological affinities between scientific antirealism and operational physics.
  arXiv  Detail & Related papers  (2021-09-06T09:22:43Z)
• Quantum indistinguishability through exchangeable desirable gambles [69.62715388742298]
  Two particles are identical if all their intrinsic properties, such as spin and charge, are the same. Quantum mechanics is seen as a normative and algorithmic theory guiding an agent to assess her subjective beliefs represented as (coherent) sets of gambles. We show how sets of exchangeable observables (gambles) may be updated after a measurement and discuss the issue of defining entanglement for indistinguishable particle systems.
  arXiv  Detail & Related papers  (2021-05-10T13:11:59Z)
• Observers of quantum systems cannot agree to disagree [55.41644538483948]
  We ask whether agreement between observers can serve as a physical principle that must hold for any theory of the world. We construct examples of (postquantum) no-signaling boxes where observers can agree to disagree.
  arXiv  Detail & Related papers  (2021-02-17T19:00:04Z)
• Unscrambling the omelette of causation and inference: The framework of causal-inferential theories [0.0]
  We introduce the notion of a causal-inferential theory using a process-theoretic formalism. Recasting the notions of operational and realist theories in this mold clarifies what a realist account of an experiment offers beyond an operational account. We argue that if one can identify axioms for a realist causal-inferential theory such that the notions of causation and inference can differ from their conventional (classical) interpretations, then one has the means of defining an intrinsically quantum notion of realism.
  arXiv  Detail & Related papers  (2020-09-07T17:58:22Z)
• Emergence of classical behavior in the early universe [68.8204255655161]
  Three notions are often assumed to be essentially equivalent, representing different facets of the same phenomenon. We analyze them in general Friedmann-Lemaitre- Robertson-Walker space-times through the lens of geometric structures on the classical phase space. The analysis shows that: (i) inflation does not play an essential role; classical behavior can emerge much more generally; (ii) the three notions are conceptually distinct; classicality can emerge in one sense but not in another.
  arXiv  Detail & Related papers  (2020-04-22T16:38:25Z)
• Quantum Mechanical description of Bell's experiment assumes Locality [91.3755431537592]
  Bell's experiment description assumes the (Quantum Mechanics-language equivalent of the classical) condition of Locality. This result is complementary to a recently published one demonstrating that non-Locality is necessary to describe said experiment. It is concluded that, within the framework of Quantum Mechanics, there is absolutely no reason to believe in the existence of non-Local effects.
  arXiv  Detail & Related papers  (2020-02-27T15:04:08Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.