The Leibniz principle in quantum logic

DOI10.1007/BF00669807MaRDI QIDQ1823938zbMATH OpenWikidataFDO

Authors Roberto Giuntini, Peter Mittelstaedt

Publication date 1989

Published in International Journal of Theoretical Physics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF00669807

zbMATH Keywords

classical physicsidentity of indiscerniblesLeibniz principleorthomodular quantum logic

Mathematics Subject Classification ID

Quantum logic (03G12) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Review text

The Leibniz principle which claims that the identity of objects is not more than the indiscernibility in terms of predicates is considered in this paper. It is shown that under the assumption that objects are given by definite descriptions, the Leibniz principle holds in classical physics, while it is no longer valid in orthomodular quantum logic.

Recommendations

• Remarks on individuation, quantum objects and logic
• Relativizations of the Principle of Identity
• The common logic of quantum universe. I: The case of non-relativistic quantum mechanics
• Schrödinger logics
• scientific article; zbMATH DE number 124181

Cites work

• scientific article; zbMATH DE number 3771591 (Why is no real title available?)
• scientific article; zbMATH DE number 1028822 (Why is no real title available?)
• scientific article; zbMATH DE number 3807678 (Why is no real title available?)
• Quantum logic
• Quantum logics and Lindenbaum property

Cited in

(11)

• Bibliography on quantum logics and related structures
• The principle of the indiscernibility of identicals requires no restrictions
• Dissecting weak discernibility of quanta
• Remarks on individuation, quantum objects and logic
• A silk road from Leibniz to quantum information
• On the indiscernibility of individuals in logic programming
• A topological interpretation of three Leibnizian principles within the functional extensions
• The Born rule and logical inference in quantum mechanics
• Validity and applicability of Leibniz's law of substitution of identicals
• A case study for Leibnizian ideas in Wolfram model
• Odd objects: LEM violations and indeterminacy

This page was built for publication: The Leibniz principle in quantum logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1823938)