Skip to main content
Log in

Science Generates Limit Paradoxes

  • Original Paper
  • Published:
Axiomathes Aims and scope Submit manuscript

Abstract

The sciences occasionally generate discoveries that undermine their own assumptions. Two such discoveries are characterized here: the discovery of apophenia by cognitive psychology and the discovery that physical systems cannot be locally bounded within quantum theory. It is shown that such discoveries have a common structure and that this common structure is an instance of Priest’s well-known Inclosure Schema. This demonstrates that science itself is dialetheic: it generates limit paradoxes. How science proceeds despite this fact is briefly discussed, as is the connection between our results and the realism-antirealism debate. We conclude by suggesting a position of epistemic modesty.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Fig. 1

Similar content being viewed by others

Notes

  1. One could argue that the Tractatus does not fit the kind of “ladder paradoxes” we explore here because one can, in fact, jettison the ladder of the Tractatus, moving beyond its propositions to the correct understanding of the world (Wittgenstein himself appears to have thought so). However, Priest has argued (2002, pp. 191–192) that the Tractarian ladder cannot be used and then jettisoned, so Wittgenstein is saddled with paradox. Priest puts it thus: “… far from being the rungs of a real ladder that one can ascend, [the propositions of the Tractatus] are the like the rungs of a holographic ladder that will not support any weight put on them …” (p. 191).

  2. “Apophenia” has precedence over Shermer’s (2008) term “patternicity” and is more general than “pareidolia.”

  3. For example, standard statistical meta-analysis techniques applied to multiple experimental studies regularly yield positive evidence for ESP-like phenomena (e.g. Radin 2006; Tressoldi 2011); meta-analysis similarly yields positive evidence for retrocausation (Mossbridge et al. 2012). However, no level of statistical significance beyond which such phenomena would be deemed to have been demonstrated has been widely agreed upon within the relevant research communities, and positive claims about either are typically met with suspicion or dismissal (e.g. Miller 2011).

  4. It is not often noted how important the assumption that some patterns are meaningless or “random” is for either science or common sense. Finding significance in every turn of a leaf can be overwhelming. While a full discussion of this issue is beyond the present scope, we return to it briefly in the section that follows.

  5. Specifically, we are faced with a Pyrrhonic regress: an unmeetable demand for a further criterion that identifies “real” patterns. As is well known, such a regress is undefeatable by evidence. As Russell (1921) puts it,

    There is no logical impossibility in the hypothesis that the world sprang into being five minutes ago, exactly as it then was, with a population that “remembered” a wholly unreal past. There is no logically necessary connection between events at different times; therefore nothing that is happening now or will happen in the future can disprove the hypothesis that the world began five minutes ago.

    pp. 159–160

    Pyrrhonic scepticism is, however, also unsustainable: It is impossible to spend any length of time believing that one knows nothing. To get through our day, we have to at least behave as if we know things. But even this is impossibly arduous for our minds, and we wind up implicitly adopting the position that we actually know things. We then, following Chisholm (1982), turn to a burden-of-proof argument, saddling the sceptic with the impossible task of proving that the world did begin just five minutes ago.

  6. It is worth noting that confabulation of motives for actions can also be intersubjective, as the effectiveness of crowd psychology and subliminal advertising demonstrate.

  7. What counts as an “observer” in quantum theory has, in our opinion, received less attention than it deserves. Many theorists use the word “observer” merely to indicate a logically-possible point of view. There is, in particular, no requirement that “observers” be “like us” in any significant way. “Observer independent” is therefore considerably stronger than “intersubjective” if the latter term is used in a way that invokes or assumes any degree of psychological or experiential similarity. See Fields (2012a) for a discussion.

  8. Many scientists also insist that the possibility of doing experiments commits them to free will (e.g. Gisin 2012). This assumption creates yet another “ladder” phenomenon in any science that both claims applicability to scientists themselves and assumes some form of deterministic causation. This is particularly evident in quantum theory, which in standard formulations claims both universality (and hence applicability to physicists as components of the physical universe) and the unitary time evolution given by the Schrödinger equation. As discussed in more detail below, unitary time evolution entangles observer with observed. A physicist that is entangled with her apparatus may appear to herself to be manipulating its state and hence may appear to herself to be exercising free will, but to a third party who observes them interacting, neither she nor her apparatus can be even assigned a determinate individual state. That experimenter and apparatus are interacting and hence entangled is itself, moreover, not an observer-independent fact; yet a fourth observer could describe the world in a way that renders them mutually isolated and hence non-interacting (e.g. Zanardi 2001). Hence if unitary evolution is taken seriously, even the question of whether an experiment has been performed, let alone the question of whether it has been performed by an agent executing free will, does not have an objective, i.e. observer-independent, answer. We return to this point in Sect. 6.

  9. An enormous literature attempts to show that the predictions of quantum theory can be made consistent with the existence of an objectively classical world, i.e. a world that is classical independently of any or all observers, and hence with the existence of objective, observer-independent boundaries around objectively-existing objects. While we cannot exhaustively review that literature here, our position is that all conceptually successful attempts to establish objective classicality are inconsistent with quantum theory and hence have long empirical odds against them, while weaker positions produce “emergent” classicality only by assuming it. The simplest gambit, of course, is to claim that quantum theory is false or “in need of modification”; this is the tactic of all “objective collapse” theories (a recent example is that of Weinberg 2012). As no experimental evidence supports the idea of an objective collapse, i.e. of an objectively non-unitary time evolution for any physical system, these theories remain largely curiousities (relevant experimental evidence as well as additional conceptual considerations are discussed in Schlosshauer 2006; Jordan 2010). Considerably more common is the claim that “collapse” and hence classicality are only apparent; this is the claim of standard decoherence theory (e.g. Zurek 1998; Schlosshauer 2007). Merely apparent, subjective and hence observer-dependent classicality is fully consistent with quantum theory, but provides no sense in which boundaries between systems—including boundaries between observers and their apparatus—can be ontological. It is often claimed, however, that decoherence provides a mechanism via which classicality can be objectively apparent, i.e. equally apparent to all observers. This claim, primarily advanced under the rubric of “quantum Darwinism” (e.g. Blume-Kohout and Zurek 2006; Zurek 2009) is inconsistent with the observer-relativity of entanglement (Zanardi 2001; Zanardi et al. 2004; Harshman and Ranade 2011) as has been argued (Dugić and Jeknić 2006; Dugić and Jeknić-Dugić 2008; Fields 2014). Either formulation of decoherence, moreover, assumes both a fixed system-environment boundary and a classical-statistics (i.e. “heat bath”) description of the environment, either of which render any claim to “explain” classicality circular (Fields 2014; Kastner 2014). Assuming that the system of interest is quantum and its environment is classical is also, it should be noted, assuming that the laws of physics change from quantum to classical at the system-environment boundary, an assumption that makes the calculations simpler, but denies the universality of quantum theory and has neither empirical nor theoretical justification. Purely ontological approaches fare no better. Lam and Esfeld (2012), for example, claim that quantum theory can be supported by an ontic structural realist ontology in which well-defined “quantum objects” are held together by essential, and hence observer-independent, relational properties such as entanglement, an approach that is clearly inconsistent with entanglement being observer-relative.

  10. This is not to deny that many quantum theorists are idealists, but merely to emphasize that they needn’t be idealists about those aspects of reality that quantum theory treats as objective.

  11. The semantic relationship between \(Kp\) and \(\kappa p\) is clearly complicated (e.g. Koons 2013; Pollock 1987, 1995). One might insist that \(Kp\) implies \(\kappa p\), and deny the converse. The former inference could be based on the notion that p being only defeasibly known does not entail that it is actually able to be defeated. However, if one interprets “defeasibly known” as “defeatable in the actual world” or as “merely believed (even with high confidence)” then \(Kp\) cannot imply \(\kappa p\) since \(Kp\) implies that p is true and hence not defeatable in the actual world. Still further, one might insist that the central notion of knowledge, at least in science, is defeasible knowledge: knowledge relative to assumptions (e.g. Moses and Shoham 1993). Except for footnote 13 below, we are going to ignore the complex epistemological and metaphysical issues surrounding the relation between \(Kp\) and \(\kappa p\), as addressing them is not required to demonstrate that the Ladder Schema is an instance of the Inclosure Schema.

  12. To more faithfully capture how A works in real scientific revolutions, we would need to add, at least, a time index, thus making A a 3-ary function of a time, a proposition p, and a set s of propositions. The time would be the pivot time, before which we would assert that we know the propositions in the set s (these constitute the alleged knowledge of the “old” paradigm), but after which we would assert that we know the new proposition p as well as the fact that p ushers in a revolution by rendering false the propositions of the old paradigm in s. However, since we assume here that scientific truths are timeless, we are going to ignore this complexity. Also, in scientific revolutions, A sometimes renders the propositions of the old paradigm false in the particular sense that they become approximations of propositions in the new paradigm. Relativity and quantum theory, for example, rendered Newtonian physics false, but it is still a “good enough” approximation to provide predictions that are accurate to within the relevant measurement resolutions for medium-sized objects moving at moderate velocities, and so is treated as “true for all practical purposes” in that circumscribed domain. We ignore this complication, too.

  13. The claim that \(\omega\) is known is the tip of some interesting epistemology. The most important point for us is that A is part of a knowledge engine. The engine works something like this. At step 1, we have \(A(\kappa \omega , \kappa I_{\omega }) = \kappa (\lnot I_{\omega })\). At step 2, the very falsity of \(I_{\omega }\), through a process only partially understood, elevates the defeasible knowledge of both \(\omega\) and \(\lnot I_{\omega }\) to genuine knowledge, giving us \(A(K \omega , \kappa I_{\omega }) = K(\lnot I_{\omega })\). Indeed, demonstrating that the propositions in \(I_{\omega }\) are false is sometimes regarded as a kind of aesthetic evidence that \(\omega\) is true. Such aesthetic considerations are particularly significant in scientific revolutions in which the most dramatic confirmatory findings—the discoveries of the structure and replications mechanism of DNA, for example, or the demonstration of quantum entanglement across kilometer distances—come decades after the revolutionary theory is proposed or even accepted. This is part of what we mean by saying that scientific revolutions uncover (produce?) more truth. On the notion that defeasible knowledge aspires to genuine knowledge, see Williamson (2000), especially the introductory chapter.

  14. From the Introduction, in the case of the observer effect \(\omega\) is “observing can strongly affect the system being observed” and in the case of number theory \(\omega\) is Gödel’s First Incompleteness Theorem. Both of these, though quite important, have limited application. The same is true for the scientific revolutions we discussed above.

  15. This is a good place to point out the relation between our two paradoxes. Basically, we are saying that apophenia running amok is an inability on science’s part to draw a boundary between real patterns and merely “psychological” ones.

  16. Formally, of course, if \(I_{\omega }\) simply engulfs \(\sigma\), we get paradox because \(\omega \in \sigma\), and hence is both true and false. But the case were interested in is when \(I_{\omega }\) expands to \(\Psi\) for semantic reasons.

  17. See, e.g. http://science1.nasa.gov/science-news/science-at-nasa/2001/ast24may_1/ and the Wikipedia entry http://en.wikipedia.org/wiki/Cydonia_(region_of_Mars).

  18. One might ask at this point: what about emergent properties? Surely one can say, for example, that solidity is a real emergent property, and solid objects have real boundaries—try kicking one!—even if these boundaries are somehow dependent on emergence. If one carefully avoids the idea that “emergence” is a physical process, e.g. following Butterfield (2011) and defining emergence in terms of relationships between observables, this is all fine. As in the cases of “collapse” or “decoherence,” the problems arise when one imagines that emergence is physical, and hence must postulate that physical laws change abruptly at some emergent boundary.

  19. Classical, axiomatic set theory dodges this contradiction by insisting that the “set” of all sets is not itself a set, but is rather a “class” to which Cantor’s Theorem does not apply.

  20. Two other of the many examples of science cum philosophy are Kelly 2008 (a philosopher does science) and, going the other way, Conway and Kochen 2006 (scientists do philosophy).

  21. Our case of closure has a property common to many other cases of closure: “[it is] established by reflecting on the conceptual practice in question; [in] a polemical context, this can appear as an ad hominem argument” (Priest 2002, p. 4).

  22. There is another way to get this conclusion. If \(K(\lnot \Psi )\) is in \(\Psi\) (via closure, as we’ve shown), then \(\Psi\) contains its own refutation (since \(K(\lnot \Psi )\) implies \(\lnot \Psi\)). We have then that science contains its own refutation. Science emerges as one big Liar Paradox (provided we construe science as one big proposition, as we can easily do). But as Priest has shown (1994, 2002), the Liar can be rendered as an inclosure paradox, giving us both transcendence and closure (though the latter is now redundant).

  23. A “Boltzmann brain” is a statistical fluctuation with the apparent perceptions, thoughts, and memories of a human or other sentient being. With plausible assumptions, standard inflationary cosmology predicts that virtually all observers are Boltzmann brains in otherwise empty universes, not evolved systems in universes with material structure (Bousso and Freivogel 2007).

  24. Note that this position almost diametrically opposes the constructive empiricism of van Fraassen (1980, 2001), which is realist about “observables” but anti-realist or at least agnostic about theoretical entities.

  25. But many do not, e.g. the religious are rarely dissuaded that an image of some deity or revered person does not bespeak a communicating god, and to this day, some believe the “face” in the Cydonia region of Mars was built by space aliens, and that NASA’s denial of this is a conspiratorial cover-up.

