PHIL351

Download as PDF

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)

-