Logical Theory
Download as PDF
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.
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