# Courses Offered in Logic

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

###
**LOG 201 Logic**

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.**

###
**LOG (MA) 335 Symbolic Logic**

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.**

###
**LOG 430/530 Varieties of Logic**

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. **Either LOG 430/530 or LOG 435/535 will be offered Spring 2022.**

###
**LOG 435/535 Advanced Logic & Metamathematics**

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. **Either LOG 430/530 or LOG 435/535 will be offered Spring 2022.**

###
**LOG 530 Varieties of Logic**

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. **Either LOG 530 or LOG 535 will be offered Spring 2022.**

###
**LOG 535 Advanced Logic & Metamathematics**

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. **Either LOG 530 or LOG 535 will be offered Spring 2022.**