Stephen G. Mackereth

|Research Associate
Academic Appointments

  • Postdoctoral Fellow, Society of Fellows

  • Department of Philosophy

Stephen Mackereth is a Postdoctoral Fellow in the Dartmouth Society of Fellows, affiliated with the Department of Philosophy. He received his PhD from the University of Pittsburgh in 2024. He works on logic, philosophy of mathematics, and the history of analytic philosophy. More specifically, he has written about neo-Fregean logicism, Gödel's Dialectica translation, and theories of truth. His research interests flow from an effort to understand the great foundational debate in mathematics between logicists and constructivists at the turn of the twentieth century. He enjoys thinking about logical and semantic paradoxes; about the notions of proof, truth, computation, and definition; and about the nature and role of foundations in mathematics.

Personal Website

Contact

Stephen.G.Mackereth@dartmouth.edu
Thornton, Room 212
HB 6035

Department(s)

Philosophy

Education

  • Ph.D. University of Pittsburgh, 2024
  • M.A. University of Pittsburgh, 2022
  • A.B. Harvard College, 2015

Selected Publications

  • Stephen Mackereth, "Conservativeness and Neo-Logicism." To appear in The Journal of Philosophy.

  • Stephen Mackereth, "Infinity, Choice, and Hume's Principle." To appear in Journal of Philosophical Logic.

  • Stephen Mackereth and Jeremy Avigad (2023), "Two-sorted Frege Arithmetic is not Conservative." Review of Symbolic Logic 16(4): 1199–1232. First published online, 18 April 2022.

  • Stephen Mackereth (2019), "Fixed-Point Posets in Theories of Truth." Journal of Philosophical Logic 48(1): 189–203.

Works In Progress

"The Philosophical Significance of Gödel's Dialectica Translation"