PHI 131

Philosophy of Logic & Mathematics

University of California Davis · UGRD · Fall 2026

1 section
Add to a schedule

Catalog description

Course Description: 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.

Sections

Current meeting, instructor, credit, and enrollment details

Updated 10 hours ago

001

Availability not recently verified
Class #california_davis-8260Fall 2026UGRD4 credits
Days & times
No scheduled meeting time
Meeting dates
Location
Instructor
Staff
Class numbers and section codes come from the registrar.
Spot missing or incorrect course data?