- Verbal Disagreement and Semantic Plans
Erkenntnis (forthcoming) || preprint
Synopsis: A unified theory of verbal disputes, illustrated with colorful diagrams!
- Idle Questions (with Jens Kipper and Zeynep Soysal)
Journal of Philosophy (forthcoming) || preprint (coming soon)
Synopsis: A critique of question-sensitive accounts of belief.
- 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 B: Extensions and Restrictions
Review of Symbolic Logic (forthcoming) || preprint
Synopsis: Some more completeness theorems for hyperlogic, with applications to counterpossibles and logical omniscience.
- 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 (2022) || 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.
*Between when the online-first version came out and when the article was assigned a volume and issue number, many formatting and typesetting errors were introduced to the publication. (Don’t ask me how…) These errors make the substance of the paper hard to read. Please consult the preprint for a cleaner version.
- Modeling Metadisputes
23rd Amsterdam Colloquium (2022)
Synopsis: Can a dispute over whether a dispute is verbal be verbal? Yes.
- The Role of Questions, Circumstances, and Algorithms in Belief (with Jens Kipper and Zeynep Soysal)
23rd Amsterdam Colloquium (2022)
Synopsis: Question-sensitive accounts of belief do not solve the problem of logical omniscience. Maybe a more general account can.
- 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
22nd 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.
- Beyond the Imitation Game: Quantifying and Extrapolating the Capabilities of Language Models (A. Srivastava et al. 2022)
Description of the project: here
Task contributed: Analytic Entailment (with Rachel Rudolph and Ethan Jerzak)