Skip to main content

Logic Courses

Below are the catalog descriptions for LOG courses. To determine which courses are being offered in current and upcoming teaching sessions, search here.

Course Descriptions

200-Level Courses

3 Credits. Introduction to methods of deductive inference. Concepts of inconsistency and entailment. Truth Functional Statement Logic and Quantifier and Predicate Logic. Representation of logically significant forms of statements and arguments. Construction of proofs using methods of natural deduction. Satisfies the GEP Mathematical Sciences requirement. Offered every semester.

300-Level Courses

3 Credits. PREREQUISITE(S): LOG 201 or MA 225 or CSC 226. Intermediate level introduction to modern symbolic logic focusing on standard first-order logic; topics include proofs, interpretations, applications and basic metalogical results.  Satisfies the GEP Mathematical Sciences requirement. Offered every fall.

400-Level Courses

3 Credits. PREREQUISITE(S): For LOG 430, either LOG 201 or LOG/MA 335 or MA 225 or CSC 226; for LOG 530, graduate status. Study of various non-classical logics such as modal logic, many-valued logic, paraconsistent logic, second-order logic, and intuitionistic logic. Emphasizes their applications in fields such as philosophy, linguistics, mathematics, computer science, and artificial intelligence. Students cannot receive credit for both LOG 430 and LOG 530.

3 Credits. PREREQUISITE(S): For LOG 435, LOG/MA 335; for LOG 535, graduate status. Credit cannot be given for both LOG 435 and LOG 535. Advanced topics in logic and metamathematics: proof procedures, first-order theories, soundness and completeness theorems, recursive functions, the formalization of arithmetic, the Godel Incompleteness Theorems. Emphasis on mathematical study of logic and mathematics. Students cannot receive credit for both LOG 435 and LOG 535. Offered in Spring 2022. Spring 2022 Flyer

500-Level Courses

3 Credits. PREREQUISITE(S): Graduate status. Study of various non-classical logics such as modal logic, many-valued logic, paraconsistent logic, second-order logic, and intuitionistic logic. Emphasizes their applications in fields such as philosophy, linguistics, mathematics, computer science, and artificial intelligence. Students cannot receive credit for both LOG 430 and LOG 530.

3 Credits. PREREQUISITE(S): Graduate status. Credit cannot be given for both LOG 435 and LOG 535. Advanced topics in logic and metamathematics: proof procedures, first-order theories, soundness and completeness theorems, recursive functions, the formalization of arithmetic, the Godel Incompleteness Theorems. Emphasis on mathematical study of logic and mathematics. Students cannot receive credit for both LOG 435 and LOG 535. Offered in Spring 2022. Spring 2022 Flyer