Privileging the Hypothesis

post by Eliezer Yudkowsky (Eliezer_Yudkowsky) · 2009-09-29T00:40:12.159Z · LW · GW · Legacy · 130 comments

Contents

130 comments

Suppose that the police of Largeville, a town with a million inhabitants, are investigating a murder in which there are few or no clues—the victim was stabbed to death in an alley, and there are no fingerprints and no witnesses.

Then, one of the detectives says, “Well… we have no idea who did it… no particular evidence singling out any of the million people in this city… but let’s consider the hypothesis that this murder was committed by Mortimer Q. Snodgrass, who lives at 128 Ordinary Ln. It could have been him, after all.”

I’ll label this the fallacy of privileging the hypothesis. (Do let me know if it already has an official name—I can’t recall seeing it described.)

Now the detective may perhaps have some form of rational evidence that is not legal evidence admissible in court—hearsay from an informant, for example. But if the detective does not have some justification already in hand for promoting Mortimer to the police’s special attention—if the name is pulled entirely out of a hat—then Mortimer’s rights are being violated.

And this is true even if the detective is not claiming that Mortimer “did” do it, but only asking the police to spend time pondering that Mortimer might have done it—unjustifiably promoting that particular hypothesis to attention. It’s human nature to look for confirmation rather than disconfirmation [LW · GW]. Suppose that three detectives each suggest their hated enemies, as names to be considered; and Mortimer is brown-haired, Frederick is black-haired, and Helen is blonde. Then a witness is found who says that the person leaving the scene was brown-haired. “Aha!” say the police. “We previously had no evidence to distinguish among the possibilities, but now we know that Mortimer did it!”

This is related to the principle I’ve started calling “locating the hypothesis,” which is that if you have a billion boxes only one of which contains a diamond (the truth), and your detectors only provide 1 bit of evidence apiece, then it takes much more evidence to promote the truth to your particular attention—to narrow it down to ten good possibilities, each deserving of our individual attention—than it does to figure out which of those ten possibilities is true. It takes 27 bits to narrow it down to ten, and just another 4 bits will give us better than even odds of having the right answer.

Thus the detective, in calling Mortimer to the particular attention of the police, for no reason out of a million other people, is skipping over most of the evidence that needs to be supplied against Mortimer.

And the detective ought to have this evidence in their possession, at the first moment when they bring Mortimer to the police’s attention at all. It may be mere rational evidence rather than legal evidence, but if there’s no evidence then the detective is harassing and persecuting poor Mortimer.

During my recent diavlog with Scott Aaronson on quantum mechanics, I did manage to corner Scott to the extent of getting Scott to admit that there was no concrete evidence whatsoever that favors a collapse postulate [? · GW] or single-world quantum mechanics [? · GW]. But, said Scott, we might encounter future evidence in favor of single-world quantum mechanics, and many-worlds still has the open question of the Born probabilities.

This is indeed what I would call the fallacy of privileging the hypothesis. There must be a trillion better ways to answer the Born question without adding a collapse postulate that would be the only non-linear, non-unitary, discontinous, non-differentiable, non-CPT-symmetric, non-local in the configuration space, Liouville’s-Theorem-violating, privileged-space-of-simultaneity-possessing, faster-than-light-influencing, acausal, informally specified law in all of physics. Something that unphysical is not worth saying out loud or even thinking about as a possibilitywithout a rather large weight of evidence—far more than the current grand total of zero.

But because of a historical accident, collapse postulates and single-world quantum mechanics are indeed on everyone’s lips and in everyone’s mind to be thought of, and so the open question of the Born probabilities is offered up (by Scott Aaronson no less!) as evidence that many-worlds can’t yet offer a complete picture of the world. Which is taken to mean that single-world quantum mechanics is still in the running somehow.

In the minds of human beings, if you can get them to think about this particular hypothesis rather than the trillion other possibilities that are no more complicated or unlikely, you really have done a huge chunk of the work of persuasion. Anything thought about is treated as “in the running,” and if other runners seem to fall behind in the race a little, it’s assumed that this runner is edging forward or even entering the lead.

And yes, this is just the same fallacy committed, on a much more blatant scale, by the theist who points out that modern science does not offer an absolutely complete explanation of the entire universe, and takes this as evidence for the existence of Jehovah. Rather than Allah, the Flying Spaghetti Monster, or a trillion other gods no less complicated—never mind the space of naturalistic explanations!

To talk about “intelligent design” whenever you point to a purported flaw or open problem in evolutionary theory is, again, privileging the hypothesis—you must have evidence already in hand that points to intelligent design specifically in order to justify raising that particular idea to our attention, rather than a thousand others.

So that’s the sane rule. And the corresponding anti-epistemology is to talk endlessly of “possibility” and how you “can’t disprove” an idea, to hope that future evidence may confirm it without presenting past evidence already in hand, to dwell and dwell on possibilities without evaluating possibly unfavorable evidence, to draw glowing word-pictures of confirming observations that could happen but haven’t happened yet, or to try and show that piece after piece of negative evidence is “not conclusive.”

Just as Occam’s Razor says that more complicated propositions require more evidence to believe, more complicated propositions also ought to require more work to raise to attention. Just as the principle of burdensome details requires that each part of a belief be separately justified, it requires that each part be separately raised to attention.

As discussed in Perpetual Motion Beliefs [LW · GW], faith and type 2 perpetual motion machines (water ice cubes electricity) have in common that they purport to manufacture improbability from nowhere, whether the improbability of water forming ice cubes or the improbability of arriving at correct beliefs without observation. Sometimes most of the anti-work involved in manufacturing this improbability is getting us to pay attention to an unwarranted belief—thinking on it, dwelling on it. In large answer spaces, attention without evidence is more than halfway to belief without evidence.

Someone who spends all day thinking about whether the Trinity does or does not exist, rather than Allah or Thor or the Flying Spaghetti Monster, is more than halfway to Christianity. If leaving, they’re less than half departed; if arriving, they’re more than halfway there.

An oft-encountered mode of privilege is to try to make uncertainty within a space, slop outside of that space onto the privileged hypothesis. For example, a creationist seizes on some (allegedly) debated aspect of contemporary theory, argues that scientists are uncertain about evolution, and then says, “We don’t really know which theory is right, so maybe intelligent design is right.” But the uncertainty is uncertainty within the realm of naturalistic theories of evolution—we have no reason to believe that we’ll need to leave that realm to deal with our uncertainty, still less that we would jump out of the realm of standard science and land on Jehovah in particular. That is privileging the hypothesis—taking doubt within a normal space, and trying to slop doubt out of the normal space, onto a privileged (and usually discredited) extremely abnormal target.

Similarly, our uncertainty about where the Born statistics come from should be uncertainty within the space of quantum theories that are continuous, linear, unitary, slower-than-light, local, causal, naturalistic, et cetera—the usual character of physical law. Some of that uncertainty might slop outside the standard space onto theories that violate one of these standard characteristics. It’s indeed possible that we might have to think outside the box. But single-world theories violate all these characteristics, and there is no reason to privilege that hypothesis.

130 comments

Comments sorted by top scores.

comment by Alicorn · 2011-03-18T19:31:38.181Z · LW(p) · GW(p)

John Wilkes Booth: You know you really ought to do something about that stomach.

Zangara: I do everything about the stomach!

Booth: Oh yes?

Zangara: I give up wine. No good! I give up smokes. No good! I quit my work. No good! I move Miami. No good! I TAKE APPENDIX OUT! No good! Nothing no good! Nothing! Nothing! Nothing!

Booth: Have you considered shooting Franklin Roosevelt?

Zangara: You think that help?

Booth: It couldn't hurt...

-- Assassins shows up how privileging hypotheses is done.

Replies from: MBlume
comment by MBlume · 2011-03-18T19:38:00.605Z · LW(p) · GW(p)

"Is it cold out in space, Bowie?"

"You can borrow my jumper if you like, Bowie!"

"Does the cold of deep space make your nipples get pointy, Bowie?"

"Do you use your pointy nipples as telescopic antennae to transmit data back to earth?"

"I bet you do, you freaky old bastard you!"

[...]

"Receiving transmission...from David Bowie's nipple antennae!"

--Flight of the Conchords helps

Replies from: Cyan
comment by Cyan · 2011-03-18T20:54:58.513Z · LW(p) · GW(p)

That's pretty far out!

comment by mmehrotra · 2011-06-03T20:12:04.244Z · LW(p) · GW(p)

Just to confirm:

