Support WU
A-Z Index

2011-2012 CLA Catalog

Quick Links

Jump to a Discipline

Jump to a Specific Course

Willamette University

900 State Street
Salem, Oregon 97301

503-370-6300 voice

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

  • Offering: Every semester
  • Instructor: Staff