Dec 17, 2018  
2016-2017 Undergraduate Catalog 
    
2016-2017 Undergraduate Catalog [ARCHIVED CATALOG]

[Add to Portfolio]

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). 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
Prerequisite: One course in Philosophy with a grade of C or better.



[Add to Portfolio]