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 (cookx432@umn.edu) or Cat Saint Croix (csaintx@umn.edu).
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 (cookx432@umn.edu) or Cat Saint Croix (csaintx@umn.edu) 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.
https://www.cambridge.org/core/books/dialogical-roots-of-deduction/ADAD1844B5F559ECA15EE175690B612D
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.