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.