Skip to main content
SpringerLink
Log in

Eigenlogic in the Spirit of George Boole

  • Published:
Logica Universalis Aims and scope Submit manuscript

Abstract

This work presents an operational and geometric approach to logic. It starts from the multilinear elective decomposition of binary logical functions in the original form introduced by George Boole. A justification on historical grounds is presented bridging Boole’s theory and the use of his arithmetical logical functions with the axioms of Boolean algebra using sets and quantum logic. It is shown that this algebraic polynomial formulation can be naturally extended to operators in finite vector spaces. Logical operators will appear as commuting projection operators and the truth values, which take the binary values \(\{0,1\}\), are the respective eigenvalues. In this view the solution of a logical proposition resulting from the operation on a combination of arguments will appear as a selection where the outcome can only be one of the eigenvalues. In this way propositional logic can be formalized in linear algebra by using elective developments which correspond here to combinations of tensored elementary projection operators. The original and principal motivation of this work is for applications in the new field of quantum information, differences are outlined with more traditional quantum logic approaches.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Boole, G.: The Mathematical Analysis of Logic. Being an Essay To a Calculus of Deductive Reasoning, 1847, (reissued Ed. Forgotten Books ISBN 978-1444006642-9) (1847)

  2. Boole, G.: An Investigation of the Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities, Macmillan, 1854, (reissued by Cambridge University Press, 2009; ISBN 978-1-108-00153-3) (1854)

  3. Durand-Richard, M-J: Logic versus algebra: English debates and boole’s mediation create. In: Gasser J (ed) A Boole anthology. Synthese library (studies in epistemology, logic, methodology, and philosophy of science), vol 291. Springer, Dordrecht (2000)

    Chapter  Google Scholar 

  4. Panteki, M.: The mathematical background of George Boole’s mathematical analysis of logic (1847). In: Gasser J (eds) A Boole Anthology. Synthese Library (Studies in Epistemology, Logic, Methodology, and Philosophy of Science), vol 291. Springer, Dordrecht (2000)

    Chapter  Google Scholar 

  5. Hailperin, T.: Boole’s Logic and Probability, a Critical Exposition from the Standpoint of Contemporary Logic and Probability Theory, North Holland (1976) II ed (1986)

  6. Hailperin, T.: Boole’s Algebra isn’t Boolean algebra. A description using modern algebra, of what boole really did create, Math. Mag. 54(4): 172–184 (1981). Reprinted in: Gasser J. (eds) A Boole Anthology. Synthese Library (Studies in Epistemology, Logic, Methodology, and Philosophy of Science), vol 291. Springer, Dordrecht (2000)

  7. Béziau, J.-Y.: Is the principle of contradiction a consequence of \(x^2=x\)? Log. Univers. 12, 55–81 (2018)

    Article  MathSciNet  Google Scholar 

  8. Peirce, C.S.: On the algebra of logic: a contribution to the philosophy of notation. Am. J. Math. 7, (1885)

    Article  MathSciNet  Google Scholar 

  9. Menger, K.: Reminiscences of the Vienna Circle and the Mathemathical Colloquium, (1942), Editors: L. Golland B.F. McGuinness, Abe Sklar, Series: Vienna Circle Collection-Springer (1994)

  10. Post, E.L.: Introduction to a general theory of elementary propositions. Am. J. Math. 43, 163–185 (1921)

    Article  MathSciNet  Google Scholar 

  11. Wittgenstein, L.: Logisch-Philosophische Abhandlung”, Annalen der Naturphilosophie, Ed. Wilhelm Ostwald, Wien: “Tractatus Logico-Philosophicus”, translated and published in, bilingual edn, p. 1921. Routledge & Kegan Paul, London (1921)

  12. Corcoran, J.: Aristotle’s prior analytics and Boole’s laws of thought. Hist. Philos. Log. 24, 261–288 (2003)

    Article  MathSciNet  Google Scholar 

  13. Dubois, F., Toffano, Z.: Eigenlogic: A Quantum View for Multiple-Valued and Fuzzy Systems, Quantum Interaction. QI 2016. Lecture Notes in Computer Science, vol. 10106. Springer, Berlin, pp. 239–251 (2017)

    Chapter  Google Scholar 

  14. Toffano, Z.: “Eigenlogic”, UNILOG 2018 (6th World Congress and School on Universal Logic), Workshop Logic and Physics, Vichy (F), June 16–26 (2018)

  15. Toffano, Z., Dubois, F.: Adapting logic to physics: the quantum-like eigenlogic program. Entropy 22, 139 (2020)

    Article  Google Scholar 

  16. Knuth, D.E.: “The Art of Computer Programming”, Vol. 4, Fascicle 0: Introduction to Combinatorial Algorithms and Boolean Functions, Ed. Addison-Wesley Professional (2009)

  17. Burris, S.: “The Laws of Boole’s Thought”. Manuscript (http://www.math.uwaterloo.ca/~snburris/htdocs/myworks/preprints/aboole.pdf), 2000, and private correspondence (2016)

  18. Huntington, E.V.: Sets of independent postulates for the algebra of logic. Trans. AMS 5, 288–309 (1904)

    Article  MathSciNet  Google Scholar 

  19. Venn, J.: Symbolic Logic. Macmillan and Company, London (1881)

    Book  Google Scholar 

  20. Schröder, E.: Vorlesungen über die Algebra der Logik, Vol. I, Anh. 6, B.G. Teubner, Leipzig (1890)

  21. Whitney, H.: Characteristic functions and the algebra of logic. Ann. Math. 34, 40–414 (1933)

    MathSciNet  MATH  Google Scholar 

  22. Yanushkevich, S.N., Shmerko, V.P.: Introduction to Logic Design. CRC Press, London (2008)

    Book  Google Scholar 

  23. Aiken, H.: Synthesis of electronic computing and control circuits. Computation Laboratory of Harvard University, XXVII, Harvard University, Cambridge, MA (1951)

  24. Shannon, C.E.: A symbolic analysis of relay and switching circuits. Trans. AIEE 57(12), 713–723 (1938)

    Google Scholar 

  25. Shannon, C.E.: A mathematical theory of communication. Bell Syst. Tech. J. 27(4) (1948)

    Article  MathSciNet  Google Scholar 

  26. Nahin, P.J.: The Logician and the Engineer: How George Boole and Claude Shannon Created the Information Age. Princeton University Press, Princeton (2012)

    Book  Google Scholar 

  27. Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information. Cambridge University Press, Cambridge (2000)

    MATH  Google Scholar 

  28. Stone, M.H.: Linear Transformations in Hilbert Space and Their Applications to Analysis, p. 70: “Projections” (1932)

  29. Stone, M.H.: The theory of representation for Boolean algebras. Trans. Am. Math. Sdictatorociety 40(1), 37–111 (1936)

    MathSciNet  MATH  Google Scholar 

  30. Stone, M.H.: Applications of the theory of Boolean rings to general topology. Trans. Am. Math. Soc. 41(3), 375–481 (1937)

    Article  MathSciNet  Google Scholar 

  31. Schlimm, D.: Bridging Theories with Axioms: Boole, Stone, and Tarski, New Perspectives on Mathematical Practices, World Scientific, Singapore, pp. 222–235 (2009)

  32. Birkhoff, G., Von Neumann, J.: The logic of quantum mechanics. Ann. Math. 2nd Ser. 37(4), 823–843 (1936)

    Article  MathSciNet  Google Scholar 

  33. Von Neumann, J.: “Mathematische Grundlagen der Quantenmechanik. Grundlehren der mathematischen Wissenschaften”, volume Bd. 38. (Springer, Berlin, 1932) 106. “Mathematical Foundations of Quantum Mechanics”. Investigations in Physics, vol. 2. (Princeton University Press, Princeton, 1955) (1932)

  34. David, F.: The Formalisms of Quantum Mechanics, An Introduction. Springer Lecture Notes in Physics, ISBN 978-3-319-10538-3 (2015)

    Book  Google Scholar 

  35. Toffano, Z., Dubois, F.: Interpolating binary and multivalued logical quantum gates. MDPI Proc. 2(4), 152 (2018)

    Google Scholar 

  36. Moretti, A.: The Geometry of Logical Opposition. University of Neuchtel, Switzerland (2009). PhD Thesis

    Google Scholar 

  37. https://www.square-of-opposition.org/

  38. Stern, A.: Matrix Logic. North-Holland, Amsterdam (1988)

    MATH  Google Scholar 

  39. Mizraji, E.: Vector logics: the matrix-vector representation of logical calculus. Fuzzy Sets Syst. 50, 179–185 (1992)

    Article  MathSciNet  Google Scholar 

  40. Aggarwal, V., Calderbank, R.: Boolean functions, projection operators, and quantum error correcting codes. In: Proceedings International Symposium Information Theory, Nice, France, pp. 2091–2095 (2007)

  41. Cohen, D.W.: An Introduction to Hilbert Space and Quantum Logic. Springer, Berlin (1989)

    Book  Google Scholar 

  42. D’Hondt, E., Panangaden, P.: Quantum weakest preconditions. Math. Struct. Comput. Sci. 16, 429–451 (2006)

    Article  MathSciNet  Google Scholar 

  43. Ying, M.S.: Foundations of Quantum Programming. Morgan Kaufmann, Burlington (2016)

    Google Scholar 

  44. Cartier, P.: A mad day’s work: from Grothendieck to Connes and Kontsevich. The evolution of concepts of space and symmetry. J.: Bull. Am. Math. Soc. 38, 389–408 (2001)

    Article  Google Scholar 

  45. Ivanov, P.A., Kyoseva, E.S., Vitanov, N.V.: Engineering of arbitrary U(N) transformations by quantum Householder reflections. Phys. Rev. A 74, 022323 (2006)

    Article  Google Scholar 

  46. O’Donnell, R.: Analysis of Boolean Functions. Cambridge University Press, Cambridge (2014)

    Book  Google Scholar 

  47. Van Rijsbergen, K.: The Geometry of Information Retrieval. Cambridge University Press, Cambridge (2004)

    Book  Google Scholar 

  48. Barros, J., Toffano, Z., Meguebli, Y., Doan, B.-L.: Contextual query using bell tests. In: Atmanspacher, H., Haven, E., Kitto, K., Raine, D. (eds.) QI 2013. LNCS, vol. 8369, pp. 110–121. Springer, Berlin (2014)

    Chapter  Google Scholar 

  49. Wittek, P.: Quantum Machine Learning. What Quantum Computing Means to Data Mining. Academic Press, Elsevier, Amsterdam (2014)

    MATH  Google Scholar 

  50. Haven, E., Khrennikov, A.: Quantum Soc. Sci. Cambridge University Press, Cambridge (2013)

    Book  Google Scholar 

  51. Busemeyer, J.R., Bruza, P.D.: Quantum Models of Cognition and Decision. Cambridge University Press, Cambridge (2012)

    Book  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. CentraleSupélec, Laboratoire des Signaux et Systèmes-CNRS-(L2S-UMR8506), Université Paris-Saclay, 3 Rue Joliot Curie, 91190, Gif-sur-Yvette, France

    Zeno Toffano

Authors
  1. Zeno Toffano
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Zeno Toffano.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Toffano, Z. Eigenlogic in the Spirit of George Boole. Log. Univers. 14, 175–207 (2020). https://doi.org/10.1007/s11787-020-00252-3

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11787-020-00252-3

Keywords

Mathematics Subject Classification

Search

Navigation