Underdetermination

Last updated

In the philosophy of science, underdetermination or the underdetermination of theory by data (sometimes abbreviated UTD) is the idea that evidence available to us at a given time may be insufficient to determine what beliefs we should hold in response to it. [1] The underdetermination thesis says that all evidence necessarily underdetermines any scientific theory. [2]

Contents

Underdetermination exists when available evidence is insufficient to identify which belief one should hold about that evidence. For example, if all that was known was that exactly $10 were spent on apples and oranges, and that apples cost $1 and oranges $2, then one would know enough to eliminate some possibilities (e.g., 6 oranges could not have been purchased), but one would not have enough evidence to know which specific combination of apples and oranges were purchased. In this example, one would say that belief in what combination was purchased is underdetermined by the available evidence.

In contrast, overdetermination in philosophy of science means that more evidence is available than is necessary to justify a conclusion.

Origin

Ancient Greek skeptics argued for equipollence, the view that reasons for and against claims are equally balanced. This captures at least one sense of saying that the claims themselves are underdetermined.

Underdetermination, again under different labels, arises in the modern period in the work of René Descartes. Among other skeptical arguments, Descartes presents two arguments involving underdetermination. His dream argument points out that experiences perceived while dreaming (for example, falling) do not necessarily contain sufficient information to deduce the true situation (being in bed). He concluded that since one cannot always distinguish dreams from reality, one cannot rule out the possibility that one is dreaming rather than having veridical experiences; thus the conclusion that one is having a veridical experience is underdetermined. His demon argument posits that all of one's experiences and thoughts might be manipulated by a very powerful and deceptive "evil demon". Once again, so long as the perceived reality appears internally consistent to the limits of one's limited ability to tell, the situation is indistinguishable from reality and one cannot logically determine that such a demon does not exist.

Underdetermination and evidence

To show that a conclusion is underdetermined, one must show that there is a rival conclusion that is equally well supported by the standards of evidence. A trivial example of underdetermination is the addition of the statement "whenever we look for evidence" (or more generally, any statement which cannot be falsified). For example, the conclusion "objects near earth fall toward it when dropped" might be opposed by "objects near earth fall toward it when dropped but only when one checks to see that they do." Since one may append this to any conclusion, all conclusions are at least trivially underdetermined. If one considers such statements to be illegitimate, e.g. by applying Occam's Razor, then such "tricks" are not considered demonstrations of underdetermination.

This concept also applies to scientific theories: for example, it is similarly trivial to find situations that a theory does not address. For example, classical mechanics did not distinguish between non-accelerating reference frames. As a result, any conclusion about such a reference frame was underdetermined; it was equally consistent with the theory to say that the solar system is at rest, as it is to say that it moves at any constant velocity in any particular direction. Newton himself stated that these possibilities were indistinguishable. More generally, evidence may not always be sufficient to distinguish between competing theories (or to determine a different theory that will unify both), as is the case with general relativity and quantum mechanics.

Another example is provided by Johann Wolfgang von Goethe's Theory of Colours : "Newton believed that with the help of his prism experiments, he could prove that sunlight was composed of variously coloured rays of light. Goethe showed that this step from observation to theory is more problematic than Newton wanted to admit. By insisting that the step to theory is not forced upon us by the phenomena, Goethe revealed our own free, creative contribution to theory construction. And Goethe's insight is surprisingly significant, because he correctly claimed that all of the results of Newton's prism experiments fit a theoretical alternative equally well. If this is correct, then by suggesting an alternative to a well-established physical theory, Goethe developed the problem of underdetermination a century before Duhem and Quine's famous argument." (Mueller, 2016) [3] Hermann von Helmholtz says of this, "And I for one do not know how anyone, regardless of what his views about colours are, can deny that the theory in itself is fully consequent, that its assumptions, once granted, explain the facts treated completely and indeed simply". [4]

Experimental violations of Bell inequality show, that there are some limitations to underdetermination – every theory exhibiting local realism and statistical independence was disproved by this tests. Analogus limitations follow from Kochen–Specker experiments. [5] [6] [7] These tests employ only correlations between results of measurements and therefore are able to bypass the issue of theory-ladenness of observation. [7] [8]

Arguments involving underdetermination

