Sunday, January 18, 2009

Occam's razor

Occam's razor is a principle attributed to the 14th-century English logician and Franciscan friar William of Ockham. The principle states that the explanation of any phenomenon should make as few assumptions as possible, eliminating those that make no difference in the observable predictions of the explanatory hypothesis or theory. The principle is often expressed in Latin as the lex parsimoniae ("law of parsimony" or "law of succinctness"): "entia non sunt multiplicanda praeter necessitatem", or "entities should not be multiplied beyond necessity".
This is often paraphrased as "All other things being equal, the simplest solution is the best." In other words, when multiple competing theories are equal in other respects, the principle recommends selecting the theory that introduces the fewest assumptions and postulates the fewest entities. It is in this sense that Occam's razor is usually understood.
Originally a tenet of the reductionist philosophy of nominalism, it is more often taken today as a heuristic maxim (rule of thumb) that advises economy, parsimony, or simplicity, often or especially in scientific theories.

Aesthetic and practical considerations
Prior to the 20th century, it was a commonly-held belief that nature itself was simple and that simpler theories about nature were thus more likely to be true; this notion was deeply rooted in the aesthetic value simplicity holds for human thought and the justifications presented for it often drew from theology. Thomas Aquinas made this argument in the 13th century, writing, "If a thing can be done adequately by means of one, it is superfluous to do it by means of several; for we observe that nature does not employ two instruments where one suffices" [1].
The common form of the razor, used to distinguish between equally explanatory theories, can be supported by appeals to the practical value of simplicity. Theories exist to give accurate explanations of phenomena, and simplicity is a valuable aspect of an explanation because it makes the explanation easier to understand and work with. Thus, if two theories are equally accurate and neither appears more probable than the other, the simple one is to be preferred over the complicated one, because simplicity is practical. In computer science, for instance, tractability itself can be affected, such as with sorting algorithms.
Beginning in the 20th century, epistemological justifications based on induction, logic, pragmatism, and probability theory have become more popular among philosophers.

Biology
Biologists or philosophers of biology use Occam's razor in either of two contexts both in evolutionary biology: the units of selection controversy and Systematics. George C. Williams in his book Adaptation and Natural Selection (1966) argues that the best way to explain altruism among animals is based on low level (i.e. individual) selection as opposed to high level group selection. Altruism is defined as behavior that is beneficial to the group but not to the individual, and group selection is thought by some to be the evolutionary mechanism that selects for altruistic traits. Others posit individual selection as the mechanism which explains altruism solely in terms of the behaviors of individual organisms acting in their own self interest without regard to the group. The basis for Williams's contention is that of the two, individual selection is the more parsimonious theory. In doing so he is invoking a variant of Occam's razor known as Lloyd Morgan's Canon: "In no case is an animal activity to be interpreted in terms of higher psychological processes, if it can be fairly interpreted in terms of processes which stand lower in the scale of psychological evolution and development" (Morgan 1903).
However, more recent work by biologists, such as Richard Dawkins's The Selfish Gene, has revealed that Williams's view is not the simplest and most basic. Dawkins argues the way evolution works is that the genes that are propagated in most copies will end up determining the development of that particular species, i.e., natural selection turns out to select specific genes, and this is really the fundamental underlying principle, that automatically gives individual and group selection as emergent features of evolution.
Zoology provides an example. Musk oxen, when threatened by wolves, will form a circle with the males on the outside and the females and young on the inside. This as an example of a behavior by the males that seems to be altruistic. The behavior is disadvantageous to them individually but beneficial to the group as a whole and was thus seen by some to support the group selection theory.
However, a much better explanation immediately offers itself once one considers that natural selection works on genes. If the male musk ox runs off, leaving his offspring to the wolves, his genes will not be propagated. If however he takes up the fight his genes will live on in his offspring. And thus the "stay-and-fight" gene prevails. This is an example of kin selection. An underlying general principle thus offers a much simpler explanation, without retreating to special principles as group selection.
Systematics is the branch of biology that attempts to establish genealogical relationships among organisms. It is also concerned with their classification. There are three primary camps in systematics; cladists, pheneticists, and evolutionary taxonomists. The cladists hold that genealogy alone should determine classification and pheneticists contend that similarity over propinquity of descent is the determining criterion while evolutionary taxonomists claim that both genealogy and similarity count in classification.
It is among the cladists that Occam's razor is to be found, although their term for it is cladistic parsimony. Cladistic parsimony (or maximum parsimony) is a method of phylogenetic inference in the construction of cladograms. Cladograms are branching, tree-like structures used to represent lines of descent based on one or more evolutionary change(s). Cladistic parsimony is used to support the hypothesis(es) that require the fewest evolutionary changes. For some types of tree, it will consistently produce the wrong results regardless of how much data is collected (this is called long branch attraction). For a full treatment of cladistic parsimony see Elliott Sober's Reconstructing the Past: Parsimony, Evolution, and Inference (1988). For a discussion of both uses of Occam's razor in Biology see Elliott Sober's article Let's Razor Ockham's Razor (1990).
Other methods for inferring evolutionary relationships use parsimony in a more traditional way. Likelihood methods for phylogeny use parsimony as they do for all likelihood tests, with hypotheses requiring few differing parameters (i.e., numbers of different rates of character change or different frequencies of character state transitions) being treated as null hypotheses relative to hypotheses requiring many differing parameters. Thus, complex hypotheses must predict data much better than do simple hypotheses before researchers reject the simple hypotheses. Recent advances employ information theory, a close cousin of likelihood, which uses Occam's Razor in the same way.
Francis Crick has commented on potential limitations of Occam's razor in biology. He advances the argument that because biological systems are the products of (an on-going) natural selection, the mechanisms are not necessarily optimal in an obvious sense. He cautions: "While Ockham's razor is a useful tool in the physical sciences, it can be a very dangerous implement in biology. It is thus very rash to use simplicity and elegance as a guide in biological research."

