Thanks. I think I finally understand the halfer position. (The one thing I'm not completely clear on is how the Monday interview is retroactively determined to be a single or half of a double in the variant where the coin is tossed after the first interview.)
What puzzles me is why Beauty would reason this way.
My Beauty reasons this way, as I've said before:
(1) If I knew it was Monday, I'd know it could be heads or tails, even chance.
(2) If I knew it was Tuesday, I'd know it was tails.
(3) I know I'll be interviewed on Monday, but interviewed on Tuesday only half the time.
(4) Therefore my weighted expectation of heads is 2/3(1/2) + 1/3(0) = 1/3
The halfer Beauty reasons this way:
(1) If I knew I was in the single interview track, I'd know it was heads.
(2) If I knew I was in the double interview track, I'd know it was tails.
(3) I'm in the first track half the time and in the second half the time.
(4) Therefore my weighted expectation is 1/2(1) + 1/2(0) = 1/2
But this is just pretend reasoning.
It's like "working out" your expectation of heads in a simple coin toss this way:
(1) If I knew it was heads, I'd know it was heads.
(2) If I knew it was tails, I'd know it was tails.
(3) It's heads half the time and tails half the time.
(4) Therefore my weighted expectation is 1/2(1) + 1/2(0) = 1/2
What's the point of that?
And indeed, Lewis's "proof" has but a single step.
(No argument in this post, just clearing my head.)