Amanojack comments on Open Thread: April 2010 - Less Wrong

4 Post author: Unnamed 01 April 2010 03:21PM

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

Comments (524)

You are viewing a single comment's thread.

Comment author: Amanojack 05 April 2010 10:50:20PM 1 point [-]

I've become a connoisseur of hard paradoxes and riddles, because I've found that resolving them always teaches me something new about rationalism. Here's the toughest beast I've yet encountered, not as an exercise for solving but as an illustration of just how much brutal trickiness can be hidden in a simple-looking situation, especially when semantics, human knowledge, and time structure are at play (which happens to be the case with many common LW discussions).

A teacher announces that there will be a surprise test next week. A student objects that this is impossible: "The class meets on Monday, Wednesday, and Friday. If the test is given on Friday, then on Thursday I would be able to predict that the test is on Friday. It would not be a surprise. Can the test be given on Wednesday? No, because on Tuesday I would know that the test will not be on Friday (thanks to the previous reasoning) and know that the test was not on Monday (thanks to memory). Therefore, on Tuesday I could foresee that the test will be on Wednesday. A test on Wednesday would not be a surprise. Could the surprise test be on Monday? On Sunday, the previous two eliminations would be available to me. Consequently, I would know that the test must be on Monday. So a Monday test would also fail to be a surprise. Therefore, it is impossible for there to be a surprise test.”

Can the teacher fulfill his announcement?

Extensive treatment and relation to other epistemic paradoxes here.

Comment author: thomblake 08 April 2010 04:23:14PM 3 points [-]

Let's not forget that the clever student will be indeed very surprised by a test on any day, since he thinks he's proven that he won't be surprised by tests on those days. It seems he made an error in formalizing 'surprise'.

(imagine how surprised he'll be if the test is on Friday!)

Comment author: Amanojack 08 April 2010 05:32:51PM 0 points [-]

Since the student believes a surprise test is impossible, it seems this wouldn't surprise him.

Comment author: Rain 08 April 2010 04:18:15PM 1 point [-]

Why not give a test on Monday, and then give another test later that day? I bet they would be surprised by a second test on the same day.

Comment author: Amanojack 08 April 2010 05:24:00PM 0 points [-]

True, there's nothing saying there won't be two tests.

Rather than solve this, I was hoping people'd take a look at the linked explanation. When phrased more carefully, it becomes a whole bunch of nested paradoxes, the resolution of which contains valuable lessons on how words can trick people. It covers some LW material along the way, such as Moore's Paradox.

Comment author: Rain 08 April 2010 07:48:28PM 1 point [-]

But if there's a solution, it's not really a paradox.

And I don't like word arguments.

Comment author: Sniffnoy 08 April 2010 08:21:58PM 3 points [-]

Ugh, yes. Why are we speaking of "paradoxes" at all? Anything that actually occurs is not a paradox. If something appears to be a paradox, either you have reasoned incorrectly, you've made untenable assumptions, or you've just been using fuzzy thinking. This is a problem; presumably it has some solution. Describing it as a "paradox" and asking people not to solve it is not helpful. You don't understand it better that way, you understand it by solving it. The only thing gained that way is an understanding of why it appears to be a paradox, which is useful as a demonstration of the dangers of fuzzy thinking, but also kind of obvious.

Maybe I'm being overly strict about the word "paradox" here, but I really just don't see the term as at all helpful. If you're using it in the strict sense, they shouldn't occur except as an indicator that you've done something wrong (in which case you probably wouldn't use the word "paradox" to describe it in the first place). If you're using it in the loose sense, it's misleading and unhelpful (I prefer to explcitly say "apparent paradox".)

Comment author: Amanojack 08 April 2010 09:03:17PM 0 points [-]

