Friday, May 22, 2009

Armchair Evolutionary Psychology is Quackery

I haven't read the entirety of this piece of stupidity in (Pseudo)Scientific-American, it was just too painful:

http://www.scientificamerican.com/article.cfm?id=skeptic-agenticity

Now, I guess I shouldn't expect much from someone who uses the words "patternicity" and "agenticity", but this was linked over at RichardDawkins.net, and people there seemed to like it. So I think there's some merit in spelling out why armchair evolutionary psychology is woo, plain and simple. Here's a quote:

"[W]e make two types of errors: a type I error, or false positive, is believing a pattern is real when it is not; a type II error, or false negative, is not believing a pattern is real when it is. If you believe that the rustle in the grass is a dangerous predator when it is just the wind (a type I error), you are more likely to survive than if you believe that the rustle in the grass is just the wind when it is a dangerous predator (a type II error). Because the cost of making a type I error is less than the cost of making a type II error and because there is no time for careful deliberation between patternicities in the split-second world of predator-prey interactions, natural selection would have favored those animals most likely to assume that all patterns are real."

The reasoning is silly. Suppose I said: "If you believe the rustle in the grass is an indication of food when it is just the wind (a type I error), you are LESS likely to survive than if you believe the rustle in the grass is just the wind, when it's actually food (A type II error). Both times you get no food, but the in the first case you spent energy and effort that could've been used to look elsewhere. Because the cost of making a type II error is less than the cost of making a type I error, natural selection would have favored those animals most likely to assume that NO patterns are real."

Or, a parody more to the point: "Because I can think of one case where thinking X is better than thinking Y, and the thought that X has property F and the thought that Y has property not-F, it follows that evolution makes it the case that having thoughts with property F is always better and evolution made us prefer them in all cases."

Yes, people say this sort of crap. And get published in Scientific American. And fawned over at RichardDawkins.net. It's unsettling.

Let's set the record straight. The argument assumes (in particular, provides *no* evidence) that pattern-forming is in general better or less costly. We know this to be false, because Bayesianism is the true account of ideal rationality. If you don't set your present credences equal to your prior subjective probability distribution conditional on your evidence, and you don't act so as to maximize expected utility, you will be more likely to die. That's a theorem. Sometimes your evidence confirms a correlation, sometimes it doesn't. But picking "all patterns, all the time" as your update rule is not optimal, and therefore we've no reason to *a priori* expect it.

Now maybe we do form patterns more than it is rational to. It would be nice to have an explanation for that. Presumably it's because cobbling together agents that can survive for more than a few seconds is difficult, and evolution had to jury-rig some aspects of our psychology from non-optimal other bits. But pursuing any particular theory of what went on requires looking at the damn facts. We need to know what psychological traits are heritable (if any), we need to know which among them were available in the ancestral population to be selected for, which competed with which, what the selection pressures were, etc. And we don't freaking know any of that.

All right. End of rant. FYI I plan to update the blog on Fridays this summer. And I do genuinely plan on blogging, so check in, say, every Saturday

Friday, March 6, 2009

Concept-Script

Here's some rap I wrote as my alter-ego Gottlob Frege on Facebook (all-new rap at the end):

No condition-stroke, this ain't no joke, my rhymes is categorical, I'm a metaphorical soldier, inventing logic like I told ya, granting my thought access to eternal, mind-independent mathematical objects, bringin pain down on the haterz, neo-Kantians and fakerz, formalists like Hilbert get cubicle jobs like Dilbert. Russell's paradox set? I ain't finished yet. When I come back alive, I'll fix my axiom five. Word.

Yo yo yo Frege's puzzle can't be solved by Russell, introducing quantification and skipping modes of presentation, you need the bedeutung like dung-beatles need dung, need the sinn like my po ass needs twenny twen twen-- dollaz, holla I be on a roll, taught Carnap all he know, put Husserl on the flo, he used to be a psycho-logicist but not no mo, I put his ass in place while oppressing the Jewish race (sorry about that, btw) got the competition scared stiff like funktion und begriff, now my rhymes bear interpretations like the higher-order calculus of relations. Beeotch!

