Adapting Logic to Physics - CentraleSupélec Access content directly
Conference Papers Year : 2021

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.
Slides_Z-Toffano_25-10-2021_Adapt-Logic-Physics.pdf (3.23 Mo) Télécharger le fichier

Dates and versions

hal-03437155 , version 1 (19-11-2021)

Identifiers

  • HAL Id : hal-03437155 , version 1

Cite

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

Share

Gmail Mastodon Facebook X LinkedIn More