Tuesday, April 18, 2006

More on Parsimony in Biology



AUTHOR: Robert Skipper

SOURCE: Cladistic Parsimony and Ockham's Razor

COMMENTARY: Allen MacNeill

Robert Skipper has a report on his participation in the Southern Society for Philosophy and Psychology conference last weekend. He delivered a paper on Cladistic Parsimony and Ockham's Razor, a subject about which both he and I have blogged in the past. In a previous post, Skipper comes to the following (admittedly tentative) conclusions:

At the moment, my thinking is that cladistic parsimony is a special case of simplicity (if it is a case at all). But I won't make the case for that here....One thing I think we can say, from the examples, is that when we're in a situation in which we must choose among competing hypotheses or theories, and empirical evidence isn't definitive, use simplicity to make the choice.

Each of [the authors cited] urge us to run with the simplest model among the relevant alternatives unless we're forced to abandon that model for a more complicated one. What does the forcing is empirical evidence. Indeed, none of the biologists I quoted above said anything about the fact that simplicity is truth-indicative. Burnet in fact said that because the clonal theory is simplest, it's probably false! So, simplicity doesn't indicate the truth of some hypothesis or model or theory. Rather, it's a strategy that directs us toward the truth....At least we can say we've eliminated some fruitless paths of inquiry.


COMMENTARY:

I think it would be helpful to consider two possibilities vis-a-vis the application of parsimony in science:

1) Parsimony is merely "useful" in the sense that it reduces the complexity of hypotheses to a level at which they are empirically testable. When I teach my students about how science is usually done, I give them the "hypothetico-deductive" model first, and then point out that this model doesn't give you criteria for formulating testable hypotheses, it only gives you a method for testing them once they have been formulated. To formulate testable hypotheses requires an additional step: one must "mentally" test one's hypothesis to determine if:
• it's empiirically testable, and
• the emipirical test that one is considering can distinguish between it and alternative hypotheses
If the answers to these two questions are both "yes," then one is ready to actually run the experiment/make the observations to test the predictions that flow from the hypothesis.

In this view, parsimony is simply "useful" in that it is more likely (on average) to yield testable hypotheses whose empirical results are more likely to unambiguously validate or falsify one's predictions.

2) Parsimony might actually be an intrinsic feature of "natural causation" itself. In evolutionary psychology (my field, BTW) there is a concept known as "computational overload (CO)." Basically, CO is used as an argument against the "blank slate" hypothesis for human cognition and motivation. That is, if the mind is a "blank slate" (i.e. relies entirely on "trail and error/reinforcement" algorithms), CO rapidly overwhelms even the largest and fastest computer imagineable. Therefore, EPs like me assume that the brain is modularized, and that each module has a fairly stringent "perceptual filter" that limits inputs as a way of minimizing CO (such filters and modules having evolved by natural selection).*

The same concept could be applied to nature, and especially biology. Biological systems are fiendishly complex, much more so than physical or chemical systems. This complexity, if not minimized in some way, would result in biological systems "seizing up" as the result of CO (where "computation" is interpreted broadly as the binary and higher level interactions between multiple influences, some competing and some complementary).

Natural selection, in other words, has resulted in the evolution of biological systems in which "parsimony" has been encoded into the interactive structure of living organisms and systems of living organisms themselves, as a way of minimizing CO and maximizing effective interaction with one's environment.

Indeed, I would be tempted to argue that (1) may even be a consequence of (2), as our minds themselves are already adapted to minimizing CO, and therefore are predisposed to parsimonious solutions to problems in general, and therefore also scientific problems. In our interactions with nature as in our science, therefore, "good enough for now" is "good enough for all".
--Allen

*I also suspect that this phenomenon is the basis for the "Fundamental Attribution Error (FAE)" in humans, as a predisposition for making FAEs would be selected for as long as the results of doing so were as often adaptive as deleterious (i.e. a tendency toward "false positives" in making FAEs would simply be a kind of "worse case analysis", which is almost always adaptive...especially in a dangerous world such as ours, in which even paranoids have real enemies ;-)

Labels: , , , , , , , , ,

Wednesday, April 05, 2006

Accuracy, Precision, Nominalism, and Occam's Razor



AUTHOR: Allen MacNeill

SOURCE: Original essay

COMMENTARY: That's up to you...

Robert Skipper has a new blog in which he discusses (among other things) the concept of simplicity in science (also called the principle of parsimony). In it he discusses the importance of "Occam's Razor," named for the English logician (and Franciscan monk) William of Ockham. Skipper then goes on to provisionally define "simplicity" in scientific explanations as "paucity of parameters," and defends this interpretation from several different perspectives, including empiricism, Baysian inference, computationalism, and that of individual selectionism a la Coyne, Barton, and Turelli (1997) [1].

He concludes that the application of Ockham's razor doesn't necessarily produce "truth," but is a necessary part of an investigative procedure that does:

[Evolutionary biologists] urge us to run with the simplest model among the relevant alternatives unless we're forced to abandon that model for a more complicated one. What does the forcing is empirical evidence. Indeed, none of the biologists I quoted above said anything about the fact that simplicity is truth-indicative....So, simplicity doesn't indicate the truth of some hypothesis or model or theory. Rather, it's a strategy that directs us toward the truth....At least we can say we've eliminated some fruitless paths of inquiry.


