Aug 08, 2022  
2021-2022 Undergraduate Catalog 
    
2021-2022 Undergraduate Catalog [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

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/Pass Fail/Audit
Course ID: 56040
Consent: No Special Consent Required
Components: Lecture
Attributes: Arts and Humanities (GEP)
Prerequisite/Corequisite: You must complete one course in Philosophy with a grade of 'C' or better.



Add to Portfolio (opens a new window)