Concerning which the catalog says:
120. Symbolic Logic I (4) The syntax, semantics, and proof-theory of first-order predicate logic with identity, emphasizing both conceptual issues and practical skills (e.g., criteria for logical truth, consistency, and validity, the application of logical methods to everyday as well as scientific reasoning). Prerequisite: Philosophy 10 or consent of instructor.
My office hours are Tuesday 1-2, Friday 10:30-11:30, and by appointment in H&SS 7005.
These resources for the course were available-- in the interests of conserving bandwidth, I've removed the PDF files now that the course is over.