— Philosophy of Logic & Mathematics
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.
Topics
- logical and semantical paradoxes
- foundations of mathematics
- set theory
- type theory
- and intuitionistic theory
- philosophy of geometry
- philosophical implications of Gödels incompleteness results
Topics explicitly listed in official catalogue description
Prerequisites & course information
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. Learning Activities: Lecture/Discussion 3 hour(s), Term Paper. Grade Mode: Letter. General Education: Arts & Humanities (AH); Writing Experience (WE). Learning Activities: Lecture/Discussion 3 hour(s), Term Paper. Grade Mode: Letter. General Education: Arts & Humanities (AH); Writing Experience (WE).
Sources
- Course catalogue ↗2026-2027