Foundations Interest Group
Meeting time: Thursdays, 4:00-5:30pm
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
Spring 2024
January 18: Catarina Dutilh-Novaes, The Dialogical Roots of Deduction, Cambridge University Press, 2020.
Chapter 11 A Dialogical Account of Proofs in Mathematical Practice. https://www.cambridge.org/core/books/dialogical-roots-of-deduction/ADAD1844B5F559ECA15EE175690B612D
January 25: Catharine Saint-Croix and Roy T. Cook. Draft 2024. (What) is feminist logic? (What) do we want it to be? (pdf)
For the remaining meetings of of the semester FIG will be reading chapters in the upcoming Minnesota Studies volume Feminist Philosophy and Formal Logic. (pdf)
February 1: Yap, A and Cook R.T. Forthcoming Feminist Philosophy and Formal Logic. Minnesota Studies on Philosophy of Science, vol 25. Introduction
February 8: Yap, A and Cook R.T. Forthcoming Feminist Philosophy and Formal Logic. Minnesota Studies on Philosophy of Science, vol 25. Chapter 1. Uckelman, S.L. Silencing Voices: Women, (Self)-Censorship, and Logic in the Middle Ages
February 15: Yap, A and Cook R.T. Forthcoming Feminist Philosophy and Formal Logic. Minnesota Studies on Philosophy of Science, vol 25. Chapter 2. Gordon-Roth, J. Anna Maria van Schurman and Mary Astell on Logic and the Equality of the Sexes
February 22: Yap, A and Cook R.T. Forthcoming Feminist Philosophy and Formal Logic. Minnesota Studies on Philosophy of Science, vol 25. Chapter 3. Janssen-Lauret, F. Grandmothers of Analytic Philosophy: The Formal and Philosophical Logic of Christine Ladd-Franklin and Constance Jones
February 29: Cook, R.T. 2024. (manuscript) Understanding Christine Ladd-Franklin's Logic (pdf)
March 7: No Meeting - Spring break
March 14: Yap, A and Cook R.T. Forthcoming Feminist Philosophy and Formal Logic. Minnesota Studies on Philosophy of Science, vol 25. Chapter 4. Eckert, M. Re-centering and Genderqueering Val Plumwood's Feminist Logic
March 21: Maureen Eckert and Charlie Donahue (manuscript) Towards a feminist logic: Val Plumwood’s legacy and beyond. (pdf)
March 28: No meeting
April 4: Yap, A and Cook R.T. Forthcoming Feminist Philosophy and Formal Logic. Minnesota Studies on Philosophy of Science, vol 25. Chapter 7: Gillian Russell Social Spheres: Logic, Ranking, and Subordination
April 11: No meeting
April 18: Yap, A and Cook R.T. Forthcoming Feminist Philosophy and Formal Logic. Minnesota Studies on Philosophy of Science, vol 25. Chapter 5: Melanie Bowman and Roy Cook The Logic of Knowing-What-It-Is-Like
April 25: Yap, A and Cook R.T. Forthcoming Feminist Philosophy and Formal Logic. Minnesota Studies on Philosophy of Science, vol 25. Chapter 6: Catharine Saint-Croix Activist Epistemology
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.