Foundations Interest Group

Meeting time: Thursdays, 4:00-6:00pm
Meeting place: 737 Heller Hall and online

The foundation's interest group (FIG) reads and discusses works of mutual interest in the philosophy and foundations of mathematics and the philosophy of logic. We select readings for a variety of reasons: to keep up on the most exciting developments in the field, to help participants scrutinize literature relevant to research, to provide feedback on works in progress being written by FIG, to revisit classic articles in the literature, and sometimes just to have fun discussing a topic related to the foundations of mathematics and the philosophy of logic. For more information, please contact Roy T. Cook ( or Cat Saint Croix (

Our meetings are informal and some participants need to arrive late or leave early because of scheduling conflicts. All faculty and graduate students from the University of Minnesota and area colleges and universities are welcome to attend whenever they would like (without invitation) and without giving advanced notice. Undergraduates are included by invitation. If you know of an undergraduate who is well-suited and possibly interested, please contact Roy T. Cook ( or Cat Saint Croix ( so an invitation can be extended.

Subscribe to our mailing list

Fall 2023

This semester FIG will be reading 

Catarina Dutilh-Novaes, The Dialogical Roots of Deduction, Cambridge University Press, 2020.

September 7: Short organizational meeting

September 14: Chapter 1 The Trouble with Deduction

September 21: Chapter 2 Back to the Roots of Deduction

September 28: Chapter 3 The Prover–Skeptic Dialogues

October 5: Chapter 4 Deduction as a Dialogical Notion

October 12: Chapter 5, Deduction in Mathematics and Dialectic in Ancient Greece

October 19: No meeting

October 26: Chapter 6 Aristotle’s Syllogistic and Other Ancient Logical Traditions

November 2: Chapter 7 Logic and Deduction in the Middle Ages and the Modern Period

November 9: Chapter 8 How We Reason, Individually and in Groups

November 16: Chapter 9 The Ontogeny of Deductive Reasoning

November 23: No meeting Thanksgiving break

November 30: Chapter 10 The Phylogeny of Deductive Reasoning

December 7: Meeting canceled. This reading will be discussed next semester: Chapter 11 A Dialogical Account of Proofs in Mathematical Practice 

December 14: UROP presentation by Emery Carlson.

Previous FIG topics