Aug 29, 2006 11:11
I love my logic class.
Bits of today's lecture:
Dr. Buras: blah blah blah proofs blah blah blah theorems blah blah bl-DID YOU SEE THAT??
(the whole class jumps)
Dr. Buras: There's a squirrel on the window ledge! (he knocks on the window) Go away squirrel, no logic for you today.
Britney: Are you going to deprive a poor squirrel of an education?
Dr. Buras: Yes. Well actually, once I listened to French tapes as I drove all the way from Connecticut to Texas with my dog in in the car and.. heh heh heh.. he came out with an accent.
(class laughs)
Heidi: How does your dog have an accent?
Dr. Buras: "le woof"
Later on in the class:
(proving that substitution is not the same as the indiscernibility of identicals)
Dr. Buras: So take Superman. Given Lois Lane loves Superman. Given Superman is Clark Kent. By substitution of a valid argument we would have to conclude that Lois Lane loves Clark Kent, which isn't true.
Sam: But she DOES and she doesn't REALIZE it! That's why it's so tragic...
Logic is, indeed, very tragic.