This site uses cookies. By continuing to use this site, closing this banner, or clicking "I Agree", you agree to the use of cookies.
Read our cookies policy and privacy statement for more information.
Stand with UkraineDonate
- Home
- California
- University of California-Davis
- Course info
- phi-113 - metalogic
University of California-Davis Course Info
Davis, California•
10 reviews
Course Info
Search for courses by clicking on letters of the alphabet or by using a search bar. Explore course description, number of credits required and course sequences to satisfy graduation requirements.
PHI 113
Metalogic
The metalogic of classical propositional and first-order predicate logic. Consistency, soundness and completeness of both propositional and predicate logic. The Löwenheim-Skolem theorem for predicate logic. Undecidability of predicate logic.
Units: 4.0
Hours: Lecture/Discussion—4 hour(s).
Prerequisites:
MAT 108 - Introduction to Abstract Mathematics
and
PHI 112 - Intermediate Symbolic Logic