Yvain comments on The Useful Idea of Truth - Less Wrong

77 Post author: Eliezer_Yudkowsky 02 October 2012 06:16PM

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

Comments (513)

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

Comment author: Yvain 02 October 2012 06:55:57AM 4 points [-]

Least convenient possible world - we discover the universe will definitely expand forever. Now what?

Or what about the past? If I tell you an alien living three million years ago threw either a red or a blue ball into the black hole at the center of the galaxy but destroyed all evidence as to which, is there a fact of the matter as to which color ball it was?

Comment author: Pavitra 05 October 2012 03:18:13AM -1 points [-]

I suspect that the answer to the alien-ball case may be empirical rather than philosophical.

Suppose that there existed quantum configurations in which the alien threw in a red ball, and there existed quantum configurations in which the alien threw in a blue ball, and both of those have approximately equal causal influence on the configuration-cluster in which we are having (approximately) this conversation. In this case, we would happen to be living in a particular type of world such that there was no fact of the matter as to which color ball it was (except that e.g. it mostly wasn't green).

Comment author: thomblake 02 October 2012 03:43:42PM 0 points [-]

Least convenient possible world - we discover the universe will definitely expand forever. Now what?

"Possible" is an important qualifier there. Since 0 and 1 are not probabilities, you are not describing a possible world.

Comment author: wedrifid 02 October 2012 03:52:30PM 0 points [-]

"Possible" is an important qualifier there. Since 0 and 1 are not probabilities, you are not describing a possible world.

The comment doesn't lose too much if we take 'definite' to mean 0.99999 instead of 1. (I would tend to write 'almost certainly' in such contexts to avoid this kind of problem.)

Comment author: Nisan 02 October 2012 04:09:58PM 1 point [-]

Yvain's objection fails if "definitely" means "with probability 0.99999". In that case the conditional probability P( encounter civilization | universe contracts) is well-defined.

Comment author: wedrifid 02 October 2012 04:49:10PM 0 points [-]

Yvain's objection fails if "definitely" means "with probability 0.99999". In that case the conditional probability P( encounter civilization | universe contracts) is well-defined.

Oh, I thought I retracted the grandparent. Nevermind---it does need more caveats in the expression for it to return to being meaningful.

Comment author: thomblake 02 October 2012 04:04:29PM 1 point [-]

I think it loses its force entirely in that case. Nisan's proposal was a counterfactual, and Yvain's counter was a possible world where that counterfactual cannot obtain. Since there is no such possible world, the objection falls flat.

Comment author: [deleted] 02 October 2012 04:09:36PM 2 points [-]

Since there is no such possible world

If this claim is meaningful, isn't Nisan's proposal false?

Comment author: thomblake 02 October 2012 06:01:43PM 0 points [-]

No. Why would that be?

Comment author: Nisan 02 October 2012 03:42:11PM 0 points [-]

we discover the universe will definitely expand forever. Now what?

You're right, my principle doesn't work if there's something we believe with absolute certainty.

If I tell you an alien living three million years ago threw either a red or a blue ball into the black hole at the center of the galaxy but destroyed all evidence as to which, is there a fact of the matter as to which color ball it was?

If we later find out that the alien did in fact leave some evidence, and recover that evidence, we'll have an opinion about the color of the ball.