In “God of the Gaps: A Neglected Reply to God’s Stone Problem”, Jc Beall and A. J. Cotnoir offer a gappy solution to the paradox of (unrestricted) omnipotence that is typified by the classic stone problem. Andrew Tedder and Guillermo Badia, however, have recently argued that this solution could not be extended to a more serious Curry-like version of the paradox. In this paper, we show that such a gappy solution does extend to it.

Beall and Cotnoir (2017) argue that theists may accept the claim that God's omnipotence is fully unrestricted if they also adopt a suitable nonclassical logic. Their primary focus is on the infamous Stone problem (i.e., whether God can create a stone too heavy for God to lift). We show how unrestricted omnipotence generates Curry‐like paradoxes. The upshot is that Beall and Cotnoir only provide a solution to one version of the Stone problem, but that unrestricted (...) omnipotence generates other problems which they do not adequately address. (shrink)

Many people who claim that evolution and theism are in tension assume that God, being omnipotent, could create life in different ways. For instance, Paul Draper has argued that the fact that life evolved on earth supports naturalism over theism. However, for there to be a probabilistic tension between naturalism and theism, because of the fact of evolution, a certain background assumption must be true, namely, that God could have made biological organisms and species through an act of Genesis-style special (...) creation, or some combination of evolution and special creation. But that background assumption is potentially faulty. Why? Because special creation presupposes that biological organisms and species are spatiotemporally unrestricted entities, and if the dominant paradigm in biology, and philosophy of biology, on the ontological status of organisms and species is correct, then they are spatiotemporally restricted entities. (shrink)

In ‘Currying omnipotence: A reply to Beall and Cotnoir’, Andrew Tedder and Guillermo Badia argue that Jc Beall and A. J. Cotnoir’s gappy solution to the traditional paradox of unrestricted omnipotence does not extend to a Curry-like version of the paradox. In this paper, we show that it does extend to it.

In this paper I argue that composition as identity entails unrestricted composition. I also briefly consider a new take on the special composition question.

Semantic interpretations of both natural and formal languages are usually taken to involve the specification of a domain of entities with respect to which the sentences of the language are to be evaluated. A question that has received much attention of late is whether there is unrestricted quantification, quantification over a domain comprising absolutely everything there is. Is there a discourse or inquiry that has absolute generality? After framing the debate, this article provides an overview of the main arguments (...) for and against the possibility of unrestricted quantification, highlighting some of the broader implications of the debate. (shrink)

Standard animalists are committed to a stringent form of restricted composition, thereby denying the existence of brains, hands, and other proper parts of an organism . One reason for positing this near-nihilistic ontology comes from various challenges to animalism such as the Thinking Parts Argument, the Unity Argument, and the Argument from the Problem of the Many. In this paper, I show that these putatively distinct arguments are all instances of a more general problem, which I call the ‘Too Many (...) Candidates Problem’ . Given my formulation of the problem, it is evident that standard animalists are mistaken in believing that restricting composition is the only solution. I show that there is another option for solving the TMC. The advantage of such a position, which I call ‘unrestricted animalism’, is that it is compatible with unrestricted composition and the existence of brains and other proper parts of an organism. I conclude by sketching several strategies one can take regarding this latter solution to the TMC. (shrink)

It is fortunate for my purposes that English has the two words ‘almighty’ and ‘omnipotent’, and that apart from any stipulation by me the words have rather different associations and suggestions. ‘Almighty’ is the familiar word that comes in the creeds of the Church; ‘omnipotent’ is at home rather in formal theological discussions and controversies, e.g. about miracles and about the problem of evil. ‘Almighty’ derives by way of Latin ‘omnipotens’ from the Greek word ‘ pantokratōr ’; and both this (...) Greek word, like the more classical ‘ pankratēs ’, and ‘almighty’ itself suggest God's having power over all things. On the other hand the English word ‘omnipotent’ would ordinarily be taken to imply ability to do everything; the Latin word ‘omnipotens’ also predominantly has this meaning in Scholastic writers, even though in origin it is a Latinization of ‘ pantocratōr ’. So there already is a tendency to distinguish the two words; and in this paper I shall make the distinction a strict one. I shall use the word ‘almighty’ to express God's power over all things, and I shall take ‘omnipotence’ to mean ability to do everything. (shrink)

