Logical Theory

Overview

Subject area

PHI

Catalog Number

3440

Course Title

Logical Theory

Department(s)

Description

General introduction to the theory of formal axiomatic systems, proof of the soundness, completeness, and consistency of some axiomatic systems of logic; decision problems and independence; some topics in the semantics of formalized languages; and many-valued and modal logics.

Cross Listed Courses

Typically Offered

Fall, Spring

Academic Career

Undergraduate

Liberal Arts

Yes

Credits

Minimum Units

3

Maximum Units

3

Academic Progress Units

3

Repeat For Credit

No

Components

Name

Lecture

Hours

3

Course Schedule