PHIL 346 - Deductive Logic (3)

An introduction to symbolized deductive logic, including the construction of formalized systems for traditional logic, the sentential calculus and first-order predicate calculus. These systems will be constructed semantically (as formalizations of deductive reasoning in natural languages) and syntactically (as uninterpreted systems).

Grading: Graded/Satisfactory Unsatisfactory/Audit
Course ID: 56040
Consent: No Special Consent Required
Components: Lecture
Attributes: Arts and Humanities (GEP)
Prerequisite: One PHIL course with a grade of ‘C’ or better.