Strong versions of Bell's theorem
- Theoretical Physics Group, Physics Division, Lawrence Berkeley Laboratory, 1 Cyclotron Road, Berkeley, California 94720 (United States)
Technical aspects of a recently constructed strong version of Bell's theorem are discussed. The theorem assumes neither hidden variables nor factorization, and neither determinism nor counterfactual definiteness. It deals directly with logical connections. Hence its relationship with modal logic needs to be described. It is shown that the proof can be embedded in an orthodox modal logic, and hence its compatibility with modal logic assured, but that this embedding weakens the theorem by introducing as added assumptions the conventionalities of the particular modal logic that is adopted. This weakening is avoided in the recent proof by using directly the set-theoretic conditions entailed by the locality assumption.
- DOE Contract Number:
- AC03-76SF00098
- OSTI ID:
- 5011248
- Journal Information:
- Physical Review A; (United States), Journal Name: Physical Review A; (United States) Vol. 49:5; ISSN 1050-2947; ISSN PLRAAN
- Country of Publication:
- United States
- Language:
- English
Similar Records
A Bell-type theorem without hidden variables
Comments on Shimony's 'An Analysis of Stapp's 'A bell-type theoremwithout hidden variables''