Logic Reading Group

I organize a student reading group in logic at Notre Dame. Sometimes we read and discuss a piece together. Sometimes group members or guest speakers give talks. Email me if you are interested in participating/giving a talk!

Fall 2023

10.30Discussion of The Philosophy of Mathematical Practice Ch. 9 “Mathematical Concepts and Definitions”
10.9Discussion of “Deflationism, Arithmetic, and the Argument from Conservativeness”
10.2Discussion of “On an alleged refutation of Hilbert’s Program using Gödel’s First Incompleteness Theorem”
9.25Discussion of “The G¨odelian Inferences”
9.18Discussion of “Self-reference in Arithmetic I”

Spring 2023

5.1[Zoom] Confluence Phenomena in Mathematics (Jason Chen)
4.17Discussion of “On Formalism Freeness: Implementing Gödel’s 1946 Princeton Bicentennial Lecture”
3.6On the Explanatory Value of Consistency Proofs (James Walsh)
2.27Discussion of “On Formalism Freeness: Implementing Gödel’s 1946 Princeton Bicentennial Lecture”
2.6-2.20Discussion of One True Logic
1.30Discussion of “Logical Nihilism”
1.23Is there a Proof of the Compactness Theorem in Aristotle’s Posterior Analytics? (Kesevan Thanagopal)

Fall 2022

11.16[Zoom] Forcing with Urelements (Bokai Yao)
11.9Thoughts on If-Thenism (Gabriel Day)
11.2Hyperintentionality (Daniel Shin)
10.26Measures and Measurement (Yuanshan Li)
8.31-9.28Discussion of Morality and Mathematics