St Anselm (1033-1109) devised an ontological “proof” of the existence of God based on the impossibility of conceiving of God's non-existence. This famous argument inspired a much less-widely known atheistic ontological “proof” of God's non-existence by Melbourne philosopher Douglas Gasking (1911-1994). Juxtaposing Gasking’s argument for the non-existence of God with Anselm’s “proof” brings the basic defect of Anselm’s argument into sharp relief.

The article aims to answer the question whether philosophy of religion can fulfil its research goals, that is discover the essence of religion, find out if any one of them is true and if faith and religious behavior are rational. In the face of a multitude of religions it is difficult to point to any common elements which makes it harder to discover the essence of religion. Trying to prove the consistency of the concept of God as an object of (...) religion and either His/Her existence or non-existence faces similar problems; this makes it impossible to conclusively decide whether religion is true or not. Therefore, it is also difficult to settle whether religious faith is rational or irrational. However, this failure does not deny the cognitive value of philosophy of religion, which can analyze various religious doctrines as it relates to their consistency, truthfulness, or the rationality of following them. (shrink)

This paper is a defense of the view that existence is a property. Since the view is still a minority one, a fair amount of space is allotted to defending it against objections and counter-arguments. Positive arguments aren’t lacking, however, and emerge in the course of the discussion. Not all of the many positive or negative arguments which follow are wholly original—a fact to be expected in this context—but a fair number are, and both sorts of argument are seamlessly interwoven (...) in the warp and woof of what follows. (shrink)

Anselm of Canterbury’s so-called ontological proofs in the Proslogion have puzzled philosophers for centuries. The famous description “something / that than which nothing greater can be conceived” is part and parcel of his argument. Most commentators have interpreted this description as a definition of God. We argue that this view, which we refer to as “definitionism”, is a misrepresentation. In addition to textual evidence, the key point of our argument is that taking the putative definition as what Anselm intended it (...) to be – namely a description of a content of faith – allows getting a clear view of the discursive status and argumentative structure of Proslogion 2–4, as well as making sense of an often neglected part of the argument. (shrink)

In this paper, I present what I call the symmetry conception of God within 1st order, extensional, non-well-founded set theory. The symmetry conception comes in two versions. According to the first, God is that unique being that is universally symmetrical with respect to set membership. According to the second, God is the universally symmetrical set of all sets that are universally symmetrical with respect to set membership. I present a number of theorems, most importantly that any universally symmetrical set is (...) identical to its essence, that show that the two symmetry conceptions intersect with some dominant theological conceptions of God. The theorems also show that both of the symmetry conceptions of God entail that God has a fractal like structure. (shrink)

Atheology, accurately defined by Alvin Plantinga, offers reasons why god’s existence is implausible. Skeptically reasoning that theological arguments for god fail to make their case is one way of leaving supernaturalism in an implausible condition. This ‘rationalist’ atheology appeals to logical standards to point out fallacies and other sorts of inferential gaps. Beyond that methodological marker, few shared tactics characterize atheists and agnostics stalking theological targets. If unbelief be grounded on reason, let atheology start from a theological stronghold: the principle (...) of sufficient reason, a cornerstone of rationality. Seven rules, corollaries to that principle, are enough to show how theological arguments for god repeatedly contravene rationality by perpetuating mysteries, contradictions, begging of questions, pseudo-explanations, and the like. None of these complaints are new, nor has theology been unaware of them. Disorganized atheology has, so far, allowed theology to appear to answer them. Five major arguments for god are systematically analyzed and refuted using these seven rules of rationality, as a preliminary exercise illustrating this re-organized and re-focused rationalist atheology. (shrink)

An argument for the existence of gods given by the Stoic Diogenes of Babylon and reported by Sextus Empiricus appears to be an ancient version of the ontological argument. In this paper I present a new reconstruction of Diogenes' argument that differs in certain important respects from the reconstruction presented by Jacques Brunschwig. I argue that my reconstruction makes better sense of how Diogenes' argument emerged as a response to an attack on an earlier Stoic argument presented by Zeno of (...) Citium. Diogenes' argument as reconstructed here is an example of a modal ontological argument that makes use of the concept of being of such a nature as to exist. I argue that this concept is a modal concept that is based on the Philonian definition of possibility, and thus that Diogenes' argument is a source of important evidence about the use of non-Stoic modalities in the post-Chrysippean Stoa. I conclude by arguing that the objections made against considering Diogenes' argument as ontological are unfounded and that Diogenes' argument clearly resembles modern versions of modal ontological arguments. (shrink)