Frege's gonna shake ya, I know youz a hater, I'll show you who's a mensch with my infinite hierarchy of sense, your objections lost and now your thoughts denote the false, the concept of my skillz is not a concept, it's fo realz. It's presupposed I'm best, just try the negation test, I'll redefine your punkness as the set of all individuals with the same punk chumpness, hit you with the ancestral, befo you got successor, Gottlob was rockin ice before yo mama let ya. You 'n all your dogs can, check the Grundlagen, get the proper foundations... and a solution to the problem of multiple relations.

You Have No Rights. Now Stop Worrying and Get on with Your Life.

I count myself among the “New Athiests,” and I don’t even object to the label, as some do. But let’s forget labels for a second. The particular beliefs I share with, say, PZ, Dawkins, Coyne, etc. are (a) science tells against religion and (b) religion, in being anti-reason, makes the world a worse place.

How does science tell against religion? Well, either God’s existence and activity are supposed to have something to do with the events that occur in the natural world, or they aren’t. If they are, then we can directly falsify religion. If God caused a worldwide flood, we can check the geological record for evidence. If God made the earth stand still, we can use physics to tell us what that would entail and look for evidence. And whenever and wherever we look for evidence, revealed religion will lose. It won’t even be accidentally right, because now we (materialists) are in an excellent position to explain every phenomenon by adverting solely to natural laws.

So if God exists either (a) he* is causally inert (b) he causes natural phenomena, but always in a way that was overdetermined—that is, the world would have gone the same even without God (c) he caused the initial conditions or (d) he did the initial conditions and some overdetermined causation. But (a) and (b) both meet the edge of Occam’s Razor: don’t multiply entities beyond necessity. Occam’s Razor is part of scientific practice, so it’s science itself that rules out these options. And (c) and (d) meet with what I take to be Dawkins’ master argument (though I haven’t read his book, so I just picked up on this somewhere): if the initial conditions need a cause, because everything does, then God too needs a cause; if they don’t need a cause, then postulating God as their cause again violates Occam’s Razor.

I believe something like this, but I don’t want to defend it in this post. Here I won’t be pointing the finger at Believers and saying “ye fools!” Instead, I’ll be pointing the finger at my fellow New Athiests and saying “ye hypocrites!” Why are we hypocrites? Because we accept that science tells against God, but not that it tells against inalienable natural rights. But it tells against them too!

The argument against God goes: we have a complete story of the world, and it doesn’t involve God; and sticking him in is irrelevant and unnecessary. And my argument against inalienable natural rights is that we have a complete story of the world, and it doesn’t involve rights; and sticking them in is irrelevant and unnecessary.

We’re told that we have a fundamental right to believe whatsoever we want to believe, to not be coerced in matters epistemic. But how do we know we have this right? Do we train our rightometers on the oppressed, and notice a spike when they’re forced to keep silent? The other day I read a discussion regarding some individuals’ claims that they had a right to not be offended. Predictably, people said they didn’t have such a right. But how did they know that? How could they know that? It seems as though they couldn’t. This is because rights don’t have effects. They are causally inert. If you have a right to free speech and I make you shut up, the situation is exactly the same as if you don’t have the right and I make you shut up.

Inalienable natural rights are magic. Jefferson thought that God gave them to us, in a magic ceremony one might suppose, and that we can know about them through ‘the light of reason’ or some other equally spooky faculty. But we don’t have spooky faculties that tell us about magic, because magic doesn’t exist. In particular, rights don’t exist.

You might think I’m joking, but I’m not. I’ll give you the alternative proposal: the only morally relevant features of any situation are human happiness and human suffering**. Notice that whether someone is happy or is suffering is determinable by scientific investigation. We can tell whether an action mitigates suffering or increases happiness. There is no magic here.

You might think that talk of rights can be cashed out in terms of suffering and happiness. But I don’t think so. The other day I was reading about a woman in Afghanistan who had had acid thrown in her face by a scorned suitor. Normally, men who throw acid in women’s faces in Afghanistan can get out of jail by merely paying the woman’s family some compensatory sum. This is not a great deterrent, and that’s why so many women are disfigured by misogynist monsters. Now, the law allows for the woman to ask for an “eye for an eye,” that is, that acid be used to blind her attacker. In this particular case, the woman was demanding just that punishment. The interest of the story was that “human rights groups” were up-in-arms. Somehow there is a magical right people have not to be cruelly and unusually punished. Again, I have yet to be presented with the evidence for this.

Now my thinking goes as follows. Some men in some parts of the Arabic world believe that it is not morally abhorrent to throw acid at women. Because this is the case, women must walk down the street in constant fear that these idiots will disfigure them permanently, with little to fear from the law. And many women must live having been permanently disfigured by idiots. If a law allowing these women to demand an eye for an eye were on the books and were applied when applicable, there would be overall less suffering. So it is moral to enact such a law and to apply it, at least until overturning it would bring about a decrease in suffering and an increase in happiness—presumably when men stopped thinking disfiguring women was all in good fun. So please take your human rights elsewhere; I care about people, not about magic.

I think that we’ve become bogged down in nonsensical ‘rights’-talk. Consider the case of abortion. The debate often revolves around what rights fetuses have and what rights women have, etc. But these debates are intractable precisely because there’s no way of determining who has a right to what. One side says “I imagine such-and-such” and the other says “I imagine so-and-so.” But you can keep your imaginings, and you can keep your rights. Fetuses don’t have a right to life, because no-one does; and women don’t have a right to choose, because no-one does. There’s only one morally relevant question here: will there be an overall decrease in suffering if abortion is allowed, as opposed to if it is not allowed? And you don’t have to be a rocket scientist, or even a social scientist, to know that the answer is yes.

One more: Do homosexuals have the ‘right’ to get married? Of course not: no-one does. The question before us is clear: will there be an increase in happy lives if gay marriage is allowed? Yes. Case closed.

I’ve been a little polemic in this post. Good, maybe you’ll comment. But I want to end by pointing out a few things. First, my case against rights does not rest on the truth of act utilitarianism. Rights don’t exist because they’re magic, and they lie beyond the realm of evidence or even fruitful speculation.

Second, you might reply “oh, but there are sophisticated deontological theories of rights that look into both the metaphysical and epistemological issues you’re raising.” Perhaps. But this is a version of the Courtier’s Reply. Your man on the street whining about his right-to-this and his right-to-that does not gain his knowledge of rights by discovering a contradiction in universalizing maxims. There also would not be much in common between what rights he said he had and what rights a scrupulous application of the Categorical Imperative said he had. I am calling him out. I’m saying “what allows you to know that these claims you’re making are true? What makes you think these rights even exist?” I’ll save my battles with the sophisticated deontologists for another day.

Finally, I haven’t given any arguments for utilitarianism. I held it up as an example of a moral theory that does not quantify over magic. Happiness and suffering are real, and measurable. Thus, they are potential candidates for morally-relevant properties. They are not the only potential candidates, and it is a deep question how we determine what matters for ethics. But I know what doesn’t matter. Invisible, undetectable, inalienable natural rights.

Conclusion: the Enemies of Reason™ aren’t limited to those who persist in believing bronze-age myths. Some persist in believing enlightenment-era myths. These myths were important and helpful to our forebears, and they brought about many positive changes in politics and law. But it is time to kick away the latter of myth we climbed in on, and embrace the one obviously true moral principle: nothing cramps your moral powers like not existing!

[* Yes I know God isn’t supposed to have genitals. But that’s what they call it: ‘he.’]

[** I should add animal happiness and animal suffering, but for rhetorical force I’ll ignore animals for the moment. This should not be taken to indicate that I think animal happiness or animal suffering is not morally relevant.]

