Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:quant-ph/0406004 · Prespacetime journal

George Boole and the Bell inequalities

Elemér Elad Rosinger

Published Jun 1, 2004• 7 citations
arXivHTMLPDF

Abstract

As shown by Pitowsky, the Bell inequalities are related to certain classes of probabilistic inequalities dealt with by George Boole, back in the 1850s. Here a short presentation of this relationship is given. Consequently, the Bell inequalities can be obtained without any assumptions of physical nature, and merely through mathematical argument.

DOI
10.48550/arxiv.quant-ph/0406004

Related papers

From George Boole To John Bell — The Origins of Bell’s Inequality

Itamar Pitowsky

Springer eBooks•Jan 1, 1989•57 citations

Logical Views of Bell Inequalities

Zeno Toffano

Bell's Inequalites structure can be considered in a logical-probabilistic framework, as outlined by Pitowsky [1], where the origin of the inequality was attributed to George Boole’s “conditions of possible experience”. The inequality has then been often renamed the Bell-Boole inequality. An interesting fact is that G. Boole’s method used to establish his probability inequalities stems directly from his mathematical treatment of logic using idempotent symbols (which he called “elective symbols”). The “Boolean Algebra” we consider today bears some major differences with Boole’s original method as thoroughly discussed by Hailperin [2].We proposed recently the “Eigenlogic” approach [3] where we translate Boole’s original logical method to linear algebra using idempotent and also unitary operators and outline the bridges to quantum theories in particular to quantum information [4]. Eigenlogic can thus be a framework for transposing logic in a quantum context, the probabilistic aspects are then simply derived by measurements on logical operators using the Born rule.Bell Inequalities (BI) can be expressed in an operator form where the measurement observables of an experiment are combined to form Bell operators, the outcomes are then derived by using the quantum mechanical mean value (again the Born rule). The popular form adapted for this method is the CHSH form of the BI for spin 1/2 particles or polarized photons with outcomes ±1. Using the isomorphism between idempotent and self-inverse unitary operators (Householder transform) the CHSH Bell operator transforms in Eigenlogic in a combination of idempotent operators from which by using the Born rule one gets the Fine inequality on probabilities.As stated by Khrennikov [5] the BI violation occurs only when incompatible (non-commuting) observables are used in the BI associated experiments. Particularly in the CHSH-BI experiments on an entangled state, mutually unbiased bases (MUB), representing maximally dissimilar contexts, lead to the maximum quantum violation represented by the number 2√2>2. This is the case for the couple of MUB (z,x) associated to Pauli spin operators σ_x and σ_z. In Eigenlogic these (z,x) contexts represent dual logical systems which are at interplay and have an original syntax-semantic interpretation [4]. It has to be outlined that in many quantum algorithms the MUB (z,x), linked by the Hadamard gate which represents the Fourier Transformation between the two bases, provides a quantum algorithmic advantage.The situations of the BI in the so called post-quantum regime are also analyzed by generalizing the concept of PR-Box which relates outputs (a,b) to inputs (x,y) in a two-party correlation by means of the logical equation: a⊕b=x∧y. Using Eigenlogic, families of boxes with all possible combinations of logical functions are analyzed through the equations: f(a,b)=g(x,y), where f and g correspond to the 16 different Boolean functions, giving 256 possible logical equations. The logical equations are transformed in logical operators and used to define the associated Bell operator. 16 cases of the PR-Box type (considering all the possible complementations of the variables a,b,x,y) violate the CHSH-BI maximally with the number 4>2√2 (Tsirelson’s bound). Another family of 32 logical cases gives a CHSH-BI violation of 3.33 also beyond the quantum limit; this is the case for the logical equation: a∨b=x∧y.[1] Pitowsky, I., George Boole’s ‘conditions of possible experience’ and the quantum puzzle. Brit. J. Phil. Sci., 45:95–125 (1994).[2] 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).[3] Toffano, Z. Eigenlogic in the Spirit of George Boole. Log. Univers. 14, 175–207 (2020). https://doi.org/10.1007/s11787-020-00252-3[4] Toffano, Z.; Dubois, F. Adapting Logic to Physics: The Quantum-Like Eigenlogic Program. Entropy 2020, 22, 139. https://doi.org/10.3390/e22020139[5] Khrennikov, A. Contextuality, Complementarity, Signaling, and Bell Tests. Entropy 2022, 24, 1380. https://doi.org/10.3390/e24101380

