Foundations Interest Group

Meeting time: Thursdays, 4:30-6:30 pm Central time
Meeting place: online via Zoom

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 (

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 ( so an invitation can be extended.

Subscribe to our mailing list

Spring 2021

Please join our mailing list for the zoom invitation or email

  • January 21: FIG will be continuing works-in-progress this semester, organizational meeting
  • January 28: Plumwood, V. (1993) The politics of reason: Towards a feminist logic, Australasian Journal of Philosophy, 71:4, 436-462, DOI: 10.1080/00048409312345432 (pdf)
  • February 4: MTV logics (forthcoming) (pdf)
  • February 11: continuation of MTV logics (forthcoming) (pdf)
  • February 18: continuation of MTV logics (forthcoming) (pdf)
  • February 25: continuation of MTV logics (forthcoming) (pdf)
  • March 4: Cook, R.T. (forthcoming) The Logic of Opposite Day (pdf)
  • March 11: Topic: abstraction operators, paradox, and the axiom of choice. Recommended reading Cook, R.T. Abstractionism in The Internet Encyclopedia of Philosophy, ISSN 2161-0002, Read the Abstract
  • March 18: No meeting
    Knight, Sophia. (manuscript) Reasoning about agents that may know other agents’ strategies (pdf)
  • April 1: No meeting
    Geoffrey Hellman "Regions-based Topology in Geometry"
  • April 22: No meeting
  • April 29: Rebecca Kosten "Knowledge-making through a Practice of Doubt" (pdf)
  • April 8: Spring break No meeting
  • April 15:
  • March 25:

Fall 2020

  • September 3: Organizational meeting. This semester we will be doing works-in-progress in FIG.
  • September 10: Cook, R.T. (manuscript) Frege's Logic
  • September 17: Taylor, D. (manuscript) Akiba"s Logic of Indeterminacy
  • September 24: Linnebo, Ø. and Shapiro, S. 2019. Actual and Potential Infinity Noûs 53(1):160-191 DOI: 10.1111/nous.12208 
  • October 1: No meeting
  • October 8: Arnold, Beth (manuscript) An Alternative Account of Force Cancellation in Light of Hanks and Recanati 
  • October 15: ***This meeting will begin at 4:30 pm *** Bowman, Melanie and Cook, R.T. (manuscript) The Logic of Knowing-What-It's-Like
  • October 22: Tutorial on Smooth Infinitesimal Analysis (SIA). 
  • October 29: Note time change 4:30-6:30 pm No advanced reading required
  • November 5: Cook, R. Identity, Indeterminacy, and Intuitionistic Logic 
  • November 12: Donahoe, Stephen (manuscript) Empty General Terms 
  • November 19: Bill Branson will be presenting on the history of 15th Century mathematics. No advanced reading required
  • November 26: No meeting - Thanksgiving
  • December 3: No advanced reading required
  • December 10: Saint-Croix, C. 2020 (manuscript) Privilege and Position Formal Tools for Standpoint Epistemology 

Previous FIG topics