Thursday, February 26, 2009

Comments

Apparently I hadn't enabled comments for anonymous users, and so some people were having trouble commenting. Fixed!

Tuesday, February 24, 2009

The Ondenotingiad

Sorry about the lengths of the posts. It looks too tech-y to hide them under a fold. But here's something meaty and philosophical for you to chew on, after all that light Fodor reading:

The Ondenotingiad

In “On Denoting” Russell tries
To establish his position
That unique existentials hide
In definite descriptions.

This 1905 paper starts
By criticizing Meinong
A guy whose non-subsistent smarts
Had led him rather wrong:

He thought that a denoting phrase
Could never fail to name;
The present king of France, he says,
Is as real as Charlemagne.

The reasoning that Russell faults
Is that the king is able
To be both bald and not—results
More suitable for Hegel.

Frege’s treatment of that great
Is crueler even yet:
He takes away his wigless pate
And equates him with a set!

Meaning comes in twos you see:
There’s “referent” or “denotation”
And on the other hand is the
Thing’s mode of presentation.

Sure, there is no fallacy—
Or none that I can tell—
But still there is that talk of C:
‘The curfew tolls the knell…’

We must distinguish ‘C’ and C:
The first denotes the second
But this it does mysteriously
Not by compositional method.

So, that “senses” are not sensible
Is the first insight of Russell’s,
An insight that makes tractable
Three philosophical puzzles.

The first of these is Leibniz’s law
Where identicals may be switched
Salva veritate in all
Propositions they exist.

If we apply this logical rule
To the thoughts of George IV
In thinking of the author who
Wrote Waverly and so forth,

And switch him for himself, viz Scott,
We find that we have blundered:
For whether Walter Scott is Scott
Is not what George had wondered.

To exonerate the wise old king
Russell states his view
In notation where ‘C(everything)’
Means ‘C(x)’ is always true.

An occurrence of the article ‘the’
Indicates uniqueness;
So let ‘author of Waverly’
Be our function C(x):

Then “it’s not the case that C(no x)
“And it is that if C(y)
“It follows y is equal to x”
Renders ‘C(the guy).’

So when King George IV once said
“Is Walter Scott the man?”
He had inside his singular head
A general proposition.

The logical law lets us switch names
Provided they co-denote;
It never said we could do the same
For improper parts of thoughts.

The second puzzle Russell solves
Is existence-claims’ negations:
He shows us that the case revolves
Round the tilda-sign’s location.

The claim that there’s a round square
Doesn’t name a thing
But says of at least one object there
It is round-squarizing.

When we say the king of France ain’t bald
There’s an ambiguity of note:
If we’re saying there’s no king at all
The ‘not’ must take wide scope;

But if we’re saying that he does exist,
And has a hirsute head,
The ‘not’ precedes the predicate
To negate the ‘bald’ instead.

The final puzzle that I’ll sing
May be stated as a riddle:
If neither ‘bald’ nor ‘not’ is the king
How to exclude the middle?

If thus far you’ve followed all,
You can see where this is leading:
‘The king of France ain’t bald’
Is false on the wide-scope reading!

O Musae, help me paint this
The grandeur of Russell’s vision:
Sometimes your knowledge ain’t acquaintance,
It’s knowledge by description.

Darwin was wrong?

This past Wednesday witnessed a debate between Rutgers’ own Jerry Fodor and Philip Kitcher on the merits of the theory of evolution by natural selection. What was unusual about this debate, as compared to others on the same topic, was that neither participant was anti-science, anti-reason, or pro-God. However, Jerry holds the iconoclastic (for a materialist) view that “the theory of evolution by natural selection is either false or vacuous, depending on how you read it.” Them, as they say, is fightin’ words.

