Quine taught us the difference between a theory's ontology and its ideology. Ontology is the
things a theory's quantifiers must range over if it is true, Ideology is the primitive concepts …

In this paper we propose and defend the Synonymy account, a novel account of
metaphysical equivalence which draws on the idea (Rayo in The Construction of Logical …

The notion of strength has featured prominently in recent debates about abductivism in the
epistemology of logic. Following Timothy Williamson and Gillian Russell, we distinguish …

A notable early result of David Makinson establishes that every monotone modal logic can
be extended to LI, LV, or LF, and every antitone logic can be extended to LN, LV, or LF …

The goal of my dissertation is to bring insights from branches of logic that are not well-
discussed in the literature, notably modal model theory, to bear on questions in the …

The notion of strength has featured prominently in recent debates about abductivism in the
epistemology of logic. Following Timothy Williamson and Gillian Russell, we distinguish …

I examine notions of equivalence between logics (understood as languages interpreted
model-theoretically) and develop two new ones that invoke not only the algebraic but also …