Topics


Discuss Cantor's notion of set, its axiomatization in ZFC, and the role of set theory as a foundation for mathematics.

Readings:


Discuss Cantor's notion of set, its axiomatization in ZFC, and the role of set theory as a foundation for mathematics.

Readings:


Can Mathematics be naturalized? Should we want it to be? In your answer, make explicit reference to Nominalism.

Readings:


Intuitionism in Mathematics and Logic: Explicate and Assess.

Readings:


What is Structuralism and is it defensible?

Readings:


How should we distinguish predicative functions from impredicative functions?

Readings:


Is higher-order logic truly logic, and is second-order logic distinct from set-theory?

Readings:

Contact details

Department of Philosophy
Main Quadrangle A14
University of Sydney
NSW 2006
Australia

email: sebastian.sequoiah.grayson {at} sydney.edu.au