- What Topic Continuity Problem?
Inquiry (forthcoming) || preprint
Synopsis: How can you engineer a concept without changing the topic? It’s easy, just be clear about what the topic is.
- The Logic of Hyperlogic. Part A: Foundations
Review of Symbolic Logic (forthcoming) || preprint | supplement
Synopsis: Some completeness theorems for hyperlogic, a logic for reasoning about other logics.
- Does Chance Undermine Would?
Mind (forthcoming) || preprint
Synopsis: A triviality result for counterfactual skeptics (and everyone else). Or: the main argument for counterfactual skepticism only shows most counterfactuals are chancy, not that they’re false.
- The Dynamics of Argumentative Discourse (with Carlotta Pavese)
Journal of Philosophical Logic (2022) || preprint
Synopsis: A dynamic semantics for argument connectives, like ‘therefore’, with applications to conditionals, imperatives, and induction.
- Logic Talk
Synthese (2021) || preprint
Synopsis: A hyperintensional expressivist semantics for regimenting claims about logic in the object language. No impossible worlds required.
Philosophy Compass (2021) || preprint
Synopsis: An overview of the counterpossibles literature.
- Counterlogicals as Counterconventionals (with Ethan Jerzak)
Journal of Philosophical Logic (2021) || preprint
Synopsis: Counterlogicals (and maybe all counterpossibles?) are only nonvacuous when interpreted as counterconventionals. Plus, a modern version of logical expressivism.
- Comparing Conventions (with Rachel Rudolph)
Synopsis: Metalinguistic comparatives are more expressions of comparative linguistic commitments than anything else.
- Against Conventional Wisdom (with Ethan Jerzak and Rachel Rudolph)
Philosophers’ Imprint (2020)
Synopsis: Conventional wisdom has it that truth is always evaluated relative to our conventions. Conventional wisdom is wrong.
- On the Substitution of Identicals in Counterfactual Reasoning
Noûs (2020) || preprint
Synopsis: If counterpossibles are opaque, then so are ordinary counterfactuals. This suggests that counterfactuals only have an epistemic reading.
- A Two-Dimensional Logic for Two Paradoxes of Deontic Modality (with Melissa Fusco)
The Review of Symbolic Logic (2020) || preprint
Synopsis: An axiomatization of Fusco’s two-dimensional deontic logic that solves Ross’s puzzle and the free choice problem.
- Hyperlogic: A System for Talking about Logics
Amsterdam Colloquium (2019)
Synopsis: A new formal system for talking about other logics.
The Philosophical Review (2018) || preprint | counteridenticals in the wild
Synopsis: If you were me, you too would think identity is contingent.
- On the Expressive Power of First-Order Modal Logic with Two-Dimensional Operators
Synthese (2018) || preprint
Synopsis: A series of results comparing the expressive power of languages with two-dimensional operators.
- On the Concept of a Notational Variant
LORI-VI (2017) || preprint
Synopsis: There’s no single correct definition of a notational variant. Plus, a proof that there is a bijective translation from first-order logic into propositional logic that preserves entailment and nonentailment.
- The Problem of Cross-world Predication
Journal of Philosophical Logic (2016) || preprint
Synopsis: An analysis of cross-world predication (“I could have been taller than I am”) and cross-world quantification (“Everyone rich could have been poor”).
- On the Expressivity of First-Order Modal Logic with “Actually”
LORI-V (2015) || preprint
Synopsis: An earlier version of my 2016 Synthese paper.
- What Can You Say? Measuring the Expressive Power of Languages
Group in Logic and the Methodology of Science. University of California, Berkeley. (2018)
Synopsis: A systematic study of the different ways to measure expressive power, with some applications to metametaphysics.