Apr 23, 2024  
2015-2016 Graduate Catalog 
    
2015-2016 Graduate Catalog [NOTE!!!! THIS IS AN ARCHIVED CATALOG. FOR THE CURRENT CATALOG, GO TO CATALOG.NIU.EDU]

PHIL 505 - Intermediate Logic


Review of symbolic logic including propositional logic, quantification theory, relations, and identity. Additional topics in formal logic and the philosophy of logic selected by the instructor such as proof theory, modal logic, theory of types, formal semantics, and the relation between the formal and the informal understanding of validity.

Prerequisites & Notes
PRQ: Consent of department.

Credits: 3