PHIL351
Symbolic Logic
Philosophy
College of Liberal Arts
Course Subject Code
PHIL
Course Number
351
Status
Active
Course Attributes
BINT: GenEd-Breadth/Interdisciplinar, CEA: ProgCLA-CEA and Au Pair, EMMT: Major-Mathematics Elective, EMPH: Major-Philosophy Elective, MMAT: Major-Mathematics, MPHI: Major-Philosophy, ENMH: Minor-Mathematics Elective, NMAT: Minor-Mathematics, NPHI: Minor-Philosophy
Course Short Title
Symbolic Logic
Course Long Title
-
Course Description
An introduction to the propositional and predicate calculus, notions of proof, model, consistency, and truth; the Deduction, Compactness, and First Incompleteness Theorems and philosophical ramifications.
Min
4
Repeatable
-
Equivalent Course(s)
-