Arguments involving underdetermination attempt to show that there is no reason to believe some conclusion because it is underdetermined by the evidence. Then, if the evidence available at a particular time can be equally well explained by at least one other hypothesis, there is no reason to believe it rather than the equally supported rival, which can be considered observationally equivalent (although many other hypotheses may still be eliminated).

Because arguments involving underdetermination involve both a claim about what the evidence is and that such evidence underdetermines a conclusion, it is often useful to separate these two claims within the underdetermination argument as follows:

  1. All the available evidence of a certain type underdetermines which of several rival conclusions is correct.
  2. Only evidence of that type is relevant to believing one of these conclusions.
  3. Therefore, there is no evidence for believing one among the rival conclusions.

The first premise makes the claim that a theory is underdetermined. The second says that rational decision (i.e. using available evidence) depends upon insufficient evidence.

Epistemological problem of the indeterminacy of data to theory

Any phenomenon can be explained by a multiplicity of hypotheses. How, then, can data ever be sufficient to prove a theory? This is the "epistemological problem of the indeterminacy of data to theory".

The poverty of the stimulus argument and W.V.O. Quine's 1960 'Gavagai' example are perhaps the most commented variants of the epistemological problem of the indeterminacy of data to theory.

General skeptical arguments

Some skeptical arguments appeal to the fact that no possible evidence could be incompatible with 'skeptical hypotheses' like the maintenance of a complex illusion by Descartes' evil demon or (in a modern version) the machines who run the Matrix. A skeptic may argue that this undermines any claims to knowledge, or even (by internalist definitions), justification.

Philosophers have found this argument very powerful. Hume felt it was unanswerable, but observed that it was in practice impossible to accept its conclusions. Influenced by this, Kant held that while the nature of the 'noumenal' world was indeed unknowable, we could aspire to knowledge of the 'phenomenal' world. A similar response has been advocated by modern anti-realists.

Underdetermined ideas are not implied to be incorrect (taking into account present evidence); rather, we cannot know if they are correct.

Philosophy of science

In the philosophy of science, underdetermination is often presented as a problem for scientific realism, which holds that we have reason to believe in entities that are not directly observable talked about by scientific theories. One such argument proceeds as follows (to be compared to the previous one):

  1. All the available observational evidence for such entities underdetermines the claims of a scientific theory about such entities.
  2. Only the observational evidence is relevant to believing a scientific theory.
  3. Therefore, there is no evidence for believing what scientific theories say about such entities.

Particular responses to this argument attack both the first and the second premise (1 and 2). It is argued against the first premise that the underdetermination must be strong and/or inductive. It is argued against the second premise that there is evidence for a theory's truth besides observations; for example, it is argued that simplicity, explanatory power or some other feature of a theory is evidence for it over its rivals.

A more general response from the scientific realist is to argue that underdetermination is no special problem for science, because, as indicated earlier in this article, all knowledge that is directly or indirectly supported by evidence suffers from it—for example, conjectures concerning unobserved observables. It is therefore too powerful an argument to have any significance in the philosophy of science, since it does not cast doubt uniquely on conjectured unobservables.

See also

Notes and references

  1. "Underdetermination of Scientific Theory". The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. 2017.
  2. Norton, John D. (July 9–12, 2003). "Must Evidence Underdetermine Theory?" (PDF). Retrieved 2023-04-07.
  3. Mueller, Olaf L. (2016). "Prismatic Equivalence – A New Case of Underdetermination: Goethe vs. Newton on the Prism Experiments, 2016/2 (n° 24)". British Journal for the History of Philosophy. 24 (2): 323–347. doi:10.1080/09608788.2015.1132671. S2CID   170843218.
  4. Helmholtz, Hermann von. 1853. Goethes Vorahnungen kommender naturwissenschaftlicher Ideen. Berlin: Pastel. 1971. Philosophische Vortrdge und Aufsdtze. Ed. H. Horz and S. Wollgast. Berlin: Akademie-Verlag.
  5. Agazzi, Evandro, ed. (2017). Varieties of Scientific Realism. Cham: Springer International Publishing. p. 312. doi:10.1007/978-3-319-51608-0. ISBN   978-3-319-51607-3.
  6. Alai, Mario (December 2019). "The Underdetermination of Theories and Scientific Realism". Axiomathes. 29 (6): 621–637. doi:10.1007/s10516-018-9384-4. hdl: 11576/2661165 . ISSN   1122-1151. S2CID   126042452.
  7. 1 2 Maudlin, Tim (1996), Cushing, James T.; Fine, Arthur; Goldstein, Sheldon (eds.), "Space-Time in the Quantum World", Bohmian Mechanics and Quantum Theory: An Appraisal, Boston Studies in the Philosophy of Science, Dordrecht: Springer Netherlands, vol. 184, p. 305, doi:10.1007/978-94-015-8715-0_20, ISBN   978-90-481-4698-7 , retrieved 2022-04-23
  8. Philosophical consequences of quantum theory : reflections on Bell's theorem. James T. Cushing, Ernan McMullin. Notre Dame, Ind.: University of Notre Dame Press. 1989. p. 65. ISBN   0-268-01578-3. OCLC   19352903.{{cite book}}: CS1 maint: others (link)