I don’t want to resurrect that debate here. I went to the debate not to see arguments, but to watch people yell at Jerry (Tim Maudlin memorably said “Jerry, you accuse adaptationists of committing the intentional fallacy, while you yourself commit the fallacy of saying something is false when it’s been demonstrated right in front of you!”) However, I think it’s sad that no-one gives Jerry a sympathetic ear, because he’s a smart guy and even if he’s wrong, I think it would be a big advance in human inquiry just to know exactly why he’s wrong. So I want to explain what Jerry didn’t explain in the debate, though often adverted to: the analogy that Jerry sees between Chomsky’s argument against Skinner and Jerry’s argument against Darwin.

Part I of the analogy: Chomsky vs. Skinner

Most people, I imagine, have no idea what Jerry means when he says his argument more or less is Chomsky’s argument. We all thought that Skinner was wrong because, I don’t know, natural language syntax is recursive. But that’s not what Chomsky says in his review of Verbal Behavior (at least not in the selections reprinted in the Block anthology), so it’s worth taking a look at what Jerry sees in the review.

Simplifying a little, Skinner’s theory of learning by operant conditioning is that if an animal’s behavior B in situation S is reinforced (let’s just say “rewarded” for the time being), then the animal will learn to do B in S. For example, if a rat is rewarded for bar-pressing when shown a red thing, the rat will learn to press the bar when shown a red thing.

It’s an interesting fact that every finite set of red stimuli will share (that is, the members of the set will share) infinitely many properties other than being red. For instance, suppose the rat is presented with a series of bright red triangles in the bar-pressing experiment, when we want to enforce the behavior of bar-pressing given a red stimulus. The red stimuli here are not only red, but also closed figures; triangles; bright things; isosceles triangles; Granny’s favorite shape; triangles in a cage; things in a cage; etc. In addition, some infinite subset of these properties will be locally correlated with redness. That is, it might be true, in the rat’s environment (the cage), that something is red if and only if it’s a triangle; that something is red if and only if it’s an isosceles triangle; etc. Of course, not all the properties shared by the stimuli will be locally correlated with redness: ‘thing in a cage’ is true of both the red stimulus and the white rat. But an infinite amount of correlations is correlations enough. Call this “the ubiquity of local correlation.”

Now suppose we condition the rat in the way proposed. A bright red triangle is flashed, and when the rat presses the bar, it is rewarded with a food pellet. Question: can we use Skinner’s theory of learning by operant conditioning to tell us what the rat has learned? Answer: no—the theory construed in one way is false; in another way, it’s vacuous. Let’s investigate why.

A Skinnerian might be tempted to say: the rat has learned to press the bar when presented with a red stimulus. But in saying this, we need to ask her a further question, namely: is ‘learn’ here an intensional or an extensional verb? We (philosophers) say that ‘learn’ is extensional, if it follows from ‘Rat R learned to perform action A given a stimulus that is S’ and ‘S is locally correlated with F’ that ‘Rat R learned to perform action A given a stimulus that is F.’ That is, is it equally true to say that the rat learned to press the bar when presented with a red stimulus AND learned to press the bar when presented with a triangular stimulus AND learned to press the bar when presented with a stimulus that is an isosceles triangle AND…?

Let’s suppose the behaviorist says ‘yes,’ that ‘learn’ is extensional as used in her theory. Then the theory is clearly false. In order to show that the theory is false, we need only decouple two correlated variables and try the experiment again. Suppose we train the rat as described and then present it with a dull blue circle. Since ‘closed regular geometric figure’ had been locally correlated with ‘is red’ during conditioning, the rat, we are supposing, has learned to press the bar given a stimulus that is a closed regular geometric figure. A dull blue circle is a closed regular geometric figure, so the behaviorist predicts bar-pressing behavior. Now, maybe the rat will and maybe the rat won’t press the bar. If it doesn’t, behaviorism is falsified. If it does, behaviorism is left standing. But it won’t take long for a clever graduate student to find some or other local correlation the rat isn’t sensitive to (unless the rat learned ‘press the bar given any stimulus at all’), and we would all be well-advised to just abandon behaviorism now.

