Contact Information

• Address:
  • Department of Philosophy
  • University of Notre Dame
  • Notre Dame, IN 46556
• Phone: (574) 631-9916
• Fax: (574) 631-0588
• E-mail: timothy.bays.5@nd.edu
• Web: http://www.nd.edu/~tbays/
  
  

Academic Specializations

• AOS: Logic, Philosophy of Logic, Philosophy of Mathematics.
• AOC: Metaphysics, Epistemology, Philosophy of Language.
  
  

Academic Employment

• 2007--Present: Associate Professor, Department of Philosophy, University of Notre Dame.
• 1999--2007: Assistant Professor, Department of Philosophy, University of Notre Dame.
  • 2002--2004: Mellon Postdoctoral Fellow, Department of Philosophy, University of Chicago.
• 1995--1999: Lecturer, Department of Philosophy, Yale University.
  
  

Education

• 1988--2000: UCLA Philosophy Department
  • Ph.D. Awarded: September, 2000.
  • Dissertation Title: Reflections on Skolem's Paradox.
  • Committee: Donald Martin, David Kaplan, Joseph Almog, Yiannis Moscovakis.
    
    
• 1991--1995: UCLA Mathematics Department
  • Ph.D. Awarded: September, 1994
  • Dissertation Title: Multi-Cardinal Phenomena in Stable Theories.
  • Committee: Donald Martin, Leo Harrington, John Steel, Kit Fine, Joseph Almog.
    
    
• 1984--1988: Northwestern University
  • BA with highest distinction.
  • Majors in philosophy and mathematics.
    
    

Publications

Articles

• "Some Two-Cardinal Results for O-Minimal Theories." The Journal of Symbolic Logic. 63 (June 1998), 543-548.
• "The Fruits of Logicism." The Notre Dame Journal of Formal Logic. 41.4 (2000), 415-421.
• "On Putnam and His Models." The Journal of Philosophy. XCVIII (July 2001), 331-350.
• "Partitioning Subsets of Stable Models." The Journal of Symbolic Logic. 66 (December 2001), 1899-1908.
• "On Tarski on Models." The Journal of Symbolic Logic. 66 (December 2001), 1701-1726.
• "On Floyd and Putnam on Wittgenstein on Godel." The Journal of Philosophy. CI.4 (April 2004), 197-210.
• "The Mathematics of Skolem's Paradox." In Dale Jacquette editor, Philosophy of Logic, 615-648. Elsevier, London, 2006.
• "More on Putnam's Models: A Reply to Bellotti." Erkenntnis. 67.1 (July 2007), 119-135.
• "The Problem with Charlie: Some Remarks on Putnam, Lewis and Williams." The Philosophical Review. 116.3 (July 2007), 401-425.
• "Two Arguments against Realism." The Philosophical Quarterly. 58 (April 2008), 193-213.
• "Skolem's Paradox." The Stanford Encyclopedia of Philosophy. (Spring 09).
• "Beth's Theorem and Deflationism." Mind. 118 (October 2009), 1043-1059.

Notes and Reviews

• "Hudson on Receptacles." Australasian Journal of Philosophy. 81 (December 2003), 569-572.
• Review of David Corfield, Towards a Philosophy of Real Mathematics. Notre Dame Philosophical Reviews. (January 2004).
• Review of Michael Potter, Set Theory and its Philosophy. Notre Dame Philosophical Reviews. (March 2005).
• Review of John Burgess, Fixing Frege. Notre Dame Philosophical Reviews. (June 2006).
• Review of Paolo Mancosu, The Philosopy of Mathematical Practice. Notices of the American Mathematical Society. 59.3 (March 2012), 424-428.
  
  

Work in Progress

Under Review

• "Floyd, Putnam, Bays, Steiner, Wittgenstein, Godel, Etc."

In Preparation

• Reflection on Skolem's paradox: An Essay in the Philosophy of Set Theory.
• Review of Calixto Badesa, The Birth of Model Theory. (For NDJFL.)
• "Notes on the Standard Model of Arithmetic."
• "On Skolem and his Paradox."
• "The Resilience of Skolem's Paradox."
• "Public Reason and Liberal Neutrality: Reflections on Rawls' Political Liberalism."
• "Variants of Chang's Conjecture for Stable Theories."
• "Admitting Cardinals in Simple Theories."
  
  