Another way of explaining the 'locating the hypothesis' concept would be to say: "When answering a question with a large number of possible answers, it takes more work to narrow down the possibilities (generate the reasonable hypotheses) than it does to test those hypotheses for correctness."

Is that right?

Replies from: PetjaY
comment by PetjaY · 2015-02-01T21:04:35.784Z · LW(p) · GW(p)

That is correct, and even more importantly "When answering a question with a large enough number of possible answers, any single possible answer will have a bigger chance of being a false positive than true positive if tested"

comment by PhilGoetz · 2009-09-30T00:03:05.820Z · LW(p) · GW(p)

I agree that privileging a hypothesis is a common error. I don't agree that it applies in the example used, though.

If you have a tradition thousands of years old saying that a particular spot was the site of Nazareth in 4BC, or of Troy in 1200BC, it isn't irrational to privilege the hypothesis that that spot was indeed the site of Nazareth, or of Troy.

Similarly, when the entire world has used the single-world hypothesis almost exclusively until the recent past, it isn't unfairly privileging it to still consider it a major contender.

You might think this is more like evolution vs. creationism. I don't mean that we should keep teaching creationism in school as an alternative today. But we haven't got as strong an argument for many-worlds as we do for evolution.

Also, AFAIK there's just these 2 competing hypotheses: One-world, many-world. We don't have the 7-worlds hypothesis and the 23-worlds hypothesis and the pi-worlds hypothesis. We could have the countable-worlds hypothesis and the uncountable-worlds hypothesis, but AFAIK we don't even have those. How can you say it's irrational to consider 1 of the only 2 hypotheses available?

Replies from: Eliezer_Yudkowsky, DanielLC, wedrifid
comment by Eliezer Yudkowsky (Eliezer_Yudkowsky) · 2009-09-30T00:37:57.051Z · LW(p) · GW(p)

Also, AFAIK there's just these 2 competing hypotheses: One-world, many-world.

Reminiscent of the guy who was asked what were the odds he would win the lottery, and replied, "Fifty-fifty, either I win or I don't." The corresponding heuristic-and-bias is I think known as "packing and unpacking" or something along those lines.

Replies from: SilasBarta, MichaelVassar, PhilGoetz, rortian
comment by SilasBarta · 2009-09-30T14:16:29.002Z · LW(p) · GW(p)

I remember the Daily Show had a funny example of this in action. They were interviewing people about the possibility of the Large Hadron Collider destroying the earth, and they talked to a physicist and a crazy survivalist. The former said it was impossible for the LHC to destroy the earth, while the latter used basically that argument: "There are two possibilities: it can destroy us, or not. So, that's about a 50/50 chance."

Then later the interviewer followed the survivalist to his bunker and asked him: if everyone died but them, don't they have an obligation to mate to repopulate the earth? (They were both men.) The survivalist said, "Um, no, because that doesn't work. It's impossible." And then the interviewer came back with, "well, there's two possibilities: we'll produce a baby, or we won't, so that's 50/50 -- pretty good odds."

I'm sure someone would love to dig up the clip...

Replies from: Benja
comment by Benya (Benja) · 2012-10-13T19:39:01.998Z · LW(p) · GW(p)

I remember the Daily Show had a funny example of this in action. They were interviewing people about the possibility of the Large Hadron Collider destroying the earth, and they talked to a physicist and a crazy survivalist. [...] I'm sure someone would love to dig up the clip...

Sure! Didn't take more than three years for someone to do that, either!

Though apparently your mind edited out how the interviewee's "there's a 0% chance it [them reproducing] will work" makes a great parallel with how John Ellis, who's otherwise amazing in this video, earlier explains that "there is 0% chance", "zero", of the LHC destroying the world[*]. Sigh.

(The clip is great from start to finish, but IMHO the funniest part is what John Oliver says in answer to "This place is perfectly safe" towards the end of the video. I was going to say that the only people it could be said to make fun of are annoying nitpickers, but on reflection, it's actually feels like a really great dig at people who make terrible arguments and want you to take them seriously, even though they really should realize the flaw themselves.)

[*] Technically, the video only suggests that it is world-destroying that Ellis claims to have "0% chance", and this is the Daily Show, but I think we can safely assume that ths is not selective editing to make him look like a bad Bayesian.

comment by MichaelVassar · 2009-10-01T00:04:37.257Z · LW(p) · GW(p)

1 vs. many is a very natural divide, not at all a good example of the packing and unpacking fallacy.

Replies from: steven0461
comment by steven0461 · 2009-10-01T00:44:40.798Z · LW(p) · GW(p)

Once you accept that there exists something isomorphic to a wave function, it's more like:

many worlds vs. many worlds and an orang-utan vs. many worlds and an apple tree vs. many worlds and a television vs. many worlds and a blue castle vs. (...) vs. many worlds and a character-of-natural-law-violating process that constantly kills all the worlds except one.

All cases except the last case contain many worlds, but Phil packed them together. I think that's the intuition Eliezer was getting at.

Replies from: steven0461, PhilGoetz, Eliezer_Yudkowsky
comment by steven0461 · 2009-10-01T00:49:14.862Z · LW(p) · GW(p)

We shouldn't be afraid here to sound Orwellian. Copenhagen people believe in the many worldeaters interpretation. We believe in the no worldeaters interpretation.

Replies from: PhilGoetz
comment by PhilGoetz · 2009-10-01T23:42:11.004Z · LW(p) · GW(p)

Whatever is being done to the words "many worldeater interpretation" and "worldeaters interpretation" does not show up on my screen.

comment by PhilGoetz · 2009-10-01T23:44:05.671Z · LW(p) · GW(p)

So true - My "8 worlds and an orang-utan" hypothesis never got the respect it deserved.

Replies from: gwern, SilasBarta
comment by gwern · 2009-10-11T04:04:57.315Z · LW(p) · GW(p)

"Should array indices start at 0 or 1? My compromise of 0.5 was rejected without, I thought, proper consideration."

--Stan Kelly-Bootle

Replies from: kpreid
comment by SilasBarta · 2009-10-03T17:22:39.190Z · LW(p) · GW(p)

Props for the perseverance, man. Props ;-)

comment by Eliezer Yudkowsky (Eliezer_Yudkowsky) · 2009-10-11T14:40:19.188Z · LW(p) · GW(p)

That is exactly and perfectly right and I should use this example henceforth.

comment by PhilGoetz · 2009-10-01T23:37:24.928Z · LW(p) · GW(p)

I think you are demonstrating a dramatic failure to update by saying that a hypothesis held by 99.99+% of humanity, and even by most people who have thought about the issues, is not worth considering.

I'd like to know what the distribution of opinions of quantum physicists and cosmologists is.

Replies from: Douglas_Knight
comment by Douglas_Knight · 2009-10-02T03:03:54.242Z · LW(p) · GW(p)

There have been polls, with a dramatic range of support. Wikipedia leads me to the most MWI-friendly poll. I think the low-water mark is about 10% of some other group of quantum theorists. I suspect that the variation is due to wording issues and local social pressure (by "local" I mean the conference), but the page suggests different communities:

The findings of this poll are in accord with other polls, that many- worlds is most popular amongst scientists who may rather loosely be described as string theorists or quantum gravitists/cosmologists. It is less popular amongst the wider scientific community who mostly remain in ignorance of it.

Antia Lamas saw MWI win a poll for least favorite interpretation. On that page, Michael Nielsen mentions a poll where MWI came 3rd, after Copenhagen and decoherence...but if decoherence is an interpretation, it sure sounds like MWI to me.

comment by rortian · 2009-09-30T15:37:22.019Z · LW(p) · GW(p)

Why you insist on being dogmatic on this is beyond me. In your writings on the subject, you admit you don't understand the math behind quantum mechanics, which is in fact the model. Why be so sure you are right about the interpretation of the model you don't understand?

People look kindly on those who are humble when commenting on things outside of their expertise. People that go around making bold claims about things about which they are not that knowledgeable are labeled cranks, and rightfully so.

comment by DanielLC · 2013-04-29T19:33:57.496Z · LW(p) · GW(p)

Similarly, when the entire world has used the single-world hypothesis almost exclusively until the recent past, it isn't unfairly privileging it to still consider it a major contender.

It's not a major contender because of hearsay of powerful evidence like we have with legends. It's a major because it's been unfairly privileged ever since someone thought of it. It's far more complicated than the hypotheses that they haven't thought of, so by Occam's razor, it's far more likely to be a hypothesis that nobody's thought of than that one.

