|
|
|
Sep 27, 2024
|
|
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:
1. Students will be able to construct natural deductions in first-order quantificational logic, including multiple quantifiers, relations, and identity.
2. Students will be able to demonstrate mastery of basic concepts in the meta-theory of symbolic logic, such as axiomatization and decidability.
3. Students will be able to 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)
|
|
|