This paper is a response to Bruce Langtry's criticisms of views advanced in my book *Ontological Arguments and Belief in God*. In particular, the paper discusses his criticisms of "the general objection" to ontological arguments that is developed in that work.

First, I suggest that it is possible to make some further improvements upon the Gödelian ontological arguments that Pruss develops. Then, I argue that it is possible to parody Pruss's Gödelian ontological arguments in a way that shows that they make no contribution towards 'lowering the probability of atheism and raising the probability of theism'. I conclude with some remarks about ways in which the arguments of this paper can be extended to apply to the whole family of Gödelian ontological (...) arguments. (shrink)

Millican (Mind 113(451):437–476, 2004) claims to have detected ‘the one fatal flaw in Anselm’s ontological argument.’ I argue that there is more than one important flaw in the position defended in Millican (Mind 113(451):437–476, 2004). First, Millican’s reconstruction of Anselm’s argument does serious violence to the original text. Second, Millican’s generalised objection fails to diagnose any flaw in a vast range of ontological arguments. Third, there are independent reasons for thinking that Millican’s generalised objection is unpersuasive.

In this article, I discuss Anselmian theism, which is arguably the most widely accepted form of monotheism. First, I introduce the core theses of Anselmian theism and consider its historical and developmental origins. I contend that, despite its name, Anselmian theism might well be older than Anselm. I also claim, supporting my argument by reference to research in the cognitive science of religion, that, contrary to what many think, Anselmian theism might be a natural result of human cognitive development rather (...) than a mere philosophical artefact. Second, in the course of explaining the merits of Anselmian theism, I argue that this doctrine seems to benefit from at least three virtues. Third, I discuss existing arguments against Anselmian theism and maintain that most of them can be classified into three types. Finally, I suggest a novel strategy on the basis of which it is possible to defend Anselmian theism from these arguments. (shrink)

This paper examines the Leibnizian background to Kant's critique of the ontological argument. I present Kant's claim that existence is not a real predicate, already formulated in his pre-critical essay of 1673, as a generalization of Leibniz's reasoning regarding the existence of created things. The first section studies Leibniz's equivocations on the notion of existence and shows that he employs two distinct notions of existence ? one for God and another for created substances. The second section examines Kant's position in (...) his early paper of 1763. My claim is that Kant's view of existence in 1763, namely that it is not a predicate, is strongly related to the logical notion of possibility, formulated by Leibniz and accepted by Kant. (shrink)

Evidential atheism, as espoused by various philosophical atheists, recommends belief that God does not exist on the basis of not just the evidence of which we are aware, but also our overall available evidence. This article identifies a widely neglected problem from potential surprise evidence that undermines an attempt to give a cogent justification of such evidential atheism. In addition, it contends that evidential agnosticism fares better than evidential atheism relative to this neglected problem, and that traditional monotheism has evidential (...) resources, unavailable to evidential atheism, which promise to save it from the fate of evidential atheism. (shrink)

Anselm's Ontological Argument fails, but not for any of the various reasons commonly adduced. In particular, its failure has nothing to do with violating deep Kantian principles by treating ‘exists’ as a predicate or making reference to ‘Meinongian’ entities. Its one fatal flaw, so far from being metaphysically deep, is in fact logically shallow, deriving from a subtle scope ambiguity in Anselm's key phrase. If we avoid this ambiguity, and the indeterminacy of reference to which it gives rise, then his (...) argument is blocked even if his supposed Meinongian extravagances are permitted. Moreover it is blocked in a way which is straightforward and compelling (by contrast with the Kantian objections), and which generalizes easily to other versions of the Ontological Argument. A significant moral follows. Fear of Anselm's argument has been hugely influential in motivating ontological fastidiousness and widespread reluctance to countenance talk of potentially non-existing entities. But if this paper is correct, then the Ontological Argument cannot properly provide any such motivation. Some of the most influential contributions to ontology, from Kant to Russell and beyond, rest on a mistake. (shrink)

I argue that beliefs about what appears possible are justified in much the same way as beliefs about what appears actual. I do so by chisholming, and then modalizing, the epistemic principle associated with phenomenal conservatism. The principle is tested against a number of examples, and it gives the intuitively correct results. I conclude by considering how it can be used to defend two controversial modal arguments, a Cartesian argument for dualism and an ontological argument for the existence of God.