Horn II of the dilemma: suppose the behaviorist says ‘no,’ that ‘learn’ is not extensional as used in her theory. That is, the behaviorist asserts that the rat has learned to press the bar given a red stimulus, but that it does not follow from this and the fact that redness is locally correlated with property P that the rat has learned to press the bar given a P-stimulus. We ask: is the theory of learning by operant conditioning capable of predicting what the rat has learned, in the non-extensional sense of ‘learn’? NB. By this question we do not mean ‘is it possible to determine what the rat has learned?’ for if the rat has indeed learned anything, of course this is possible. We want to know what the theory in question has to say about what the rat learned.

Well, again, suppose we condition the rat as described, by rewarding it for pressing a bar in the presence of a bright red triangle. Has the rat learned (in the non-extensional sense) to press the bar given a red stimulus, a bright stimulus, a triangular stimulus, or some other kind of stimulus? Notice that the theory of learning by operant conditioning does not give us any guidance. The stimuli were all of these things. The experimenter receives no helpful advice from the theory about what hypothesis to hold.

Now suppose we test some hypothesis, say, the hypothesis that the rat learned to press the bar given a red stimulus. We present the rat with a blue triangle. If the rat does not press the bar, we have some confirmation of our hypothesis; if it does press the bar, perhaps we will be led to instead propose that the rat learned to press the bar given a triangular stimulus. This is how science goes. But the question is: is Skinnerian learning theory confirmed by any of this? And the answer is: vacuously, yes. If the rat does not press the bar, the Skinnerian will say ‘look, we were right: the rat’s bar-pressing behavior was rewarded when the rat was given a red stimulus, and it learned to press the bar when given a red stimulus.’ If the rat does press the bar, the Skinnerian will say: ‘look, we were right: the rat’s bar-pressing behavior was rewarded when the rat was given a triangular stimulus, and it learned to press the bar when given a triangular stimulus.’

We can go on. After the first decoupling experiment, the experimenter will have ruled out a certain hypothesis, say, that the rat learned to press the bar when presented with a red stimulus. But there will still be infinitely many properties locally correlated with triangularity, so it will not follow that the rat learned to press the bar when presented with a triangular stimulus. Here again, Skinnerian learning theory is of no help whatsoever in constructing hypotheses about what the rat learned. It cannot predict, it can only incorporate empirical findings post-hoc into the behaviorist model.

So the theory of learning by operant conditioning (a) makes no predictions (b) does not guide researchers in formulating hypotheses about learning and (c) is trivially compatible with any outcome whatsoever. That is not how science goes.

This is how I’ve heard Fodor present Chomsky’s case against Skinner. And I think it’s a compelling case. The claim is that the theory of learning by operant condition is false, if ‘learn’ is read extensionally and trivially true if ‘learn’ is read intensionally. And I take it that no-one wants to defend Skinner at this point. So without further ado:

Part II of the analogy: Fodor vs. Darwin

[Every sentence of this section should really begin with ‘According to Fodor, as I understand him.’ Please don’t attack me for attacking Darwin; I am not attacking Darwin. I am presenting Fodor’s views, as I understand them.]

Simplifying a little, Darwin’s theory of evolution by natural selection is that if two heritable traits T and T’ are possessed by some ancestral population in some ecological environment, and T is more fit than T’, then T will increase in prevalence in the population over time, eventually moving to fixation (except in certain cases where the fitness of T depends on prevalence of T’). For example, suppose there is a population of brown bears that live in the arctic wastes. At some point a mutant white bear arises. Since coat color is heritable, and a white coat is more fit than a brown one, whiteness moves to fixation in the bear population.

