福利逼站

福利逼站 Catalog 2024-2025

Logic (LOG)

This is an archived copy of the 2024-2025 catalog. To access the most recent version of the catalog, please visit .

尝翱骋听201听听Logic听听(3 credit hours)听听

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.

GEP Mathematical Sciences

Typically offered in Fall and Spring

尝翱骋听335/惭础听335听听Symbolic Logic听听(3 credit hours)听听

Intermediate level introduction to modern symbolic logic focusing on standard first-order logic; topics include proofs, interpretations, applications and basic metalogical results.

Prerequisite: 尝翱骋听201 or 惭础听225 or 颁厂颁听226

GEP Mathematical Sciences

Typically offered in Fall only

尝翱骋听430听听Varieties of Logic听听(3 credit hours)听听

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 尝翱骋听430 and 尝翱骋听530.

P: 尝翱骋听201 or 尝翱骋听335 or 惭础听335 or 惭础听225 or 颁厂颁听226

Typically offered in Spring only

This course is offered alternate odd years

尝翱骋听435听听Advanced Logic & Metamathematics听听(3 credit hours)听听

Advanced topics in logic and metamathematics: proof procedures, first-order theories, soundness and completeness theorems, recursive functions, the formalization of arithmetic, the Goedel Incompleteness Theorems. Emphasis on mathematical study of logic and mathematics. Students cannot receive credit for both 尝翱骋听435 and 尝翱骋听535

Prerequisite: 尝翱骋听335. Credit is not allowed for both 尝翱骋听435 and 尝翱骋听535.

尝翱骋听498/尝翱骋听598听听Special Topics in Logic听听(1-6 credit hours)听听

Detailed investigation of selected topics in logic. Topics determined in consultation with head of the department. Course may be used for individualized study. Students cannot receive credit for both 尝翱骋听498 and 尝翱骋听598 unless the topic is different.

Prerequisite: One of the following: (MA/尝翱骋听335, 尝翱骋听435, LOG 437, 惭础听403, 惭础听407, 惭础听408, 惭础听410, MA/颁厂颁听416, 惭础听421, 惭础听425, 惭础听426, 颁厂颁听333, 颁厂颁听411, or 颁厂颁听417)

Typically offered in Fall and Spring

尝翱骋听530听听Varieties of Logic听听(3 credit hours)听听

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 尝翱骋听430 and 尝翱骋听530.

Prerequisite: Graduate standing

Typically offered in Spring only

This course is offered alternate odd years

尝翱骋听535听听Advanced Logic and Metamathematics听听(3 credit hours)听听

Advanced topics in logic and metamathematics: proof procedures, first-order theories, soundness and completeness theorems, recursive functions, the formalization of arithmetic, the Goedel Incompleteness Theorems. Emphasis on mathematical study of logic and mathematics. Students cannot receive credit for both 尝翱骋听435 and 尝翱骋听535

Prerequisite: 尝翱骋听335. Credit is not allowed for both 尝翱骋听435 and 尝翱骋听535.

尝翱骋听598/尝翱骋听498听听Special Topics in Logic听听(1-6 credit hours)听听

Detailed investigation of selected topics in logic. Topics determined in consultation with head of the department. Course may be used for individualized study. Students cannot receive credit for both 尝翱骋听498 and 尝翱骋听598 unless the topic is different.

Prerequisite: One of the following: (MA/尝翱骋听335, 尝翱骋听435, LOG 437, 惭础听403, 惭础听407, 惭础听408, 惭础听410, MA/颁厂颁听416, 惭础听421, 惭础听425, 惭础听426, 颁厂颁听333, 颁厂颁听411, or 颁厂颁听417)

Typically offered in Fall and Spring