Foundations Interest Group

Time: Thursdays, 4:00-5:30pm
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 ([email protected]) or Cat Saint Croix ([email protected]).

Subscribe to our mailing list

Spring 2025

This semester FIG will read "Reasoning in Quantum Theory: Sharp and Unsharp Quantum Logics" available from UMN libraries.

M. Chiara, R. Giuntini, R. Greechie. 2024. Reasoning in Quantum Theory: Sharp and Unsharp Quantum Logics. Springer Dordrecht. https://doi.org/10.1007/978-94-017-0526-4.

January 23: Introductions and organization

January 30: “Introduction” in Reasoning and Quantum Theory (Dalla Chiara, Giuntini, Greechie)

February 6: “Chapter 1” in Reasoning and Quantum Theory (Dalla Chiara, Giuntini, Greechie)

February 13: “Chapter 2” in Reasoning and Quantum Theory (Dalla Chiara, Giuntini, Greechie)

February 20: No meeting

February 27: “Chapter 3” in Reasoning and Quantum Theory (Dalla Chiara, Giuntini, Greechie)

March 6: “Introduction” to Part II of Reasoning in Quantum Theory, pp. 149-154. 

March 13:  No Meeting

March 20: No Meeting

March 27: “Chapter 8” in Reasoning and Quantum Theory (Dalla Chiara, Giuntini, Greechie)

April 3: TBC

April 10: TBC

April 17: TBC 

April 24: TBC

May 1: TBC 

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 ([email protected]) or Cat Saint Croix ([email protected]) so an invitation can be extended.

 

Fall 2024

This semester FIG will continue reading chapters in the upcoming Minnesota Studies volume Feminist Philosophy and Formal Logic

September 12: Yap, A and Cook R.T. Forthcoming Feminist Philosophy and Formal Logic. Minnesota Studies on Philosophy of Science, vol 25. Chapter 8. Social Spheres: Logic, Ranking, and Subordination, Gillian Russell• Restricting Logical Tolerance Derek Anderson

September 19: Yap, A and Cook R.T. Forthcoming Feminist Philosophy and Formal Logic. Minnesota Studies on Philosophy of Science, vol 25. Chapter 9. The Logical Syntax of Prejudice: Oppression and the Constitutive a Priori Audrey Yap

September 26: Yap, A and Cook R.T. Forthcoming Feminist Philosophy and Formal Logic. Minnesota Studies on Philosophy of Science, vol 25. Chapter 10. Values in Logic Samara Burns

October 3: Yap, A and Cook R.T. Forthcoming Feminist Philosophy and Formal Logic. Minnesota Studies on Philosophy of Science, vol 25. Chapter 11. Teaching Logic from a Feminist Point of View Nastassja Pugliese and Gisele Secco

October 10: Yap, A and Cook R.T. Forthcoming Feminist Philosophy and Formal Logic. Minnesota Studies on Philosophy of Science, vol 25. Chapter 12. Sympathetic Interpretation: Teaching Argument Reconstruction and Repair Catherine Hundleby  

October 17: No Meeting

October 24: Work-in-progress (WIP) - Corey Dethier, "Formal Maps, Or, the cartographic object is not the territory" 

October 31:  No Meeting

November 7: WIP - Cat Saint-Croix - "Why Model?"

November 14:

November 21: WIP - Presentation by Jerry Chandler, "Toward a Metaphysics for the Symbolic Logics"

November 28: No meeting Thanksgiving break

December 5: WIP - Douglas Marshall, "Purity of Methods, Multiple Determination, and Finite Geometry" 

December 12: