Consider the reasonable axioms of subjunctive conditionals if p → q1 and p → q2 at some world, then p → at that world, and if p1 → q and p2 → q at some world, then → q at that world, where p → q is the subjunctive conditional. I show that a Lewis-style semantics for subjunctive conditionals satisfies these axioms if and only if one makes a certain technical assumption about the closeness relation, an assumption that is probably (...) false. I will then show how Lewisian semantics can be modified so as to assure and even when the technical assumption fails, and in fact in one sense the semantics actually becomes simpler then. (shrink)

A novel treatment of an issue central to much current work in metaphysics: the distinction between the essential and accidental properties of individuals. Mackie challenges widely held views, and arrives at what she calls "minimalist essentialism," an unorthodox theory according to which ordinary individuals have relatively few interesting essential properties. Mackie's clear and accessible discussions of issues surrounding necessity and essentialism mean that the book will appeal as much to graduate students as it will to seasoned metaphysicians.

In the course of the discussion, Professor Quine pinpoints the difficulties involved in translation, brings to light the anomalies and conflicts implicit in our ...

Preface In these days, an anthology on the topic of possible worlds hardly needs justification. No issue has given rise to as much literature in the past ...

It is common lore that standard, Kripke-style semantics for quantified modal logic is incompatible with the view that no individual may belong to more than one possible world, a view that seems to require a counterpart-theoretic semantics instead. Strictly speaking, however, this thought is wrong-headed. This note explains why.

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. (shrink)

Comparative overall similarity lies at the basis of a lot of recent metaphysics and epistemology. It is a poor foundation. Overall similarity is supposed to be an aggregate of similarities and differences in various respects. But there is no good way of combining them all.

This book, written by one of philosophy's pre-eminent logicians, argues that many of the basic assumptions common to logic, philosophy of mathematics and metaphysics are in need of change. It is therefore a book of critical importance to logical theory. Jaakko Hintikka proposes a new basic first-order logic and uses it to explore the foundations of mathematics. This new logic enables logicians to express on the first-order level such concepts as equicardinality, infinity, and truth in the same language. The famous (...) impossibility results by Gödel and Tarski that have dominated the field for the last sixty years turn out to be much less significant than has been thought. All of ordinary mathematics can in principle be done on this first-order level, thus dispensing with the existence of sets and other higher-order entities. (shrink)

The so-called New Theory of Reference (Marcus, Kripke etc.) is inspired by the insight that in modal and intensional contexts quantifiers presuppose nondescriptive unanalyzable identity criteria which do not reduce to any descriptive conditions. From this valid insight the New Theorists fallaciously move to the idea that free singular terms can exhibit a built-in direct reference and that there is even a special class of singular terms (proper names) necessarily exhibiting direct reference. This fallacious move has been encouraged by a (...) mistaken belief in the substitutional interpretation of quantifiers, by the myth of thede re reference, and a mistaken assimilation of direct reference to ostensive (perspectival) identification. Thede dicto vs.de re contrast does not involve direct reference, being merely a matter of rule-ordering (scope).The New Theorists' thesis of the necessity of identities of directly referred-to individuals is a consequence of an unmotivated and arbitrary restriction they tacitly impose on the identification of individuals. (shrink)