The ontological argument in Anselm’s Proslogion II continues to generate a remarkable store of sophisticated commentary and criticism. However, in our opinion, much of this literature ignores or misrepresents the elegant simplicity of the original argument. The dialogue below seeks to restore that simplicity, with one important modification. Like the original, it retains the form of a reductio, which we think is essential to the argument’s great genius. However, it seeks to skirt the difficult question of whether 'exists' is a (...) genuine predicate by appealing instead to a distinction between having only mediated causal powers and having unmediated causal powers. Pegasus has no unmediated causal powers, but he has mediated causal powers through the thoughts, depictions, and literature in which he figures. This distinction allows us to argue about the existence of God without begging any questions. (shrink)

This paper considers Anselm’s Proslogion argument against a background of historical events that include philosophical disputes between Christian and Jewish polemicists. I argue that the Proslogion argument was addressed, in part, to non-Christian theists and that it offered a response to Jewish polemicists who had argued that the Christian conception of God as an instantiated unity was irrational. Anselm is not trying to convince atheists that there really is a God. He is arguing that the Christian conception of God is (...) logically coherent. (shrink)

The most famous objection to the ontological argument is given in Kant's dictum that existence is not a real predicate. But it is not obvious how this slogan is supposed to relate to the ontological argument. Some, most notably Alvin Plantinga, have even judged Kant's dictum to be totally irrelevant to Anselm's version of the ontological argument. In this paper I argue, against Plantinga and others, that Kant's claim is indeed relevant to Anselm's argument, in the straightforward sense that if (...) the claim is true, then Anselm's argument is unsound. (shrink)

Many versions of the ontological argument have two shortcomings: First, despite the arguments put forward, for example, by Hugh Chandler and Nathan Salmon, they assume that S5 is the correct modal logic for metaphysical modality. Second, despite the classical arguments put forward, for example, by David Hume and Immanuel Kant or the more recent arguments put forward, for example, by John Findlay and Richard Swinburne, they assume that necessary existence is possible. The aim of the paper is to develop an (...) alternative version of the ontological argument that, by an appeal to the logic of ‘actually’, avoids these two shortcomings. The version helps to leave aside unnecessary debates about the modal logic S5 or about the possibility of necessary existence and to focus on the actual challenge for the debate about the ontological argument: the challenge to evaluate the claim that it is possible that God exists. (shrink)

It is often said that the ontological argument fails because it wrongly treats existence as a first-level property or predicate. This has proved a controversial claim, and efforts to evaluate it are complicated by the fact that the words ‘existence is not a property/predicate’ have been used by philosophers to make at least three different negative claims: (a) one about a first-level phenomenon possessed by objects like horses, stones, you and me; (b) another about the logical form of assertions of (...) existence; and (c) still another about a second-level phenomenon possessed by concepts when they are instantiated. I argue that only the last of these claims, originally voiced by Kant, is both plausible and relevant to the ontological argument. And I try to show that the relevance of the Kantian version comes from its providing the underlying justification for a different, and far less controversial, criticism of the ontological argument. (shrink)

It is often said that the ontological argument fails because it wrongly treats existence as a first-level property or predicate. This has proved a controversial claim, and efforts to evaluate it are complicated by the fact that the words ‘existence is not a property/predicate’ have been used by philosophers to make at least three different negative claims: (a) one about a first-level phenomenon possessed by objects like horses, stones, you and me; (b) another about the logical form of assertions of (...) existence; and (c) still another about a second-level phenomenon possessed by concepts when they are instantiated. I argue that only the last of these claims, originally voiced by Kant, is both plausible and relevant to the ontological argument. And I try to show that the relevance of the Kantian version comes from its providing the underlying justification for a different, and far less controversial, criticism of the ontological argument. (shrink)

In our contribution to this special issue on thought experiments and mathematics, we aim to insert theology into the conversation. There is a very long tradition of substantial inquiries into the relationship between theology and mathematics. Platonism has been provoking a consolidation of that tradition to some extent in recent decades. Accordingly, in this paper we look at James R. Brown’s Platonic account of thought experiments. Ultimately, we offer an analysis of some of the merits and perils inherent in framing (...) the use of thought experiments in mathematics and theology in terms of Platonism. (shrink)

