Symbolic Logic. ((3 Credits))

Catalog description

Prerequisite(s): PHIL 3000 and University Advanced Standing Discusses the philosophical motivation for the formalization of logic. Introduces the metatheory for propositional and quantificational logic. Includes proofs of the soundness and completeness of quantificational logic. Discusses the philosophical issues surrounding the results proved. May also include some discussion of important results in computability.