Semantic theories based on a hierarchy of types have prominently been used to defend the possibility of unrestricted quantification. However, they also pose a prima facie problem for it: each quantifier ranges over at most one level of the hierarchy and is therefore not unrestricted. It is difficult to evaluate this problem without a principled account of what it is for a quantifier to be unrestricted. Drawing on an insight of Russell’s about the relationship between quantification and (...) the structure of predication, we offer such an account. We use this account to examine the problem in three different type-theoretic settings, which are increasingly permissive with respect to predication. We conclude that unrestricted quantification is available in all but the most permissive kind of type theory. (shrink)

There are four broad grounds upon which the intelligibility of quantification over absolutely everything has been questioned—one based upon the existence of semantic indeterminacy, another on the relativity of ontology to a conceptual scheme, a third upon the necessity of sortal restriction, and the last upon the possibility of indefinite extendibility. The argument from semantic indeterminacy derives from general philosophical considerations concerning our understanding of language. For the Skolem–Lowenheim Theorem appears to show that an understanding of quanti- fication over absolutely (...) everything (assuming a suitably infinite domain) is semantically indistinguishable from the understanding of quantification over something less than absolutely everything; the same first-order sentences are true and even the same first-order conditions will be satisfied by objects from the narrower domain. From this it is then argued that the two kinds of understanding are indistinguishable tout court and that nothing could count as having the one kind of understanding as opposed to the other. (shrink)

Many of those who accept the universalist thesis that mereological composition is unrestricted also maintain that the folk typically restrict their quantifiers in such a way as to exclude strange fusions when they say things that appear to conflict with universalism. Despite its prima facie implausibility, there are powerful arguments for universalism. By contrast, there is remarkably little evidence for the thesis that strange fusions are excluded from the ordinary domain of quantification. Furthermore, this reconciliatory strategy seems hopeless when (...) applied to the more fundamental conflict between universalism and the intuitions that tell against it. (shrink)

It is fortunate for my purposes that English has the two words ‘almighty’ and ‘omnipotent’, and that apart from any stipulation by me the words have rather different associations and suggestions. ‘Almighty’ is the familiar word that comes in the creeds of the Church; ‘omnipotent’ is at home rather in formal theological discussions and controversies, e.g. about miracles and about the problem of evil. ‘Almighty’ derives by way of Latin ‘omnipotens’ from the Greek word ‘pantokratōr’; and both this Greek word, (...) like the more classical ‘pankratēs’, and ‘almighty’ itself suggest God's having power over all things. On the other hand the English word ‘omnipotent’ would ordinarily be taken to imply ability to do everything; the Latin word ‘omnipotens’ also predominantly has this meaning in Scholastic writers, even though in origin it is a Latinization of ‘pantocratōr’. So there already is a tendency to distinguish the two words; and in this paper I shall make the distinction a strict one. I shall use the word ‘almighty’ to express God's power over all things, and I shall take ‘omnipotence’ to mean ability to do everything. (shrink)

An omnipotent being would be a being whose power was unlimited. The power of human beings is limited in two distinct ways: we are limited with respect to our freedom of will, and we are limited in our ability to execute what we have willed. These two distinct sources of limitation suggest a simple definition of omnipotence: an omnipotent being is one that has both perfect freedom of will and perfect efficacy of will. In this paper we further explicate (...) this definition and show that it escapes the standard objections to divine omnipotence. (shrink)