My aim in this paper is to critically assess Plantinga’s modal ontological argument for existence of God, such as it is presented in the book “The Nature of Necessity”. Plantinga tries to show that this argument is valid and it is rational to believe in his main premise, namely “there is a possible world in which maximal greatness is instantiated”. On the one hand, I want to show that this argument is logically valid in both systems B and S5 of (...) modal logic. On the other hand, I think that this argument is not a good argument to show that God exists or that it is rational to believe in God. (shrink)

Daniel Dombrowski contends that: a number of versions of the ontological argument [OA] are sound; the deity whose existence is most well established by the OA is the deity picked out by Hartshorne’s neoclassical concept of God; skeptics who insist that the OA only shows that “if God exists, then God exists necessarily” are contradicting themselves, and the OA is worth a great deal since it effectively demonstrates the rationality of theism. I argue that theses and are clearly false and (...) offer a presumptive case for thinking that is false, since, absent an independent proof of God’s existence, the theist appears to be in no position to rationally assert. I also show that the Anselmian OA harmonizes rather poorly with a Hartshornean neoclassical conception of God. I conclude by assessing the philosophical and dialectical worth of ontological arguments vis-à-vis establishing the rationality of theism. (shrink)

In this article I concentrate on three issues. First, Graham Oppy’s treatment of the relationship between the concept of infinity and Zeno’s paradoxes lay bare several porblems that must be dealt with if the concept of infinity is to do any intellectual work in philosophy of religion. Here I will expand on some insightful remarks by Oppy in an effort ot adequately respond to these problems. Second, I will do the same regarding Oppy’s treatment of Kant’s first antinomy in the (...) first critique, which deals in part with the question of whether the world had a beginning in time or if time extends infinitely into the past. And third, my examination of these two issues will inform what I have to say regarding a key topic in philosophy of religion: the question regarding the proper relationship between the infinite and the finite in the concept of God. (shrink)

Cosmological arguments for the existence of God face a gap problem. This is the problem of convincingly arguing that their intermediate conclusions that some first cause or necessary being exists provide evidence for their main conclusion that God exists. This paper develops a simple and innovative approach to solving this problem, applicable to many cosmological arguments. According to the proposal, the best explanation for why the necessary being is found to have necessary existence is that it is a perfect being. (...) Since a perfect being would be God, the intermediate conclusions of the relevant cosmological arguments provide abductive evidence for their main conclusions. (shrink)

Saint Anselm’s ontological argument for the existence of God, formulated nearly a millennium ago, continues to bedevil philosophers. There is no consensus about what, if anything, is wrong with it. Some philosophers insist that the argument is invalid. Others concede its validity but insist that it is unsound. A third group of philosophers maintain that Anselm begs the question. It has been argued, for example, that Anselm’s use of the name “God” in a premise assumes (or presupposes) precisely what has (...) to be proved, namely, that God exists. Another tack is to argue that the premise that God is possible implies or presupposes the conclusion that God exists, or perhaps that, in order to know that God is possible, one must know that God exists. Just as no consensus has emerged about what, if anything, is wrong with Anselm’s argument, no consensus has emerged about whether the argument begs the question. In this essay, I focus on the second type of claim made by the third group of philosophers—the claim that Anselm’s argument begs the question by assuming, as a premise, that God is possible. In particular, I focus on the argument of the contemporary analytic philosopher William Rowe, who has claimed, since at least 1975, that Anselm’s ontological argument begs the question. I argue that Rowe’s argument fails. (shrink)

By defining God as a maximally great being Plantinga is able to devise an ontological argument which validly infers from the possibility of there being a God that there necessarily is a God. In this article I shall argue that Plantinga’s argument is not only question-begging, as several critics have complained, but circular in the strongest sense of the term. Based on reflections on the relation between the notions of coherence and possibility, I shall defend two arguments, previously proposed by (...) Tooley and Guleserian, against the existence of a maximally great being. The article concludes with some critical remarks on Plantinga’s rationale for conceiving God as such a being. (shrink)