We're all saying the exact same thing here: words are not to be treated as infallible vehicles for communicating concepts. That was the point of my original post, the point of Rain's reply, and yours as well. (You're completely right about the word "paradox.")

Also, I'm not saying not to try solving it, just that I've no intention of refuting all proposed solutions. I didn't want my reply to be construed as a debate about the solution, because that would never end.

Comment author: Amanojack 08 April 2010 08:28:15PM *  0 points [-]

Words frequently confuse people into believing something they wouldn't otherwise. You may be correct that this confusion can always be addressed indirectly, but in any case it needs to be addressed. Addressing semantic confusion requires identifying it, and I found this riddle (actually the whole article) a great neutral exercise for that purpose.

EDIT: Looking back, I should probably just have posted riddle and kept quiet. Updated for next time.

Comment author: wedrifid 07 April 2010 10:15:32PM *  -1 points [-]

not as an exercise for solving

...and yet...

Can the teacher fulfill his announcement?

Probably.

p(teacher provides a surprise test) = 1 - x^3
Where:
x = 'improbability required for an event to be surprising'

If a 50% chance of having a test that day would leave a student surprised he can be 87.5% confident in being able to fullfil his assertion.

However, if the teacher was a causal decision agent then he would not be able to provide a surprise test without making the randomization process public (or a similar precommitment).

Comment author: Amanojack 08 April 2010 12:23:28AM 1 point [-]

The problem with choosing at day at random is, what if it turns out to be Friday? Friday would not be a surprise, since the test will be either Monday, Wednesday or Friday, and so by Thursday the students would know by process of elimination that it had to be Friday.

Comment author: RobinZ 07 April 2010 10:30:12PM 0 points [-]

How do you get that result while requiring that the test occur next week? It is that assumption that drives the 'paradox'.

Comment author: wedrifid 07 April 2010 10:51:19PM -1 points [-]

The answer to the question 'Can the teacher fulfill his announcement?' is 'Probably'. The answer to the question 'Is there a 100% chance that the teacher fulfills his announcement?' is 'No'.

Comment author: RobinZ 07 April 2010 11:44:20PM *  1 point [-]

You misunderstand me - I maintain that an obvious unstated condition in the announcement is that there will be a test next week. Under this condition, the student will be surprised by a Wednesday test but not a Friday test, and therefore

p(teacher provides a surprise test) = 1 - x^2

and, if I guess your algorithm correctly,

p(teacher provides a surprise lack of test) = x^2 * (1 - x)

[edit: algebra corrected]

Comment author: wedrifid 08 April 2010 01:24:49AM *  1 point [-]

I maintain that an obvious unstated condition in the announcement is that there will be a test next week.

The condition is that there will be a surprise test. If the teacher were to split 'surprise test' into two and consider max(p(surprise | p(test) == 100)) then yes, he would find he is somewhat less likely to be making a correct claim.

You misunderstand me

I maintain my previous statement (and math):

The answer to the question 'Can the teacher fulfill his announcement?' is 'Probably'. The answer to the question 'Is there a 100% chance that the teacher fulfills his announcement?' is 'No'.

Something that irritates me with regards to philosophy as it is often practiced is that there is an emphasis on maintaining awe at how deep and counterintuitive a question is rather than extract possible understanding from it, disolve the confusion and move on.

Yes, this question demonstrates how absolute certainty in one thing can preclude uncertainty in some others. Wow. It also demonstrates that one can make self defeating prophecies. Kinda-interesting. But don't let that stop you from giving the best answer to the question. Given that the teacher has made the prediction and given that he is trying to fulfill his announcement there is a distinct probability that he will be successful. Quit saying 'wow', do the math and choose which odds you'll bet on!

Comment author: RobinZ 08 April 2010 02:51:11AM 0 points [-]

I never intended to dispute that

The answer to the question 'Can the teacher fulfill his announcement?' is 'Probably'. The answer to the question 'Is there a 100% chance that the teacher fulfills his announcement?' is 'No'.

only the specific figure 87.5%.

It's a minor point. Your logic is good.