It’s an interesting fact that every finite set of whiteness phenotypes will share (that is, the members of the set will share) infinitely many phenotypic properties other than whiteness. For instance, suppose that at present 20% of the bear population possesses the whiteness phenotype (and for simplicity’s sake, suppose the bear head-count is 100 total individuals, so that 20 of them are white). The white bears will not only be white, but also bears; four-legged; the same color as snow; the same color as paper; more closely related to one another than to any non-white non-parental bear (assuming that whiteness is a dominant trait); located in some perhaps-disjoint spatio-temporal region; etc. In addition, some infinite subset of these properties will be locally correlated with the whiteness phenotype. That is, it might be true, in the bears’ environment (the arctic), that something is a white bear if and only if it’s a bear the same color as snow; that something is a white bear if and only if it’s more closely related to white bears or its parents than non-white non-parental bears; etc. Of course, not all the properties shared by the whiteness phenotype will be locally correlated with it: ‘bear’ is true both of white bears and of brown ones. But an infinite amount of correlations is correlations enough. This is another instance of the ubiquity of local correlation.

So suppose a mutant white bear arises in the population. Question: can we use Darwin’s theory of evolution by natural selection to tell us why the phenotype moves to fixation in the population? Answer [again, Fodor’s answer, not mine]: no—the theory construed in one way is false; in another way, it’s vacuous. Let’s see why one might think this is so.

An adaptationist might be tempted to say: the whiteness phenotype moved to fixation because being white increased the probability that a bear would produce viable offspring as compared to the probability that a brown bear would produce viable offspring. But in saying this, we need to ask her a further question, namely: is ‘phenotype P increases fitness relative to competing phenotypes C’ an intensional or extensional context at position P? It’s an extensional context if it follows from ‘phenotype P increases fitness relative to competing phenotypes C’ and ‘phenotype P is locally correlated with phenotype Q’ that ‘phenotype Q increases fitness relative to competing phenotypes C.’ That is, if it’s an extensional context, it should be equally true to say that the whiteness phenotype increases fitness AND the same-color-as-snow phenotype increases fitness AND the being-located-in-region-R (where R is the region containing all and only white bears) phenotype increases fitness AND...

So let’s suppose that the adaptationist does indeed say that ‘phenotype P increases fitness relative to competing phenotypes C’ is extensional at the P-position. Then the theory is clearly false. In order to show that the theory is false, we need only decouple two correlated variable and see what happens in the population. Suppose, to take a flight of fancy, that we’re super-scientists capable of making snow brown (we’re already capable of making it yellow, so this shouldn’t require too much of a technical advance). The adaptationist told us that ‘the same-color-as-snow phenotype increases fitness’ and by this she also meant that ‘the white phenotype increases fitness.’ Now we change the color of the snow to brown. Suppose the brownness phenotype now goes to fixation. It looks like we’ve falsified adaptationism, for it is not true after all that whiteness increases fitness.

[If you don’t like the example, because you’re worried we’ve changed the ecology, which is a free variable we’d been suppressing, you should realize that I could have run the example with any of the local correlates of the whiteness phenotype. For example: the phenotype of being a bear with exactly 19 other individuals of the same color. We don’t have to even intervene at all to watch adaptationism get falsified, we can just let whiteness go to fixation. And if you think I’m cheating by using extended phenotypes, talk to Dawkins.]

Horn II of the dilemma: suppose instead that the adaptationist says that ‘phenotype P increases fitness relative to competing phenotypes C’ is not extensional (is intensional) at the P-position. That is, the adaptationist asserts that the same-color-as-snow phenotype in bears in their present ecology increases fitness, but it does not follow from this and the fact that the same-color-as-snow phenotype is locally correlated with the whiteness phenotype that the whiteness phenotype increases fitness in bears in their present ecology. We ask: is the theory of evolution by natural selection capable of predicting what heritable traits increase fitness among bears in their present ecology? NB. By this question we do not mean ‘is it possible to determine what heritable traits increase fitness’ for if some traits do and others do not, of course this is possible. We want to know what the theory in question has to say about the relative fitness of bear phenotypes.

