RESEARCH

PUBLICATIONS

[forthcoming] (with Catharine Diehl). `The Metaphysics of Opacity'. Philosophers' Imprint.
[2023] (with Philipp Koralus, Vincent Wang, and Sean Moss) `Predicate Reasoning'. In Philipp Koralus, Reason and Inquiry: The Erotetic Theory (Oxford: Oxford University Press), 128–87.
[2021a] (with Rachel Elizabeth Fraser). `Absolutely General Knowledge'. Philosophy and Phenomenological Research 103: 547–66. doi 10.1111/phpr.12710.
[2021b] `Invariance without Extensionality'. In The Semantic Conception of Logic: Essays on Consequence, Invariance, and Meaning, ed. Gil Sagi and Jack Woods (Cambridge: Cambridge University Press), 80–96. doi 10.1017/9781108524919.005.
[2021c] (with Daniel Waxman) `Stable and Unstable Theories of Truth and Syntax'. Mind 130: 439–73. doi 10.1093/mind/fzaa034.
[2019] `Antireductionism and Ordinals'. Philosophia Mathematica 27: 105–24. doi 10.1093/philmat/nky025.
[2017] `Ordinals and Versions of Indefinite Extensibility (Abstract)'. Bulletin of Symbolic Logic 23: 206–7. doi 10.1017/bsl.2017.14.
[2016] `We Turing Machines Can't Even Be Locally Ideal Bayesians'.Thought: A Journal of Philosophy 5: 285–90. doi 10.1002/tht3.225.
[2015] `Higher-Order Abstraction Principles'. Thought: A Journal of Philosophy 4: 228–36. doi 10.1002/tht3.182.

WORK IN PROGRESS

`On the Second-Order Squeezing Argument' (under review).
`Large Cardinals, Esoteric Quantifiers, and Very Strong Logics' (planned for The Palgrave Companion to the Philosophy of Set Theory, ed. Carolin Antos, Neil Barton, and Giorgio Venturi)
`Bivalence, Fidelity, and Large-Cardinal Reflection: Variations on a Kreiselian Theme'.