The logics of the modal operators and of the quantifiers show striking analogies. The analogies are so extensive that, when a special class of entities (possible worlds) is postulated, natural and non-arbitrary translation procedures can be defined from the language with the modal operators into a purely quantificational one, under which the necessity and possibility operators translate into universal and existential quantifiers. In view of this I would be willing to classify the modal operators as ‘disguised’ quantifiers, and I think (...) that wholehearted acceptance of modal language should be considered to carry ontological commitment to something like possible worldsConsidered as two languages for describing the same subject matter, modal and purely quantificational languages show interesting differences. The operator variables of the purely quantificational languages give them more power than the modal languages, but at least some of the functions performed by the apparatus of operator variables are also performed, in a more primitive and less versatile way, by actuality operators in modal languages.A final note. Quine has written much on the inter-relations of quantifiers, identity, and the concept of existence. These, he holds, form a tightly knit conceptual system which has been evolved to a high point of perfection, but which might conceivably change yet further.29 He has also dropped hints about the possibility of a simpler, primitive or defective version of the system, in which the quantifiers are not backed up in their accustomed way by the concept of identity. He has dubbed the resulting concept a ‘pre-individuative’ concept of existence, or a concept of ‘entity without identity.’ What would a pre-individuative concept of existence be like? Quine has sometimes suggested that one might be embodied in the use of mass nouns, but the identity concept is used in connection with stuff as well as with things: “is that the same coffee that was in the cup last night?” I would submit that modality provides a better case. In view of the comparative weakness of modal languages, compared to the explicitly quantificational ones Quine takes as canonical, there is surely a sense in which the concept of existence embodied in that disguised existential quantifier, the possibility operator, is a defective one. And as we have seen, one of the differences between modal operators and explicit quantifiers is that modal operators cannot be joined with the identity predicate in the way quantifiers with operator variables can. Surely, then, there is a sense in which ordinary speech, as opposed to the metaphysical theorizing of a Leibniz or a David Lewis, conceives of possible worlds as entities without identity. (shrink)

David Lewis's modal realism claims that nothing can exist in more than one world or time, and that statements about how something would have been are to be analysed in terms of its counterpart. I first explain why the counterpart relation depends on de re modal statements in an intensional language, so that intuitive properties of similarity relations cannot be used to show that the counterpart relation is not an equivalence relation. I then look at test sentences in (the intensional) (...) natural language, and show that none of them provide compelling evidence that a counterpart semantics is needed. (shrink)

Identities formed with proper names may be contingent. this claim is made first through an example. the paper then develops a theory of the semantics of concrete things, with contingent identity as a consequence. this general theory lets concrete things be made up canonically from fundamental physical entities. it includes theories of proper names, variables, cross-world identity with respect to a sortal, and modal and dispositional properties. the theory, it is argued, is coherent and superior to its rivals, in that (...) it stems naturally from a systematic picture of the physical world. (shrink)

Analytic philosophy has recently demonstrated a revived interest in metaphysical problems about possibility and necessity. Graeme Forbes here provides a careful description of the logical background of recent work in this area for those who may be unfamiliar with it, moving on to d discuss the distinction between modality de re and modality de dicto and the ontological commitments of possible worlds semantics. In addition, Forbes offers a unified theory of the essential properties of sets, organisms, artefacts, substances, and events, (...) based on the doctrine that identity facts must be intrinsically grounded, and analyzes and rejects apparent counterexamples to this doctrine. (shrink)

If a counterpart theorist’s understanding of the counterpart relation precludes haecceitist differences between possible worlds, as David Lewis’s does, how can he admit haecceitist possibilities, as Lewis wants to? Lewis (Philosophical Review 3–32, 1983; On the Plurality of Worlds, 1986) devised what he called a ‘cheap substitute for haecceitism,’ which would allow for haecceitist possibilities while preserving the counterpart relation as a purely qualitative one. The solution involved lifting an earlier (Journal of Philosophy 65(5):113–126, 1968; 68(7):203–211, 1971) ban on there (...) being multiple intra-world counterparts. I argue here that serious problems for ‘cheap haecceitism’ lurk very close to its surface, and they emerge when we consider the effect of using an actuality operator in our language. Among the most serious of the problems is the result that being the case in some possible world does not always suffice for possibly being the case. The result applies to any counterpart theory that employs a purely qualitative counterpart relation. The upshot is that if we are to admit haecceitist possibilities, as we should, then we must reject any purely qualitative relation as the one involved in the analysis of what might have been for an individual. (shrink)

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)

Nathan Salmon, in his paper Trans-World Identification and Stipulation (1996) purports to give a proof for the claim that facts concerning trans-world identity cannot be conceptually reduced to general facts. He calls this claim ‘Extreme Haecceitism.’ I argue that his proof is fallacious. However, I also contend that the analysis and ultimate rejection of his proof clarifies the fundamental issues that are at stake in the debate between the reductionist and haecceitist solutions to the problem of trans-world identity. These issues (...) hinge on the ability of modal logic and possible worlds semantics to draw a hard and fast distinction between the logic and the metaphysics of modal logic. I shall claim that the considerations in this paper call into question the viability of such a distinction. (shrink)

