- 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/

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

- 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.

- 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.

- "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.

- "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.

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

*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."

- "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).

- 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.

- 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.

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

- 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.

- 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.

- 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.

- 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.

- 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.

Tim Bays / timothy.bays.5@nd.edu / September, 2012