So suppose the whiteness phenotype has gone to fixation and there are now, say, 200 white bears. Did the whiteness phenotype increase the fitness (in the intensional sense) of the ancestral white bears or was it rather the same-color-as-snow phenotype, the same-color-as-paper phenotype, or any other phenotype that the white bears happen contingently to share with one another and not brown bears? Notice that the theory of evolution by natural selection does not give us any guidance. The ancestral bears (and the present bears) were all of these things. The evolutionary scientist receives no helpful advice from the theory about what hypothesis to hold (though of course the scientist has a helpful set of priors, and is likely to latch on to the correct hypothesis, without invoking Darwin’s theory).

Now suppose the field scientist actually runs some controlled tests on the population of bears in order to test the hypothesis that it was the same-color-as-snow phenotype that increased the fitness of the bears in their ecology, relative to the competing different-color-from-snow phenotype. Perhaps she isolates some of the bears in an area where the snow has been made artificially brown, along with some other conspecific brown bears taken from a different population. If the brownness phenotype goes to fixation in this new population, we will have some confirmation for our hypothesis; if whiteness goes to fixation, we may be led to instead propose that the whiteness phenotype (rather than the same-color-as-snow phenotype) increased fitness (maybe females prefer white bears or something). This is how science goes. But the question is: is Darwinian evolutionary theory confirmed by any of this? And the answer is [again, Fodor’s answer, not mine]: vacuously, yes. If brownness goes to fixation, the Darwinian will say: ‘look, we were right: the same-color-as-snow phenotype was more fit than the whiteness phenotype, and it went to fixation.’ Similarly, if whiteness goes to fixation, the Darwinian will say: ‘look, we were right: the whiteness phenotype was more fit than the same-color-as-snow phenotype, and it went to fixation.’

We can go on. After the first decoupling experiment, the experimenter will have ruled out a certain hypothesis, say, that the same-color-as-snow phenotype was not fitter than its competitors. But there will still be infinitely many properties locally correlated with the whiteness phenotype, so it will not follow that that phenotype was fitter. Here again, Darwinian evolutionary theory is of no help whatsoever in constructing hypotheses about which traits increase fitness. It cannot predict, it can only incorporate empirical findings post-hoc into the adaptationist model.

So the theory of evolution by natural selection (a) makes no predictions (b) does not guide researchers in formulating hypotheses about evolution and (c) is trivially compatible with any outcome. That is not how science goes [or so says Fodor].

This, I take it, is an intriguing argument. It has nothing to do with God. The claim is that the theory of natural selection read extensionally is false, and read intensionally is vacuously true. Nothing about the tree of life is questioned, nothing about inheritance through genes, nothing about the physical basis of all observable phenomena. The hard work of evolutionary biologists in the field is not ignored, nor is it taken to be irrelevant. Fodor is merely arguing that for biologists to attribute their scientific findings on evolution to The Law of Natural Selection is rather like contemporary computational psychologists attributing their findings to Behaviorism. The findings are still there, and still correct: they’re just neither suggested nor explained by natural selection. Or again, so says Fodor.

Conclusion

I don’t know whether Fodor’s right or not. Maybe that makes me an idiot, because maybe he’s as obviously wrong as Randy (Gallistel) and Tim say he is. So be it. But I’d like to be very clear on why Fodor is wrong, if he is. I used to think he was just arguing: there are no biological laws; explanation is subsumption under a law; therefore there are no biological explanations. And I used to think the response should be: that’s an exceedingly narrow conception of explanation. But now I take his argument to be what I presented above: it’s about whether the theory of natural selection itself has any content whatsoever. And one can’t answer that challenge by modifying what one counts as explanation. I invite civil discussion in the comments. No Godbotting, plz.

Metablogicon

This feels a little silly. I have a blog. It's about philosophy, but it's not one of those "here's a paper I'm writing blah blah blah" philosophy blogs. It's supposed to be about one modern materialist's struggles to understand the world he inhabits and all that's in it. I've got some posts planned on Fodor vs. Darwin, abortion, art, meaning, that sort of thing. I don't plan to update with much greater frequency than weekly. But you're invited to join the conversation anytime.