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 L cand 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 L cwhich 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).
Similar content being viewed by others
References
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.
Carnap R.: 1939, Foundations of Logic and Mathematics, Chicago University Press, Chicago.
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).
Carnap R.: 1966, Philosophical Foundations of Physics, Basic Books Inc., New York.
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.
Cattaneo G., Garola C., Nisticò G.: 1989, ‘Preparation-Effects versus Question-Proposition Structures’, Journal of Physics Essays 2, 197.
Church A.: 1956, Introduction to Mathematical Logic, Princeton University Press, Princeton.
Dalla Chiara M. L.: 1974, Logica, ISEDI, Milan.
Dalla Chiara M. L.: 1977, ‘Quantum Logic and Physical Modalities’, Journal of Philosophical Logic 6, 391.
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).
DeRitis R. and Guccione S.: 1984, ‘Albert Einstein: The Scientific Monism’, Fundamenta Scientiae 5, 103.
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).
Drieschner M.: 1977, ‘Is (Quantum) Logic Empirical?’, Journal of Philosophical Logic 6, 415.
Finkelstein D.: 1969, ‘Matter, Space and Logic’, collected in C. A.Hooker (ed.), Logico-Algebraic Approach to Quantum Mechanics, vol. II, Reidel, Dordrecht (1979).
Finkelstein D.: 1972, ‘The Physics of Logic’ collected in C. A.Hooker (ed.), Logico-Algebraic Approach to Quantum Mechanics, vol. II, Reidel, Dordrecht (1979).
Finkelstein D.: 1977, ‘The Leibnitz Project’, collected in C. A.Hooker (ed.), Logico-Algebraic Approach to Quantum Mechanics, vol. II, Reidel, Dordrecht (1979).
Garola, C.: 1991, ‘Classical Foundations of Quantum Logic’, International Journal of Theoretical Physics 30.
Garola C.: 1992, ‘Semantic Incompleteness of Quantum Physics’, International Journal of Theoretical Physics 31, 809.
Garola C. and SolombrinoL.: 1983, ‘Yes-No Experiments and Ordered Structures in Quantum Physics’, Il Nuovo Cimento 77B, 87.
Haack S.: 1978, Philosophy of Logics, Cambridge University Press, Cambridge.
Holdsworth D. G. and Hooker C. A.: 1983, ‘A Critical Survey of Quantum Logic’, in Logic in the 20th Century, Scientia, Milan.
Jammer M.: 1974, The Philosophy of Quantum Mechanics, John Wiley & Sons, New York.
Jauch J. M.: 1968, Foundations of Quantum Mechanics, Addison-Wesley, Reading.
Kneale W. C. and Kneale M.: 1962, The Development of Logic, Clarendon Press, Oxford.
Kripke S. A.: 1963, ‘Semantical Considerations on Modal Logic’, collected in L.Linsky (ed.), Reference and Modality, Oxford University Press, Oxford (1971).
Ludwing G.: 1983, Foundations of Quantum Mechanics I, Springer Verlag, New York.
Mackey G. W.: 1963, The Mathematical Foundations of Quantum Mechanics, W. A. Benjamin, New York.
Pavičič M.: 1992, ‘Bibliography on Quantum Logics and Related Structures’, International Journal of Theoretical Physics 31, 373.
Piron C.: 1976, Foundations of Quantum Physics, W. A. Benjamin, Reading.
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).
Popper K. R.: 1969, Conjectures and Refutations, Routledge and Kegan Paul, London.
Putnam H.: 1969, ‘Is Logic Empirical?’, collected in C. A.Hooker (ed.), The Logico-Algebraic Approach to Quantum Mechanics, vol. II, Reidel, Dordrecht (1979).
Quine W. V.: 1970, Philosophy of Logic, Prentice Hall, Englewood Cliffs.
Tarski A.: 1956, ‘The Concept of Truth in Formalized Languages’, collected in Logic, Semantics, Metamathematics, Oxford University Press, Oxford (1956).
Thomason R. H.: 1974, Introduction to Formal Philosophy; Selected Papers of Richard Montague, Yale University Press Ltd., London.
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).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Garola, C. Truth versus testability in Quantum Logic. Erkenntnis 37, 197–222 (1992). https://doi.org/10.1007/BF00209322
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF00209322