MinibearRex comments on Excluding the Supernatural - Less Wrong

36 Post author: Eliezer_Yudkowsky 12 September 2008 12:12AM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (124)

Sort By: Old

You are viewing a single comment's thread. Show more comments above.

Comment author: Phil_Goetz5 12 September 2008 01:45:51AM 18 points [-]

Once, in a LARP, I played Isaac Asimov on a panel which was arguing whether vampires were real. It went something like this (modulo my memory): I asked the audience to define "vampire", and they said that vampires were creatures that lived by drinking blood.

I said that mosquitoes were vampires. So they said that vampires were humanoids who lived by drinking blood.

I said that Masai who drank the blood of their cattle were vampires. So they said that vampires were humanoids who lived by drinking blood, and were burned by sunlight.

I (may have) said that a Masai with xeroderma pigmentosum was a vampire. And so on.

My point was that vampires were by definition not real - or at least, not understandable - because any time we found something real and understandable that met the definition of a vampire, we would change the definition to exclude it.

(Strangely, some mythical creatures, such as vampires and unicorns, seem to be defined in a spiritual way; whereas others, such as mermaids and centaurs, do not. A horse genetically engineered to grow a horn would probably not be thought of as a "real" unicorn; a genenged mermaid probably would be admitted to be a "real" mermaid.)

Comment author: Peter_de_Blanc 19 December 2011 03:39:41AM 2 points [-]

My point was that vampires were by definition not real

So according to you, a mosquito that isn't real is a vampire?

Comment author: MinibearRex 19 December 2011 04:09:47AM 0 points [-]

His point is that: P(not real | vampire) ~= 1, which is not the same as: "vampire = not real". It's an if-then relationship, not a logical equivalency.

Comment author: Peter_de_Blanc 19 December 2011 04:45:06AM *  3 points [-]

I understand that Phil was not suggesting that all non-real things are vampires. That's why my example was a mosquito that isn't real, rather than, say, a Toyota that isn't real.

Comment author: MinibearRex 19 December 2011 05:23:27AM -1 points [-]

But there's nothing particularly special about a mosquito. It's still an incorrect application of modus tollens. We have: If something is a vampire, then it is not real. From this, we can infer (from modus tollens) that if something is real, then it is not a vampire. Thus, if a certain mosquito is real, it is not a vampire. However, there is nothing here that justifies the belief that if a certain mosquito is imaginary, then it is a vampire.

Comment author: Peter_de_Blanc 19 December 2011 09:29:40AM 2 points [-]

What's special about a mosquito is that it drinks blood.

Phil originally said this:

My point was that vampires were by definition not real - or at least, not understandable - because any time we found something real and understandable that met the definition of a vampire, we would change the definition to exclude it.

Note Phil's use of the word "because" here. Phil is claiming that if vampires weren't unreal-by-definition, then the audience would not have changed their definition whenever provided with a real example of a vampire as defined. It follows that the original definition would have been acceptable had it been augmented with the "not-real" requirement, and so this is the claim I was responding to with the unreal mosquito example.

Comment author: MinibearRex 20 December 2011 07:08:37AM 0 points [-]

Ah. That makes more sense.