|
|
|
Dec 15, 2025
|
|
University General Course Catalog 2020-2021 ARCHIVED CATALOG: LINKS AND CONTENT ARE OUT OF DATE. CHECK WITH YOUR ADVISOR.
|
PHIL 326 - Symbolic Logic (3 units)
Developments in modern logic, including characteristics of deductive systems, analysis of propositions and techniques of deduction.
Prerequisite(s): PHIL 114 .
Units of Lecture: 3
Student Learning Outcomes
Upon completion of this course, students will be able to:
1. construct natural deductions in first-order quantificational logic, including multiple quantifiers, relations, and identity.
2. demonstrate mastery of basic concepts in the meta-theory of symbolic logic, such as axiomatization and decidability.
3. outline proof procedures for some key meta-theoretical results in logic, such as consistency and completeness.
Click here for course scheduling information. | Check course textbook information
|
|
|