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, vol. 184, Dordrecht: Springer Netherlands, p. 305, doi:10.1007/978-94-015-8715-0_20, ISBN   978-90-481-4698-7 , retrieved 2022-04-23
  8. James T. Cushing; Ernan McMullin, eds. (1989). Philosophical consequences of quantum theory : reflections on Bell's theorem. Notre Dame, Ind.: University of Notre Dame Press. p. 65. ISBN   0-268-01578-3. OCLC   19352903.

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.

<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. A believer of scientific realism takes the universe as described by science to be true, because of their assertion that science can be used to find the truth about both the physical and metaphysical in the Universe.

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.

Inductive reasoning is any of various methods of reasoning in which broad generalizations or principles are derived from a body of observations. This article is concerned with the inductive reasoning other than 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 at best probable, based upon the evidence given.

Indeterminacy or underdeterminacy may refer to:

<span class="mw-page-title-main">Kalam cosmological argument</span> Philosophical argument for the existence of God

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 book The Kalām Cosmological Argument (1979), among other writings.

The indeterminacy of translation is a thesis propounded by 20th-century American analytic philosopher W. V. Quine. The classic statement of this thesis can be found in his 1960 book Word and Object, which gathered together and refined much of Quine's previous work on subjects other than formal logic and set theory. The indeterminacy of translation is also discussed at length in his Ontological Relativity. Crispin Wright suggests that this "has been among the most widely discussed and controversial theses in modern analytical philosophy". This view is endorsed by Hilary Putnam, who states that it is "the most fascinating and the most discussed philosophical argument since Kant's Transcendental Deduction of the Categories".

<span class="mw-page-title-main">Duhem–Quine thesis</span> Principle in the philosophy of science

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 wrote about similar concepts.

<span class="mw-page-title-main">Alan Musgrave</span> New Zealand philosopher

Alan Edward Musgrave is an English-born New Zealand philosopher.

Indeterminacy, in philosophy, can refer both to common scientific and mathematical concepts of uncertainty and their implications and to another kind of indeterminacy deriving from the nature of definition or meaning. It is related to deconstructionism and to Nietzsche's criticism of the Kantian noumenon.

Inductivism is the traditional and still commonplace philosophy of scientific method to develop scientific theories. Inductivism aims to neutrally observe a domain, infer laws from examined cases—hence, inductive reasoning—and thus objectively discover the sole naturally true theory of the observed.

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

The simulation hypothesis proposes that what humans experience as the world is actually a simulated reality, such as a computer simulation in which humans themselves are constructs. There has been much debate over this topic, ranging from philosophical discourse to practical applications in computing.

<span class="mw-page-title-main">Evidence</span> Material supporting an assertion

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.

Holophrastic indeterminacy, or indeterminacy of sentence translation, is one of two kinds of indeterminacy of translation to appear in the writings of philosopher W. V. O. Quine. According to Quine, "there is more than one correct method of translating sentences where the two translations differ not merely in the meanings attributed to the sub-sentential parts of speech but also in the net import of the whole sentence". It is holophrastic indeterminacy that underlies Quine's argument against synonymy, the basis of his objections to Rudolf Carnap's analytic/synthetic distinction. Another kind of indeterminacy introduced by Quine is the "inscrutability of reference", which refers to parts of a sentence or individual words.

<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.