I have a problem with this analysis, specifically with the idea that science (properly applied, and including Occam's Razor) gets us closer and closer to "truth." The problem, as I see it, has to do with the idea that "truth" exists independently of our pursuit of it, in the same way that a target exists independently of an archer who is trying to hit it. From this viewpoint, science is to "truth" what practice is to the archer; it is that method by which we get closer to hitting some independently existing "truth."

Don't get me wrong: I'm not arguing for solipsism here. Yes, indeed, I believe (without proof, BTW) that nature exists independently of our ability to describe or analyze it...that is, I'm a naturalist through and through, at least as far as grounding my thinking in non-solipsistic metaphysics is concerned. However, I make a distinction between nature and our descriptions/analyses of it; science is the latter. In the same way, I believe that there is a fundamental distinction that must be made between what actually exists in nature and what science can describe/analyze about it. And I believe that this difference can be captured in understanding the difference between "accuracy" and "precision".

Consider the example of the archer and her target once again. The name for the phenomenon that she is honing via practice is "accuracy." Accuracy is the point for an archer: as an archer practices shooting, she hits closer and closer to the gold, and consequently we would say that her accuracy improves – her shooting is becoming more accurate through practice.

By contrast, our archer could become more precise: that is, her shots could become more tightly clustered, but not necessarily in the gold. As an archer myself, I find that my precision is already pretty good - my shots all hit pretty close to the same place. Hitting the target then involves compensating for whatever is causing my precision to veer from the target. That is, I am trying to "map" my actual precision onto some theoretical "accuracy."

As the foregoing description implies, accuracy is a teleological process, whereas precision need not be. A machine that doesn't aim at all can be very precise, missing a target in exactly the same way every time. Only a goal-oriented entity can be accurate, as aiming for a target is inherently teleological.

So, is science goal-directed (i.e. is it teleological)? Of course it is; however, is our "aim" a more accurate or a more precise description/analysis of nature (or both)? I believe that, in general, we are doing pretty well if we can manage precision. After all, most statistical tests can't distinguish between the two (Bayesian inference is an exception); that's what hypothesis-spinning and experimental design is all about. We try to design our investigations so that we get precise data that we can then apply to a description/analysis of nature that we believe is accurate.

But this all leads to a problem, one that I have alluded to before: the problem of Platonic idealism. To believe that accuracy is possible is to believe that ideal forms are "real" and that we can get closer and closer to describing/analyzing them. From this viewpoint, scientists who believe (like Robert Skipper apparently does) that our descriptions of nature are coming closer and closer to some ideal "truth" are therefore Platonic idealists.

As I pointed out in an earlier post to this list ("On the Origin of the Specious"), this problem is most acute in biological taxonomy. Believing that there really are such things as "species" is a form of Platonic idealism. That this is so is easily demonstrated: simply ask any taxonomist to explain what a "type specimen" is. S/he will tell you that this is the "ideal" example of a member of that species (usually the first one classified and stored in a collection somewhere) against which all new specimens of that species are checked to determine if they are members of the same species.

Ernst Mayr railed against "typological thinking," and yet biology (including evolutionary biology) is shot through with it. And where typology lurks, teleology is close behind. Is it any wonder that the vast majority of people (including many scientists) would agree with the statement that organisms reproduce "in order to ensure the survival of the species?" A more egregious misrepresentation of the adaptiveness of reproduction would be difficult to formulate, and yet most people would simply nod their heads in agreement with such a statement.

Why? Because most people (including most scientists) are, whether they realize it or not, "idealists" in the Platonic sense. From this viewpoint, organisms do what they do "in order to ensure the survival of" the ideal form of their "species," regardless of any benefit or cost to themselves as individuals. Individuals don't matter, in other words; the "target" is the "survival of the species."

But, as I have asserted before, "species" don't really exist. They are literally a figment of the human imagination...or rather, a by-product of the human tendency toward teleological idealism. Look outside: do you see any "species?" I see trees, bushes, grasses, a couple of crows...but nowhere are there any "species" in view. I can learn that the trees and bushes and grasses and crows that look very similar to each other can be thought of as members of particular "species," but that is quite literally a thought : I infer upon these individual things imaginary categories that I refer to as "trees," "bushes," "grasses," and "crows."

As I have stated before, Darwin's most subversive idea was that the variation between individual organisms (which provides the raw material for natural selection) is real, irreducible, and the basis for (to quote Wallace) "the tendency for variations to depart indefinitely from the original type." If the "original type" were "real," then variations from it wouldn't matter. Furthermore, if we think about "species" as being "real," then descent with modification becomes a kind of "blind archery" in which the "species" is "shooting" into the future toward becoming some other "species."

This way of thinking is entirely human, and entirely without empirical foundation. And, perhaps not accidentally, William of Ockham had a solution to this problem. His solution was to break fundamentally from Platonic idealism: to adopt a viewpoint about reality known as nominalism. To a nominalist, the names we invent for objects and processes that appear similar/the same are only names: they are not real. The only real things are individual objects and processes. True, there are similarities between them that we can recognize – indeed, we "re-cognize" them - we "re-think" them in our minds. Science is that process by which we identify and systematically analyze such patterns of similarity, which we codify into "scientific theories/laws." When we do so, we somewhat unintentionally reify those similarities of appearance/behavior as "natural laws/processes" and believe that we have come closer to somehow "hitting" the "truth."

If the history of science has shown us anything, however, it is that when we think we are closest to the "truth" we are furthest from reality. Lord Kelvin infamously proclaimed that 19th century physicists had discovered virtually everything there was to know about physical reality. He did so only a few years before Einstein swept away the foundations of 19th century physics (perhaps this is why, a century later, so many neo-Platonists still can't countenance Einstein and the new physics he spawned). The real joy (and, to some, the real terror) of science is that as far as we can tell, there is no end to the game, and the more precise our descriptions become, the more absolute "truth" seems to "softly and suddenly vanish away."

REFERENCES CITED:

[1] Coyne, J. A., N. H. Barton, and M. Turelli (1997), “Perspective: A Critique of Sewall Wright’s Shifting Balance Theory of Evolution”, Evolution 51: 643-671.

Labels: , , , , ,