Status Updates From An Introduction to Formal L...

I am going to finish . . . I am going to finish . . . I am going to finish.
The Puritan in me lives on

Invalidating an argument by contradiction. This I could follow much better.

Simplest example: All frogs are green; All frogs can hop :: All green things can hop. (Find one green thing that can't hop and it's disproved.)
All A is B
All A is C
Therefore All B is C
is a perversion of
All A is B
All B is C
Therefore all A is C

Truth Tables--As Bertie Wooster would say: "A bit much for a chappie." Some of this feels like working problems using the quadratic equation. After you solve them, you think: "Yes! I did it! . . . What did I do?"

Lecturer is engaging and some down the line look a little more down to earth than the last few.

This is another lecture series available on Kanopy through Seattle Public Library. Gimbel is excellent; 30 minutes is perfect as are 24 lectures. Gimbel is good at explaining why -- when you have that "That's not right" feeling about an argument, it might not be right. Good sense of humor.