This course is an introduction to the major concepts, techniques, and results of modern logic, aimed at students who have taken at least one formal logic course (or equivalent) in the past. Topics covered include soundness and completeness for propositional and first- order logic, compactness for first-order logic, the Löwenheim-Skolem theorems, second-order logic, and philosophical implications of some these results.