In Atheism: A Philosophical Justification, Michael Martin argues that to posit a God that is both omnipotent and omniscient is philosophically incoherent. I challenge this argument by proposing that a God who is necessarily omniscient is more powerful than a God who is contingently omniscient. I then argue that being omnipotent entails being omniscient by showing that for an all-powerful being to be all-powerful in any meaningful way, it must possess complete knowledge about all states of affairs and thus must (...) be understood to be omniscient. (shrink)

Can an omnipotent being create a stone too heavy for him to lift? If not, he is not omnipotent. But if so, he is not omnipotent either, since there is something he cannot lift. Hence there can be no omnipotent being. J.L. Cowan's recent reformulation of this paradox of omnipotence has been sharpened through a number of objections and clarifications, and, in its final form, constitutes a significant problem for the analysis of the concept of an omnipotent agent. I (...) will develop fragments of two systems in which the problem can be defined more exactly, and try to indicate some formal guidelines within which constructive steps towards a solution may be possible. I will argue that the paradox shows the need for a special kind of restriction on omnipotence that can be distinguished from some related restrictions. (shrink)

This book presents Hartshorne's philosophical theology briefly, simply, and vividly. Throughout the centuries some of the world's most brilliant philosophers and theologians have held and perpetuated six beliefs that give the word God a meaning untrue to its import in sacred writings or in active religious devotion: God is absolutely perfect and therefore unchangeable 2.omnipotenc 3.omniscienc 4.God's unsympathetic goodness, 5.immortality as a career after death, and 6.revelationble Charles Hartshorne deals with these six theological mistakes from the standpoint of his process (...) theology. Hartshorne says, "The book is unacademic in so far as I am capable of being that." Only a master like Hartshorne could present such sophisticated ideas so simply. This book offers an option for religious belief not heretofore available to lay people. (shrink)

In this paper, I argue that the supposition of divine omnipotence entails a contradiction: omnipotence both must and must not be intrinsic to God. Hence, traditional theism must be rejected. To begin, I separate out some theoretical distinctions needed to inform the discussion. I then advance two different arguments for the conclusion that omnipotence must be intrinsic to God; these utilise the notions of essence and aseity. Next, I argue that some necessary conditions on being omnipotent are (...) extrinsic, and that this means omnipotence cannot be intrinsic to God. I consider three different ways of resolving this conflict, but contend that each is unsuccessful. Before concluding, I explain why the type of strategy used to resolve the traditional paradoxes of omnipotence cannot be successfully employed against the paradox presented here. (shrink)

The notion of omnipotence has proved to be quite recalcitrant to analysis. Still, during the last three decades or so, there has resurfaced a clever argument to the effect that, whatever omnipotence is, it cannot be exemplified in God: an allegedly impeccable and all-perfect being. Scrutinizing this argument, however, I find it less than convincing. Moreover, and more importantly, I venture a positive account of my own: a non-technical and distinctively metaphysical definition of omnipotence which, if true, (...) sidesteps quite a number of well-known pitfalls. Also, by way of introduction, I review some earlier attempts. (shrink)

The idea of omnipotence plays a crucial role within the framework of classical theism. God is typically considered omnipotent, that is, able to perform any action. Sometimes, it is said that for God there is no difference between will and action; everything he wishes happens. However, as one reflects on the concept of omnipotence, some rather complex questions arise; the range of God’s possible “actions” is not clear. What are the boundaries of the power of an omnipotent being, (...) if these boundaries exist at all? In this paper, we will examine an interesting question: is it possible that two omnipotent beings exist? Or, does the property of omnipotence necessarily imply the uniqueness of its instantiation? Intuitively, the existence of more than one omnipotent being seems to be contradictory. However, we will demonstrate that under some conditions the existence of two omnipotent beings is possible. (shrink)