Philosophy of mind
Probably the first person to make use of the principle was Ockham himself. He writes "The source of many errors in philosophy is the claim that a distinct signified thing always corresponds to a distinct word in such a way that there are as many distinct entities being signified as there are distinct names or words doing the signifying." (Summula Philosophiae Naturalis III, chap. 7, see also Summa Totus Logicae Bk I, C.51). We are apt to suppose that a word like "paternity" signifies some "distinct entity", because we suppose that each distinct word signifies a distinct entity. This leads to all sorts of absurdities, such as "a column is to the right by to-the-rightness", "God is creating by creation, is good by goodness, is just by justice, is powerful by power", "an accident inheres by inherence", "a subject is subjected by subjection", "a suitable thing is suitable by suitability", "a chimera is nothing by nothingness", "a blind thing is blind by blindness", " a body is mobile by mobility". We should say instead that a man is a father because he has a son (Summa C.51).
Another application of the principle is to be found in the work of George Berkeley (1685–1753). Berkeley was an idealist who believed that all of reality could be explained in terms of the mind alone. He famously invoked Occam's razor against Idealism's metaphysical competitor, materialism, claiming that matter was not required by his metaphysic and was thus eliminable.
In the 20th century Philosophy of Mind, Occam's razor found a champion in J. J. C. Smart, who in his article "Sensations and Brain Processes" (1959) claimed Occam's razor as the basis for his preference of the mind-brain identity theory over mind body dualism. Dualists claim that there are two kinds of substances in the universe: physical (including the body) and mental, which is nonphysical. In contrast identity theorists claim that everything is physical, including consciousness, and that there is nothing nonphysical. The basis for the materialist claim is that of the two competing theories, dualism and mind-brain identity, the identity theory is the simpler since it commits to fewer entities. Smart was criticized for his use of the razor and ultimately retracted his advocacy of it in this context.
Paul Churchland (1984) cites Occam's razor as the first line of attack against dualism, but admits that by itself it is inconclusive. The deciding factor for Churchland is the greater explanatory prowess of a materialist position in the Philosophy of Mind as informed by findings in neurobiology.
Dale Jacquette (1994) claims that Occam's razor is the rationale behind eliminativism and reductionism in the philosophy of mind. Eliminativism is the thesis that the ontology of folk psychology including such entities as "pain", "joy", "desire", "fear", etc., are eliminable in favor of an ontology of a completed neuroscience.

Golden Mean
Some other thinkers believe that the best position in this dispute is to avoid oversimplification, standing in a reasonable middle term, or Golden Mean. This is illustrated by Einstein's famous phrase: "Everything should be made as simple as possible, but not simpler."

No comments:

Post a Comment