Since the publication of David Lewis’ Counterfactuals, the standard line on subjunctive conditionals with impossible antecedents (or counterpossibles) has been that they are vacuously true. That is, a conditional of the form ‘If p were the case, q would be the case’ is trivially true whenever the antecedent, p, is impossible. The primary justification is that Lewis’ semantics best approximates the English subjunctive conditional, and that a vacuous treatment of counterpossibles is a consequence of that very elegant theory. Another justification (...) derives from the classical lore than if an impossibility were true, then anything goes. In this paper we defend non-vacuism, the view that counterpossibles are sometimes non-vacuously true and sometimes non-vacuously false. We do so while retaining a Lewisian semantics, which is to say, the approach we favor does not require us to abandon classical logic or a similarity semantics. It does however require us to countenance impossible worlds. An impossible worlds treatment of counterpossibles is suggested (but not defended) by Lewis (Counterfactuals. Blackwell, Oxford, 1973), and developed by Nolan (Notre Dame J Formal Logic 38:325–527, 1997), Kment (Mind 115:261–310, 2006a: Philos Perspect 20:237–302, 2006b), and Vander Laan (In: Jackson F, Priest G (eds) Lewisian themes. Oxford University Press, Oxford, 2004). We follow this tradition, and develop an account of comparative similarity for impossible worlds. (shrink)

Some authors have claimed that ante rem structuralism has problems with structures that have indiscernible places. In response, I argue that there is no requirement that mathematical objects be individuated in a non-trivial way. Metaphysical principles and intuitions to the contrary do not stand up to ordinary mathematical practice, which presupposes an identity relation that, in a sense, cannot be defined. In complex analysis, the two square roots of –1 are indiscernible: anything true of one of them is true of (...) the other. I suggest that ‘i’ functions like a parameter in natural deduction systems. I gave an early version of this paper at a workshop on structuralism in mathematics and science, held in the Autumn of 2006, at Bristol University. Thanks to the organizers, particularly Hannes Leitgeb, James Ladyman, and Øystein Linnebo, to my commentator Richard Pettigrew, and to the audience there. The paper also benefited considerably from a preliminary session at the Arché Research Centre at the University of St Andrews. I am indebted to my colleagues Craige Roberts, for help with the linguistics literature, and Ben Caplan and Gabriel Uzquiano, for help with the metaphysics. Thanks also to Hannes Leitgeb and Jeffrey Ketland for reading an earlier version of the manuscript and making helpful suggestions. I also benefited from conversations with Richard Heck, John Mayberry, Kevin Scharp, and Jason Stanley. CiteULike Connotea Del.icio.us What's this? (shrink)

It is my aim in this paper to show that the contemporary assimilation of essence to modality is fundamentally misguided and that, as a consequence, the corresponding conception of metaphysics should be given up. It is not my view that the modal account fails to capture anything which might reasonably be called a concept of essence. My point, rather, is that the notion of essence which is of central importance to the metaphysics of identity is not to be understood in (...) modal terms or even to be regarded as extensionally equivalent to a modal notion. The one notion is, if I am right, a highly refined version of the other; it is like a sieve which performs a similar function but with a much finer mesh. (shrink)

Two main claims are defended in this paper: first, that typical disputes in the literature about the ontology of physical objects are merely verbal; second, that the proper way to resolve these disputes is by appealing to common sense or ordinary language. A verbal dispute is characterized not in terms of private idiolects, but in terms of different linguistic communities representing different positions. If we imagine a community that makes Chisholm's mereological essentialist assertions, and another community that makes Lewis's four-dimensionalist (...) assertions, the members of each community speak the truth in their respective languages. This follows from an application of the principle of interpretive charity to the two communities. (shrink)

Some recently-proposed counterexamples to the traditional definition of essential property do not require a separate logic of essence. Instead, the examples can be analysed in terms of the logic and theory of abstract objects. This theory distinguishes between abstract and ordinary objects, and provides a general analysis of the essential properties of both kinds of object. The claim ‘x has F necessarily’ becomes ambiguous in the case of abstract objects, and in the case of ordinary objects there are various ways (...) to make the definition of ‘F is essential to x’ more fine-grained. Consequently, the traditional definition of essential property for abstract objects in terms of modal notions is not correct, and for ordinary objects the relationship between essential properties and modality, once properly understood, addresses the counterexample. (shrink)

This paper provides a possible worlds semantics for the system of the author's previous paper 'The Logic of Essence '. The basic idea behind the semantics is that a statement should be taken to be true in virtue of the nature of certain objects just in case it is true in any possible world compatible with the nature of those objects. It is shown that a slight variant of the original system is sound and complete under the proposed semantics.

