|
|
|
Jan 02, 2025
|
|
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 .
Grading Basis: Graded
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
Add to Portfolio (opens a new window)
|
|
|