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. Formerly Philosophy 110.

Section!

1:25-2:15 W at U413-2

11:15-12:05 Th at Seq148

Course materials

the Syllabus

recommended Homework

answers to Quiz 1-3

answers to Quiz 4-7

how to symbolize Quantity (updated version!)

a sample of what to expect on the Final Exam

Links

UCSD Philosophy

What the Tortoise Said to Achilles