Philosophy update: logic

I've been working through an introductory logic textbook called forall x. It's liberally licensed and I bought it through Lulu. It's great. I love it. I'm on the exercises for the second-to-last chapter. I might finish in a month or two, though already I feel more confident. The other day I dipped back into Foundations of Constraint Satisfaction and also into Parts, and I wasn't completely lost in the symbolic logic.

Now I've found what looks like the perfect follow-on:Logic for Philosophy by Ted Sider. Here's how chapter one opens:

Since you are reading this book, you probably know some logic already.You probably know how to translate English sentences into symbolicnotation, into propositional logic[,]and into predicate logic[.]You are probably also familiar with some techniques for evaluating argumentswritten out in symbolic notation. You have probably encountered truth tables,and some form of proof theory (perhaps a “natural deduction” system; perhaps“truth trees”.) You may have even encountered some elementary model theory.In short: you have taken an introductory course in symbolic logic.

What you already possess is: literacy in elementary logic. What you willget out of this book is: literacy in the rest of logic that philosophers tend topresuppose, plus a deeper grasp of what logic is all about.

Bingo! Another enticing quote, fromthe preface:

[This book] preparesstudents to read the logically sophisticated articles in today’s philosophyjournals, and helps them resist bullying by symbol-mongerers. In short, itteaches the logic you need to know in order to be a contemporary philosopher.

Logic for Philosophy doesn't appear to be liberally licensed, but the draft is available as a PDF. Works for me.

In related news, David Lewis' On the Plurality of Worlds is in the mail. So here I am, slowly chipping away at figuring out why philosophy has forgotten about Kant.