TL;DR
This paper critically examines the use of many-valued logic to describe unverified quantum properties, addressing foundational issues in quantum logic and the emergence of classical bivalence.
Contribution
It analyzes the challenges in establishing a suitable many-valued logic system and explaining how classical bivalence arises from quantum logical frameworks.
Findings
Identifies key problems in many-valued quantum logic
Discusses difficulties in selecting appropriate logical systems
Explores issues in deriving classical bivalence from quantum logic
Abstract
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 must be decided: the problem of choosing a proper system of many-valued logic and the problem of the emergence of bivalence from logical many-valuedness. Difficulties accompanying solutions of these problems are discussed.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.