PHIL 121 Symbolic Logic II 3.0 Credits
Concentrates on syntax and semantics of quantification. Formation principles include A, E, I, and O statements (and square of opposition), domain of discourse, quantifier scope, multiple quantification, relations, and identity. Proof mechanics covered include natural deduction, instantiation, semantic tableaux, and possible-world counterexamples.
Repeat Status: Not repeatable for credit
Prerequisites: PHIL 111 [Min Grade: D]