Related Research Articles

In science and history, consilience is the principle that evidence from independent, unrelated sources can "converge" on strong conclusions. That is, when multiple sources of evidence are in agreement, the conclusion can be very strong even when none of the individual sources of evidence is significantly so on its own. Most established scientific knowledge is supported by a convergence of evidence: if not, the evidence is comparatively weak, and there will probably not be a strong scientific consensus.

Skepticism, also spelled scepticism in British English, is a questioning attitude or doubt toward knowledge claims that are seen as mere belief or dogma. For example, if a person is skeptical about claims made by their government about an ongoing war then the person doubts that these claims are accurate. In such cases, skeptics normally recommend not disbelief but suspension of belief, i.e. maintaining a neutral attitude that neither affirms nor denies the claim. This attitude is often motivated by the impression that the available evidence is insufficient to support the claim. Formally, skepticism is a topic of interest in philosophy, particularly epistemology. More informally, skepticism as an expression of questioning or doubt can be applied to any topic, such as politics, religion, or pseudoscience. It is often applied within restricted domains, such as morality, atheism, or the supernatural. Some theorists distinguish "good" or moderate skepticism, which seeks strong evidence before accepting a position, from "bad" or radical skepticism, which wants to suspend judgment indefinitely.

<span class="mw-page-title-main">Mind–body dualism</span> Philosophical theory

In the philosophy of mind, mind–body dualism denotes either the view that mental phenomena are non-physical, or that the mind and body are distinct and separable. Thus, it encompasses a set of views about the relationship between mind and matter, as well as between subject and object, and is contrasted with other positions, such as physicalism and enactivism, in the mind–body problem.

In philosophy of science, confirmation holism, also called epistemological holism, is the view that no individual statement can be confirmed or disconfirmed by an empirical test, but rather that only a set of statements can be so. It is attributed to Willard Van Orman Quine who motivated his holism through extending Pierre Duhem's problem of underdetermination in physical theory to all knowledge claims.

In philosophy of science and in epistemology, instrumentalism is a methodological view that ideas are useful instruments, and that the worth of an idea is based on how effective it is in explaining and predicting natural phenomena. According to instrumentalists, a successful scientific theory reveals nothing known either true or false about nature's unobservable objects, properties or processes. Scientific theory is merely a tool whereby humans predict observations in a particular domain of nature by formulating laws, which state or summarize regularities, while theories themselves do not reveal supposedly hidden aspects of nature that somehow explain these laws. Instrumentalism is a perspective originally introduced by Pierre Duhem in 1906.

Scientific realism is the view that the universe described by science is real regardless of how it may be interpreted.

Empirical evidence for a proposition is evidence, i.e. what supports or counters this proposition, that is constituted by or accessible to sense experience or experimental procedure. Empirical evidence is of central importance to the sciences and plays a role in various other fields, like epistemology and law.

<span class="mw-page-title-main">Subjective idealism</span> Philosophy that only minds and ideas are real

Subjective idealism, or empirical idealism, is a form of philosophical monism that holds that only minds and mental contents exist. It entails and is generally identified or associated with immaterialism, the doctrine that material things do not exist. Subjective idealism rejects dualism, neutral monism, and materialism; it is the contrary of eliminative materialism, the doctrine that all or some classes of mental phenomena do not exist, but are sheer illusions.

