Modal

Structuralism in Mathematics: Sui Generis and Modalities

and Online

For our next meeting on structuralism, we will be covering the two views championed by the authors of the textboock: Shapiro’s ante rem, or Sui Generis, structuralism and Hellman’s Modal Structuralism.

Main Readings

Chapter 5 and 6 in Hellman, G., & Shapiro, S. (2018). Mathematical Structuralism (Elements in the Philosophy of Mathematics). Cambridge: Cambridge University Press. doi:10.1017/9781108582933

Gödel Ontological Argument

For this special Christmas meeting, Rodrigo will be introducing Kurt Gödel’s argument about the existence of God, a classic medieval argument formalized in modal logic.

No reading preparation is required.

During the session, Rodrigo will present the argument, followed by a discussion.

Slides used during the presentation are available here. See also a handout with the proof.