Presentations

• "What is Shelah's Main Gap?" Yale Math Club (March 1996).
• "In and Around the Lowenheim-Skolem Theorems." Drexel University (February 1997).
• "On Putnam and His Models." UCLA (January 1999); Yale (January 1999); Notre Dame (February 1999); Northwestern (November 1999).
• "Partitioning Subsets of Stable Models." Notre Dame Logic Seminar (March 2000).
• "Some Remarks on Proofs and Axioms." AMS/MAA Joint Meetings (January 2001).
• "The Fruits of Logicism." Notre Dame Logicism Conference (March 2001).
• "Skolem on the Foundations of Mathematics." Indiana University (January 2002).
• "On Skolem and His Paradox." University of Chicago (March 2002); Oxford University (June 2002); University of Minnesota (February 2007); University of Munich (June 2008); Ecole Normale Superieure (June 2010).
• "Two Arguments against Realism." University of Illinois at Chicago (April 2003).
• "Some Remarks on Putnam, Lewis and Williams." Cornell University (April 2006).
• "Skolem's Other Paradox." University of Chicago (October 2008).
• "Remarks on John Baldwin: Model-Theory as a Foundation for Mathematics." Midwest PhilMath Workshop, University of Notre Dame (November 2008).
• "Some Remarks on the Foundations of Arithmetic." University of Paris 7, Diderot (June 2010); Oxford University (October 2011).
• "The Resilience of Skolem's Paradox." University of London (October 2011).
  
  

Administrative Service

• Director of Undergraduate Studies, Philosophy and Mathematics Major, Yale University, 1995-1996 and 1998-1999.
• Coordinator for Redesign of Departmental Web Site, Philosophy Department, University of Notre Dame, Summer 2000.
• History Comprehensive Examination Committee, Philosophy Department, University of Notre Dame, Summer 2000.
• Graduate Placement Co-Chair, Philosophy Department, University of Notre Dame, Fall 2000.
• Graduate Placement Chair, Philosophy Department, University of Notre Dame, Spring 2001.
• Honor Code Committee, Philosophy Department, University of Notre Dame, 2001-2002.
• Hiring Committee, Philosophy Department, University of Notre Dame, 2001-2002, 2002-2003.
• Hiring Planning Committee, Philosophy Department, University of Notre Dame, 2001-2002.
• Organizer of Robert Adams Perspectives Conference,University of Notre Dame, Spring 2002
• Second Year Paper Board, Philosophy Department, University of Notre Dame, Summer 2004.
• Graduate Studies Committee, Philosophy Department, University of Notre Dame, 2005-2006.
• Arts and Letters College Council, University of Notre Dame, 2005-2008.
• Arts and Letters Computing Committee, University of Notre Dame, 2006-2007.
• Committee on Appointments and Promotions, Philosophy Department, University of Notre Dame, 2007-2010, 2011-2014.
• Graduate Admissions Committee, Philosophy Department, University of Notre Dame, Spring 2008.
• CAP Documents Revision Committee, Philosophy Department, University of Notre Dame, Summer 2008.
  
  

Professional Service

• Referee for Oxford University Press.
• Referee for Mind, The Review of Symbolic Logic, The Notre Dame Journal of Formal Logic,The Journal of Philosophical Logic, Philosophia Mathematica, Australasian Journal of Philosophy, Synthese, Erkenntnis, The Journal of Philosophical Research, Grazer Philosophiche Studien, International Studies in the Philosophy of Science, Theoria, and Social Theory and Practice.
• Program Committee, Association for Symbolic Logic Spring Meeting, April 2004.
• Session Chair, Association for Symbolic Logic Spring Meeting, April 2004.
• Session Chair, Midwest PhilMath Workshop, Fall 2001-2009.
• Session Chair, NYU Philosophy of Mathematics Conference, April 2009.
• Session Chair, Association for Symbolic Logic Spring Meeting, May 2009.
• Session Chair, TransCoop Project Closing Conference, June 2009.
  
  