•Jun 13, 2023•0 citations

Hidden assumptions in the derivation of the theorem of Bell

K. Hess, Hans A. De Raedt, Kristel F. L. Michielsen

John Bell's inequalities have already been considered by Boole in 1862. Boole established a one-to-one correspondence between experimental outcomes and mathematical abstractions of his probability theory. His abstractions are two-valued functions that permit the logical operations AND, OR and NOT and are the elements of an algebra. Violation of the inequalities indicated to Boole an inconsistency of definition of the abstractions and/or the necessity to revise the algebra. It is demonstrated in this paper, that a violation of Bell's inequality by Einstein-Podolsky-Rosen type of experiments can be explained by Boole's ideas. Violations of Bell's inequality also call for a revision of the mathematical abstractions and corresponding algebra. It will be shown that this particular view of Bell's inequalities points toward an incompleteness of quantum mechanics, rather than to any superluminal propagation or influences at a distance.

•Jan 1, 2012•17 citations

Boole and Bell inequality

Kristel F. L. Michielsen, Hans A. De Raedt, K. Hess

We discuss the relation between Bell’s and Boole’s inequality. We apply both to the analysis of measurement results in idealized Einstein‐Podolsky‐Rosen‐Bohm experiments. We present a local realist model that violates Bell’s and Boole’s inequality due to the absence of Boole’s one‐to‐one correspondence between the two‐valued variables of the mathematical description and the two‐valued measurement results.

AIP conference proceedings•Jan 1, 2011•2 citations

Boole and Bell inequality

Kristel F. L. Michielsen, Hans A. De Raedt, K. Hess +4 more

We discuss the relation between Bell’s and Boole’s inequality. We apply both to the analysis of measurement results in idealized Einstein‐Podolsky‐Rosen‐Bohm experiments. We present a local realist model that violates Bell’s and Boole’s inequality due to the absence of Boole’s one‐to‐one correspondence between the two‐valued variables of the mathematical description and the two‐valued measurement results.

AIP conference proceedings•Jan 1, 2011•1 citation

Hidden assumptions in the derivation of the theorem of Bell

Karl Hess, Hans A. De Raedt, Kristel Michielsen

John Bell's inequalities have already been considered by Boole in 1862. Boole established a one-to-one correspondence between experimental outcomes and mathematical abstractions of his probability theory. His abstractions are two-valued functions that permit the logical operations AND, OR and NOT and are the elements of an algebra. Violation of the inequalities indicated to Boole an inconsistency of definition of the abstractions and/or the necessity to revise the algebra. It is demonstrated in this paper, that a violation of Bell's inequality by Einstein-Podolsky-Rosen type of experiments can be explained by Boole's ideas. Violations of Bell's inequality also call for a revision of the mathematical abstractions and corresponding algebra. It will be shown that this particular view of Bell's inequalities points toward an incompleteness of quantum mechanics, rather than to any superluminal propagation or influences at a distance.

