Paolo Mancosu’s Courses
Spring 2026
| PHIL 12A | Introduction to Logic |
| PHIL 290-2 | Graduate Seminar: Extended Hilbert’s program: three consistency proofs for Peano Arithmetic |
Fall 2025
| PHIL 146 | Philosophy of Mathematics |
Spring 2025
| PHIL 140B | Intermediate Logic |
| PHIL 290-2 | Graduate Seminar: The mathematics of the infinitely large: a genealogy. |
Fall 2024
| PHIL 142 | Philosophical Logic |
Spring 2024
| PHIL 146 | Philosophy of Mathematics |
| PHIL 290-3 | Graduate Seminar: Provability Logic |
Fall 2023
| PHIL 149 | Special Topics in Philosophy of Logic and Mathematics: Proof Theory |
Spring 2023
| PHIL 146 | Philosophy of Mathematics |
| PHIL 12A | Introduction to Logic |
Fall 2022
| PHIL 140B | Intermediate Logic |
| PHIL 290-3 | Graduate Seminar: Proof Theory and Proof-Theoretic Semantics |
Spring 2021
| PHIL 290-2 | Graduate Seminar: Seminar on Probability |
| PHIL 12A | Introduction to Logic |
Fall 2020
| PHIL 140B | Intermediate Logic |
| PHIL 190 | Proseminar: Analytic/Synthetic |
Spring 2020
| PHIL 149 | Special Topics in Philosophy of Logic and Mathematics: Proof Theory |
| PHIL 290-3 | Seminar: The Infinite |
Fall 2019
| PHIL 146 | Philosophy of Mathematics |
| PHIL 12A | Introduction to Logic |
Spring 2019
| PHIL 290-3 | Graduate Seminar: Michel Foucault: The order of things |
| PHIL 140B | Intermediate Logic |
Fall 2018
| PHIL 12A | Introduction to Logic |
Spring 2017
| PHIL 12A | Intro to Logic |
| PHIL 290-5 | Logicism & Neologicism |
Fall 2016
| PHIL 140B | Intermediate Logic |
Spring 2016
| PHIL 140A | Intermediate Logic |
Fall 2015
| PHIL 146 | Philosophy of Mathematics |
| PHIL 290-2 | Proof Theory |
Spring 2015
| PHIL 12A | Introduction to Logic |
Fall 2014
| PHIL 140B | Intermediate Logic |
| PHIL 290-3 | Graduate Seminar: Wittgenstein’s Tractatus |
Spring 2013
| PHIL 146 | Philosophy of Mathematics |
Spring 2012
| PHIL 140B | Intermediate Logic |
Spring 2011
| PHIL 12A | Introduction to Logic |
Spring 2010
| PHIL 146 | Philosophy of Mathematics |
Fall 2009
| PHIL 12A | Introduction to Logic |
| PHIL 290-3 | Proof Theory |
Spring 2008
| PHIL 12A | Introduction to Logic |
| PHIL 149 | Special Topics in the Philosophy of Logic & Mathematics: Theories of Truth |
Fall 2007
| PHIL 290-3 | Graduate Seminar: Early Wittgenstein/ Tractatus |
| PHIL 140B | Intermediate Logic |
Spring 2007
| PHIL 12A | Introduction to Logic |
Fall 2006
| PHIL 142 | Philosophical Logic |
| PHIL 290-3 | The Philosophy of Mathematical Practice |
Spring 2006
| PHIL 146 | Philosophy of Mathematics |
| PHIL 290-4 | Predicativity |
Fall 2005
| PHIL 12A | Introduction to Logic |
| PHIL 140B | Intermediate Logic (Pt. II) |
Spring 2004
| PHIL 140A | Intermediate Logic |
| PHIL 290-3 | Truth, Logical Consequence, and Logical Constants |
Fall 2003
| PHIL 12A | Introduction to Logic |
| PHIL 146 | Philosophy of Mathematics |