It is sometimes said that no living philosopher is a genuine modal realist. This is no doubt an exaggeration. But at least this much is true: while we all partake of possible world talk when philosophizing, most of us regard this talk as incurring no commitment to a plurality of concrete worlds.

The most commonly heard proposals for reducing possible worlds to language succumb to a simple cardinality argument: it can be shown that there are more possible worlds than there are linguistic entities provided by the proposal. In this paper, I show how the standard proposals can be generalized in a natural way so as to make better use of the resources available to them, and thereby circumvent the cardinality argument. Once it is seen just what the limitations are on these (...) more general proposals, it can be clearly seen where the real difficulty lies with any attempt to reduce possible worlds to language. Roughly, the difficulty is this: no actual language could have the descriptive resources needed to represent all the ways things might have been. I conclude by arguing that this same difficulty spells doom for any nominalist or conceptualist proposal for reducing possible worlds. (shrink)

Contemporary hybrid logic is based on the idea of using formulas as terms, an idea invented and explored by Arthur Prior in the mid-1960s. But Prior’s own work on hybrid logic remains largely undiscussed. This is unfortunate, since hybridisation played a role that was both central to and problematic for his philosophical views on tense. In this paper I introduce hybrid logic from a contemporary perspective, and then examine the role it played in Prior’s work.

Accounts of propositions as sets of possible worlds have been criticized for conflating distinct impossible propositions. In response to this problem, some have proposed to introduce impossible worlds to represent distinct impossibilities, endorsing the thesis that impossible worlds must be of the same kind; this has been called the parity thesis. I show that this thesis faces problems, and propose a hybrid account which rejects it: possible worlds are taken as concrete Lewisian worlds, and impossibilities are represented as set-theoretic constructions (...) out of them. This hybrid account (1) distinguishes many intuitively distinct impossible propositions; (2) identifies impossible propositions with extensional constructions; (3) avoids resorting to primitive modality, at least so far as Lewisian modal realism does. (shrink)

This book, written by one of philosophy's pre-eminent logicians, argues that many of the basic assumptions common to logic, philosophy of mathematics and metaphysics are in need of change. It is therefore a book of critical importance to logical theory. Jaakko Hintikka proposes a new basic first-order logic and uses it to explore the foundations of mathematics. This new logic enables logicians to express on the first-order level such concepts as equicardinality, infinity, and truth in the same language. The famous (...) impossibility results by Gödel and Tarski that have dominated the field for the last sixty years turn out to be much less significant than has been thought. All of ordinary mathematics can in principle be done on this first-order level, thus dispensing with the existence of sets and other higher-order entities. (shrink)

_Philosophical Perspectives Volume 20, Metaphysics_, contains over 15 articles from leading philosophers of Metaphysics. Brings together original essays by some of the foremost thinkers in the field, among them Theodore Sider, Peter Van Inwagen and J.R.G. Williams Explores such topics as infinity and causation, the nature and epistemology of modality, and the persistence of objects through relativistic time.

I argue that most counterfactuals are false.

While many are impressed with the utility of possible worlds in linguistics and philosophy, few can accept the modal realism of David Lewis, who regards possible worlds as sui generis entities of a kind with the concrete world we inhabit.1 Not all uses of possible worlds require exotic ontology. Consider, for instance, the use of Kripke models to establish formal results in modal logic. These models contain sets often regarded for heuristic reasons as sets of “possible worlds”. But the “worlds” (...) in these sets can be anything at all; they can be numbers, or people, or sh. The set of worlds, together with the accessibility relation and the rest of the model, is used as a purely formal structure.2 One can even go beyond establishing results about formal systems and apply Kripke models to English, as Charles Chihara has recently argued.3 Chihara shows, for instance, how to use Kripke models (plus primitive modal notions) to give an account of validity for English modal sentences. In other cases worlds are not really needed at all. It is often vivid to give a counterexample thus: “There is a possible world in which P. Since your theory implies that in all worlds, not-P, your theory is wrong.” But the counterexample could just as easily be given using modal operators: “Possibly, P. Since your theory implies that it is necessary that not-P, your theory is wrong.”. (shrink)