This paper deals with some metaphilosophical aspects of the modal ontological argument originating from Charles Hartshorne. One of the specific premises of the argument expresses the idea that the existence of God is not contingent. Several well-known versions of the argument have been formulated that appeal to different ways of clarifying the latter. A question arises: which of the formally correct and relevant versions is proper or basic? The paper points to some criteria of formal correctness, and distinguishes two types (...) of relevance for these versions: strong and weak. Its aim is to furnish a strictly worked out answer to the question, taking into account each of these types. As a result, a very simple, formally correct and relevant version of the modal ontological argument is formulated. The results obtained are also used to criticize a popular belief about the relations in which the main versions of the modal ontological argument stand to one another. (shrink)

We offer a reading of Anselm's Ontological Argument inspired by Wittgenstein which focuses on the fact that the “argument” occurs in a prayer addressed to God, making it a strange argument since as a prayer it seems to presuppose its conclusion. We reconstruct the argument as expressive. Within the religious perspective, the issues are to be focused on the right object not to present an argument for the existence of God. While this sort of reading lets us understand much about (...) the argument, it also opens new avenues of criticism, one of which is the problem of worship. (shrink)

An e-book devoted to 13 critical discussions of Thaddeus Metz's book "Meaning in Life: An Analytic Study", with a lengthy reply from the author. -/- Preface Masahiro Morioka i -/- Précis of Meaning in Life: An Analytic Study Thaddeus Metz ii-vi -/- Source and Bearer: Metz on the Pure Part-Life View of Meaning Hasko von Kriegstein 1-18 -/- Fundamentality and Extradimensional Final Value David Matheson 19-32 -/- Meaningful and More Meaningful: A Modest Measure Peter Baumann 33-49 -/- Is Meaning in (...) Life Comparable?: From the Viewpoint of ‘The Heart of Meaning in Life’ Masahiro Morioka 50-65 -/- Agreement and Sympathy: On Metz’s Meaning in Life Sho Yamaguchi 66-89 -/- Metz’s Quest for the Holy Grail James Tartaglia 90-111 -/- Meaning without Ego Christopher Ketcham 112-133 -/- Death and the Meaning of Life: A Critical Study of Metz’s Meaning in Life Fumitake Yoshizawa 134-149 -/- Metz’ Incoherence Objection: Some Epistemological Considerations Nicholas Waghorn 150-168 -/- Meaning in Consequences Mark Wells 169-179 -/- Defending the Purpose Theory of Meaning in Life Jason Poettcker 180-207 -/- Review of Thaddeus Metz’s Meaning in Life Minao Kukita 208-214 -/- A Psychological Model to Determine Meaning in Life and Meaning of Life Yu Urata 215-227 -/- Assessing Lives, Giving Supernaturalism Its Due, and Capturing Naturalism: Reply to 13 Critics of Meaning in Life Thaddeus Metz 228-278 . (shrink)

A polemical account of Australian philosophy up to 2003, emphasising its unique aspects (such as commitment to realism) and the connections between philosophers' views and their lives. Topics include early idealism, the dominance of John Anderson in Sydney, the Orr case, Catholic scholasticism, Melbourne Wittgensteinianism, philosophy of science, the Sydney disturbances of the 1970s, Francofeminism, environmental philosophy, the philosophy of law and Mabo, ethics and Peter Singer. Realist theories especially praised are David Armstrong's on universals, David Stove's on logical probability (...) and the ethical realism of Rai Gaita and Catholic philosophers. In addition to strict philosophy, the book treats non-religious moral traditions to train virtue, such as Freemasonry, civics education and the Greek and Roman classics. (shrink)

This paper examines "moderate modal skepticism", a form of skepticism about metaphysical modality defended by Peter van Inwagen in order to blunt the force of certain modal arguments in the philosophy of religion. Van Inwagen’s argument for moderate modal skepticism assumes Yablo's (1993) influential world-based epistemology of possibility. We raise two problems for this epistemology of possibility, which undermine van Inwagen's argument. We then consider how one might motivate moderate modal skepticism by relying on a different epistemology of possibility, which (...) does not face these problems: Williamson’s (2007: ch. 5) counterfactual-based epistemology. Two ways of motivating moderate modal skepticism within that framework are found unpromising. Nevertheless, we also find a way of vindicating an epistemological thesis that, while weaker than moderate modal skepticism, is strong enough to support the methodological moral van Inwagen wishes to draw. (shrink)