Professional Memberships

• American Philosophical Association.
• American Mathematical Association.
• Association for Symbolic Logic.
• Society of Christian Philosophers.
  
  

Honors and Awards

• Mellon Postdoctoral Fellowship, University of Chicago, 2002-2004.
• Departmental Research Fellowhip, UCLA Mathematics Department, 1995.
• Dissertation Fellowship, U.S. Department of Education, 1993-1994.
• Yost Prize for Teaching Excellence, UCLA Philosophy Department, 1992.
• Phi Beta Kappa, 1988.
  
  

Teaching Experience

Guided Projects

• Theses and Dissertations Directed
  • Bertolt Lampe Masters Thesis (co-director): Universitat Bielefeld, 2008
• Honors Thesis in Philosophy.
  • Shining Light on Penrose's Shadows: Notre Dame, 2005-2006.
  • Logical Truth and Logical Consequence: Notre Dame, 2001-2002.
• Preliminary Essay on Frege (co-director).
  • Chicago, 2003.
• (Graduate) Directed Reading in Model Theory and Philosophy.
  • Notre Dame, Spring Term, 2001.
• Tutorial on Field's Program.
  • Yale, Fall Term, 1998.

Seminars

• Philosophy of Set Theory.
  • Notre Dame, Fall Term, 2012.
• Workshop in the Philosophy of Mathematics.
  • Notre Dame, Fall Term, 2001.
  • Notre Dame, Spring Term 2002, 2005 and 2008.
• Mathematics in Natural Science.
  • Chicago, Winter Term, 2003.
• The Nature of Logical Consequence.
  • Yale, Spring Term, 1998.
• Putnam on Realism.
  • Yale, Fall Term, 1997.
• Model Theory.
  • Yale, Spring Term, 1997.
• Skolem's Paradox.
  • Yale, Spring Term, 1997.

Advanced Courses

• Introduction to Metatheory.
  • Chicago, Winter Term, 2004.
  • Notre Dame, Fall Term, 2000, 2004 and 2010.
  • Yale, Fall Term, 1995, 1996 and 1998.
• Introduction to Godel Theory.
  • Notre Dame, Spring Term, 2007 and 2012.
  • Notre Dame, Fall Term, 2005.
  • Chicago, Spring Term, 2003.
  • Yale, Spring Term, 1998.
• Introduction to Modal Logic.
  • Chicago, Winter Term, 2004.
  • Notre Dame, Fall Term, 2011.
  • Notre Dame, Spring Term, 2002, 2006 and 2009.
• Philosophy of Mathematics.
  • Notre Dame, Spring Term, 2000, 2008, 2009 and 2011.

Introductory Courses

• Introduction to Logic.
  • Notre Dame, Fall Term, 2004, 2006 and 2007.
  • Notre Dame, Spring Term, 2006 and 2011.
  • UCLA, Spring Term, 1993.
  • UCLA, Summer Session, 1992, 1993, and 1994.
• Honors Introduction to Philosophy.
  • Notre Dame, Fall Term, 2007 and 2008.
• University Seminar: Plato's Republic.
  • Notre Dame, Spring Term, 2007.
  • Notre Dame, Fall Term, 2005 and 2006.
• University Seminar: The Value of Reason.
  • Notre Dame, Fall Term, 2001, 2008, 2011 and 2012.
  • Notre Dame, Spring Term, 2005 and 2012.
• University Seminar: Defining Virtue.
  • Notre Dame, Fall Term, 2000.
  • Notre Dame, Spring Term, 2000 and 2001.
• Introduction to Philosophy.
  • Notre Dame, Spring Term, 2001.
• Topics in Political Philosophy.
  • Notre Dame, Fall Term, 1999.
• History of Modern Philosophy.
  • Yale, Spring Term, 1996, 1997, 1998, and 1999.
• History of Ancient Philosophy.
  • Yale, Fall Term, 1995, 1996, 1997, and 1998.
• Contemporary Moral Issues.
  • UCLA, Summer Session, 1993.
• Pre-Calculus.
  • UCLA, Fall Term, 1994.
• Basic Algebra.
  • UCLA, Fall Term, 1991.