Advertisement

Erkenntnis

, Volume 37, Issue 2, pp 197–222 | Cite as

Truth versus testability in Quantum Logic

  • Claudio Garola
Article

Abstract

We forward an epistemological perspective regarding non-classical logics which restores the universality of logic in accordance with the thesis of “global pluralism”. In this perspective every non-classical “truth-theory” is actually a theory of some metalinguistic concept which does not coincide with the concept of truth (described by Tarski's truth theory). We intend to apply this point of view to Quantum Logic (QL) in order to prove that its structure properties derive from properties of the metalinguistic concept of testability in Quantum Physics. To this end we construct a classical language Lcand endow it with a classical effective interpretation which is partially inspired by the Ludwig approach to the foundations of Quantum Mechanics. Then we select two subsets of formulas in Lcwhich can be considered testable because of their interpretation and we show that these subsets have the structure properties of Quantum Logics because of Quantum Mechanical axioms, as desired. Finally we comment on some relevant consequences of our approach (in particular, the fact that no non-classical logic is strictly needed in Quantum Physics).

Keywords

Quantum Mechanics Structure Property Relevant Consequence Quantum Logic Truth Theory 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Beltrametti E. G. and Cassinelli G.: 1981, ‘The Logic of Quantum Mechanics’, in G. C.Rota (ed.), Encyclopedia of Mathematics and its Applications, Addison-Wesley, Reading.Google Scholar
  2. Carnap R.: 1939, Foundations of Logic and Mathematics, Chicago University Press, Chicago.Google Scholar
  3. Carnap R.: 1949, ‘Truth and Confirmation’, Collected in H.Feigl and W.Sellars (eds.), Readings in Philosophical Analysis, Appleton-Century-Crofts Inc., New York (1949).Google Scholar
  4. Carnap R.: 1966, Philosophical Foundations of Physics, Basic Books Inc., New York.Google Scholar
  5. Cattaneo G., Dalla Pozza C., Garola C., Nisticò G.: 1988, ‘On the Logical Foundations of the Jauch-Piron Approach to Quantum Physics’, International Journal of Theoretical Physics 27, 1313.Google Scholar
  6. Cattaneo G., Garola C., Nisticò G.: 1989, ‘Preparation-Effects versus Question-Proposition Structures’, Journal of Physics Essays 2, 197.Google Scholar
  7. Church A.: 1956, Introduction to Mathematical Logic, Princeton University Press, Princeton.Google Scholar
  8. Dalla Chiara M. L.: 1974, Logica, ISEDI, Milan.Google Scholar
  9. Dalla Chiara M. L.: 1977, ‘Quantum Logic and Physical Modalities’, Journal of Philosophical Logic 6, 391.Google Scholar
  10. Dalla Pozza C.: 1991, ‘Un'Interpretazione Pragmatica Della Logica Proposizionale Intuizionistica’, collected in G.Usberti (ed.), Problemi Fondazionali nella Teoria del Significato, Olschki, Florence (1991).Google Scholar
  11. DeRitis R. and Guccione S.: 1984, ‘Albert Einstein: The Scientific Monism’, Fundamenta Scientiae 5, 103.Google Scholar
  12. Dishkant H.: 1972, ‘Semantics of the Minimal Logic of Quantum Mechanics’, collected in C. A.Hooker (ed.), The Logico-Algebraic Approach to Quantum Mechanics, Vol. II. Reidel, Dordrecht (1979).Google Scholar
  13. Drieschner M.: 1977, ‘Is (Quantum) Logic Empirical?’, Journal of Philosophical Logic 6, 415.Google Scholar
  14. Finkelstein D.: 1969, ‘Matter, Space and Logic’, collected in C. A.Hooker (ed.), Logico-Algebraic Approach to Quantum Mechanics, vol. II, Reidel, Dordrecht (1979).Google Scholar
  15. Finkelstein D.: 1972, ‘The Physics of Logic’ collected in C. A.Hooker (ed.), Logico-Algebraic Approach to Quantum Mechanics, vol. II, Reidel, Dordrecht (1979).Google Scholar
  16. Finkelstein D.: 1977, ‘The Leibnitz Project’, collected in C. A.Hooker (ed.), Logico-Algebraic Approach to Quantum Mechanics, vol. II, Reidel, Dordrecht (1979).Google Scholar
  17. Garola, C.: 1991, ‘Classical Foundations of Quantum Logic’, International Journal of Theoretical Physics 30.Google Scholar
  18. Garola C.: 1992, ‘Semantic Incompleteness of Quantum Physics’, International Journal of Theoretical Physics 31, 809.Google Scholar
  19. Garola C. and SolombrinoL.: 1983, ‘Yes-No Experiments and Ordered Structures in Quantum Physics’, Il Nuovo Cimento 77B, 87.Google Scholar
  20. Haack S.: 1978, Philosophy of Logics, Cambridge University Press, Cambridge.Google Scholar
  21. Holdsworth D. G. and Hooker C. A.: 1983, ‘A Critical Survey of Quantum Logic’, in Logic in the 20th Century, Scientia, Milan.Google Scholar
  22. Jammer M.: 1974, The Philosophy of Quantum Mechanics, John Wiley & Sons, New York.Google Scholar
  23. Jauch J. M.: 1968, Foundations of Quantum Mechanics, Addison-Wesley, Reading.Google Scholar
  24. Kneale W. C. and Kneale M.: 1962, The Development of Logic, Clarendon Press, Oxford.Google Scholar
  25. Kripke S. A.: 1963, ‘Semantical Considerations on Modal Logic’, collected in L.Linsky (ed.), Reference and Modality, Oxford University Press, Oxford (1971).Google Scholar
  26. Ludwing G.: 1983, Foundations of Quantum Mechanics I, Springer Verlag, New York.Google Scholar
  27. Mackey G. W.: 1963, The Mathematical Foundations of Quantum Mechanics, W. A. Benjamin, New York.Google Scholar
  28. Pavičič M.: 1992, ‘Bibliography on Quantum Logics and Related Structures’, International Journal of Theoretical Physics 31, 373.Google Scholar
  29. Piron C.: 1976, Foundations of Quantum Physics, W. A. Benjamin, Reading.Google Scholar
  30. Pool J. C. T.: 1968, ‘Baer *-Semigroups and the Logic of Quantum Mechanics’, collected in C. H.Hooker (ed.), The Logico-Algebraic Approach to Quantum Mechanics, Reidel, Dordrecht (1975).Google Scholar
  31. Popper K. R.: 1969, Conjectures and Refutations, Routledge and Kegan Paul, London.Google Scholar
  32. Putnam H.: 1969, ‘Is Logic Empirical?’, collected in C. A.Hooker (ed.), The Logico-Algebraic Approach to Quantum Mechanics, vol. II, Reidel, Dordrecht (1979).Google Scholar
  33. Quine W. V.: 1970, Philosophy of Logic, Prentice Hall, Englewood Cliffs.Google Scholar
  34. Tarski A.: 1956, ‘The Concept of Truth in Formalized Languages’, collected in Logic, Semantics, Metamathematics, Oxford University Press, Oxford (1956).Google Scholar
  35. Thomason R. H.: 1974, Introduction to Formal Philosophy; Selected Papers of Richard Montague, Yale University Press Ltd., London.Google Scholar
  36. Van Fraassen B. C.: 1981, ‘A Modal Interpretation of Quantum Mechanics’, in E. G.Beltrametti and B. C.VanFraassen (eds.), Current Issues in Quantum Logic, Plenum Press, London (1981).Google Scholar

Copyright information

© Kluwer Academic Publishers 1992

Authors and Affiliations

  • Claudio Garola
    • 1
  1. 1.Dipartimento di FisicaUniversità Degli Studi Di LecceLecceItaly

Personalised recommendations