Aviv Hoffmann

The possible-worlds analysis of propositions identifies a proposition with the set of possible worlds where it is true. This analysis has the hitherto unnoticed consequence that a proposition depends for its existence on the existence of every proposition that entails it. This peculiar consequence places the possible-worlds analysis in conflict with the conjunction of two compelling theses. One thesis is that a phrase of the form ‘the proposition that S’ is a rigid designator. The other thesis is that a proposition which is directly about an object – a singular proposition – depends for its existence on the existence of the object. I defend these theses and conclude that the cost of the possible-worlds analysis is prohibitively high.

The philosophy of modality investigates necessity and possibility, and related notions--are they objective features of mind-independent reality? If so, are they irreducible, or can modal facts be explained in other terms? This volume presents new work on modality by established leaders in the field and by up-and-coming philosophers. Between them, the papers address fundamental questions concerning realism and anti-realism about modality, the nature and basis of facts about what is possible and what is necessary, the nature of modal knowledge, modal logic and its relations to necessary existence and to counterfactual reasoning. The general introduction locates the individual contributions in the wider context of the contemporary discussion of the metaphysics and epistemology of modality.

It seems that every singular proposition implies that the object it is singular with respect to exists. It also seems that some propositions are true with respect to possible worlds in which they do not exist. The puzzle is that it can be argued that there is contradiction between these two principles. In this paper, I explain the puzzle and consider some of the ways one might attempt to resolve it. The puzzle is important because it has implications concerning the way we think about the relationship between a proposition and the claim that the proposition is true.

Metaphysical nihilism is the thesis that there could have been no concrete objects. Thomas Baldwin (1996) offers an argument for metaphysical nihilism. The premisses of the argument purport to provide a procedure of subtraction that can be iterated until we reach a world where no concrete objects exist. Gonzalo Rodriguez-Pereyra (1997) finds fault with Baldwin’s argument, modifies it, and claims to have proved metaphysical nihilism. My primary aim is to show that Rodriguez-Pereyra’s alleged proof rests on a false assumption. The assumption is that, necessarily, if there are no concrete* objects (in the sense Rodriguez-Pereyra defines), then there are no concrete objects. My secondary aim, with which I begin, is to formulate and then strengthen a succinct version of the subtraction argument.

This introductory chapter gives a general survey of the research context, along with brief descriptions of the chapters collected here, indicating how they contribute to the three-year project which provided that context. Focusing on absolute notions of necessity and possibility, the project's principal aims were to explore the most fundamental questions and issues centred on them — ranging from scepticism about modal notions themselves, anti-realist view such as non-cognitivism, and the tenability of any sort of realism about modal facts, through to questions about the metaphysics, logic, and epistemology of modality which any broadly realist view must answer.

My dissertation consists of three essays in the Metaphysics of Modality: In "A Puzzle about Truth and Singular Propositions," I consider two theses that seem to be true and then an argument for the conclusion that they form an inconsistent pair. One thesis is that a proposition that is singular with respect to a given object implies that the object exists. This is so because the proposition predicates something of the object. The other thesis is that some propositions are true with respect to possible worlds in which they do not exist. An example is the negation of the proposition that Socrates is wise. This proposition is true with respect to possible worlds in which Socrates does not exist, but it does not exist in those worlds. ;In "Actualism, Ontological Dependence, and Possible Worlds," I consider Actualism, the doctrine that every possible object is an actual object. Plantinga has argued that the actualist is committed to the existence of unexemplified essences if he analyzes statements of modality by quantifying over possible worlds and over members of their domains. I argue that the actualist is committed to the existence of unexemplified essences even if he paraphrases statements of modality by quantifying only over possible worlds and actual objects. ;In "Possibilism and the Nature of Actuality," I consider Possibilism, the doctrine that there are possible objects that are not actual objects. Possibilism seems to be a coherent ontological doctrine. It is not Meinong's doctrine that there are objects of which it is true to say that there are no such objects. If one fails to distinguish between these two doctrines, then one's attempt to refute Possibilism might amount to an attack on a blatant contradiction. I illustrate this claim by arguing that the distinction between Possibilism and Meinong's doctrine has eluded Plantinga. I then consider the view that Possibilism is a consequence of Lewis's doctrine that 'actual' is an indexical term. I also argue that the sense in which Lewis said that 'actual' is indexical is an esoteric sense of the word, not a sense it ordinarily has