Online research in philosophy

According to the free-will defence, the exercise of free will by creatures is of such value that God is willing to allow the existence of evil which comes from the misuse of free will. A well-known objection holds that the exercise of free will is compatible with determinism and thus, if God exists, God could have predetermined exactly how the will would be exercised; God could even have predetermined that free will would be exercised sinlessly. Thus, it is held, the free-will defence cannot be used as a partial account of why God should have allowed evil to exist. I investigate this objection using Kripke's apparatus for treating modalities and natural kinds to explore the nature of the incompatibilism required by the free-will defence. I show why the objection fails even if the standard arguments for compatibilism are acceptable. This is because the modality involved in the incompatibilism needed by the free-will defence differs from the modality involved in the compatibilism that is supported by standard compatibilist arguments. Finally, an argument is sketched for a variety of incompatibilism of the kind needed by the free-will defence.

A certain argument has been given in the literature to the effect that generalism (the view that all facts about all possible worlds can (in principle) be given in general terms, that is, without resorting to nonqualitative thisnesses) excludes transworld identitism (the view that there are numerical identities through possible worlds). It follows from this argument, among other things, that transworld identitism entails Scotistic haecceitism (acceptance of nonqualitative thisnesses), and that generalists subscribing to de reism (the view that there are true modal statements de re) are committed to counterpartism (the view that sameness through worlds is not numerical identity). The purpose of this paper is to resist the argument in question by constructing generalist transworld identitism, that is, by providing an account involving identities through possible worlds, without resorting to nonqualitative thisnesses.

William Rowe argues that an essentially perfectly good being could not actualize a world unless there is no better world it could actualize instead. According to Rowe’s Argument from Improvability, if there is an infinite series of ever-improving and actualizable worlds then a perfect being could actualize exactly none of them. I argue that there is no reason to believe Rowe’s argument is sound. It therefore presents no important objection to theism.

In this paper, I consider various arguments to the effect that natural evils are necessary for there to be created agents with free will of the sort that the traditional free-will defence for the problem of moral evil suggests we enjoy – arguments based on the idea that evil-doing requires the doer to use natural means in their agency. I conclude that, despite prima facie plausibility, these arguments do not, in fact, work. I provide my own argument for there being no possible world in which creatures enjoying this sort of freedom exist yet suffer no natural evil, and conclude that the way is thus open for extending the free-will defence to the problem of natural evil. (Published Online February 17 2004).

In this paper, I investigate whether we can use a world-involving framework to model the epistemic states of non-ideal agents. The standard possible-world framework falters in this respect because of a commitment to logical omniscience. A familiar attempt to overcome this problem centers around the use of impossible worlds where the truths of logic can be false. As we shall see, if we admit impossible worlds where “anything goes” in modal space, it is easy to model extremely non-ideal agents that are incapable of performing even the most elementary logical deductions. A much harder, and considerably less investigated challenge is to ensure that the resulting modal space can also be used to model moderately ideal agents that are not logically omniscient but nevertheless logically competent. Intuitively, while such agents may fail to rule out subtly impossible worlds that verify complex logical falsehoods, they are nevertheless able to rule out blatantly impossible worlds that verify obvious logical falsehoods. To model moderately ideal agents, I argue, the job is to construct a modal space that contains only possible and non-trivially impossible worlds where it is not the case that “anything goes”. But I prove that it is impossible to develop an impossible-world framework that can do this job and that satisfies certain standard conditions. Effectively, I show that attempts to model moderately ideal agents in a world-involving framework collapse to modeling either logical omniscient agents, or extremely non-ideal agents.

An important question raised in the Molinist debate is, ‘Given God's access to counterfactual knowledge, could God create a world in which free creatures always refrain from evil?’ An affirmative answer suggests that God cannot possess counterfactual knowledge since such knowledge would allow God to create seemingly more desirable worlds than the actual world. However, Alvin Plantinga has argued that it is at least possible that every possible person is transworld depraved – meaning that each person would perform some wrong actions if any world in which that person is morally free were actualized. I argue that, given an infinite number of possible persons, the probability that everyone is transworld depraved is exceedingly low. In addition, I investigate whether there are enough possible persons vis-à-vis the number of moral choices per person so that God could create worlds like the actual world, except lacking in moral evil.

The ideal world semantics of standard deontic logic identifies our obligations with how we would act in an ideal world. However, to act as if one lived in an ideal world is bad moral advice, associated with wishful thinking rather than well-considered moral deliberation. Ideal world semantics gives rise to implausible logical principles, and the metaphysical arguments that have been put forward in its favour turn out to be based on a too limited view of truth-functional representation. It is argued that ideal world semantics should be given up in favour of other, more plausible uses of possible worlds for modelling normative subject-matter.

