PHIL 140 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: Mathematical Sciences
- Offering: Every semester
- Instructor: Staff