arXiv:1108.3583•Physica Scripta•Nov 1, 2012•22 citations
As shown by Pitowsky, the Bell inequalities are related to certain classes of probabilistic inequalities dealt with by George Boole, back in the 1850s. Here a short presentation of this relationship is given. Consequently, the Bell inequalities can be obtained without any assumptions of physical nature, and merely through mathematical argument.
Bell's Inequalites structure can be considered in a logical-probabilistic framework, as outlined by Pitowsky [1], where the origin of the inequality was attributed to George Boole’s “conditions of possible experience”. The inequality has then been often renamed the Bell-Boole inequality. An interesting fact is that G. Boole’s method used to establish his probability inequalities stems directly from his mathematical treatment of logic using idempotent symbols (which he called “elective symbols”). The “Boolean Algebra” we consider today bears some major differences with Boole’s original method as thoroughly discussed by Hailperin [2].We proposed recently the “Eigenlogic” approach [3] where we translate Boole’s original logical method to linear algebra using idempotent and also unitary operators and outline the bridges to quantum theories in particular to quantum information [4]. Eigenlogic can thus be a framework for transposing logic in a quantum context, the probabilistic aspects are then simply derived by measurements on logical operators using the Born rule.Bell Inequalities (BI) can be expressed in an operator form where the measurement observables of an experiment are combined to form Bell operators, the outcomes are then derived by using the quantum mechanical mean value (again the Born rule). The popular form adapted for this method is the CHSH form of the BI for spin 1/2 particles or polarized photons with outcomes ±1. Using the isomorphism between idempotent and self-inverse unitary operators (Householder transform) the CHSH Bell operator transforms in Eigenlogic in a combination of idempotent operators from which by using the Born rule one gets the Fine inequality on probabilities.As stated by Khrennikov [5] the BI violation occurs only when incompatible (non-commuting) observables are used in the BI associated experiments. Particularly in the CHSH-BI experiments on an entangled state, mutually unbiased bases (MUB), representing maximally dissimilar contexts, lead to the maximum quantum violation represented by the number 2√2>2. This is the case for the couple of MUB (z,x) associated to Pauli spin operators σ_x and σ_z. In Eigenlogic these (z,x) contexts represent dual logical systems which are at interplay and have an original syntax-semantic interpretation [4]. It has to be outlined that in many quantum algorithms the MUB (z,x), linked by the Hadamard gate which represents the Fourier Transformation between the two bases, provides a quantum algorithmic advantage.The situations of the BI in the so called post-quantum regime are also analyzed by generalizing the concept of PR-Box which relates outputs (a,b) to inputs (x,y) in a two-party correlation by means of the logical equation: a⊕b=x∧y. Using Eigenlogic, families of boxes with all possible combinations of logical functions are analyzed through the equations: f(a,b)=g(x,y), where f and g correspond to the 16 different Boolean functions, giving 256 possible logical equations. The logical equations are transformed in logical operators and used to define the associated Bell operator. 16 cases of the PR-Box type (considering all the possible complementations of the variables a,b,x,y) violate the CHSH-BI maximally with the number 4>2√2 (Tsirelson’s bound). Another family of 32 logical cases gives a CHSH-BI violation of 3.33 also beyond the quantum limit; this is the case for the logical equation: a∨b=x∧y.[1] Pitowsky, I., George Boole’s ‘conditions of possible experience’ and the quantum puzzle. Brit. J. Phil. Sci., 45:95–125 (1994).[2] 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).[3] Toffano, Z. Eigenlogic in the Spirit of George Boole. Log. Univers. 14, 175–207 (2020). https://doi.org/10.1007/s11787-020-00252-3[4] Toffano, Z.; Dubois, F. Adapting Logic to Physics: The Quantum-Like Eigenlogic Program. Entropy 2020, 22, 139. https://doi.org/10.3390/e22020139[5] Khrennikov, A. Contextuality, Complementarity, Signaling, and Bell Tests. Entropy 2022, 24, 1380. https://doi.org/10.3390/e24101380
John Bell's inequalities have already been considered by Boole in 1862. Boole established a one-to-one correspondence between experimental outcomes and mathematical abstractions of his probability theory. His abstractions are two-valued functions that permit the logical operations AND, OR and NOT and are the elements of an algebra. Violation of the inequalities indicated to Boole an inconsistency of definition of the abstractions and/or the necessity to revise the algebra. It is demonstrated in this paper, that a violation of Bell's inequality by Einstein-Podolsky-Rosen type of experiments can be explained by Boole's ideas. Violations of Bell's inequality also call for a revision of the mathematical abstractions and corresponding algebra. It will be shown that this particular view of Bell's inequalities points toward an incompleteness of quantum mechanics, rather than to any superluminal propagation or influences at a distance.
John Bell's inequalities have already been considered by Boole in 1862. Boole established a one-to-one correspondence between experimental outcomes and mathematical abstractions of his probability theory. His abstractions are two-valued functions that permit the logical operations AND, OR and NOT and are the elements of an algebra. Violation of the inequalities indicated to Boole an inconsistency of definition of the abstractions and/or the necessity to revise the algebra. It is demonstrated in this paper, that a violation of Bell's inequality by Einstein-Podolsky-Rosen type of experiments can be explained by Boole's ideas. Violations of Bell's inequality also call for a revision of the mathematical abstractions and corresponding algebra. It will be shown that this particular view of Bell's inequalities points toward an incompleteness of quantum mechanics, rather than to any superluminal propagation or influences at a distance.