Speaking of Essence

Classical modalism about essence is the view that essence can be analysed in modal terms. Despite Kit Fine's influential critique, no general refutation of classical modalism has yet been given. In the first part of the paper, I provide such a refutation by showing that the notion of essence cannot be analysed in terms of any sentential operator definable in the language of standard quantified modal logic. As a reaction to Fine's critique, some have defended sophisticated modalism, which attempts to analyse essence in an enriched modal language quantifying over both possible and impossible worlds. In the second part of the paper, I argue that sophisticated modalism falls prey to variations on Fine's counterexamples to classical modalism. I conclude that the most promising approaches to understanding the notion of essence consist in taking essence either as primitive or as analysable via a combination of modal and non-modal notions

Models for Counterparts

Lewis proposed to test the validity of a modal thesis by checking whether its possible-world translation is a theorem of counterpart theory. However, that criterion fails to validate many standard modal laws, thus raising doubts about the logical adequacy of the Lewisian framework. The present paper considers systems of counterpart theory of increasing strength and shows how each can be motivated by exhibiting a suitable intended model. In particular, perfect counterpart theory validates all the desired modal laws and therefore provides a way out of the logical objection. Finally, a weakening of perfect counterpart theory is put forward as a response to some metaphysical objections

'Identity' without identity

I introduce and defend the semantic notion of counterfactual identity, distinguishing it from the metaphysical notion of transworld identity. After showing that Lewis's counterpart theory misconstrues counterfactual identity facts, I outline and motivate a ‘Leibnizian counterpart theory’ where the notion of counterfactual identity is adequately modelled. Finally, I show that counterfactual identity can be characterized without relying on some implausible features of Lewis's theory of conditionals

What trans-world causation could and could not be

Eduardo García-Ramírez has offered a reductio of the counterfactual analysis of causation. The argument purportedly shows that, given a natural generalization of Lewis’ semantics for counterfactuals, statements expressing the existence of causal dependence across worlds are satisfiable. The aim of the present paper is twofold. In the first part, I show that the purported reductio is flawed, as it relies on an overly strong construal of the semantics for counterfactuals. In particular, it is assumed that we can assign a degree of similarity to any given pair of possible worlds. As it turns out, that assumption reduces to the thesis that the relations of comparative similarity featured in the standard semantics for counterfactuals define an interval scale of measurement on the set of all possible worlds. It will be argued that such a thesis is incompatible with a viable understanding of comparative similarity. The second part of the paper is devoted to a new proof of the possibility of trans-world causation. Nevertheless, the new proof does not amount to a reductio of Lewis’ account of causation per se, but rather of the conjunction of several substantive theses (the counterfactual analysis of causation, modal plenitude, the existence of mereological sums and the best theory account of natural laws)

Ideology in a Desert Landscape

On one influential view, metaphysical fundamentality can be understood in terms of joint-carving. Ted Sider has recently argued that (i) some first or- der quantifier is joint-carving, and (ii) modal notions are not joint-carving. After vindicating the theoretical indispensability of quantification against recent criticism, I will defend a logical result due to Arnold Koslow which implies that (i) and (ii) are incompatible. I will therefore consider an al- ternative understanding of Sider’s metaphysics to the effect that (i) some first order quantifier is joint-carving, and (iii) intensional notions are not joint-carving. Another result due to Koslow entails that (i) and (iii) are also incompatible. I will argue that this second result is inconclusive. Nev- ertheless, (iii) is incompatible with another tenet of Sider’s metaphysics, namely that (iv) ‘being joint-carving’ is itself joint-carving. In order to re- solve the inconsistency, I will tentatively argue that condition (iv) should be renounced

Ground and Modality

The grounding relation is routinely characterized by means of logical postulates. The aim of this paper is twofold. First, I show that a subset of those postulates is incompatible with a minimal characterization of metaphysical modality. Then I consider a number of ways for reconciling ground with modality. The simplest and most elegant solution consists in adopting serious actualism, which is best captured within a first-order modal language with predicate abstraction governed by negative free logic. I also explore a number of alternative strategies by revising the ground-theoretic postulates, while keeping the modal ones fixed. As I argue, each of those strategies is either unviable, highly contentious, or insufficiently motivated

How to Lewis a Kripke-Hintikka

It has been argued that a combination of game-theoretic semantics and independence-friendly (IF) languages can provide a novel approach to the conceptual foundations of mathematics and the sciences. I introduce and motivate an IF first-order modal language endowed with a game-theoretic semantics of perfect information. The resulting interpretive independence-friendly logic (IIF) allows to formulate some basic model-theoretic notions that are inexpressible in the ordinary quantified modal logic. Moreover, I argue that some key concepts of Kripke’s new theory of reference are adequately modeled within IIF. Finally, I compare the logic IIF to David Lewis counterpart theory, drawing some morals concerning the interrelation between metaphysical and semantic issues in possible-world semantics