One of the cornerstones of western theology is the doctrine of divine omnipotence. God is traditionally conceived of as an omnipotent or all-powerful being. However, satisfactory analyses of omnipotence are notoriously elusive. In this paper, I first consider some simple attempts to analyze omnipotence, showing how each fails. I then consider two more sophisticated accounts of omnipotence. The first of these is presented by Edward Wierenga; the second by Thomas Flint and Alfred Freddoso. I argue that (...) both of these accounts fail. Finally, I propose and defend a novel account of omnipotence. (shrink)

Could God command us to hate him? Here I offer two arguments that He cannot. I also argue that this restriction on God’s power is consistent with a strong doctrine of omnipotence according to which God can do anything broadly logical possible.

Noninvasive, prenatal whole genome sequencing may be a technological reality in the near future, making available a vast array of genetic information early in pregnancy at no risk to the fetus or mother. Many worry that the timing, safety, and ease of the test will lead to informational overload and reproductive consumerism. The prevailing response among commentators has been to restrict conditions eligible for testing based on medical severity, which imposes disputed value judgments and devalues those living with eligible conditions. (...) To avoid these difficulties, we propose an unrestricted testing policy, under which prospective parents could obtain information on any variant of known significance after a careful informed consent process that uses an interactive decision aid to deliver a mandatory presentation on the purposes, techniques, and limitations of genomic testing, as well as optional resources for reflection and consultation. This process would encourage thoughtful, informed deliberation... (shrink)

This chapter contains sections titled: What Omnipotence Signifies The Riddle of the Stone Further Limitations on the Power of an Omnipotent Agent Are Divine Omnipotence and Moral Perfection Compatible? Works cited.

This chapter contains section titled: Maximal Power and the Uniqueness of God What an Omnipotent Agent Can Do The Analysis of Omnipotence Divine Omnibenevolence, Omnipotence, and Freedom.

The defining debate in this new century will be about technology and human enhancement, according to many across the political spectrum.[1] Our ability to use science to enhance our bodies and minds – as opposed to its application for therapeutic purposes – is one of the most personal and therefore passionate issues in an era where emerging technologies seduce us with new and fantastic possibilities for our future. But in the process, we are forced to rethink what it means to (...) be human or, essentially, our own identity. For some, technology holds the promise of making us superhuman; for others, it offers a darker path toward becoming Frankenstein’s monster. This paper will look at a growing chorus of calls for human enhancement to be embraced and unrestricted. Specifically, we will critically examine recent “pro-enhancement” arguments – articulated in More Than Human by Ramez Naam,[2] as one of the most visible works on the subject today – and conclude that they ultimately need to be strengthened, if they are to be convincing. Our overarching motive here is not so much that we are against human enhancement technologies; that seems to be too premature a conclusion given the state of research and debate, and such technologies may be inevitable anyway. However, we believe that a skeptical eye should be applied to claims that there should be no restrictions on any particular action. Even our most cherished human rights are bounded by reason or societal norms, for whatever they are worth. For instance, our right to free speech still does not allow us to yell “Fire!” in a crowded theater or to slander others. Our right to fall in love and to make love with whom we want does not extend to children. And for all the talk about the virtues of a “free market” or “free trade”, the invisible hand of our economy is still occasionally slapped by anti-trust lawsuits, which would not be an issue if the market were truly free. So even if human enhancement seems to be a reasonable practice and even a right, restrictions may still be required to mitigate undesirable circumstances or unintended consequences – which would be consistent with how functioning societies treat other liberties, values and rights. (shrink)

Quantification is haunted by the specter of paradoxes. Since Russell, it has been a persistent idea that the paradoxes show what might have appeared to be absolutely unrestricted quantification to be somehow restricted. In the contemporary literature, this theme is taken up by Dummett (1973, 1993) and Parsons (1974a,b). Parsons, in particular, argues that both the Liar and Russell’s paradoxes are to be resolved by construing apparently absolutely unrestricted quantifiers as appropriately restricted.

