PHIL 346 - Deductive Systems

(3.00)

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). The course emphasizes the distinction between mechanical decision procedures and the construction of deductive proofs.

Course ID: 56040
Consent: No Special Consent Required
Components: Lecture
Requirement Group: You must have taken (1) PHIL course and received a grade of “C” or better before taking this course.