PHIL 346 - Deductive Logic

(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).

Course ID: 56040
Consent: No Special Consent Required
Components: Lecture
Attributes: Arts and Humanities (GEP)
Prerequisite/Corequisite: You must complete one course in Philosphy with a grade of ‘C’ or better.