Chu-Carroll on First-Order Predicate Logic

Mark Chu-Carroll of "Good Math, Bad Math" has a good introductory post to first-order predicate logic. I've listed it in the basic concepts list, but as it's of general philosophical as well as mathematical significance, I thought it deserved a post of its own.