References

  • Blume-Kohout R, Zurek WH (2006) Quantum Darwinism: entanglement, branches, and the emergent classicality of redundantly stored quantum information. Phys Rev A 73:062310

    Article  Google Scholar 

  • Bohm D (1989) Quantum theory. Dover, New York

    Google Scholar 

  • Bohr N (1958) Atomic physics and human knowledge. Wiley, New York

    Google Scholar 

  • Bostrom N (2003) Are you living in a computer simulation? Philos Q 53(211):243–255

    Article  Google Scholar 

  • Bousso R, Freivogel B (2007) A paradox in the global description of the multiverse. J High Energy Phys 6:018

    Article  Google Scholar 

  • Boyer P, Bergstrom B (2008) Evolutionary perspectives on religion. Ann Rev Anthropol 37:111–130

    Article  Google Scholar 

  • Bruner J (1957) Going beyond the information given. In: Bruner J, Brunswik E et al (eds) Contemporary approaches to cognition. Harvard University Press, Cambridge, pp 41–69

    Google Scholar 

  • Butterfield J (2011) Emergence, reduction and supervenience: a varied landscape. Found Phys 41:920–959

    Article  Google Scholar 

  • Carruthers P (2010) Introspection: divided and partly eliminated. Philos Phenomenol Res 80:76–111

    Article  Google Scholar 

  • Chisholm RM (1982) The problem of the criterion. From the foundations of knowing, Harvester, Sussex, pp 61–75

  • Conway J, Kochen S (2006) The free will theorem. Found Phys 36:1441–1473

    Article  Google Scholar 

  • Dennett D (2006) Breaking the spell: religion as a natural phenomenon. Penguin, New York

    Google Scholar 

  • Dietrich E (2015) Excellent beauty: the naturalness of religion and the unnaturalness of the world. Columbia University Press, New York (in press)

  • Dugić M, Jeknić J (2006) What is “system”: some decoherence-theory arguments. Int J Theor Phys 45:2249–2259

    Google Scholar 

  • Dugić M, Jeknić-Dugić J (2008) What is “system”: the information-theoretic arguments. Int J Theor Phys 47:805–813

    Article  Google Scholar 

  • Dunbar RIM, Shultz S (2007) Evolution in the social brain. Science 317:1344–1347

    Article  Google Scholar 

  • Fields C (2012a) If physics is an information science, what is an observer? Information 3:92–123

    Article  Google Scholar 

  • Fields C (2012b) Implementation of classical communication in a quantum world. Information 3:809–831

    Article  Google Scholar 

  • Fields C (2014) On the Ollivier–Poulin–Zurek definition of objectivity. Axiomathes 24:137–156

    Article  Google Scholar 

  • Fodor JA (1975) The language of thought. Crowell, New York

    Google Scholar 

  • Fuchs CA (2010) QBism: the perimeter of quantum Bayesianism. Preprint arXiv:1003.5209v1

  • Gisin N (2012) Non-realism: deep thought or a soft option? Found Phys 42:80–85

    Article  Google Scholar 

  • Harshman NL, Ranade KS (2011) Observables can be tailored to change the entanglement of any pure state. Phys Rev A 84:012303

    Article  Google Scholar 

  • Jordan TF (2010) Fundamental significance of tests that quantum dynamics is linear. Phys Rev A 82:032103

    Article  Google Scholar 

  • Kastner R (2014) ‘Einselection’ of pointer observables: the new H-theorem? Stud Hist Philos Mod Phys 48:56–58

    Article  Google Scholar 

  • Kelly T (2008) Disagreement, dogmatism, and belief polarization. J Philos 105(10):611–633

    Article  Google Scholar 

  • Koons R (2013) Defeasible reasoning. The Stanford encyclopedia of philosophy. In: Zalta EN (ed) Spring 2013 edn. http://plato.stanford.edu/archives/spr2013/entries/reasoning-defeasible/

  • Kuhn T (1962) The structure of scientific revolutions. University of Chicago Press, Chicago

    Google Scholar 

  • Lam V, Esfeld M (2012) The structural metaphysics of quantum theory and general relativity. J Gen Philos Sci 43:243–258

    Article  Google Scholar 

  • Love B (2014) Categorization. In: Ochsner K, Kosslyn SM (eds) The Oxford handbook of cognitive neuroscience, vol 2. Oxford University Press, Oxford, pp 342–358. Preprint http://bradlove.org/papers/Love2013b.pdf

  • Luke D (2011) Experiential reclamation and first person parapsychology. J Parapsychol 75:185–200

    Google Scholar 

  • Miller G (2011) ESP paper rekindles discussion about statistics. Science 331:272–271

    Article  Google Scholar 

  • Moses Y, Shoham Y (1993) Belief as defeasible knowledge. Artif Intell 64:299–321

    Article  Google Scholar 

  • Mossbridge J, Tressoldi P, Utts J (2012) Predictive physiological anticipation preceding seemingly unpredictable stimuli: a meta-analysis. Front Psychol 3: article # 390

  • Ollivier H, Poulin D, Zurek WH (2004) Objective properties from subjective quantum states: environment as a witness. Phys Rev Lett 93:220401

    Article  Google Scholar 

  • Ollivier H, Poulin D, Zurek WH (2005) Environment as a witness: selective proliferation of information and emergence of objectivity in a quantum universe. Phys Rev A 72:042113

    Article  Google Scholar 

  • Pollock J (1987) Defeasible reasoning. Cogn Sci 11:481–518

    Article  Google Scholar 

  • Pollock J (1995) Cognitive carpentry. MIT Press, Cambridge

    Google Scholar 

  • Priest G (1994) The structure of the paradoxes of self-reference. Mind 103:25–34

    Article  Google Scholar 

  • Priest G (2002) Beyond the limits of thought. Oxford University Press, Oxford

    Book  Google Scholar 

  • Priest G (2006) In contradiction. Oxford University Press, Oxford

    Book  Google Scholar 

  • Radin D (2006) Entangled minds. Paraview Pocket Books, New York

    Google Scholar 

  • Russell B (1906) On some difficulties in the theory of transfinite numbers and order types. Proc Lond Math Soc (Ser 2) 4:29–53

    Google Scholar 

  • Russell B (1921) The analysis of mind. George Allen and Unwin, London

    Google Scholar 

  • Scaife R (2014) A problem for self-knowledge: the implications of taking confabulation seriously. Acta Anal. doi:10.1007/s12136-014-0226-8

    Google Scholar 

  • Schlosshauer M (2006) Experimental motivation and empirical consistency of minimal no-collapse quantum mechanics. Ann Phys 321:112–149

    Article  Google Scholar 

  • Schlosshauer M (2007) Decoherence and the quantum to classical transition. Springer, Berlin

    Google Scholar 

  • Scholl BJ, Gao T (2013) Perceiving animacy and intentionality: visual processing or higher-level judgment? In: Rutherford MD, Kuhlmeier VA (eds) Social perception: detection and interpretation of animacy, agency and intention. MIT Press, Cambridge, pp 197–230

    Chapter  Google Scholar 

  • Scholl BJ, Tremoulet P (2000) Perceptual causality and animacy. Trends Cogn Sci 4:299–309

    Article  Google Scholar 

  • Searle J (1983) Intentionality: an essay in the philosophy of mind. Cambridge University Press, Cambridge

    Book  Google Scholar 

  • Shermer M (2005) Turn me on. Dead man. Scientific American, April

  • Shermer M (2008) Patternicity: finding meaningful patterns in meaningless noise. Scientific American, November

  • Shermer M (2011) The believing brain. Times Books, New York

    Google Scholar 

  • Simion F, Di Giorgio E, Leo I, Bardi L (2011) The processing of social stimuli in early infancy: from faces to biological motion. Prog Brain Res 189:173–193

    Article  Google Scholar 

  • ’t Hooft G (2013) The fate of the quantum. Preprint arXiv:1308.1007v1 [quant-ph]

  • Tressoldi PE (2011) Extraordinary claims require extraordinary evidence: the case of non-local perception, a classical and Bayesian review of evidences. Front Psychol 2:117

    Article  Google Scholar 

  • van Fraassen B (1980) The scientific image. Oxford University Press, Oxford

    Book  Google Scholar 

  • van Fraassen B (2001) Constructive empiricism now. Philos Stud 106:151–170

    Article  Google Scholar 

  • Weinberg S (2012) Collapse of the wave function. Phys Rev A 85:062116

    Article  Google Scholar 

  • Williamson T (2000) Knowledge and its limits. Oxford University Press, Oxford

    Google Scholar 

  • Zanardi P (2001) Virtual quantum systems. Phys Rev Lett 87:077901

    Article  Google Scholar 

  • Zanardi P, Lidar DA, Lloyd S (2004) Quantum tensor product structures are observable-induced. Phys Rev Lett 92:060402

    Article  Google Scholar 

  • Zurek WH (1998) Decoherence, einselection and the existential interpretation (the rough guide). Philos Trans R Soc Lond 356:1793–1821

    Article  Google Scholar 

  • Zurek WH (2009) Quantum Darwinism. Nat Phys 5:181–188

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Chris Fields.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Dietrich, E., Fields, C. Science Generates Limit Paradoxes. Axiomathes 25, 409–432 (2015). https://doi.org/10.1007/s10516-015-9267-x

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10516-015-9267-x

Keywords

Navigation