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.)
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.)