If asked to define ‘omnipotence,’ the man on the street would probably say that it’s the ability to do anything. That’s about it, he’d think; nothing more needs be said. Philosophers are never so easily satisfied. They take it as matter of professional duty to find serious problems in important concepts, and to suggest that the concept be rejected or that solutions are at hand. This paper falls into the latter camp. Beginning with a relatively simple definition of ‘ (...) class='Hi'>omnipotence,’ increasingly complex definitions are proposed, problems are found with them, and newer, refined definitions are offered. In all, seven unsatisfactory definitions are examined before an adequate one is arrived at. Both traditional and new problems are addressed, and novel solutions are advanced. The definition argued to be adequate is itself novel, but also very much in keeping with our pre-reflective understanding of omnipotence. On the basis of the definition it’s concluded not only that an adequate definition of ‘omnipotence’ is possible, but that various problems alleged to attend attributing the notion to God can also be solved. (shrink)

Women's mating strategies have typically been characterised as restrictive or coy. However, recent research on sociosexual behaviour suggests that the frequency of women's extra-pair copulations is a function of an unrestricted personality. While agreeing with the general thrust of Gangestad & Simpson's strategic pluralism theory we suggest that it is more likely a matter of finely calculated reproductive opportunism.

Omnipotence is the property of being all-powerful; it is one of the traditional divine attributes in Western conceptions of God. This notion of an all-powerful being is often claimed to be incoherent because a being who has the power to do anything would, for instance, have the power to draw a round square. However, it is absurd to suppose that any being, no matter how powerful, could draw a round square. A common response to this objection is to assert (...) that defenders of divine omnipotence never intended to claim that God could bring about logical absurdities. This observation about what is not meant by omnipotence does little, however, to clarify just what is meant by that term. Philosophers have therefore attempted to state necessary and sufficient conditions for omnipotence. (shrink)

CAN A COHERENT ACCOUNT BE PROVIDED OF WHAT IT IS FOR A BEING TO BE OMNIPOTENT, WHICH BRINGS OUT WHAT THEISTS HAVE WANTED TO SAY WHEN THEY CLAIM THAT GOD IS OMNIPOTENT? IT IS ARGUED THAT IT CAN. A BEING S IS SAID TO BE OMNIPOTENT AT A TIME T IF FOR ANY LOGICALLY CONTINGENT STATE OF AFFAIRS X AFTER T, SUCH THAT THE OCCURRENCE OF X AFTER T DOES NOT ENTAIL THAT S DID NOT BRING ABOUT X AT T, (...) S IS ABLE AT T TO BRING ABOUT X. THIS ACCOUNT IS IMMUNE TO DIFFICULTIES SUCH AS THOSE OFFERED BY THE PARADOX OF THE STONE. (shrink)

ABSTRACT: This paper defends the doctrine of Unrestricted Exportation (UE) against Saul Kripke’s attack on it. According to UE, the exportation step from the de dicto belief report, S believes that α is F, together with the premise that α exists, to the de re report, S believes of α that it is F, is valid. By presenting an alleged counterexample, Kripke tries to show that UE has much more implausible consequences than its advocates would accept. By going through (...) the details of Kripke’s scenario, I argue that UE does not commit us to the consequences Kripke associates with it. (shrink)

Recently, many philosophers have supposed that the divine attribute of omnipotence is properly understood as some kind of maximal power. I argue that all of the best known attempts to analyse omnipotence in terms of maximal power are multiply flawed. Moreover, I argue that there are compelling reasons for supposing that, on orthodox theistic conceptions, maximal power is not one of the divine attributes.

I propose a version of foundationaUsm with the following distinctive features. First, it includes in the class of basic beliefs ordinary beliefs about physical objects. This makes it unrestricted. Second, it assigns the role of ultimate justifiers to A-states: states of being appeared to in various ways. Such states have propositional content, and are justifiers if they are presumptively reliable. The beliefs A-states justify are basic if they are non-inferential. In the last three sections of the paper, I defend (...) this version of foundationalism against Sellars's famous anti-foundationalist dilemma, according to which sense-experiential states can't be justifiers ifthey lack propositional content, and can't terminate the justificatory regress if they have propositional content. I argue that the latter of these two claims is false. A-states can play the role of justifiers because they have propositional content, and they can terminate the justificatory regress because they themselves are capable of neither being true or false, nor being justified or unjustified. (shrink)

