Several themes of David Lewis's theory of counterfactuals, especially their sensitivity to context, pave the way for a viable theory of non-trivial counterpossibles. If Lewis was successful in defending his account against the early objections, a semantics of counterpossibles can be defended from similar objections in the same way. The resulting theory will be extended to address 'might' counterfactuals and questions about the relative "nearness" of impossible worlds.

Plausibly, no agent ever performs an action without some desire to perform that action. If so, a regress argument shows that, given incompatibilism, we are only rarely free. The argument sidesteps recent objections to this thesis.

A recently advanced argument for purgatory hinges on the need for complete sanctification before one can enter heaven. The argument has a modal gap.The gap can be exploited to fashion a competing account of how sanctification occurs in the afterlife according to which it is in part a heavenly process.The competing account usefully complicates the overall case for purgatory and raises questions about how the notion ought to be understood.

The best arguments for possible worlds as states of affairs furnish us with equally good arguments for impossible worlds of the same sort. I argue for a theory of impossible worlds on which the impossible worlds correspond to maximal inconsistent classes of propositions. Three objections are rejected. In the final part of the paper, I present a menu of impossible worlds and explore some of their interesting formal properties.

The theory of possible worlds has permeated analytic philosophy in recent decades, and its best versions have a consequence which has gone largely unnoticed: in addition to the panoply of possible worlds, there are a great many impossible worlds. A uniform ontological method alone should bring the friends of possible worlds to adopt impossible worlds, I argue, but the theory's applications also provide strong incentives. In particular, the theory facilitates an account of counterfactuals which avoids several of the implausible results (...) of David Lewis's account, and it paves the way for the analogues of Kripkean semantics for epistemic and relevant logics. On the theories of possible worlds as abstract objects, worlds bear a strong resemblance to propositions. I contend that if there are distinct necessarily false propositions, then there are likewise distinct impossible worlds. However, one who regards possible worlds as concrete objects must not recognize impossible worlds, in part because concrete worlds cannot misrepresent certain features of reality, as some impossible worlds must. Accordingly, I defend and develop a theory of impossible worlds as maximal impossible states of affairs. Impossible worlds perform admirably in the analysis of counterfactuals with impossible antecedents. I argue that, contrary to standard accounts, not all counterpossibles are trivially true, and I develop a Lewis-style semantics which allows this result. The point is crucial, since many views presuppose that some counterpossibles are substantive philosophical truths. Finally, I show that impossible worlds hold great promise for doxastic and relevant logics. Epistemic logic needs a domain of propositions which is not closed under strict implication to avoid the problem of logical omniscience, and relevant logic needs such a domain to avoid the famous paradoxes of implication. In sum, impossible world theory promises natural, elegant solutions to philosophical problems in numerous areas where possible worlds alone flounder. These solutions come to most possible world theorists at no cost, since the existence of impossible worlds is entailed by theses they already hold. (shrink)

Whether certain objects compose a whole at a given time does not seem to depend on anything other than the character of those objects and the relations between them. This observation suggests a far-reaching constraint on theories of composition. One version of the constraint has been explicitly adopted by van Inwagen and rules out his own answer to the composition question. The constraint also rules out the other well-known moderate answers that have so far been proposed.

Plausibly, if an object persists through time, then its later existence must be caused by its earlier existence. Many theists endorse a theory of continuous creation, according to which God is the sole cause of a creature's existence at a given time. The conjunction of these two theses rather unfortunately implies that no object distinct from God persists at all. What strategies for resolving this difficulty are available? (Published Online April 7 2006).