In Fine 1994, Kit Fine challenges the view that the notion of essence is to be understood in terms of the metaphysical modalities, and he argues that it is not essence which reduces to metaphysical modality, but rather metaphysical modality which reduces to essence. In this paper I put forward a modal account of essence and argue that it is immune from Fine’s objections. The account presupposes a non‐standard, independently motivated conception of the metaphysical modalities which I dub Priorean. Arthur (...) Prior never endorsed that very conception, but in some respects his own views on the topic are so close to it, and different from all currently accepted views, that the label ‘Priorean’ is perfectly appropriate. (shrink)

Two main claims are defended in this paper: first, that typical disputes in the literature about the ontology of physical objects are merely verbal; second, that the proper way to resolve these disputes is by appealing to common sense or ordinary language. A verbal dispute is characterized not in terms of private idiolects, but in terms of different linguistic communities representing different positions. If we imagine a community that makes Chisholm's mereological essentialist assertions, and another community that makes Lewis's four‐dimensionalist (...) assertions, the members of each community speak the truth in their respective languages. This follows from an application of the principle of interpretive charity to the two communities. (shrink)

In this 1992 book, Professor Koslow advances an account of the basic concepts of logic. A central feature of the theory is that it does not require the elements of logic to be based on a formal language. Rather, it uses a general notion of implication as a way of organizing the formal results of various systems of logic in a simple, but insightful way. The study has four parts. In the first two parts the various sources of the general (...) concept of an implication structure and its forms are illustrated and explained. Part 3 defines the various logical operations and systematically explores their properties. A generalized account of extensionality and dual implication is given, and the extensionality of each of the operators, as well as the relation of negation and its dual, are given substantial treatment because of the novel results they yield. Part 4 considers modal operators and studies their interaction with logical operators. By obtaining the usual results without the usual assumptions this new approach allows one to give a very simple account of modal logic minus the excess baggage of possible world semantics. (shrink)

In the first half of this paper, I argue that essential properties are intrinsic and that this permits a modal analysis of essence that is immune the sort of objections raised by Fine. In the second half, I argue that intrinsic properties collectively have a certain structure and that this accounts for some observations about essences: that things are essentially determinate; that things often have properties within a certain range essentially; and that the essential properties of things are their core (...) properties. (shrink)

Timothy Williamson gives an original and provocative treatment of deep metaphysical questions about existence, contingency, and change, using the latest resources of quantified modal logic. Contrary to the widespread assumption that logic and metaphysics are disjoint, he argues that modal logic provides a structural core for metaphysics.

According to the modal view, essence admits of reductive analysis in exclusively modal terms. Fine (1994) argues that modal view delivers an inadequate analysis of essence. This paper defends the modal view from Fine's challenge. This defense proceeds by examining the disagreement between Finean primitivists and Quinean eliminativists about essence. In order to model this disagreement, a distinction between essence and a separable concept, nature, is required. This distinction is then used to show that Fine's challenge is misdirected and therefore (...) unsuccessful. (shrink)

Rather infamously, Kit Fine provided a series of counter‐examples which purport to show that attempts to understand essence in terms of metaphysical necessity are ‘fundamentally misguided’. Here, my aim is to put forward a new version of modalism that is, I argue, immune to Fine's counter‐examples. The core of this new modalist account is a sparseness restriction, such that an object's essential properties are those sparse properties it has in every world in which it exists. After first motivating this sparseness (...) restriction, I proceed to show how the resulting sparse modalism circumvents Fine's original counter‐examples. After dismissing a potential problem concerning the membership relation, I conclude that, as at least one form of modalism is viable, the project of understanding essence in terms of metaphysical necessity is not so fundamentally misguided after all. (shrink)

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.

Many philosophers, following David Lewis, believe that we should look to counterpart theory, not quantified modal logic, as a means of understanding modal discourse. We argue that this is a mistake. Significant parts of modal discourse involve either implicit or explicit reference to what is actually the case, raising the question of how talk about actuality is to be represented counterpart-theoretically. By considering possible modifications of Lewis's counterpart theory, including actual modifications due to Graeme Forbes and Murali Ramachandran, we argue (...) that no coherent version of counterpart theory can provide a plausible representation of talk about actuality, and so, we conclude, counterpart theory should be rejected. (shrink)

This paper explores a different version of the counterpart theory - that the actualist can coherently combine a belief in primitive thisness and genuine identity across possible worlds with a version of counterpart theory that permits one to make sense of contingent identity and distinctness, i.e., if the claims that one thing might have been two, and that distinct things might have been identical. The theses called haecceitism is analysed, and it is argued that this doctrine can be reconciled with (...) a version of counterpart theory, and with the coherence of contingent identity. The impact of this account of counterparts and identity on the abstract semantics of quatified modal logic is considered. (shrink)