Can God be both omnipotent and essentially good? Working with the Anselmian conception of God as the greatest possible being, a number of philosophers have tried to show that omnipotence should be understood in such a way that these properties are compatible. In the present paper, I argue that we can, without inconsistency or other obvious absurdity, conceive of a being more powerful than the Anselmian God. I conclude that contemporary Anselmian philosophers have conflated two logically distinct questions: (1) (...) How much power would be possessed by the best possible God? and (2) How much power is required for omnipotence? When these questions are distinguished, it can be seen that the Anselmian God does not have maximal power and is not omnipotent. (shrink)

This paper generalises and complements the work on combining temporal logics started by Finger and Gabbay [11, 10]. We present proofs of transference of soundness, completeness and decidability for the temporalisation of logics T for any flow of time, eliminating the original restriction that required linear time for the transference of those properties through logic combination. We also generalise such results to the external application of a multi-modal system containing any number of connectives with arbitrary arity, that respect normality.This generalisation (...) over generic flows of time propagates to other combinations of logics that can be interpreted in terms of temporalisations. In this way, the independent combination of temporal logics is studied over generic flows of time. We show the transfer of soundness, completeness and decidability for independent combination of temporal logics. Finally, we also discuss the independent combination of any finite number of normal multi-modal logics. (shrink)

Call a quantifier ‘unrestricted’ if it ranges over absolutely all objects. Arguably, unrestricted quantification is often presupposed in philosophical inquiry. However, developing a semantic theory that vindicates unrestricted quantification proves rather difficult, at least as long as we formulate our semantic theory within a classical first-order language. It has been argued that using a type theory as framework for our semantic theory provides a resolution of this problem, at least if a broadly Fregean interpretation of type theory (...) is assumed. However, the intelligibility of this interpretation has been questioned. In this paper I introduce a type-free theory of properties that can also be used to vindicate unrestricted quantification. This alternative emerges very naturally by reflecting on the features on which the type-theoretic solution of the problem of unrestricted quantification relies. Although this alternative theory is formulated in a non-classical logic, it preserves the deductive strength of classical strict type theory in a natural way. The ideas developed in this paper make crucial use of Russell’s notion of range of significance. (shrink)

The doctrine that God is omnipotent takes its rise from Scriptural texts which concern two linked topics. One is how much power God has to put behind actions: enough that nothing is too hard, enough to do whatever he pleases. The other is how much God can do: ‘all things’. The link is obvious: we measure strength by what tasks it is adequate to perform, and God is so strong he can do all things. The Christian philosophical theologian who seeks (...) to explicate omnipotence seeks a convincing account of the reality beneath the ‘phenomena’ of Scripture. This article looks briefly at some historic accounts of omnipotence. It emerges that the early history of the concept emphasized strength more than range of action, with range coming to prominence in Aquinas's day. Three recent attempts to define omnipotence are then considered. All are found wanting, but the author draws morals that help him hazard his own definition. (shrink)

The most widespread models of rational reasoners (the model based on modal epistemic logic and the model based on probability theory) exhibit the problem of logical omniscience. The most common strategy for avoiding this problem is to interpret the models as describing the explicit beliefs of an ideal reasoner, but only the implicit beliefs of a real reasoner. I argue that this strategy faces serious normative issues. In this paper, I present the more fundamental problem of logical omnipotence, which (...) highlights the normative content of the problem of logical omniscience. I introduce two developments of the notion of implicit belief (accessible and stable belief ) and use them in two versions of the most common strategy applied to the problem of logical omnipotence. (shrink)