It's not like a legend about the city of Nazareth. It's not even like a legend about the birth of a god. It's like concluding that there's a god because life has clearly been optimized, and you haven't thought of any alternative hypotheses yet. Once Many-Worlds has been suggested, it's like concluding there's a good chance of there being a god, because you would have thought there was one before you thought of the alternative hypothesis.

Just because you haven't thought of an alternative hypothesis doesn't mean there isn't one. It does mean that you have to discount it on the, rather high, chance that it has already been disproven. Most have. But if there's enough alternatives, if your hypothesis is complicated enough from the beginning, there's bound to be an alternative hypothesis that actually explains it.

comment by wedrifid · 2009-10-03T17:40:53.456Z · LW(p) · GW(p)

If you have a tradition thousands of years old saying that a particular spot was the site of Nazareth in 4BC, or of Troy in 1200BC, it isn't irrational to privilege the hypothesis that that spot was indeed the site of Nazareth, or of Troy.

I agree. It ought to have taken the first people to grasp the math at least 30 seconds to discard the Nazareth concept.

comment by dclayh · 2009-09-29T04:19:27.573Z · LW(p) · GW(p)

I don't know, this "Mortimer Q. Snodgrass" fellow seems pretty suspicious to me. I mean, a weird name like that is probably an alias. And "Ordinary Lane"? At a power of 2 no less? Tell me he plays tennis and I'll be convinced he did it.

Replies from: CronoDAS, None, roland
comment by CronoDAS · 2009-09-29T04:28:38.432Z · LW(p) · GW(p)

And even if he wasn't the murderer, he's probably guilty of something. Check his computer for pirated music! ;)

comment by [deleted] · 2015-05-13T01:20:27.093Z · LW(p) · GW(p)

Mortimer Snodgrass? Or maybe it was Homer Dalrymple. :) Either way, it sounds like a mad scientist's name.

(Six year late reply, I know, but I just heard the relevant chapter of HPMOR and was curious to see if anyone else caught the reference!)

comment by roland · 2009-09-29T06:51:45.882Z · LW(p) · GW(p)

Well, I think that John Q. Wiffleheim of 1234 Norkle Rd is a more likely candidate.

comment by SilasBarta · 2009-09-29T03:38:45.218Z · LW(p) · GW(p)

I don't know if there's another name for privileging the hypothesis, but it seems closely related to anchoring, in that it involves establishing an unjustifiable "starting point" from which to search.

Replies from: LocusCosecant
comment by LocusCosecant · 2009-09-29T05:12:33.447Z · LW(p) · GW(p)

It seems like it's a special case of anchoring to me.

Replies from: None
comment by [deleted] · 2009-09-29T17:03:43.070Z · LW(p) · GW(p)

Also related to availability - the very fact that it enters your conscious mind, even if you immediately discount it, is going to wear down that thought groove, making it more likely to be consciously (or subconsciously) accessed.

comment by EHeller · 2013-03-05T07:48:40.505Z · LW(p) · GW(p)