The Evil-god challenge attempts to undermine classical monotheism by contending that because belief in an omnipotent, omniscient, omni-malevolent God (the Evil-god hypothesis) is similarly reasonable to belief in an omnipotent, omniscient, omnibenevolent God (the Good-god hypothesis), the onus is on the classical monotheist to justify their belief in the latter hypothesis over the former hypothesis. This thesis explores the Evil-god challenge by detailing the history and recent developments of the challenge; distinguishing between different types of Evil-god challenge; responding to several (...) prominent objections to the challenge; and applying the challenge to philosophical arguments for the existence of God. I also evaluate the efficacy of parallel arguments as a whole, with a view to determining the parameters of the Evil-god challenge by laying out exactly which theistic positions are irrevocably undermined by it. I conclude that the Evil-god challenge effectively damages several arguments for the existence of God and, in cases where it does not straightforwardly do so, it nevertheless reduces the Good-god theist’s belief to one or more intuitions. (shrink)

This paper explores early Australasian philosophy in some detail. Two approaches have dominated Western philosophy in Australia: idealism and materialism. Idealism was prevalent between the 1880s and the 1930s, but dissipated thereafter. Idealism in Australia often reflected Kantian themes, but it also reflected the revival of interest in Hegel through the work of ‘absolute idealists’ such as T. H. Green, F. H. Bradley, and Henry Jones. A number of the early New Zealand philosophers were also educated in the idealist tradition (...) and were influential in their communities, but produced relatively little. In Australia, materialism gained prominence through the work of John Anderson, who arrived in Australia in 1927, and continues to be influential. John Anderson had been a student of Henry Jones, who might therefore be said to have influenced both main strands of Australian philosophical thought. (shrink)

I argue that if one accepts the existence of a multiverse model that posits the existence of all possible realities, and also wants to maintain the existence of a God who exemplifies omnipotence, omnibenevolence and omniscience then the brand of God that he should ascribe to is one of deism rather than the God of classical theism. Given the nature and construct of such a multiverse, as well as some specific interpretations of the divine attributes, this points us to a (...) God who is inactive in the natural world, not one who is. This deistic conception of God not only sits better with the idea of a multiverse and is also compatible with many arguments for theism, but it also responds to certain arguments for atheism better than the classical conception of God. I ultimately argue that deism ought to be given consideration as a plausible alternative conception to the classical conception of God, given the acceptance of a multiverse. (shrink)

Tässä artikkelissa käsittelen Descartesin ikuisten totuuksien välttämättömyyteen liittyvää ongelmaa. Teoksessa Mietiskelyjä ensimmäisestä filosofiasta (1641–1642) Descartes nostaa esiin käsitteen ikuisista totuuksista, käyttäen esimerkkinään kolmiota. Kolmion muuttumattomaan ja ikuiseen luontoon kuuluu esimerkiksi, että sen kolme kulmaa ovat yhteenlaskettuna 180°. Se on totta kolmiosta, vaikka yhtään yksittäistä kolmiota ei olisi koskaan ollutkaan olemassa. Eräät ajattelemieni asioiden piirteet ovat siis Descartesin mukaan ajattelustani riippumattomia. Ikuisia totuuksia ovat ainakin matemaattiset ja geometriset tosiseikat sekä ristiriidan laki. Samoin Descartesin kuuluisa lause “ajattelen, siis olen” lukeutuu ikuisten totuuksien (...) joukkoon. Descartesin ikuiset totuudet olisivatkin siis loogisesti välttämättömiä. Niillä on kyseinen olemus riippumatta ulkoisten kohteiden olemassaolosta tai siitä, ajattelenko niitä lainkaan. Kuitenkin kirjeenvaihdossaan Descartes pitää itsepintaisesti kiinni käsityksestään, että ikuiset totuudet ovat Jumalan vapaasti luomia ja Jumala olisi voinut luoda ne erilailla. Näin ollen luodut ikuiset totuudet eivät tarkkaan ottaen olisikaan välttämättömiä vaan kontingentteja. Ne voisivat olla myös toisella tavalla. Artikkelin alkuun esittelen Descartesin modaalista metafysiikkaa sekä luotujen ikuisten totuuksien kontingenttiudesta seuraavia tulkinnallisia vaikeuksia. Tämän jälkeen pureudun kolmeen erilaiseen ratkaisuyritykseen kommentaarikirjallisuudessa (Frankfurt 1977; Curley 1984 & Bennett 1994) ja osoitan, miksi ne eivät riitä vastaamaan ongelmaan. Lopussa vedän johtopäätöksiä ja luonnostelen mahdollisen ratkaisun. (shrink)