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

Spring 2023

5.1	[Zoom] Confluence Phenomena in Mathematics (Jason Chen)
4.17	Discussion of “On Formalism Freeness: Implementing Gödel’s 1946 Princeton Bicentennial Lecture”
3.6	On the Explanatory Value of Consistency Proofs (James Walsh)
2.27	Discussion of “On Formalism Freeness: Implementing Gödel’s 1946 Princeton Bicentennial Lecture”
2.6-2.20	Discussion of One True Logic
1.30	Discussion of “Logical Nihilism”
1.23	Is 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.9	Thoughts on If-Thenism (Gabriel Day)
11.2	Hyperintentionality (Daniel Shin)
10.26	Measures and Measurement (Yuanshan Li)
8.31-9.28	Discussion of Morality and Mathematics