Course Listings


PHIL 140 (QA*) Symbolic Logic (1)

Introductory examination of the notion of logical validity. Formal features of validity are captured in deductive systems of varying expressive power, beginning with classical propositional logic and ending with classical first-order logic. The primary aim of the course is competence in using the deductive systems to assess natural language arguments for validity, but some attention is paid to the deductive systems regarded as objects  of study in their own right.

  • General Education Requirement Fulfillment: Quantitative and Analytical Reasoning (starred)
  • Offering: Every semester
  • Instructor: Staff

Jump to a Discipline

Jump to a Discipline's
Learning Outcomes

Jump to a Specific Course