Abstract
The question “what is an interpretation?” is often intertwined with the perhaps even harder question “what is a scientific theory?”. Given this proximity, we try to clarify the first question to acquire some ground for the latter. The quarrel between the syntactic and semantic conceptions of scientific theories occupied a large part of the scenario of the philosophy of science in the 20th century. For many authors, one of the two currents needed to be victorious. We endorse that such debate, at least in the terms commonly expressed, can be misleading. We argue that the traditional notion of “interpretation” within the syntax/semantic debate is not the same as that of the debate concerning the interpretation of quantum mechanics. As much as the term is the same, the term “interpretation” as employed in quantum mechanics has its meaning beyond (pure) logic. Our main focus here lies on the formal aspects of the solutions to the measurement problem. There are many versions of quantum theory, many of them incompatible with each other. In order to encompass a wider variety of approaches to quantum theory, we propose a different one with an emphasis on pure formalism. This perspective has the intent of elucidating the role of each so-called “interpretation” of quantum mechanics, as well as the precise origin of the need to interpret it.
Similar content being viewed by others
Notes
We will try to clear up confusion related to the terms “language” and “meaning”. Terms are the linguistic representations for certain quantities—for example, the term “mass” designates the physical quantity known as mass. Measuring, thus, is related to quantities, not their linguistic representations. In this sense, terms, of course, cannot be measured.
Probably the first author to point out this problem was Maxwell (1962).
It’s not our point here to discuss, in a profound way, how the traditional distinction can be if necessary, safeguarded [a more detailed discussion can be found at Silva (2013, pp. 144–151)]. D Lewis (1970) and Maxwell (1962) suggested how this can be done from a realist perspective and the recent developments in the structural realist view of theories depend/draw heavily on an adequate distinction between observational and theoretical terms.
From this point forward, we will adopt the notation presented by Krause and Arenhart (2016), who call first-order structures as “order-1”, and high-order structures (e.g., with \(n>1\)) as “order-n”.
Something that, again, Carnap was aware (cf. Carnap 1966, p. 193)
In this sense, Carnap is in partial disagreement with Quine’s holism: i.e., recognizing the continuum between theoretical and observational terms—and so only partially agreeing with Quine’s holism—but allowing a distinction to be justified (only) by practical purposes, suspending the judgment about its “nature”, that he would regard as a (suspicious) metaphysical commitment.
For a detailed discussion see Silva (2020, pp. 87–95).
It is noteworthy to mention that the terminology of “partial interpretation” is employed here in a non-standard way. It shall not to confused with its standard meaning: if every elementary statement in a theory T has a correspondent in its models, then it is considered to be a “full interpretation”; otherwise, it is a “partial interpretation” (cf. Haskell (1963, p. 48).
We’ll say more about this in Sect. 4.
It is not our goal to discuss the implications of this view for scientific realism; the reader interested in this subject may find a helpful discussion in Chakravartty (2001) and references therein.
Although Chang and Keisler (1990) work only with order-1 structures, the idea can be generalized.
For simplicity, from this point forward the description of these structures’ components shall be fixed as defined in the previous paragraph.
See also Lutz (2015, Sect. 5).
This issue is discussed in more detail in Sect. 6.
Another way of stating such problem is relating “open” and “closed” systems—see Pessoa Junior (1997). This work, however, sticks to Maudlin’s taxonomy as it better relates to the literature here considered.
In the sense of the word ‘interpretation’, as usually employed in QM.
In his “Against ‘measurement”’, Bell (1990) put forth his famous critique of how the notion of “measurement” is ill-defined and even inadequate to the context of the foundations of QM. Our goal here is essentially to do the same, but with the term “interpretation”.
For those cases, see the references cited in Ćirković (2005, p. 821).
For a brief analysis of seven thought experiments that show the differences in experimental results between collapse and no-collapse approaches versions of QM, see Ćirković (2005, pp. 823–834).
An earlier version of \(\hbox {QM}^{bas}\) was presented in Arroyo (2020, Chap. 2).
It is assumed, though, that this can be done—even if not here.
See \({\mathcal {R}}\) ahead.
Not to be confused with the “cosmic exile” mentioned in Sect. 4.
There is some consensus concerning this mode of presentation of measurement results. For the sake of precision, it is essential to emphasize that this applies to measurements of the first kind. There are, however, measurements where this does not occur: where the eigenstate does not correspond to the eigenvalue. The position measurement satisfies the postulate presented, but, strictly, this does not apply to the measurement of energy.
Recall that such a specific axiom is neutral regarding the question whether the states or the systems are prone to the branching process.
Basically, this is the lead done by Niels Bohr (cf. Faye 2012, and references therein).
References
Achinstein P (1968) Concepts of science: a philosophical analysis. Johns Hopkins University Press, Baltimore
Acuña P (2021) Charting the landscape of interpretation, theory rivalry, and underdetermination in quantum mechanics. Synthese 198(2):1711–1740
Arroyo RW (2020) Discussions on physics, metaphysics and metametaphysics: Interpreting quantum mechanics. PhD thesis, Federal University of Santa Catarina (UFSC), Florianópolis. https://tede.ufsc.br/teses/PFIL0381-T.pdf. Accessed 29 Jun 2021
Arroyo RW, Arenhart JRB (2019) Between physics and metaphysics: a discussion of the status of mind in quantum mechanics. In: de Barros JA, Montemayor C (eds) Quanta and mind: essays on the connection between quantum mechanics and the consciousness, synthese library. Springer, Cham, Chap 3, pp 31–42
Auyang SY (1995) How is quantum field theory possible?. Oxford University Press, Oxford
Bell J (1990) Against ‘measurement’. Phys World 3(8):33–41
Birkhoff G, von Neumann J (1936) The logic of quantum mechanics. Ann Math 37(4):823–843
Bohm D (1952) A suggested interpretation of the quantum theory in terms of ‘hidden’ variables, i. Phys Rev 85(2):166
Bohm D, Hiley BJ (2006) The undivided universe: an ontological interpretation of quantum theory. Routledge, London
Bueno O, Krause D (2007) Scientific theories, models, and the semantic approach. Principia 11(2):187–201
Carnap R (1959) Theoretical concepts in science. Stud Hist Philos Sci Part A 31(1):158–172
Carnap R (1966) Philosophical foundations of physics: an introduction to the philosophy of science. Basic Books, Editor Martin Gardner
Chakravartty A (2001) The semantic or model-theoretic view of theories and scientific realism. Synthese 127:325–345
Chang CC, Keisler HJ (1990) Model theory, vol 3. Elsevier, Amsterdam
Ćirković MM (2005) Physics versus semantics: a puzzling case of the missing quantum theory. Found Phys 35(5):817–838
Cohen-Tannoudji C, Diu B, Laloe F (1991) Quantum mechanics, vol 1. Wiley, Weinheim
Contessa G (2006) Scientific models, partial structures and the new received view of theories. Stud Hist Philos Sci 2(37):370–377
Craver CF (2008) Structures of scientific theories. In: Machamer P, Silbertstein M (eds) The Blackwell guide to the philosophy of science. Wiley, Oxford, pp 55–79
da Costa NCA, Chuaqui R (1988) On Suppes’ set theoretical predicates. Erkenntnis 29(1):95–112
da Costa NCA, French S (2000) Models, theories, and structures: thirty years on. Philos Sci 67:S116–S127
Dalla Chiara ML (1977) Logical self reference, set theoretical paradoxes and the measurement problem in quantum mechanics. J Philos Log 6(1):331–347
Dalla Chiara ML (1981) Logical foundations of quantum mechanics. In: Agazzi E (ed) Modern logic—a survey: historical. In: Philosophical and mathematical aspects of modern logic and its applications. Springer, Dordrecht, pp 331–351
Dalla Chiara ML, di Francia TG (1979) Formal analysis of physical theories. In: di Francia TG (ed) Problems in the foundations of physics. Worldcat, Amsterdam, pp 134–201
de Barros JA, Oas G (2017) Can we falsify the consciousness-causes-collapse hypothesis in quantum mechanics? Found Phys 47(10):1294–1308
de Ronde C (2016) Representational realism, closed theories and the quantum to classical limit. World Scientific, Singapore, pp 105–135
d’Espagnat B (2003) Veiled reality: an analysis of present-day quantum mechanical concepts. Westview, Boulder
Dürr D, Lazarovici D (2020) Understanding quantum mechanics: the world according to modern quantum foundations. Springer, Cham
Enderton HB (2015) Second-order and higher-order logic. In: Zalta EN (ed) The Stanford encyclopedia of philosophy, fall 2015 edn. Metaphysics Research Lab, Stanford University, Stanford
Esfeld M (2019) Individuality and the account of nonlocality: the case for the particle ontology in quantum physics. In: Lombardi O, Fortin S, López C, Holik F (eds) Quantum worlds: perspectives on the ontology of quantum mechanics. Cambridge University Press, Cambridge, pp 222–244
Everett H (1957) ‘Relative state’ formulation of quantum mechanics. Rev Mod Phys 29(3):454–462
Farenick D (2016) Fundamentals of functional analysis, 1st edn. Universitext, Springer, Switzerland
Faye J (2012) Niels Bohr: his heritage and legacy: an anti-realist view of quantum mechanics, vol 6. Springer, New York
Friederich S (2014) Interpreting quantum theory: a therapeutic approach. Palgrave Macmillan, New York
Ghirardi GC, Rimini A, Weber T (1986) Unified dynamics for microscopic and macroscopic systems. Phys Rev D 34(2):470
Goldstein S (2009) Projection postulate. In: Greenberger D, Hentschel K, Weinert F (eds) Compendium of quantum physics: concepts, experiments, history and philosophy. Springer, Dordrecht, pp 499–501
Gudder SP (1979) A survey of axiomatic quantum mechanics. In: Hooker C (ed) The logico-algebraic approach to quantum mechanics, Contemporary consolidation, vol II. Springer, Netherlands, pp 323–363
Halvorson H (2012) What scientific theories could not be. Philos Sci 79(2):183–206
Halvorson H (2016) Scientific theories. In: Humphreys P (ed) The Oxford handbook of philosophy of science. Oxford University Press, Oxford Chap 27
Haskell CB (1963) Foundations of mathematical logic. McCraw-Hill, New York
Henkin L (1950) Completeness in the theory of types. J Symb Log 15(02):81–91
Hodges W (1993) Model theory, Encyclopedia of mathematics and its applications, vol 42. Cambridge University Press, Cambridge
Jammer M (1974) The philosophy of quantum mechanics: the interpretations of quantum mechanics in historical perspective. Wiley, New York
Krause D, Arenhart JRB (2016) The logical foundations of scientific theories: languages, structures, and models. Routledge, Abingdon
Krause D, Arenhart JRB, Moraes FTF (2011) Axiomatization and models of scientific theories. Found Sci 16(4):363–382
Lewis D (1970) How to define theoretical terms. J Philos 67(13):427
Lewis P (2016) Quantum ontology: a guide to the metaphysics of quantum mechanics. Oxford University Press, New York
Lutz S (2012) On a straw man in the philosophy of science: a defense of the received view. HOPOS: J Int Soc Hist Philos Sci 2(1):77–120
Lutz S (2015) What was the syntax-semantics debate in the philosophy of science about? Philos Phenomenol Res 95(2):319–352.
Maudlin T (1995) Three measurement problems. Topoi 14(1):7–15
Maxwell G (1962) The ontological status of theoretical entities. Minn Stud Philos Sci 3:1–27
Mermin ND (2004) Could Feynman have said this? Phys Today 57(5):10
Messiah A (1961) Quantum mechanics, vol I. North-Holland, Amsterdam translated by G. M. Temmer
Muller FA (2003) Refutability revamped: how quantum mechanics saves the phenomena. Erkenntnis 56:189–211
Ney A, Albert DZ (eds) (2013) The wave function: essays on the metaphysics of quantum mechanics. Oxford University Press, Oxford
Pessoa OF Jr (1997) Can the decoherence approach help to solve the measurement problem? Synthese 113(3):323–346
Putnam H (1966) What theories are not. Stud Log Found Math 44:240–251
Ruetsche L (2018) Getting real about quantum mechanics. In: Saatsi J (ed) The Routledge handbook of scientific realism. Routledge, New York, pp 291–303
Silva GOd (2013) Carnap and Kuhn on linguistic frameworks and scientific revolutions. Manuscrito 36(1):139–190
Silva GOd (2020) Os empiristas vão à missa: compromissos ontológicos e frameworks linguísticos. PhD thesis, University of Campinas (UNICAMP), Campinas. http://repositorio.unicamp.br/jspui/handle/REPOSIP/342469. Accessed 29 Jun 2021
Sklar L (2003) Interpreting theories: the case of statistical mechanics. In: Clark P, Hawley K (eds) Philosophy of science today. Oxford University Press, Oxford, pp 276–284
Styer DF, Balkin MS, Becker KM, Burns MR, Dudley CE, Forth ST, Gaumer JS, Kramer MA, Oertel DC, Park LH, Rinkoski MT, Smith CT, Wotherspoon TD (2002) Nine formulations of quantum mechanics. Am J Phys 70(3):288–297
Suppe F (1977) The structure of scientific theories. University of Illinois Press, Illinois
Suppe F (1989) The semantic conception of theories and scientific realism. University of Illinois Press, Illinois
Suppe F (2000) Understanding scientific theories: an assessment of developments, 1969–1998. Philos Sci 67:S102–S115
Suppes P (1957) Introduction to logic. Van Nostrand, New York
Suppes P (1967) What is a scientific theory? In: Morgenbesser S (ed) Philosophy of science today. Basic Books, New York, pp 55–67
Suppes P (2002) Representation and invariance of scientific structures. CSLI Publications, Stanford
Tarski A (1956) The concept of truth in formalized languages. Log, Semant, Metamath 2:152–278
van Fraassen BC (1989) Laws and symmetry. Oxford University Press, Oxford, Clarendon paperbacks
von Neumann J (1955) Mathematical foundations of quantum mechanics. Princeton University Press, Princeton
Wallace D (2012) The emergent multiverse: quantum theory according to the Everett interpretation. Oxford University Press, Oxford
Wallace D (2020a) Lessons from realistic physics for the metaphysics of quantum theory. Synthese 197(10):4303–4318
Wallace D (2020b) On the plurality of quantum theories: quantum theory as a framework, and its implications for the quantum measurement problem. Sci Real Quant 5:78–102
Wightman AS (1976) Hilbert’s sixth problem: mathematical treatment of the axioms of physics. In: Browder FE (ed) Mathematical developments arising from Hilbert problems, part 1, Proceedings of symposia in pure mathematics, vol XXVIII. American Mathematical Society, Rhode Island, pp 241–268
Wigner E (1983) Remarks on the mind-body question. In: Wheeler J, Zurek W (eds) Quantum theory and measurement. Princeton University Press, Princeton, pp 168–181
Worrall J (2007) Miracles and models: why reports of the death of structural realism may be exaggerated. R Inst Philos Suppl 61:125–154
Zahar EG (2004) Ramseyfication and structural realism. Theoria 19(1):5–30
Acknowledgements
We want to thank all the attendants of the VI International Workshop on Quantum Mechanics and Quantum Information: Identity and Individuality, held in Florianópolis, Brazil, 2019, in which part of the content of this paper was presented. In special, we also thank Adonai Sant’Anna, Christian de Ronde, David Wallace, Décio Krause, Eduardo Quirino, Jerzy Brzozowski, Jonas Arenhart, Kherian Gracher, Lauro Nunes Filho, Matheus Valente, Osvaldo Pessoa Jr., and Otávio Bueno for many fruitful discussions on related subjects, and for comments made on previous versions of this paper. We would also like to thank the anonymous reviewer for having raised several questions that allowed us to improve our article. Part of the content of this paper was also presented in chapters 1 and 2 of one of the authors’ doctoral thesis (RWA), which was financed in part by the Coordenação de Aperfeiçoamento de Pessoal de Nível Superior—Brasil (CAPES)—Finance Code 001.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Arroyo, R.W., da Silva, G.O. Against ‘Interpretation’: Quantum Mechanics Beyond Syntax and Semantics. Axiomathes 32, 1243–1279 (2022). https://doi.org/10.1007/s10516-021-09579-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10516-021-09579-y