jack: (Default)
[personal profile] jack
Thu. Went to Sheila and her Dog. Alex magnificently annoyed everybody by minuting the entire thing -- the war seems to be smouldering again. It was very funny. Got to the Carlton before closing.

Fri. Met Tim and R in the local for a few games of pool. I'd missed it, I was fun.

Sat. Failed to watch graduation, but went to poohsoc, took A and A to Dojo's, and met Jane in town. It was nice to see her, I almost wish we'd met now rather than N years ago, though I don't know if that would have actually turned out any better :)

Sun. Met S&M and friends in the Carlton for lunch. They seriously need to serve Mushroom ravioli (or at least risotto) on Sunday :)

Also, the bouncer at Wetherspoons stopped me to look in by bag. I think he was very confused to find it full of books. And it's turned into a mini-club, which I approve of in general, but not when I want somewhere cheap with no music for generic meetings.

Also, English doesn't map nicely onto propositional logic. "If you're a vampire, then you have pointed teeth" doesn't just mean "a false statement implies any statement." It can be amusing to pretend it does, but it's just stubbornness to pretend that's what English ought to mean, when it doesn't. "If/then" *can* be used like that, but also to trace a logical connection between statements that aren't necessarily true. (iirc predicate logic can represent that better.)

Date: 2007-05-14 04:57 pm (UTC)
From: [identity profile] cartesiandaemon.livejournal.com
Agh, headache :) What do you mean? I might have got it wrong, I tried to pick a helpful example, but "you are" wasn't in the original, that was just to try to be transparent, the bit I was thinking of was the "if [hypothetical]..."

Date: 2007-05-14 05:16 pm (UTC)
mair_in_grenderich: (Default)
From: [personal profile] mair_in_grenderich
look! over there! a fluffy bunny!

Date: 2007-05-14 11:50 pm (UTC)
From: [identity profile] cartesiandaemon.livejournal.com
HOLY HAND GRENADE, BATMAN!

Date: 2007-05-15 12:01 am (UTC)
mair_in_grenderich: (Default)
From: [personal profile] mair_in_grenderich
*tells bunny to run and hide*