Tuesday, December 30, 2008

I will be valid and sound iff I work hard at it

X=I will be valid
Y=I will be sound
Z=I work hard at it

1. (X Y) Z

2. Z

3. (X Y)

Instead of writing, I am refreshing, while on vacation, my formal logic with a series of lectures put online by Rick Grush of UC San Diego, and with an old textbook that I still have. This was sparked by the purchase of a sharp-looking copy of The Development of Logic by William and Martha Kneale, which at this point is sharing with me all sorts of useful tidbits about Aristotle's technical vocabulary. I wish there were more lectures like this available openly.


Post a Comment

<< Home