Skip to Main content Skip to Navigation
New interface
Conference papers

Adapting Logic to Physics

Abstract : Adapting logic to physics addresses interesting questions. Non-classical logics such as fuzzy and many-valued logics seem promising candidates. Quantum information brings up new issues in logic due to the effects of non-commutativity, superposition, entanglement and reversibility. We propose a quantum-like method in logic, Eigenlogic, where connectives are represented by operators (matrices), logical truth values by their eigenvalues, and logical interpretations by the quantum states. Using a superposition of logical input states one gets a fuzzy logic representation where logical valuations correspond to quantum probabilities. Semantics can be modified by using alternative alphabets for truth values, for example the binary {+1,-1} instead of Booleans {0,1} are better adapted to quantum mechanical spin ½. Many-valued logical operators are designed by operator interpolation methods using the Cayley-Hamilton theorem and can be associated with the quantum angular momentum. Eignelogic permits to consider syntax (operations) and semantics (values) as dual representations of the same logical operator and are transformed, in the case of Pauli-Weyl logical operators, by the discrete Fourier transform operator. We outline differences with traditional quantum logic and a correspondence is made between logical universality and entanglement using the logical operator eigenvalue structure. First order logic and computability issues are also considered in Eigenlogic in relation to quantum algorithms and entangling gates. Applications are proposed in quantum information with a logical formulation of the Bell inequalities, in quantum computing with a new quantum oracle expression and for the emerging concept of quantum robot applied to Braitenberg vehicle AI agents.
Complete list of metadata

https://hal-centralesupelec.archives-ouvertes.fr/hal-03437155
Contributor : Zeno Toffano Connect in order to contact the contributor
Submitted on : Friday, November 19, 2021 - 5:12:02 PM
Last modification on : Sunday, June 26, 2022 - 3:20:33 AM

Identifiers

  • HAL Id : hal-03437155, version 1

Citation

Zeno Toffano. Adapting Logic to Physics. Workshop: - “Modélisation Quantique”, Oct 2021, Paris, France. ⟨hal-03437155⟩

Share

Metrics

Record views

31

Files downloads

14