Abstract
A constructive approach to logics of physical systems, according to which families of propositions about physical systems are not defined in an axiomatic way, but are built up in the course of experiments, is proposed. Several ways of joining Boolean algebras of propositions obtained in single experiments are studied. The proposed approach is applied to study families of propositions encountered in EPR-type experiments. Two examples of such experimental families of EPR propositions are studied and they are compared with two theoretical families of EPR propositions in the literature.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Aerts, D. (1981). The one and the many. Towards a unification of the quantum and the classical description of one and many physical entities, Ph.D. thesis, Vrije Universiteit Brussels, TENA, Brussels.
Aerts, D. (1982).Foundations of Physics,12, 1131.
Beltrametti, E. G., and Cassinelli, G. (1981).The Logic of Quantum Mechanics, Addison-Wesley, Reading, Massachusetts.
Bub, J. (1989).Foundations of Physics,19, 793.
Einstein, A., Podolsky, B., and Rosen, N. (1935).Physical Review,47, 777.
Finch, P. D. (1969).Journal of Symbolic Logic,34, 275.
Foulis, D. J., and Randall, C. H. (1972).Journal of Mathematical Physics,13, 1667.
Greechie, R. J. (1971).Journal of Combinatorial Theory,10, 119.
Halmos, P. R. (1974).Lectures on Boolean Algebras, Springer, New York.
Jauch, J. M. (1968).Foundations of Quantum Mechanics, Addison-Wesley, Reading, Massachusetts.
Jauch, J. M., and Piron, C. (1969).Helvetica Physics Acta,43, 842.
Kalmbach, G. (1983).Orthomodular Lattices, Academic Press, London.
Kläy, M. P. (1988).Foundations of Physics Letters,1, 205, 305.
Kochen, S., and Specker, E. P. (1965). InThe Theory of Models, J. Addison, L. Henkin, and A. Tarski, eds., North-Holland, Amsterdam.
Kochen, S., and Specker, E. P. (1967).Journal of Mathematics and Mechanics,17, 59.
Lock, P. F., and Hardegree, G. M. (1985).International Journal of Theoretical Physics,24, 1, 43.
Mackey, G. W. (1983).Mathematical Foundations of Quantum Mechanics, Benjamin, New York.
Mcaczyński, M. J. (1973).International Journal of Theoretical Physics,8, 353.
Mcaczyński, M. J. (1974).International Journal of Theoretical Physics,11, 149.
Namiki, M. (1986).Annals of the New York Academy of Sciences,480, 78.
Piron, C. (1976).Foundations of Quantum Physics, Benjamin, Reading, Massachusetts.
Posiewnik, A., and Pykacz, J. (1986).International Journal of Theoretical Physics,25, 239.
Randall, C. H., and Foulis, D. J. (1973).Journal of Mathematical Physics,14, 1472.
Szabó, L. (1987).International Journal of Theoretical Physics,26, 833.
Szabó, L. (1988). InRelativity Theory (Budapest, 1987), World Scientific, Teaneck, New York.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Pykacz, J., Santos, E. Constructive approach to logics of physical systems: Application to EPR case. Int J Theor Phys 29, 1041–1058 (1990). https://doi.org/10.1007/BF00672083
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00672083