One of the most vexing problems in the philosophy of religion is the existence of moral evil in light of an omnipotent and wholly good deity. A popular mode of diffusing the argument from evil lies in the appeal to free will. Traditionally it is argued that there is a strong connection, even a necessary one, between the ability to exercise free will and the occurrence of wrong-doing. Transworld depravity, as characterized by Alvin Plantinga, is a concept which has gone far to explain this relationship. Essentially, the notion of transworld depravity involves the claim that in any world where a person is significantly free that person would, on some occasion, act morally wrongly, or as Plantinga phrases it: ‘If S' were actual, P would go wrong with respect to A’ (where S' is a possible world, P is a person and A is an action). Not only, Plantinga claims, is it possible that there are persons who suffer from transworld depravity, but ‘it is possible that everybody suffers from it’. If transworld depravity obtains, Plantinga notes, God ‘might have been able to create worlds in which moral evil is very considerably outweighed by moral good; but it was not within His power to create worlds containing moral good but no moral evil – and this despite the fact that He is omnipotent’. On this view, God could not instantiate perfect-person essences who would not ever sin. Although Plantinga argues that these instantiated beings are significantly free in that they could have done otherwise (i.e. not sinned), it does seem that his claim about transworld depravity amounts to a claim about transworld depravity amounts to a claim about the existence of a necessary connection obtaining between freedom and evil. For even though it makes sense to claim that an individual may have unactualized dispositions, to claim that everyone, past, present and future, has unactualized dispositions seems to be a significantly different claim. It is therefore difficult to see how this latter claim differs in substance from the claim of a necessary connection obtaining between the capacity for free will and the commission of evil acts.

Plantinga’s Free Will Defense (FWD) employs the following proposition as a premise:◊TD. Possibly, every essence is transworld depraved.I argue that he fails to establish his intended conclusion because the denial of ◊TD is epistemically possible. I then consider an improved version of the FWD which relies on◊TU. Possibly, every essence is transworld untrustworthy.(The notion of transworld untrustworthiness is the might-counterfactual counterpart to Plantinga’s would-counterfactual notion of transworld depravity.) I argue that the denial of ◊TU is also epistemically possible and, therefore, that the improved FWD fares no better than the original at establishing the compatibility of God and evil.

In a possible world framework, an agent can be said to know a proposition just in case the proposition is true at all worlds that are epistemically possible for the agent. Roughly, a world is epistemically possible for an agent just in case the world is not ruled out by anything the agent knows. If a proposition is true at some epistemically possible world for an agent, the proposition is epistemically possible for the agent. If a proposition is true at all epistemically possible worlds for an agent, the proposition is epistemically necessary for the agent, and as such, the agent knows the proposition.

This framework presupposes an underlying space of worlds that we can call epistemic space. Traditionally, worlds in epistemic space are identified with possible worlds, where possible worlds are the kinds of entities that at least verify all logical truths. If so, given that epistemic space consists solely of possible worlds, it follows that any world that may remain epistemically possible for an agent verifies all logical truths. As a result, all logical truths are epistemically necessary for any agent, and the corresponding framework only allows us to model logically omniscient agents. This is a well-known consequence of the standard possible world framework, and it is generally taken to imply that the framework cannot be used to model non-ideal agents that fall short of logical omniscience.

A familiar attempt to model non-ideal agents within a broadly world involving framework centers around the use of impossible worlds where the truths of logic can be false. As we shall see, if we admit impossible worlds where “anything goes” in epistemic space, it is easy to avoid logical omniscience. If any logical falsehood is true at some impossible world, then any logical falsehood may remain epistemically possible for some agent. As a result, we can use an impossible world involving framework to model extremely non-ideal agents that do not know any logical truths.

A much harder, and considerably less investigated challenge is to ensure that the resulting epistemic space can also be used to model moderately ideal agents that are not logically omniscient but nevertheless logically competent. Intuitively, while such agents may fail to rule out impossible worlds that verify complex logical falsehoods, they are nevertheless able to rule out impossible worlds that verify obvious logical falsehoods. To model such agents, we need a construction of a non-trivial epistemic space that partly consists of impossible worlds where not "anything goes". This involves imposing substantive constraints on impossible worlds to eliminate from epistemic space, say, trivially impossible worlds that verify obvious logical falsehoods.

The central aim of this dissertation is to investigate the nature of such non-trivially impossible worlds and the corresponding epistemic spaces. To flag my conclusions, I argue that successful constructions of epistemic spaces that