Inductive reasoning is a method of reasoning in which a general principle is derived from a body of observations. It consists of making broad generalizations based on specific observations. Inductive reasoning is distinct from deductive reasoning, where the conclusion of a deductive argument is certain given the premises are correct; in contrast, the truth of the conclusion of an inductive argument is probable, based upon the evidence given.

<span class="mw-page-title-main">Direct and indirect realism</span> Debate in the philosophy of mind

In the philosophy of perception and philosophy of mind, direct or naïve realism, as opposed to indirect or representational realism, are differing models that describe the nature of conscious experiences; out of the metaphysical question of whether the world we see around us is the real world itself or merely an internal perceptual copy of that world generated by our conscious experience.

The Kalam cosmological argument is a modern formulation of the cosmological argument for the existence of God. It is named after the Kalam from which its key ideas originated. William Lane Craig was principally responsible for giving new life to the argument in the 20th century, due to his The Kalām Cosmological Argument (1979), among other writings.

Modal realism is the view propounded by philosopher David Lewis that all possible worlds are real in the same way as is the actual world: they are "of a kind with this world of ours." It is based on four tenets: possible worlds exist, possible worlds are not different in kind from the actual world, possible worlds are irreducible entities, and the term actual in actual world is indexical, i.e. any subject can declare their world to be the actual one, much as they label the place they are "here" and the time they are "now".

<span class="mw-page-title-main">Duhem–Quine thesis</span>

In philosophy of science, the Duhem–Quine thesis, also called the Duhem–Quine problem, posits that it is impossible to experimentally test a scientific hypothesis in isolation, because an empirical test of the hypothesis requires one or more background assumptions : the thesis says that unambiguous scientific falsifications are impossible. It is named after French theoretical physicist Pierre Duhem and American logician Willard Van Orman Quine, who independently wrote about similar concepts.

<span class="mw-page-title-main">Fallibilism</span> Philosophical principle

Originally, fallibilism is the philosophical principle that propositions can be accepted even though they cannot be conclusively proven or justified, or that neither knowledge nor belief is certain. The term was coined in the late nineteenth century by the American philosopher Charles Sanders Peirce, as a response to foundationalism. Theorists, following Austrian-British philosopher Karl Popper, may also refer to fallibilism as the notion that knowledge might turn out to be false. Furthermore, fallibilism is said to imply corrigibilism, the principle that propositions are open to revision. Fallibilism is often juxtaposed with infallibilism.

Alan Musgrave is an English-born New Zealand philosopher.

<span class="mw-page-title-main">Simulation hypothesis</span> Hypothesis that reality could be a computer simulation

The simulation hypothesis proposes that all of existence is a simulated reality, such as a computer simulation. This simulation could contain conscious minds that may or may not know that they live inside a simulation. This is quite different from the current, technologically achievable concept of virtual reality, which is easily distinguished from the experience of actuality. Simulated reality, by contrast, would be hard or impossible to separate from "true" reality. There has been much debate over this topic, ranging from philosophical discourse to practical applications in computing.

Evidence for a proposition is what supports the proposition. It is usually understood as an indication that the supported proposition is true. What role evidence plays and how it is conceived varies from field to field.

In the philosophy of science, structuralism asserts that all aspects of reality are best understood in terms of empirical scientific constructs of entities and their relations, rather than in terms of concrete entities in themselves.

Interactionism or interactionist dualism is the theory in the philosophy of mind which holds that matter and mind are two distinct and independent substances that exert causal effects on one another. An example of your mind influencing your body would be if you are depressed, you can observe the effects on your body, such as a slouched posture, a lackluster smile, etc. Another example, this time of your body affecting your mind would be: If you struck your toe very forcefully on a door, you would experience terrible pain. Interactionism is one type of dualism, traditionally a type of substance dualism though more recently also sometimes a form of property dualism. Many philosophers and scientists have responded to this theory with arguments both supporting and opposing its relevance to life and whether the theory corresponds to reality.

<span class="mw-page-title-main">Quine–Putnam indispensability argument</span> Argument in the philosophy of mathematics

The Quine–Putnam indispensability argument is an argument in the philosophy of mathematics for the existence of abstract mathematical objects such as numbers and sets, a position known as mathematical platonism. It was named after the philosophers Willard Quine and Hilary Putnam, and is one of the most important arguments in the philosophy of mathematics.