You are asserting a false duality. Either many-worlds, OR a collapse postulate. You use evidence AGAINST a collapse as evidence FOR many worlds, which is very weak evidence. Here is a third alternative- the wavefunction is not real- merely a mathematical formalism used to calculate probability distributions (this map doesn't have to be the territory). Here is a fourth- collapse is an approximation to a small, non-linear self-coupling in the equation that governs time evolution. Here is a fifth- evolution is governed by both the advanced and retarded Green function solution to the Schroedinger equation, and what appears to be collapse is a sort of beat-resonance between the two. Here is a sixth- there are(non-local) degrees of freedom apart from the wavefunction and 'collapse' occurs because our existing theory is confused about what devices actually measure. I could keep going.

Every one of the above has a huge advantage over many worlds- there is positive evidence to update in their favor. Because they accurately reproduce most of quantum mechanics, all that evidence that we can use to push us to "quantum mechanics is probably right" CAN lead us to any of the above theories.

Many worlds does NOT have Born probabilities, and so IT DOES NOT MAKE PREDICTIONS. No one knows how to use many worlds to do anything at all. So you are doing a very weird sort of Bayesian process- you use Copenhagen or one of the above theories' predictions to update your belief to "quantum mechanics is probably right." Now starting from this new belief, you use other facts to update to "many worlds is probably right." Unfortunately, you didn't notice that in switching to many worlds, all of that evidence that pointed to quantum mechanics is gone.

If you start from an agnostic prior, many world's has no predictions to push you in the direction of "this is the right theory."

Replies from: wedrifid, Quantumental
comment by wedrifid · 2013-03-05T07:53:02.113Z · LW(p) · GW(p)

You use evidence AGAINST a collapse as evidence FOR many worlds, which is nonsense.

That actually isn't nonsense, even if (or rather, even though) there are not only two hypotheses. Given that collapse outright excludes many worlds, evidence against collapse is evidence in favor of many worlds. It is evidence that merely becomes weaker the more additional probability mass there is for the additional hypotheses.

Replies from: EHeller
comment by EHeller · 2013-03-05T07:57:41.459Z · LW(p) · GW(p)

I retract the overly-strong word "non-sense", I'm not sure how to markup a strike out so I merely edited the above post.

comment by Quantumental · 2013-03-06T21:11:23.779Z · LW(p) · GW(p)

EHeller: what if the decision-theoretic approach by Wallace et al. turns out to work? Would you consider MWI "heavily" favoured then?

comment by sheep1e · 2010-07-28T19:47:52.978Z · LW(p) · GW(p)

I think that "privileging the hypothesis" is an example of special pleading (http://en.wikipedia.org/wiki/Special_pleading) being applied to the selection of a hypothesis, as opposed to the evaluation of the hypothesis.

comment by [deleted] · 2009-09-29T17:15:21.498Z · LW(p) · GW(p)

And the corresponding anti-epistemology is to talk endlessly of "possibility" and how you "can't disprove" an idea

Something to point out to someone who says this is that 'possibility' is not a constraint - EVERYTHING is possible. As far as I know (and correct me if i'm wrong cause that would be a major fuckup), you can't assign a probability of zero to anything. You can't seperate the possible things from the impossible ones, and then focus only on the possible. 'Possible', by itself, applies to everything, so you don't say anything by declaring something 'possible'. It's only when you start talking about degrees of possibility that the word has any meaning.

Replies from: Psychohistorian, Alicorn, HughRistik
comment by Psychohistorian · 2009-09-30T07:34:10.143Z · LW(p) · GW(p)

Definitional contradictions are impossible. For example, I can say that I will encounter a married bachelor, or a non-female vixen, with P=0. This doesn't actually say anything about the world; I could figure out that there are no married bachelors without leaving in my room, simply by knowing that bachelor is defined as "man who is not married." Mathematical truths (like 2+2=4) and non-contradiction (as mentioned deeper in this thread with the buttering of pancakes) are specific instances of definitional contradiction.

You're generally right, though. Truths that actually involve looking at the world, i.e. ones that are not inherently about language, cannot have P=0 or P=1.

Actually, certain truths about the self and "subjective" experience may also hit P=0 and P=1. It seems I can be certain of my existence, even if I can't be certain of what I am or what causes my existence. I can also be certain that there exists some X such that X exists. I also think I can be certain that it looks like there's a computer screen in front of me, that my knee feels slightly uncomfortable, and that I am literate. All of this seems to have P=1; the implied causes may be false - I may not actually have knees, for example - but I certainly do seem to be having the sense-experience. I don't think this contradicts your point in any practical sense, though.

Replies from: SilasBarta, NancyLebovitz
comment by SilasBarta · 2009-09-30T13:54:32.783Z · LW(p) · GW(p)

I don't know if what I'm about to say is a nitpick, but I think it's relevant to the issue, so I'll say it anyway:

Definitional contradictions are impossible. For example, I can say that I will encounter a married bachelor, ... with P=0. This doesn't actually say anything about the world; I could figure out that there are no married bachelors without leaving in my room, simply by knowing that bachelor is defined as "man who is not married."

But words have histories behind them, and there is a reason why the term "bachelor" exists. The term "bachelor" carries connotations that go beyond simply "union(male,~married)". To borrow from an example from Hubert Dreyfus (and do forgive me for reading him), if I told you I was having a party and I wanted you to bring bachelors, would you consider bringing priests or gay men?

What's actually happening is that we believe "bachelor" has one meaning, while expecting people to imagine a different clump of conceptspace ("connotation") when we actually use it.

Only when you confine the issue into being a purely logcal one, with "bachelor", "man", etc. as suggestively-named LISP tokens can you identify purely logical (P = 0 or 1) truths. But at that point, you've destroyed the mutual information between those words and the outside world, including the usage of those terms in the outside world. And in that case, your statement is no longer about bachelors, but rather, about abstract logical relationships in Platonic space.

comment by NancyLebovitz · 2015-04-04T15:35:22.787Z · LW(p) · GW(p)

Another failure mode of arguing from a definition is that you could be wrong about the definition.

comment by Alicorn · 2009-09-29T19:26:44.503Z · LW(p) · GW(p)

Exceptions to "everything is possible" include logical contradictions (such as mathematical falsehoods).

Replies from: None
comment by [deleted] · 2009-09-29T20:12:59.741Z · LW(p) · GW(p)

I voted you up, but I'm genuinely confused here - does the concept of probability/possibility apply to a strict, axiomatic, isolated (yet human created and thus fallible) system like mathematics?

Replies from: Alicorn, Johnicholas
comment by Alicorn · 2009-09-29T21:04:38.122Z · LW(p) · GW(p)

Not all logical contradictions have to do with mathematics. For instance, it's impossible (barring childish equivocation etc.) that a given pancake be both buttered and not buttered. Pancakes tend to have a very poor grasp of math.

Your confusion may have to do with epistemic v. metaphysical possibility. I can imagine that I am so deeply, profoundly confused about the universe that I could be mistaken about arithmetic; therefore, it's sort of epistemically possible that two and two be five. However, as it happens, it's not actually possible that two and two be five. Because I am part of a philosophy department in which David Lewis is practically worshiped, I'll put it this way: I can think about two and two making five, but there's no possible world in which that thought is reality.

Replies from: Furcas
comment by Furcas · 2009-09-30T05:24:32.215Z · LW(p) · GW(p)

Not all logical contradictions have to do with mathematics. For instance, it's impossible (barring childish equivocation etc.) that a given pancake be both buttered and not buttered.

It does have to do with mathematics, though. A buttered pancake is a pattern, an unbuttered pancake is a different pattern. Each pattern can be expressed as a series of bits, and the first series will not equal the second.

but there's no possible world in which that thought is reality.

Are you 100% certain about that?

Replies from: Alicorn
comment by Alicorn · 2009-09-30T12:11:44.528Z · LW(p) · GW(p)

Are you 100% certain about that?

No. Do I need to explain epistemic possibility versus metaphysical possibility again?

Replies from: dxu
comment by dxu · 2015-04-03T16:09:13.348Z · LW(p) · GW(p)

I find your distinction between "epistemic" and "metaphysical" possibility to be fairly useless. Are you using a different brain when you consider "epistemic" possibility than when you consider "metaphysical" possibility? Does your concept of "metaphysical" possibility somehow not reside within your own mind, but rather "out there" somewhere in the realm of Platonic logic? That seems suspicious. And even if it were somehow "out there", how do you know you're not mistaken about what it is?

More to the point: can you name a single "metaphysical" possibility that does not reduce to an "epistemic" possibility when considered from the context of your own brain?

Replies from: None
comment by [deleted] · 2015-04-03T18:42:07.380Z · LW(p) · GW(p)

It is a metaphysical possibility that the universe is actually entirely random and only seems to us as if it were lawful. But it is not epistemically possible for me to ever be 100% certain that the universe is random, or that it is lawful.

So it appears to me that an epistemic possibility is something which exists only in my map, whereas a metaphysical possibility is something which exists in the territory and may be represented in my map. The fact that I represent both concepts within my own brain doesn't seem to change this.

Replies from: dxu
comment by dxu · 2015-04-03T20:57:40.414Z · LW(p) · GW(p)

So it appears to me that an epistemic possibility is something which exists only in my map, whereas a metaphysical possibility is something which exists in the territory and may be represented in my map. The fact that I represent both concepts within my own brain doesn't seem to change this.

This would seem to make it useless to talk of metaphysical possibilities, seeing as there is no way to directly access the territory.

Replies from: None
comment by [deleted] · 2015-04-03T21:49:46.085Z · LW(p) · GW(p)

I don't think so. I cannot directly access reality, but it still seems very useful to me to speak of it. Even if only to have something for my beliefs to try to correspond to.

Replies from: dxu
comment by dxu · 2015-04-04T02:13:23.178Z · LW(p) · GW(p)

In that case, you can refer directly to your map. Instead of saying, "The sky is blue," you can say, "My map of the territory contains a blue sky." (Naturally, this is only necessary when context requires; if you're in an ordinary conversation, there's no need to go that far.) To me, it seems that the only time you need to really refer to the territory is when you're talking directly about the map-territory relationship, e.g. "As research continues, our understanding of quantum physics will hopefully increase." But to speak descriptively of the territory is to commit the Mind Projection Fallacy. After all, there's no difference between saying, "I believe X," versus just "X"; the two statements convey exactly the same information, and this information pertains only to the speaker's map, not the territory. In my view, then, all possibilities are of the "epistemic" sort. To add a second type, "metaphysical", seems wholly unnecessary.

Replies from: None
comment by [deleted] · 2015-04-04T13:39:44.080Z · LW(p) · GW(p)

I am in complete agreement with what you said that I need only talk about reality to have something to check my map against.

But I believe we may be using the term "epistemic possibility" differently.

It appears to me that when you say that X is epistemically possible, that it is possible that your map can contain X (and your map is correct in this aspect). I.e. that one can have a true belief that X.

What I mean when I say that X is epistemically possible is that I have a justified true belief that X. In that sense epistemic possibility is stronger than metaphysical possibility for me in that I require the justification of the belief as well as its truth.

comment by Johnicholas · 2009-09-29T21:39:03.848Z · LW(p) · GW(p)

Does the concept of probability/possibility apply to mathematics?

That's a very interesting question. Philosophers have been arguing about the concept of possibility (and its dual, necessity) for some time.

There's a sense of "necessary randomness", that Chaitin has written very extensively about.

http://www.umcs.maine.edu/~chaitin/

Corresponding to this notion, there are stochastic models of (generally-agreed) necessary truths. The best known is probably the "probability of n being prime":

http://primes.utm.edu/glossary/xpage/PrimeNumberThm.html

But there are plenty others - e.g. the 3n+1 problem

http://en.wikipedia.org/wiki/Collatz_conjecture

or the question of who wins (first or second player) an integer-parametrized family of combinatorial games.

More exotically, Neal Stephenson's "Anathem" and Greg Egan's short stories "Luminous" and "Dark Integers" explore the possibility that what we think of as "necessary truths" are in fact contingent truths, frozen at some point in the distant past, and exerting a pervasive influence. (Note: I think this might sound ridiculous to a logician, but moderately reasonable to a cosmologist.) It is quite difficult to tell the difference between a necessary truth and a contingent truth which has always been true.

More prosaically, we do make errors and (given things like cosmic rays and other low-level stochastic processes) it seems unlikely that any physical process could be absolutely free of errors. We might believe something to be impossible, but erroneously. Your answer to the question "Are there any necessary truths?" probably depends on your degree of Platonism.

Replies from: Mqrius
comment by Mqrius · 2013-06-18T13:56:07.338Z · LW(p) · GW(p)

Greg Egan's short stories "Luminous" and "Dark Integers" explore the possibility that what we think of as "necessary truths" are in fact contingent truths, frozen at some point in the distant past, and exerting a pervasive influence.

Nice stories, but the author didn't find the optimal solution at the end. The red arithmetic should have kept a second small island with smooth borders, inside which a small blue patch with rough borders were maintained. This would have allowed communications without any risk of war.

comment by HughRistik · 2009-09-29T21:01:41.076Z · LW(p) · GW(p)

'Possible', by itself, applies to everything, so you don't say anything by declaring something 'possible'. It's only when you start talking about degrees of possibility that the word has any meaning.

Part of the problem is that "possibility" has different meanings depending on context. In everyday speech, it seems to be used to indicate degrees of probability. When people declare a certain event "possible" in everyday speech, they usually mean that it has a low but nontrivial probability, given the everyday state of the world. In this sense, I might say that it's "impossible" for me to become a NFL player, even though in a philosophical discussion we would recognize that the probability that I could become a NFL player is greater than 0.

Problems occur people equivocate between different meanings of "possibility," or introduce a certain meaning into a type of discussion where it doesn't belong. For instance, it's "possible" that the Flying Spaghetti Monster exists and created the world, but this is not the kind of "possibility" that people deal with in everyday life.

comment by thrawnca · 2016-03-01T10:27:43.537Z · LW(p) · GW(p)

I tend to think that the Bible and the Koran are sufficient evidence to draw our attention to the Jehovah and Allah hypotheses, respectively. Each is a substantial work of literature, claiming to have been inspired by direct communication from a higher power, and each has millions of adherents claiming that its teachings have made them better people. That isn't absolute proof, of course, but it sounds to me like enough to privilege the hypotheses.

Replies from: entirelyuseless
comment by entirelyuseless · 2016-03-01T15:34:10.160Z · LW(p) · GW(p)

This is in fact the general problem here. If there is a large group of people claiming that some religion is true, that is quite enough evidence to call your attention to the hypothesis. That is in fact why people's attention is called to the hypothesis: paying attention to what large groups of people say is not remotely close to inventing a random idea.

comment by HughRistik · 2009-09-29T18:43:21.467Z · LW(p) · GW(p)

Eliezer, speaking of "privileging the hypothesis," what do you think about the proscription in statistics against "data dredging," or using past data to support post hoc hypotheses suggested by the data? What do you think about the view of descriptive science being inferior to hypothesis-driven science?

Based on your analysis, it would indeed seem that a hypothesis that could be located prior to an experiment might be more probable than a hypothesis that could only be located after an experiment.

Yet is there an over-emphasis placed on the state of mind of the particular experimenter prior to data collection? What if another scientist on the other side of the world had a hypothesis, which our original experimenter only came to after doing a study looking at something else. Can the second scientist say that the study confirms his hypothesis (because he held it in advance), while the first scientist cannot (because he only came to his hypothesis after doing the study)?

What if the post-hoc-hypothesized effect is very strong and related to plausible mechanisms in the field? What if it showed up in lots of previous studies that were looking at other things?

EDIT: Non-Eliezer people are invited to reply to this comment also.

Replies from: pengvado
comment by pengvado · 2009-09-29T19:59:01.618Z · LW(p) · GW(p)

There's nothing inherently wrong with data dredging. Considering all possible hypotheses and keeping the ones suggested by the data is just Solomonoff induction. It only becomes problematic if you don't have a consistent prior, e.g. if you keep the hypothesis with the greatest likelihood ratio rather than the greatest posterior.

Hypothesis-driven has its place in the human practice of science, because humans have a hard time computing a prior after having seen the data. But that's a problem with the humans, not with the math.

Replies from: steven0461, PhilGoetz
comment by steven0461 · 2009-09-29T20:08:54.551Z · LW(p) · GW(p)

i.e. if you keep the hypothesis with the greatest likelihood ratio rather than the greatest posterior

...or if you believe everything that has p<.05.

comment by PhilGoetz · 2009-09-30T00:11:38.733Z · LW(p) · GW(p)

It only becomes problematic if you don't have a consistent prior, i.e. if you keep the hypothesis with the greatest likelihood ratio rather than the greatest posterior.

If that were true, you would never need to hold out a validation set.

comment by roland · 2009-09-29T06:56:55.247Z · LW(p) · GW(p)

I think this is a great follow up to: http://lesswrong.com/lw/o3/superexponential_conceptspace_and_simple_words/ (scroll to the very end of that post)

Replies from: SilasBarta
comment by SilasBarta · 2009-09-29T16:00:06.645Z · LW(p) · GW(p)

Good point. Also, Yvain follows up that point with his parable that shows the hypothetical example of teaching reformed Nazis that "Untermenschen are people too", and how that's nearly as distorting as Nazi ideology itself.

Wait, did I just Godwin?

comment by [deleted] · 2015-08-29T12:53:24.032Z · LW(p) · GW(p)

ideological organisations like think tanks, political parties and religions do this

comment by [deleted] · 2009-10-07T04:25:33.239Z · LW(p) · GW(p)

"But because of a historical accident, collapse postulates and single-world quantum mechanics are indeed on everyone's lips and in everyone's mind to be thought of"

I think there's more to it than historical accident. After all, it was a historical accident, of sorts, that people believed one could sail directly west from Europe to arrive in Asia, but once a continent was found in between it was no trouble at all to overturn that belief. Historical accident is not the only reason, or necessarily the major reason, that we are still struggling with single-world QM today. I think if we had started with Everett, and someone had later come up with Copenhagen, the latter would gain a nontrivial number of adherents. Note: this should not be taken as justifying Copenhagen in any way. I am merely saying that this particular analysis of the egregious error that is Copenhagen is not complete.

comment by CannibalSmith · 2009-09-29T08:51:42.320Z · LW(p) · GW(p)

grand total of zero

I have perceived exactly one world all my life. Isn't that evidence that exactly one world exists?

Replies from: MichaelHoward
comment by MichaelHoward · 2009-09-29T10:05:56.010Z · LW(p) · GW(p)

But that's exactly what you'd perceive if many worlds was true.

Replies from: CannibalSmith
comment by CannibalSmith · 2009-09-29T10:42:03.889Z · LW(p) · GW(p)

So, Many Worlds is a garage dragon?

Replies from: MichaelHoward, UnholySmoke
comment by MichaelHoward · 2009-09-29T11:33:29.309Z · LW(p) · GW(p)

If many worlds wasn't favored by the evidence that distinguishes between the two explanations and was the more complex explanation from reality's point of view, then yes, but I don't think it qualifies for dragonhood under this criteria.

comment by UnholySmoke · 2009-09-29T15:20:13.612Z · LW(p) · GW(p)

Surely spontaneous collapse is the garage dragon here. Zero evidence, highly unlikely.

Replies from: CannibalSmith
comment by CannibalSmith · 2009-09-30T07:20:07.639Z · LW(p) · GW(p)

See my top level comment.

Replies from: UnholySmoke
comment by UnholySmoke · 2009-09-30T13:05:57.845Z · LW(p) · GW(p)

Thanks for the link ;).

OK, on the one hand we have many-worlds. As you say, no direct subjective corroborating evidence (it’s what we’d see either way). What’s more, it’s the simplest explanation of what we see around us.

On the other hand, we have one-world. Again, ‘it’s what we’d see either way’. However, we now have to postulate an extra mechanism that causes the ‘collapse’.

I know which of these feels more like a privileged complex hypothesis pulled out of thin air, like a dragon.

Could whomever downvoted me above let me know where I’m going wrong here?

Replies from: CannibalSmith
comment by CannibalSmith · 2009-09-30T17:56:11.585Z · LW(p) · GW(p)

How is postulating entire worlds simpler than collapse?

Replies from: Nick_Tarleton, Psy-Kosh, UnholySmoke, steven0461
comment by Psy-Kosh · 2009-09-30T18:06:42.577Z · LW(p) · GW(p)

Because that's not what's actually being postulated. What's being postulated is "you know the basic math of QM? well... Just take that math really seriously and avoid adding too many extra rules. a CONSEQUENCE of that is many worlds."

ie, "take the quantum amplitudes over configuration space and the linear update rule. Also keep the whole born statistics thing for now. Hopefully we'll be able to derive it from the rest. And that's it. Don't add any rules about the rest of the amplitude field going to zero or any other such nonsense. Just have all QM all the time"

comment by UnholySmoke · 2009-10-12T15:37:04.774Z · LW(p) · GW(p)

Voted this down, then changed my mind and undid it. This is a genuine question, the answer to which was graciously accepted. Downvoting people who need guidance to understand a concept and are ready to learn is exactly what we don't want to do.

comment by steven0461 · 2009-09-30T17:59:07.655Z · LW(p) · GW(p)

Worlds aren't postulated, in the same way that cows aren't.

comment by Vladimir_Golovin · 2009-09-29T08:19:57.159Z · LW(p) · GW(p)

It may be that privileging the hypothesis -- or, more specifically, unjustifiably promoting a hypothesis about the goodness of a particular product or service to people's attention -- is the business end of TV advertising.

comment by pnrjulius · 2012-05-27T04:33:17.974Z · LW(p) · GW(p)

In general I agree, and of course Copenhagen is nonsense, but I think you privilege the hypothesis of Many-Worlds over Bohm. You see, Bohm has an explanation for the Born probabilities---they are a stable equilibrium state called, appropriately, "quantum equilibrium". So there are not even any open questions.

And yes, Bohm is non-local, which you could say is a problem... or you could say it explains why quantum mechanics is different from classical mechanics. (Obviously no quantum theory is going to satisfy all our classical intuitions, or it wouldn't be a quantum theory at all!)

It doesn't fit with general relativity, you say? Yes, because none of them do. Quantum gravity doesn't... work, not with our current formalisms. This is the central problem of modern physics (that and dark energy, which most physicists think is related somehow).

Replies from: Jakeness
comment by Jakeness · 2013-03-04T14:54:59.273Z · LW(p) · GW(p)

And yes, Bohm is non-local, which you could say is a problem... or you could say it explains why quantum mechanics is different from classical mechanics.

I̶'̶m̶ ̶n̶o̶t̶ ̶s̶a̶y̶i̶n̶g̶ ̶t̶h̶e̶ ̶B̶o̶h̶m̶ ̶i̶n̶t̶e̶r̶p̶r̶e̶t̶a̶t̶i̶o̶n̶ ̶i̶s̶ ̶w̶r̶o̶n̶g̶ ̶(̶b̶e̶c̶a̶u̶s̶e̶ ̶I̶'̶m̶ ̶t̶o̶o̶ ̶i̶n̶e̶x̶p̶e̶r̶i̶e̶n̶c̶e̶d̶ ̶i̶n̶ ̶t̶h̶e̶ ̶f̶i̶e̶l̶d̶ ̶t̶o̶ ̶s̶a̶y̶)̶,̶ ̶b̶u̶t̶ I do not see how the above statement can be used to privilege Bohm over any other theory. If anything, shouldn't its non-locality lower our priors on its correctness?

Replies from: shminux
comment by Shmi (shminux) · 2013-03-04T20:27:39.426Z · LW(p) · GW(p)

I'm not saying the Bohm interpretation is wrong

Interpretations can't be wrong, otherwise they would not be interpretations. They also can't be right, for the same reason. Here I define"wrong" in the natural sciences sense, "failed an experimental test". And that's the only definition that matters when talking about QM (which is a natural science), as opposed to morality and stuff.

Replies from: nshepperd, Jakeness, RobbBB
comment by nshepperd · 2013-03-04T23:13:40.901Z · LW(p) · GW(p)

Redefining an existing word to make an unrelated point is widely considered not clever.

comment by Jakeness · 2013-03-05T01:37:46.319Z · LW(p) · GW(p)

If interpretations cannot pass or fail an experimental test, what purpose do they serve?

(Not a rhetorical question; genuinely curious.)

Replies from: wedrifid, MugaSofer
comment by wedrifid · 2013-03-05T07:37:42.729Z · LW(p) · GW(p)

If interpretations cannot pass or fail an experimental test, what purpose do they serve?

They give you an excuse to not bite the bullet and accept the math as the way the universe actually is.

comment by MugaSofer · 2013-03-06T11:34:04.340Z · LW(p) · GW(p)

You might value something you can't always see.

Replies from: Jakeness
comment by Jakeness · 2013-03-08T19:40:39.770Z · LW(p) · GW(p)

That didn't really answer the question. Can you give a context-specific answer?

Replies from: MugaSofer
comment by MugaSofer · 2013-03-21T17:51:55.871Z · LW(p) · GW(p)

I believe the traditional example is a spacecraft passing over the cosmological horizon. We cannot observe this spacecraft, so the belief "things passing over the cosmological horizon cease to exist" cannot be experimentally proved or disproved. And yet, if there are large numbers of people on such a craft, their continued survival might mater a great deal to us. If we believe they will die, we will choose not to send them - which might impose heavy costs due to i.e. overpopulation.

The analogy to many-worlds seems obvious - if true, it would mean the existence of people we cannot experimentally verify. This could have implications for, say, the value of creating new minds, because they'll already exist somewhere else.

Replies from: Jakeness, shminux
comment by Jakeness · 2013-03-24T17:52:40.579Z · LW(p) · GW(p)

The analogy is hand-waving. If the spacecraft has gone over the cosmological horizon, how did you ever conclude that it exists in the first place? Such a conclusion would only be possible if you observed the spacecraft before it crossed over. In other words, it passed an experimental test.

Replies from: MugaSofer
comment by MugaSofer · 2013-03-30T21:11:35.472Z · LW(p) · GW(p)

You have a spaceship. You believe that it will cease to exist if it passes the cosmological horizon. What empirical test are you failing?

Replies from: Jakeness
comment by Jakeness · 2013-04-02T03:12:51.624Z · LW(p) · GW(p)

I suppose I would not be failing an empirical test, but I would be going against the well established law of conservation of mass and energy, and we can conclude I am wrong with >99% certainty.

To prevent us from getting too hooked on the analogy and back to my original question, if there is a theory (Bohm) that cannot pass or fail an experimental test but does go against a well established principle (locality), why should we give it a second glance? (Again, not a rhetorical question.)

Replies from: MugaSofer
comment by MugaSofer · 2013-04-04T13:41:37.785Z · LW(p) · GW(p)

I suppose I would not be failing an empirical test, but I would be going against the well established law of conservation of mass and energy, and we can conclude I am wrong with >99% certainty.

Precisely my point. The Law Of Conservation Of Energy is only well-established - empirically speaking - to hold within the observable universe. The Law Of Conservation Of Energy That I Can See is, of course, more complex, and there's no reason to privileged the hypothesis - as long as you have some way of assigning probabilities to things you can't observe.

To prevent us from getting too hooked on the analogy and back to my original question, if there is a theory (Bohm) that cannot pass or fail an experimental test but does go against a well established principle (locality), why should we give it a second glance? (Again, not a rhetorical question.)

Well, the Official LW Position (as endorsed by Eliezer Yudkowsky) is that you shouldn't. And, honestly, that makes a lot of sense. Some people, however, are determined to argue that the whole question is somehow meaningless or impossible to answer.

comment by Shmi (shminux) · 2013-03-21T18:29:28.274Z · LW(p) · GW(p)

I believe the traditional example is a spacecraft passing over the cosmological horizon. We cannot observe this spacecraft, so the belief "things passing over the cosmological horizon cease to exist" cannot be experimentally proved or disproved.

However, the conclusion that they don't subjectively cease to exist after we can no longer communicate with them follows unambiguously from the well-tested models of physics and cosmology. It does not require any strong extra assumptions, only some very weak ones, like that we are not in a cosmic-scale Truman show, or that the Copernican Principle holds.

By comparison, many-worlds is a strong extra assumption which has never been tested and is currently not testable (no, despite the popular misconception here, it does not follow from "just" the Schrodinger equation).

Replies from: MugaSofer
comment by MugaSofer · 2013-03-30T21:16:19.998Z · LW(p) · GW(p)

The "Truman Show Hypothesis" may violate the Copernican Principle, but it cannot be experimentally disproved.

I am not using this to argue for Many-Worlds; merely that we should care if Many-Worlds is true.

EDIT: A similar analogy would be that the ship turns into pure utilitronium, rather than vanishing. This might be a better analogy for the MWI for you.

comment by Rob Bensinger (RobbBB) · 2013-03-04T21:23:31.947Z · LW(p) · GW(p)

Interpretations can't be wrong, otherwise they would not be interpretations. They also can't be right, for the same reason.

Two questions. First, is that true as a matter of how you define 'interpretation', or is it true as a matter of subsequent fact? Second, do you mean to say that interpretations haven't yet passed or failed an experimental test?; or do you mean to say that interpretations can never pass or fail an experimental test?

The 'haven't yet' criterion is weakly true of 'interpretations' in the relevant QM context, though all the interpretations of interest here have been verified relative to empirically false models; they just haven't been verified relative to one another. But the 'can never' criterion is clearly false of some of the 'interpretations' we're talking about, and only contingently and ambiguously true of any of them. Whether these models will ever be empirically testable is itself an empirical question.

Here I define"wrong" in the natural sciences sense, "failed an experimental test". And that's the only definition that matters when talking about QM (which is a natural science)

What are you building into 'right'/'wrong' here? That is, why does your assertion have more semantic content than if you'd skipped the 'right'/'wrong' assertion and just said 'The Bohm interpretation hasn't passed an experimental test yet. Bye now!'? Certainly if you mean to suggest that scientific models cannot have merits or dismerits aside from experimental verification/falsification, then this is wrong. Scientific models can be overly vague, or ambiguous, or internally inconsistent, or overly complex or inelegant, or unexplanatory, or gerrymandered, or ad-hoc, or unverifiable, or unfalsifiable, or historically (as opposed to experimentally) false. All of those are faults in their own right -- and, often, they are Bayesianly relevant faults, faults that should impact our credence in the model.

Replies from: shminux
comment by Shmi (shminux) · 2013-03-04T21:33:22.122Z · LW(p) · GW(p)

But the 'can never' criterion is clearly false of some of the 'interpretations' we're talking about, and only contingently and ambiguously true of any of them.

Interpretations are designed to give the same predictions as can be inferred from a no-interpretation math, otherwise they would be called theories.

What are you building into 'right'/'wrong' here?

Experimentally testable new predictions. No more, no less.

Replies from: RobbBB, EHeller
comment by Rob Bensinger (RobbBB) · 2013-03-05T05:49:02.574Z · LW(p) · GW(p)

Interpretations are designed to give the same predictions as can be inferred from a no-interpretation math, otherwise they would be called theories.

This is empirically false, as a statement about how scientific discourse works. Compare string theory, which is frequently labeled a 'theory' (or family of theories) even though it has far more difficult-to-observe posits (one-dimensional strings!) than most (perhaps all) of the mainstream QM 'interpretations'. See also falsified QM interpretations.

Perhaps a more model-theoretic approach would be appropriate here; clearly QM interpretations can vary quite a bit in their verifiability/falsifiability, so what distinguishes them from other theories may be that they specify the meanings of the terms in the QM formalism. On this view, 'interpretations' may add real content and predictions to a set of statements, provided that in the process they also fix the semantics of a large portion of the statements. After all, the problem with QM is not merely that we aren't clear on the invisible metaphysics secretly underwriting and accounting for our experiences; we aren't even clear on the phenomenology (appearances) or ontology (observable posits) of the theory, treated as mere formalism.

comment by EHeller · 2013-03-04T21:39:12.746Z · LW(p) · GW(p)

Interpretations are designed to give the same predictions as can be inferred from a no-interpretation math, otherwise they would be called theories.

This isn't necessarily true. Consider that the GRW interpretation has been pretty much falsified by Van Harlingen's work at UIUC (macroscopic current superposition in SQUIDs). Most of the interpretations rely on different postulates than traditional Copenhagen quantum so there can be (and generally are) differences. However, to date, most of those differences aren't measurable.

Similarly, we call many-worlds an "interpretation" even though no one has figured out how to actually make predictions with it. The difference between "interpretation" and "theory" is a bit loose.

Replies from: shminux
comment by Shmi (shminux) · 2013-03-04T22:32:42.331Z · LW(p) · GW(p)

This isn't necessarily true. Consider that the GRW interpretation has been pretty much falsified by Van Harlingen's work at UIUC (macroscopic current superposition in SQUIDs).

I am not familiar with the GRW theory, but, like most other objective collapse models and unlike [the lowest common denominator] Copenhagen, it appears to be more than an interpretation, so no wonder that it can be falsified.

Anyway, my definition of an interpretation is "same math, same predictions, different invisible underlying ontology". If your definition is different, feel free to state it.

Replies from: EHeller, RobbBB
comment by EHeller · 2013-03-05T07:20:26.705Z · LW(p) · GW(p)

Almost all "interpretations" (using the word as used in the literature) of quantum mechanics use different axioms, and its a mathematical question as to whether or not the theories make the same predictions. Many stochastic "interpretations" modify the Schroedinger equation, for instance. Even many-worlds can't be proven as an interpretation using your definition (no one has shown it actually leads to the same predictions as Copenhagen).

Its an unfortunate artifact of the literature on various approaches quantum mechanics that the words interpretation and theory often over-load each other, but its the reality we live in.

comment by Rob Bensinger (RobbBB) · 2013-03-05T05:40:54.313Z · LW(p) · GW(p)

If that's your definition, then it's an empirical question whether a given model is an interpretation, because it's often contingent and difficult-to-demonstrate that a given ontology is necessarily 'invisible', as opposed to 'potentially-testable-but-as-yet-untested'. Impossibility proofs about future scientific experiments are no easy task. So we can only speculate about whether Many Worlds, Bohmian Mechanics, Collapse theories, etc. are 'interpretations' in your sense.

(And by 'invisible' I gather you mean 'empirically equivalent to a certain set of rivals' -- so whether something's an interpretation is always relative to other models, the real predicate is interpretation-compared-to-x.)

comment by simplicio · 2010-09-07T00:03:57.343Z · LW(p) · GW(p)

Eliezer: privileging the hypothesis is known as the Prosecutor's fallacy. I like your name better though.

comment by xamdam · 2010-03-14T10:06:28.158Z · LW(p) · GW(p)

I see how this applies to different deities of the same complexity. What about the Maimonidean-type "negative theology" - http://en.wikipedia.org/wiki/Negative_theology#In_the_Jewish_tradition ? Basically this implies a perfectly simple diety "of reference class size 1". It seems harder to say that the hypothesis is arbitrary in this case.

Replies from: RobinZ
comment by RobinZ · 2010-03-14T15:32:22.603Z · LW(p) · GW(p)

a perfectly simple diety

Are you sure?

Replies from: xamdam
comment by xamdam · 2010-03-14T17:25:35.370Z · LW(p) · GW(p)

No, that's why I'm asking ;). The reference you point to certainly provides no immediate answer (pretty much a placeholder); I agree that simplicity can be fake, but if you define something as

"God's existence is absolute and it includes no composition and we comprehend only the fact that He exists, not His essence. Consequently it is a false assumption to hold that He has any positive attribute... still less has He accidents (מקרה), which could be described by an attribute. Hence it is clear that He has no positive attribute whatever. The negative attributes are necessary to direct the mind to the truths which we must believe... When we say of this being, that it exists, we mean that its non-existence is impossible; it is living — it is not dead; ...it is the first — its existence is not due to any cause; it has power, wisdom, and will — it is not feeble or ignorant; He is One — there are not more Gods than one… Every attribute predicated of God denotes either the quality of an action, or, when the attribute is intended to convey some idea of the Divine Being itself — and not of His actions — the negation of the opposite"

it sounds like it's perfectly simple, by definition. BTW, even if wrong, Maimonides should get credit for recognizing the virtue of simplicity ;). This was 14th century.

Anyway, my intellectual toolkit is not sufficient to figure this out from the moment, so I am asking for help regurgitating this a little, if anyone wants to take this up as an exercise. The question does have persona significance to me.

Replies from: RobinZ
comment by RobinZ · 2010-03-15T05:05:40.481Z · LW(p) · GW(p)

"Perfectly simple" means "the mathematics is simple", not "the explanation does not have many apparent details". This so-called definition is a classic example of a mysterious answer - an actually simple deity could be described by positive attributes.

Replies from: pnrjulius
comment by pnrjulius · 2012-05-27T04:36:00.200Z · LW(p) · GW(p)

Indeed, I think we could end up calling the simple deity by his holiest of names: Math.

Replies from: RobinZ
comment by RobinZ · 2012-05-27T14:12:46.570Z · LW(p) · GW(p)

What properties does "Math" have that would justify calling it a "deity"?

Actually, back up: since when is mathematics (the human endeavor) simple from a mathematical perspective?

Replies from: wedrifid
comment by wedrifid · 2012-05-27T15:22:32.578Z · LW(p) · GW(p)

What properties does "Math" have that would justify calling it a "deity"?

It contains the almighty hammer Mjölnir. It is omniscient. (By volume - sure, it knows all wrong things that can possibly be represented too but hey, every other deity I have studied is defined as something outright logically incoherent so they can't talk.) So in conclusion... not much justification at all until you worship it a bit and it starts to get personified.

Actually, back up: since when is mathematics (the human endeavor) simple

If you left it at this I'd say never...

from a mathematical perspective?

... but I'll never cease to be amazed at what a mathematian will describe as "simple" or even "trivial" when he is in his mathematical perspective groove!

Replies from: CuSithBell
comment by CuSithBell · 2012-05-27T15:47:04.395Z · LW(p) · GW(p)

So a math professor is going through the proof of a theorem on the blackboard in front of his class. Partway through, a student stops him to ask about the justification for a particular step. The professor furrows his brow, stares at the chalkboard for a moment, then walks briskly from the room. Twenty minutes later he returns, his chalk worn down to a nub, and announces triumphantly, "it's obvious".

Replies from: TheOtherDave, wedrifid
comment by TheOtherDave · 2012-05-27T15:49:05.823Z · LW(p) · GW(p)

I know this one as: professor walks into a class, scrawls an equation on the blackboard, and announces "I'm sure you'll all agree that this is obvious." Then he stops, stares at it, walks away, comes back 20 minutes later and says "Yes, that's right, it is obvious."

comment by wedrifid · 2012-05-27T16:23:34.376Z · LW(p) · GW(p)

Twenty minutes later he returns, his chalk worn down to a nub, and announces triumphantly, "it's obvious".

Exactly. I wonder if anyone has a good link to a particularly witty or authoritative expression of this parody. I find it warrants reference rather frequently.

Replies from: gwern
comment by gwern · 2012-05-27T16:26:52.744Z · LW(p) · GW(p)

It's one of the standard famous anecdotes about Norbert Wiener.

(Oddly enough, the reason I know so much about Wiener is because Dan Simmons in Hyperion & Fall of Hyperion based Sad King Billy on him.)

comment by Velochy · 2009-09-29T15:02:14.643Z · LW(p) · GW(p)

Im just reading Thomas Schelling's Theory of Conflict and one of his key tenets is that providing an identifiable point around which the discussion can be centered will tend to lead the discussion to be centered around that (classical anchoring). However, he brings out that in many cases, having a "line in the sand" brings benefits to all sides by allowing intermediate deals to be struck when only extremes were possible before.

This article, however, clearly demonstrates that having a line in the sand can be just as bad as it can be good, as it is with all of biases. However, I really recommend Schelling hit on "what is good" (in the evolutionary sense) about this phenomenon.

comment by roland · 2009-09-29T06:55:24.022Z · LW(p) · GW(p)

The following formula is difficult to read at a first glance because of the unfortunate line break: (water -> ice cubes + electricity)

I was first trying to parse it as: water "minus" "is greater than" ice cubes...

Replies from: army1987
comment by A1987dM (army1987) · 2011-12-18T19:56:26.019Z · LW(p) · GW(p)

I've heard the foo->bar construct in C pronounced something like that at least once.

comment by haig · 2009-09-29T05:33:05.069Z · LW(p) · GW(p)

The wikipedia article for Abductive Reasoning claims this sort of privileging the hypothesis can be seen as an instance of affirming the consequent.

comment by Furcas · 2009-09-29T02:35:39.826Z · LW(p) · GW(p)

Good post.

I'm not sure that 'privileging the hypothesis' deserves to be called a fallacy, though. It's only a bad idea because of the biases that humans happen to have. It can lead to misconceptions for us primates, but it's not a logical error in itself, is it?

Replies from: outlawpoet, Mycroft65536
comment by outlawpoet · 2009-09-29T03:02:48.907Z · LW(p) · GW(p)

It may not be a completely generic bias or fallacy, but it certainly can affect more than just human decision processes. There are a number of primitive systems that exhibit pathologies similar to what Eliezer is describing, speech recognition systems, for example, have a huge issue almost exactly isomorphic to this. Once some interpretation of a audio wave is a hypothesis, it is chosen in great excess to it's real probability or confidence. This is the primary weakness of rule-based voice grammars, that their pre-determined possible interpretations lead to unexpected inputs being slotted into the nearest pre-existing hypothesis, rather than leading to a novel interpretation. The use of statistical grammars to try to pound interpretations to their 'natural' probabilistic initial weight is an attempt to avoid this issue.

This problem is also hidden in a great many AI decision systems within the 'hypothesis generation' system, or equivalent. However elegant the ranking and updating system, if your initial possible list is weak, you distort your whole decisions process.

Replies from: Eliezer_Yudkowsky
comment by Eliezer Yudkowsky (Eliezer_Yudkowsky) · 2009-09-29T03:12:34.836Z · LW(p) · GW(p)

This problem is also hidden in a great many AI decision systems within the 'hypothesis generation' system

At that point we're dealing with a full-fledged artificial heuristic and bias - the generation system is the heuristic, and the bias is the overly limited collection of hypotheses it manages to formulate for explicit attention at a given point.

I'd reserve "fallacy" for motivated or egregious cases, the sort that humans try to get away with.

Replies from: outlawpoet
comment by outlawpoet · 2009-09-29T20:40:08.446Z · LW(p) · GW(p)

Is then the ability to explicitly (at a high, abstract level) reach down to the initial hypothesis generation and include, raise, or add hypotheses for consideration always a pathology?

I can imagine a system where extremely low probability hypotheses, by virtue of complexity or special evidence required, might need to be formulated or added by high level processes, but you could simply view that as another failure of the generation system, and require that even extremely rare or novel structures of hypotheses must go through channels to avoid this kind of disturbance of natural frequencies, as it were.

comment by Mycroft65536 · 2009-09-29T03:54:12.183Z · LW(p) · GW(p)

It's most definitely a fallacy. It puts forth a conclusion without sufficient evidence to justify the conclusion. Just like an argument from authority or a gambler's fallacy.

Replies from: brianm
comment by brianm · 2009-09-29T12:49:15.808Z · LW(p) · GW(p)

It's not actually putting it forth as a conclusion though - it's just a flaw in our wetware that makes us interpret it as such. We could imagine a perfectly rational being who could accurately work out the probability of a particular person having done it, then randomly sample the population (or even work through each one in turn) looking for the killer. Our problem as humans is that once the idea is planted, we overreact to confirming evidence.

comment by [deleted] · 2015-07-13T08:13:29.904Z · LW(p) · GW(p)

Posthoc hypothesising is only a problem when you're using that hypothesis to analyse the same data that inspired it. Machine learning experts avoid this mistake by backtesting and foreward testing out of sample data.

Analysing unstructured data is useful for generating hypotheses, rather than for testing them to develop a model. Take computational epidemiology:

In contrast with traditional epidemiology, computational epidemiology looks for patterns in unstructured sources of data, such as social media. It can be thought of as the hypothesis-generating antecedent to hypothesis-testing methods such as national surveys and randomized controlled trials.

comment by stripey7 · 2015-04-03T15:15:52.910Z · LW(p) · GW(p)

What do you think of Huw Price's suggestion (http://www.powells.com/biblio/72-9780195117981-0) that if one allows for the possibility of advanced action, it's possible to have paradox-free physics within a single universe, since Bell's theorem only proved the non-existence of non-local hidden variables?

comment by buybuydandavis · 2014-07-19T04:27:33.478Z · LW(p) · GW(p)

I'd call this "Mistaking the Likelihood for the Posterior".

comment by roland · 2012-11-02T16:29:26.924Z · LW(p) · GW(p)

Poor Mortimer he always gets the blame. :)

comment by lackofcheese · 2012-06-11T12:13:53.796Z · LW(p) · GW(p)

Surely being a supervillain (possibly formerly) is worth a lot of evidence against Mortimer, though.

comment by bgrah449 · 2009-09-30T06:01:08.544Z · LW(p) · GW(p)

This isn't a fallacy; this is just trusting the information you're given. You've gamed the system to break expectations.

Someone tells me, "Don't touch the stove when it's red; it will burn your hand." That's the hypothesis. I'm assuming it's built on some experience and knowledge. Of course I'm going to privilege this particular hypothesis instead of the many others, like "When the stove is red, you will win the lottery," or "When the stove is red, you can't die." I'm trying to get up to speed on an ongoing situation, and so I'm going to trust that some hypotheses have already been discarded as useless by those who are informing me of the situation.

Someone who spends all day thinking about whether the Trinity exists is probably doing so because his parents raised him in Christianity, and so he is trusting his parents' wisdom, or he was told about Christianity from a missionary, who he trusts. We trust experts. I don't see this as a bad thing.

comment by pwno · 2009-09-30T05:17:21.095Z · LW(p) · GW(p)

Speaking of privileging the hypothesis...

http://www.theonion.com/content/video/crime_reporter_finds_way_of

Replies from: Nisan
comment by Nisan · 2009-09-30T17:33:57.421Z · LW(p) · GW(p)

Yes, many people understand this fallacy on some level:

http://glennbeckrapedandmurderedayounggirlin1990.com/

comment by MendelSchmiedekamp · 2009-09-29T19:49:40.014Z · LW(p) · GW(p)

This is essentially an instance of availability bias. Of course, the most interesting case, rather than just a declarative hypothesis elevated among the other inhabitants of the hypothesis space for that particular question, models have other effects that go far beyond merely availability.

This is because our initial model won't just form the first thing we think of when we examine the question, but some of the very structures we use when we formulate the question. Indeed, how we handle our models is easily responsible for the majority of the biases that have been discussed here and at Overcoming Bias.

In the case of the models mentioned in this post about quantum mechanics - we can look at the first quantum mechanics interpretation as having its own version of hypothesis privilege. This means we should downgrade it. Of course we should also do the same with its immediate successor, Many Worlds (although perhaps not as much). After all, it is the interpretations we haven't thought of which are being penalized the most by the effect of privileging the hypothesis.

But to adequately apply this discounting beyond the direct route we need to understand the way which these model affect our thinking. How do these models encourage other models being developed, and how do they blind our cognitive architecture from different avenues?

This becomes even more pronounced when more is at stake than epistemic rationality. Since these two models are also sides (even fairly politely) in cultural and political conflicts, there are further biases that arise, as parts of these ideas become further tied to status, self-esteem, social behaviors, and habits.