Sep 24, 2020  
2017-2018 Undergraduate Catalog 
    
2017-2018 Undergraduate Catalog Archived Catalog

Add to Portfolio (opens a new window)

PHIL 3110 - Symbolic Logic


(3) Credit Hours

An introduction to techniques of modern formal logic, including those of sentential logic and predicate logic with relations, identity, and functions. The course will also consider some important methatheoretic results of first order logic (e.g., soundness and completeness) and select issues in the philosophy of logic.



Add to Portfolio (opens a new window)