Foundations Interest Group

Meeting time: Thursdays (throughout the semester), 4:00-6:00 p.m.
Meeting place: Minnesota Center for Philosophy of Science library, 737 Heller Hall, or 731 Heller Hall

The foundations interest group (FIG) reads and discusses works of mutual interest in the philosophy and foundations of mathematics and in 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 2019

This semester FIG will meet in conjunction with PHIL8670 in 731 Heller Hall.

January 24, 2019: course syllabus

January 31, 2019: Michael E. Cuffaro and Samuel C. Fletcher (eds.) Physical Perspectives on Computation, Computational Perspectives on Physics, Cambridge University Press, 2018. Ch. 2 (21 pages). Copeland, B. Jack, Sprevak, Mark and Shagrir, Oron. (2017). Is the whole universe a computer? In B. J. Copeland, J. Bowen, M. Sprevak, and R. Wilson (eds.) The Turing Guide. Oxford: Oxford University Press, pp. 445–462.

February 7, 2019: ˆ Michael E. Cuffaro and Samuel C. Fletcher (eds.) Physical Perspectives on Computation, Computational Perspectives on Physics, Cambridge University Press, 2018. Ch. 1 (16 pages). ˆ Fredkin, Edward. (1992). A new cosmogony. In Workshop on Physics and Computation, Dallas, TX, USA, 1992, Washington: IEEE, pp. 116{121. https://doi.org/ 10.1109/PHYCMP.1992.615507. ˆ Lloyd, Seth. (2013). The universe as a quantum computer. In Zenil, Hector (ed.) A Computable Universe. Singapore: World Scientific, pp. 567–582. (pdf)

February 14, 2019: Anderson, Neal G. and Piccinini, Gualtiero. (2017). Pancomputationalism and the Computational Description of Physical Systems. Unpublished manuscript, 34 pages. http://philsci-archive.pitt.edu/12812. ˆ Chalmers, David J. (1996). Does a rock implement every nite-state automaton? Synthese 108(3): 309–333. https://doi.org/10.1007/BF00413692Gualtiero Piccinini (University of Missouri, St. Louis) will be visiting

February 21, 2019: Michael E. Cuffaro and Samuel C. Fletcher (eds.) Physical Perspectives on Computation, Computational Perspectives on Physics, Cambridge University Press, 2018. Ch. 3 (21 pages). Post, Emil L. (1936). Finite Combinatory Processes|Formulation 1. The Journal of Symbolic Logic 1(3): 103–105. https://www.jstor.org/stable/2269031. ˆDeutsch, David. (1985). Quantum theory, the Church-Turing principle and the universal quantum computer. Proceedings of the Royal Society of London A: Mathematical and Physical Sciences 400(1818): 97–117. https://doi.org/10.1098/rspa.1985.0070

February 28, 2019:  Michael E. Cuffaro and Samuel C. Fletcher (eds.) Physical Perspectives on Computation, Computational Perspectives on Physics, Cambridge University Press, 2018. Ch. 4 (20 pages). Steane, Andrew M. (2003). A quantum computer only needs one universe. Studies in History and Philosophy of Modern Physics 34(3): 469–478. https://doi.org/10. 1016/S1355-2198(03)00038-8.ˆ Duwell, Armond. (2007). The Many-Worlds Interpretation and Quantum Computation. Philosophy of Science 74(5): 1007–1018. https://doi.org/10.1086/525640

March 7, 2019:

March 14, 2019:

March 21, 2019: No meeting Spring Break

March 28, 2019:

April 4, 2019:

April 11, 2019:

April 18, 2019:

April 25, 2019:

May 2, 2019:

 

Fall 2018

Required texts:
Cook, Roy (in progress) Frege, Goldilocks, and Caesar (chapters will be distributed in class as needed!).
Linnebo, Øystein (2018) Thin Objects: An Abstractionist Account, Oxford, Oxford University Press.

September 6: PHIL8220 syllabus. BLV, HP, and Russell
Recommended readings:
Neil Tennant, "Logicism and Neologicism"  Stanford Encyclopedia of Philosophy.
Ed Zalta, "Frege's Theorem and Foundations for Arithmetic"  Stanford Encyclopedia of Philosophy.
Andrew Irvine & Harry Deutsch,"Russell's Paradox"  Stanford Encyclopedia of Philosophy.

September 13: Background
Boolos, Georg, "Saving Frege From Contradiction" In Logic, Logic and Logic: 171–182,
OP: Proceedings of the Aristotelian Society 1987.
Boolos, George, "Is Hume's Principle Analytic?" In Logic, Logic and Logic: 301–314,
OP: Logic, Language and Thought, OUP 1997. 
Wright, Crispin, "Is Hume's Principle Analytic?" In The Reason's Proper Study: 307–334,
OP: Notre Dame Journal of Formal Logic 1999. 

September 20: Roy's Take
Cook, Roy T, "New Waves on an Old Beach..." In New Waves in Philosophy of Mathematics, Palgrave 2009.
Cook, Roy T, "Conservativeness, Stability, and Abstraction" BJPS 63, 2012: 673–696.

September 27: Thin Objects & Dynamic Abstraction I
Linnebo, Øystein Thin Objects Part I.

October 4: Thin Objects & Dynamic Abstraction II
Linnebo, Øystein Thin Objects Part II. 

October 11: Thin Objects & Dynamic Abstraction III
Linnebo, Øystein Thin Objects Part III. 

October 18: Thin Objects w/o Dynamics I
Cook, Roy T, Frege, Goldilocks, and Caesar Chapters 1 & 2.

October 25: Thin Objects w/o Dynamics II
Cook, Roy T, Frege, Goldilocks, and Caesar Chapters 3 & 4. 

November 1: Thin Objects w/o Dynamics III
Cook, Roy T, Frege, Goldilocks, and Caesar Chapter 5.

November 8: Thin Objects w/o Dynamics IV
Cook, Roy T, Frege, Goldilocks, and Caesar Chapter 6.

November 15: Thin Objects w/o Dynamics V
Cook, Roy T, Frege, Goldilocks, and Caesar Chapter 7.

November 29: Finishing Up
Readings TBA

December 6: No meeting

Previous FIG topics