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 form of statements and arguments. Procedures to discover and notation to write down proofs. Satisfies the GEP Mathematical Sciences requirement.

LOG (MA) 335 Symbolic Logic

3 Credits. PREREQUISITE(S): LOG 201 or MA 225. Intermediate level introduction to modern symbolic logic; the concept of proof, mathematical induction, recursion and the relationship between formal and informal theories (examples: group theory, Peano arithmetic). The Godel Theorems and the mathematical study of logic. We very strongly recommend that any student who plans to attend graduate school in philosophy take this course. Satisfies the GEP Mathematical Sciences requirement.

LOG 435/535 Advanced Logic & Metamathematics

3 Credits. PREREQUISITE(S): For 435, LOG/MA 335; for 535, graduate status. 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. Credit cannot be given for both LOG 435 and LOG 535.

LOG 437/537 Model Theoretic Semantics

3 Credits. PREREQUISITE(S): For 437, one of the following courses: LOG/MA 335, LOG 435, MA 403, MA 407, MA 408, MA 410, MA/CSC 416, MA 421, MA 426, CSC 333, CSC 411, CSC 417; for 537, graduate status and one of the following courses: LOG/MA 335, LOG 435/535, one MA or CSC course at the 400-level or above. This course is an introduction to the fundamental concepts and methods of model-theoretic semantics and its applications in logic, foundations of mathematics, philosophy, and computer science. Credit cannot be given for both LOG 437 and LOG 537.

LOG 498/598 Special Topics in Logic

1-6 credits. PREREQUISITE(S): For 498, one of the following: LOG/MA 335, LOG 435, LOG 437, MA 403, MA 407, MA 408, MA 410, MA/CSC 416, MA 421, MA 425, MA 426, CSC 333, CSC 411, or CSC 417; for 598, graduate status. Detailed investigation of selected topics in logic. Topics determined in consultation with head of the department. Course may be used for individualized study. Credit cannot be given for both LOG 498 and LOG 598 unless the topic is different.

LOG 535 Advanced Logic & Metamathematics

3 Credits. PREREQUISITE(S): Graduate status. 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. Credit cannot be given for both LOG 435 and LOG 535.

LOG 537 Model Theoretic Semantics

3 Credits. PREREQUISITE(S): Graduate status and one of the following courses: LOG/MA 335, LOG 435/535, one MA or CSC course at the 400-level or above. Introduction to the fundamental concepts and methods of model-theoretic semantics and its applications in logic, foundations of mathematics, philosophy, and computer science. Credit cannot be given for both LOG 437 and LOG 537.

LOG 598 Special Topics in Logic

1-6 credits. PREREQUISITE(S): Graduate status. Detailed investigation of selected topics in logic. Topics determined in consultation with head of the department. Course may be used for individualized study. Credit cannot be given for both LOG 498 and LOG 598 unless the topic is different.