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-131 - philosophy-of-logic-and-mathematics
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 131
Philosophy of Logic and Mathematics
Term Paper.Nature of formal systems and mathematical theories. Selected topics include logical and semantical paradoxes; foundations of mathematics; set theory, type theory, and intuitionistic theory; philosophy of geometry; philosophical implications of Gödels incompleteness results.
Units: 4.0
Hours: Lecture/Discussion—3 hour(s);
Prerequisites:
PHI 012 - Introduction to Symbolic Logic