|Part of a series on the|
|Philosophy of religion|
|Philosophy of religion article index|
|Part of a series on|
The omnipotence paradox is a family of paradoxes that arise with some understandings of the term omnipotent. The paradox arises, for example, if one assumes that an omnipotent being has no limits and is capable of realizing any outcome, even logically contradictory ideas such as creating square circles. A no-limits understanding of omnipotence such as this has been rejected by theologians from Thomas Aquinas to contemporary philosophers of religion, such as Alvin Plantinga. [ citation needed ], though Christian theologians and philosophers, such as Norman Geisler and William Lane Craig, contend that a no-limits understanding of omnipotence is not relevant to orthodox Christian theology. Other possible resolutions to the paradox hinge on the definition of omnipotence applied and the nature of God regarding this application and whether omnipotence is directed toward God himself or outward toward his external surroundings.Atheological arguments based on the omnipotence paradox are sometimes described as evidence for atheism
A paradox is a logical statement that seems to contradict itself. It is a statement that, despite apparently valid reasoning from true premises, leads to an apparently-self-contradictory or logically unacceptable conclusion. A paradox involves contradictory-yet-interrelated elements that exist simultaneously and persist over time.
Thomas Aquinas was an Italian Dominican friar, philosopher, Catholic priest, and Doctor of the Church. An immensely influential philosopher, theologian, and jurist in the tradition of scholasticism, he is also known within the latter as the Doctor Angelicus and the Doctor Communis. The name Aquinas identifies his ancestral origins in the county of Aquino in present-day Lazio, Italy. He was the foremost classical proponent of natural theology and the father of Thomism; of which he argued that reason is found in God. His influence on Western thought is considerable, and much of modern philosophy developed or opposed his ideas, particularly in the areas of ethics, natural law, metaphysics, and political theory.
The omnipotence paradox has medieval origins, dating at least to the 12th century. It was addressed by Averroësand later by Thomas Aquinas. Pseudo-Dionysius the Areopagite (before 532) has a predecessor version of the paradox, asking whether it is possible for God to "deny himself".
Pseudo-Dionysius the Areopagite, also known as Pseudo-Denys, was a Christian theologian and philosopher of the late 5th to early 6th century, who wrote a set of works known as the Corpus Areopagiticum or Corpus Dionysiacum.
The most well-known version of the omnipotence paradox is the so-called paradox of the stone: "Could God create a stone so heavy that even He could not lift it?"This phrasing of the omnipotence paradox is vulnerable to objections based on the physical nature of gravity, such as how the weight of an object depends on what the local gravitational field is. Alternative statements of the paradox that do not involve such difficulties include "If given the axioms of Euclidean geometry, can an omnipotent being create a triangle whose angles do not add up to 180 degrees?" and "Can God create a prison so secure that he cannot escape from it?".
Gravity, or gravitation, is a natural phenomenon by which all things with mass or energy—including planets, stars, galaxies, and even light—are brought toward one another. On Earth, gravity gives weight to physical objects, and the Moon's gravity causes the ocean tides. The gravitational attraction of the original gaseous matter present in the Universe caused it to begin coalescing, forming stars—and for the stars to group together into galaxies—so gravity is responsible for many of the large-scale structures in the Universe. Gravity has an infinite range, although its effects become increasingly weaker on farther objects.
In science and engineering, the weight of an object is related to the force acting on the object, either due to gravity or to a reaction force that holds it in place.
A common modern version of the omnipotence paradox is expressed in the question: "Can [an omnipotent being] create a stone so heavy that it cannot lift it?" This question generates a dilemma. The being can either create a stone it cannot lift, or it cannot create a stone it cannot lift. If the being can create a stone that it cannot lift, then it is not omnipotent because there is a weight threshold beyond its own power to lift. If the being cannot create a stone it cannot lift, then there is something it cannot create, and is therefore not omnipotent. In either case, God is not omnipotent.
A related issue is whether the concept of "logically possible" is different for a world in which omnipotence exists than a world in which omnipotence does not exist.
The dilemma of omnipotence is similar to another classic paradox—the irresistible force paradox: "What would happen if an irresistible force were to meet an immovable object?" One response to this paradox is to disallow its formulation, by saying that if a force is irresistible, then by definition there is no immovable object; or conversely, if an immovable object exists, then by definition no force can be irresistible. Some claim[ who? ] that the only way out of this paradox is if the irresistible force and immovable object never meet. But this is not a way out, because an object cannot in principle be immovable if a force exists that can in principle move it, regardless of whether the force and the object actually meet.[ citation needed ]
The unstoppable force paradox, also called the irresistible force paradox, shield and spear paradox, is a classic paradox formulated as "What happens when an unstoppable force meets an immovable object?" The immovable object and the unstoppable force are both implicitly assumed to be indestructible, or else the question would have a trivial resolution. Furthermore, it is assumed that they are two entities.
Peter Geach describes and rejects four levels of omnipotence. He also defines and defends a lesser notion of the "almightiness" of God.
Peter Thomas Geach was a British philosopher and professor of logic at the University of Leeds. His areas of interest were philosophical logic, ethics, history of philosophy, philosophy of religion and the theory of identity.
Augustine of Hippo in his City of God writes "God is called omnipotent on account of His doing what He wills" and thus proposes the definition that "Y is omnipotent" means "If Y wishes to do X then Y can and does do X".
The notion of omnipotence can also be applied to an entity in different ways. An essentially omnipotent being is an entity that is necessarily omnipotent. In contrast, an accidentally omnipotent being is an entity that can be omnipotent for a temporary period of time, and then becomes non-omnipotent. The omnipotence paradox can be applied to each type of being differently.
Some Philosophers, such as René Descartes, argue that God is absolutely omnipotent.In addition, some philosophers have considered the assumption that a being is either omnipotent or non-omnipotent to be a false dilemma, as it neglects the possibility of varying degrees of omnipotence. Some modern approaches to the problem have involved semantic debates over whether language—and therefore philosophy—can meaningfully address the concept of omnipotence itself.
A common response from Christian philosophers, such as Norman Geisler or William Lane Craig, is that the paradox assumes a wrong definition of omnipotence. Omnipotence, they say, does not mean that God can do anything at all but, rather, that he can do anything that's possible according to his nature. The distinction is important. God cannot perform logical absurdities; he cannot, for instance, make 1+1=3. Likewise, God cannot make a being greater than himself because he is, by definition, the greatest possible being. God is limited in his actions to his nature. The Bible supports this, they assert, in passages such as Hebrews 6:18, which says it is "impossible for God to lie."
Another common response to the omnipotence paradox is to try to define omnipotence to mean something weaker than absolute omnipotence, such as definition 3 or 4 above. The paradox can be resolved by simply stipulating that omnipotence does not require that the being have abilities that are logically impossible, but only be able to do anything that conforms to the laws of logic. A good example of a modern defender of this line of reasoning is George Mavrodes.Essentially, Mavrodes argues that it is no limitation on a being's omnipotence to say that it cannot make a round square. Such a "task" is termed by him a "pseudo-task" as it is self-contradictory and inherently nonsense. Harry Frankfurt—following from Descartes—has responded to this solution with a proposal of his own: that God can create a stone impossible to lift and also lift said stone
For why should God not be able to perform the task in question? To be sure, it is a task—the task of lifting a stone which He cannot lift—whose description is self-contradictory. But if God is supposed capable of performing one task whose description is self-contradictory—that of creating the problematic stone in the first place—why should He not be supposed capable of performing another—that of lifting the stone? After all, is there any greater trick in performing two logically impossible tasks than there is in performing one?
If a being is accidentally omnipotent, it can resolve the paradox by creating a stone it cannot lift, thereby becoming non-omnipotent. Unlike essentially omnipotent entities, it is possible for an accidentally omnipotent being to be non-omnipotent. This raises the question, however, of whether the being was ever truly omnipotent, or just capable of great power.On the other hand, the ability to voluntarily give up great power is often thought of as central to the notion of the Christian Incarnation.
If a being is essentially omnipotent, then it can also resolve the paradox (as long as we take omnipotence not to require absolute omnipotence). The omnipotent being is essentially omnipotent, and therefore it is impossible for it to be non-omnipotent. Further, the omnipotent being can do what is logically impossible—just like the accidentally omnipotent—and have no limitations except the inability to become non-omnipotent. The omnipotent being cannot create a stone it cannot lift.
The omnipotent being cannot create such a stone because its power is equal to itself—thus, removing the omnipotence, for there can only be one omnipotent being, but it nevertheless retains its omnipotence. This solution works even with definition 2—as long as we also know the being is essentially omnipotent rather than accidentally so. However, it is possible for non-omnipotent beings to compromise their own powers, which presents the paradox that non-omnipotent beings can do something (to themselves) which an essentially omnipotent being cannot do (to itself). This was essentially the position Augustine of Hippo took in his The City of God :
For He is called omnipotent on account of His doing what He wills, not on account of His suffering what He wills not; for if that should befall Him, He would by no means be omnipotent. Wherefore, He cannot do some things for the very reason that He is omnipotent.
Thus Augustine argued that God could not do anything or create any situation that would, in effect, make God not God.
In a 1955 article in the philosophy journal Mind, J. L. Mackie tried to resolve the paradox by distinguishing between first-order omnipotence (unlimited power to act) and second-order omnipotence (unlimited power to determine what powers to act things shall have).An omnipotent being with both first and second-order omnipotence at a particular time might restrict its own power to act and, henceforth, cease to be omnipotent in either sense. There has been considerable philosophical dispute since Mackie, as to the best way to formulate the paradox of omnipotence in formal logic.
Although the most common translation of the noun "Logos" is "Word" other translations have been used. Gordon Clark (1902–1985), a Calvinist theologian and expert on pre-Socratic philosophy, famously translated Logos as "Logic": "In the beginning was the Logic, and the Logic was with God and the Logic was God." He meant to imply by this translation that the laws of logic were derived from God and formed part of Creation, and were therefore not a secular principle imposed on the Christian world view.
God obeys the laws of logic because God is eternally logical in the same way that God does not perform evil actions because God is eternally good. So, God, by nature logical and unable to violate the laws of logic, cannot make a boulder so heavy he cannot lift it because that would violate the law of non contradiction by creating an immovable object and an unstoppable force.
This raises the question, similar to the Euthyphro Dilemma, of where this law of logic, which God is bound to obey, comes from. According to these theologians (Norman Geisler and William Lane Craig), this law is not a law above God that he assents to but, rather, logic is an eternal part of God's nature, like his omniscience or omnibenevolence.
Another common response is that since God is supposedly omnipotent, the phrase "could not lift" does not make sense and the paradox is meaningless.This may mean that the complexity involved in rightly understanding omnipotence—contra all the logical details involved in misunderstanding it—is a function of the fact that omnipotence, like infinity, is perceived at all by contrasting reference to those complex and variable things, which it is not. An alternative meaning, however, is that a non-corporeal God cannot lift anything, but can raise it (a linguistic pedantry)—or to use the beliefs of Hindus (that there is one God, who can be manifest as several different beings) that whilst it is possible for God to do all things, it is not possible for all his incarnations to do them. As such, God could create a stone so heavy that, in one incarnation, he couldn't lift it, yet could do something that an incarnation that could lift the stone could not.
The lifting a rock paradox (Can God lift a stone larger than he can carry?) uses human characteristics to cover up the main skeletal structure of the question. With these assumptions made, two arguments can stem from it:
The act of killing oneself is not applicable to an omnipotent being, since, despite that such an act does involve some power, it also involves a lack of power: the human person who can kill himself is already not indestructible, and, in fact, every agent constituting his environment is more powerful in some ways than himself. In other words, all non-omnipotent agents are concretely synthetic: constructed as contingencies of other, smaller, agents, meaning that they, unlike an omnipotent agent, logically can exist not only in multiple instantiation (by being constructed out of the more basic agents they are made of), but are each bound to a different location in space contra transcendent omnipresence.
Thomas Aquinas asserts that the paradox arises from a misunderstanding of omnipotence. He maintains that inherent contradictions and logical impossibilities do not fall under the omnipotence of God.J. L Cowan sees this paradox as a reason to reject the concept of 'absolute' omnipotence, while others, such as René Descartes, argue that God is absolutely omnipotent, despite the problem.
C. S. Lewis argues that when talking about omnipotence, referencing "a rock so heavy that God cannot lift it" is nonsense just as much as referencing "a square circle"; that it is not logically coherent in terms of power to think that omnipotence includes the power to do the logically impossible. So asking "Can God create a rock so heavy that even he cannot lift it?" is just as much nonsense as asking "Can God draw a square circle?" The logical contradiction here being God's simultaneous ability and disability in lifting the rock: the statement "God can lift this rock" must have a truth value of either true or false, it cannot possess both. This is justified by observing that for the omnipotent agent to create such a stone, it must already be more powerful than itself: such a stone is too heavy for the omnipotent agent to lift, but the omnipotent agent already can create such a stone; If an omnipotent agent already is more powerful than itself, then it already is just that powerful. This means that its power to create a stone that is too heavy for it to lift is identical to its power to lift that very stone. While this does not quite make complete sense, Lewis wished to stress its implicit point: that even within the attempt to prove that the concept of omnipotence is immediately incoherent, one admits that it is immediately coherent, and that the only difference is that this attempt is forced to admit this despite that the attempt is constituted by a perfectly irrational route to its own unwilling end, with a perfectly irrational set of 'things' included in that end.
In other words, the 'limit' on what omnipotence 'can' do is not a limit on its actual agency, but an epistemological boundary without which omnipotence could not be identified (paradoxically or otherwise) in the first place. In fact, this process is merely a fancier form of the classic Liar Paradox: If I say, "I am a liar", then how can it be true if I am telling the truth therewith, and, if I am telling the truth therewith, then how can I be a liar? So, to think that omnipotence is an epistemological paradox is like failing to recognize that, when taking the statement, 'I am a liar' self-referentially, the statement is reduced to an actual failure to lie. In other words, if one maintains the supposedly 'initial' position that the necessary conception of omnipotence includes the 'power' to compromise both itself and all other identity, and if one concludes from this position that omnipotence is epistemologically incoherent, then one implicitly is asserting that one's own 'initial' position is incoherent. Therefore, the question (and therefore the perceived paradox) is meaningless. Nonsense does not suddenly acquire sense and meaning with the addition of the two words, "God can" before it.Lewis additionally said that, "Unless something is self-evident, nothing can be proved." This implies for the debate on omnipotence that, as in matter, so in the human understanding of truth: it takes no true insight to destroy a perfectly integrated structure, and the effort to destroy has greater effect than an equal effort to build; so, a man is thought a fool who assumes its integrity, and thought an abomination who argues for it. It is easier to teach a fish to swim in outer space than to convince a room full of ignorant fools why it cannot be done.
The philosopher Ludwig Wittgenstein is frequently interpreted as arguing that language is not up to the task of describing the kind of power an omnipotent being would have. In his Tractatus Logico-Philosophicus , he stays generally within the realm of logical positivism until claim 6.4—but at 6.41 and following, he argues that ethics and several other issues are "transcendental" subjects that we cannot examine with language. Wittgenstein also mentions the will, life after death, and God—arguing that, "When the answer cannot be put into words, neither can the question be put into words."
Wittgenstein's work expresses the omnipotence paradox as a problem in semantics—the study of how we give symbols meaning. (The retort "That's only semantics," is a way of saying that a statement only concerns the definitions of words, instead of anything important in the physical world.) According to the Tractatus, then, even attempting to formulate the omnipotence paradox is futile, since language cannot refer to the entities the paradox considers. The final proposition of the Tractatus gives Wittgenstein's dictum for these circumstances: "What we cannot speak of, we must pass over in silence".
Wittgenstein's approach to these problems is influential among other 20th century religious thinkers such as D. Z. Phillips.In his later years, however, Wittgenstein wrote works often interpreted as conflicting with his positions in the Tractatus, and indeed the later Wittgenstein is mainly seen as the leading critic of the early Wittgenstein.
In the 6th century, Pseudo-Dionysius claims that a version of the omnipotence paradox constituted the dispute between Paul the Apostle and Elymas the Magician mentioned in Acts 13:8, but it is phrased in terms of a debate as to whether God can "deny himself" ala 2 Tim 2:13.In the 11th century, Anselm of Canterbury argues that there are many things that God cannot do, but that nonetheless he counts as omnipotent.
Thomas Aquinas advanced a version of the omnipotence paradox by asking whether God could create a triangle with internal angles that did not add up to 180 degrees. As Aquinas put it in Summa contra Gentiles :
Since the principles of certain sciences, such as logic, geometry and arithmetic are taken only from the formal principles of things, on which the essence of the thing depends, it follows that God could not make things contrary to these principles. For example, that a genus was not predicable of the species, or that lines drawn from the centre to the circumference were not equal, or that a triangle did not have three angles equal to two right angles.
This can be done on a sphere, and not on a flat surface. The later invention of non-Euclidean geometry does not resolve this question; for one might as well ask, "If given the axioms of Riemannian geometry, can an omnipotent being create a triangle whose angles do not add up to more than 180 degrees?" In either case, the real question is whether an omnipotent being would have the ability to evade consequences that follow logically from a system of axioms that the being created.
A version of the paradox can also be seen in non-theological contexts. A similar problem occurs when accessing legislative or parliamentary sovereignty, which holds a specific legal institution to be omnipotent in legal power, and in particular such an institution's ability to regulate itself.
In a sense, the classic statement of the omnipotence paradox — a rock so heavy that its omnipotent creator cannot lift it — is grounded in Aristotelian science. After all, if we consider the stone's position relative to the sun the planet orbits around, one could hold that the stone is constantly lifted—strained though that interpretation would be in the present context. Modern physics indicates that the choice of phrasing about lifting stones should relate to acceleration; however, this does not in itself of course invalidate the fundamental concept of the generalized omnipotence paradox. However, one could easily modify the classic statement as follows: "An omnipotent being creates a universe that follows the laws of Aristotelian physics. Within this universe, can the omnipotent being create a stone so heavy that the being cannot lift it?"
Ethan Allen's Reason addresses the topics of original sin, theodicy and several others in classic Enlightenment fashion.In Chapter 3, section IV, he notes that "omnipotence itself" could not exempt animal life from mortality, since change and death are defining attributes of such life. He argues, "the one cannot be without the other, any more than there could be a compact number of mountains without valleys, or that I could exist and not exist at the same time, or that God should effect any other contradiction in nature." Labeled by his friends a Deist, Allen accepted the notion of a divine being, though throughout Reason he argues that even a divine being must be circumscribed by logic.
In Principles of Philosophy, Descartes tried refuting the existence of atoms with a variation of this argument, claiming God could not create things so indivisible that he could not divide them.
A cosmological argument, in natural theology and natural philosophy, is an argument in which the existence of a unique being, generally seen as some kind of god, is deduced or inferred from facts or alleged facts concerning causation, change, motion, contingency, or finitude in respect of the universe as a whole or processes within it. It is traditionally known as an argument from universal causation, an argument from first cause, or the causal argument, and is more precisely a cosmogonical argument. Whichever term is employed, there are three basic variants of the argument, each with subtle yet important distinctions: the arguments from in causa (causality), in esse (essentiality), and in fieri (becoming).
The incompatible-properties argument is the idea that no description of God is consistent with reality. For example, if one takes the definition of God to be described fully from the Bible, then the claims of what properties God has described therein might be argued to lead to a contradiction.
Omnipotence is the quality of having unlimited power. Monotheistic religions generally attribute omnipotence to only the deity of their faith. In the monotheistic philosophies of Abrahamic religions, omnipotence is often listed as one of a deity's characteristics among many, including omniscience, omnipresence, and omnibenevolence. The presence of all these properties in a single entity has given rise to considerable theological debate, prominently including the problem of theodicy, the question of why such a deity would permit the manifestation of evil.
The Tractatus Logico-Philosophicus is the only book-length philosophical work by the Austrian philosopher Ludwig Wittgenstein that was published during his lifetime. The project had a broad goal: to identify the relationship between language and reality and to define the limits of science. It is recognized by philosophers as a significant philosophical work of the twentieth century. G. E. Moore originally suggested the work's Latin title as homage to the Tractatus Theologico-Politicus by Baruch Spinoza.
The problem of evil is the question of how to reconcile the existence of evil with an omnipotent, omnibenevolent, and omniscient God. Or as the first known presentation by the Greek philosopher Epicurus puts it: "Is God willing to prevent evil, but not able? Then he is not omnipotent. Is he able, but not willing? Then he is malevolent. Is he both able and willing? Then from whence comes evil?"
Theodicy means vindication of God. It is to answer the question of why a good God permits the manifestation of evil, thus resolving the issue of the problem of evil. Some theodicies also address the evidential problem of evil by attempting "to make the existence of an all-knowing, all-powerful and all-good or omnibenevolent God consistent with the existence of evil or suffering in the world." Unlike a defense, which tries to demonstrate that God's existence is logically possible in the light of evil, a theodicy attempts to provide a framework wherein God's existence is also plausible. The German mathematician and philosopher Gottfried Leibniz coined the term "theodicy" in 1710 in his work Théodicée, though various responses to the problem of evil had been previously proposed. The British philosopher John Hick traced the history of moral theodicy in his 1966 work, Evil and the God of Love, identifying three major traditions:
Divine command theory is a meta-ethical theory which proposes that an action's status as morally good is equivalent to whether it is commanded by God. The theory asserts that what is moral is determined by what God commands, and that for a person to be moral is to follow his commands. Followers of both monotheistic and polytheistic religions in ancient and modern times have often accepted the importance of God's commands in establishing morality.
The argument from free will, also called the paradox of free will or theological fatalism, contends that omniscience and free will are incompatible and that any conception of God that incorporates both properties is therefore inherently contradictory. These arguments are deeply concerned with the implications of predestination.
The Euthyphro dilemma is found in Plato's dialogue Euthyphro, in which Socrates asks Euthyphro, "Is the pious loved by the gods because it is pious, or is it pious because it is loved by the gods?" (10a)
The existence of God is a subject of debate in the philosophy of religion and popular culture.
The evil demon, also known as malicious demon and evil genius, is a concept in Cartesian philosophy. In the first of his 1641 Meditations on First Philosophy, Descartes imagines that an evil demon, of "utmost power and cunning has employed all his energies in order to deceive me." This evil demon is imagined to present a complete illusion of an external world, so that Descartes can say, "I shall think that the sky, the air, the earth, colours, shapes, sounds and all external things are merely the delusions of dreams which he has devised to ensnare my judgement. I shall consider myself as not having hands or eyes, or flesh, or blood or senses, but as falsely believing that I have all these things."
Something that is impredicative, in mathematics, logic and philosophy of mathematics, is a self-referencing definition. Roughly speaking, a definition is impredicative if it invokes the set being defined, or another set that contains the thing being defined. There is no generally accepted precise definition of what it means to be predicative or impredicative. Authors have given different but related definitions.
The phrase "the best of all possible worlds" was coined by the German polymath Gottfried Leibniz in his 1710 work Essais de Théodicée sur la bonté de Dieu, la liberté de l'homme et l'origine du mal. The claim that the actual world is the best of all possible worlds is the central argument in Leibniz's theodicy, or his attempt to solve the problem of evil.
The axiom of reducibility was introduced by Bertrand Russell in the early 20th century as part of his ramified theory of types. Russell devised and introduced the axiom in an attempt to manage the contradictions he had discovered in his analysis of set theory.
The following outline is provided as an overview of and topical guide to atheism:
The aspects of Bertrand Russell's views on philosophy cover the changing viewpoints of philosopher and mathematician Bertrand Russell (1872–1970), from his early writings in 1896 until his death in February 1970.
Alvin Plantinga's free-will defense is a logical argument developed by the American analytic philosopher Alvin Plantinga and published in its final version in his 1977 book God, Freedom, and Evil. Plantinga's argument is a defense against the logical problem of evil as formulated by the philosopher J. L. Mackie beginning in 1955. Mackie's formulation of the logical problem of evil argued that three attributes of God, omniscience, omnipotence, and omnibenevolence, in orthodox Christian theism are logically incompatible with the existence of evil. In 1982, Mackie conceded that Plantinga's defense successfully refuted his argument in The Miracle of Theism, though he did not claim that the problem of evil had been put to rest.
An ontological argument is a philosophical argument for the existence of God that uses ontology. Many arguments fall under the category of the ontological, and they tend to involve arguments about the state of being or existing. More specifically, ontological arguments tend to start with a priori theory about the organization of the universe. If that organizational structure is true, the argument will provide reasons why God must exist.
The Augustinian theodicy, named for the 4th- and 5th-century theologian and philosopher Augustine of Hippo, is a type of Christian theodicy designed in response to the evidential problem of evil. As such, it attempts to explain the probability of an omnipotent (all-powerful) and omnibenevolent (all-good) God amid evidence of evil in the world. A number of variations of this kind of theodicy have been proposed throughout history; their similarities were first described by the 20th-century philosopher John Hick, who classified them as "Augustinian". They typically assert that God is perfectly (ideally) good; that he created the world out of nothing; and that evil is the result of humanity's original sin. The entry of evil into the world is generally explained as punishment for sin and its continued presence due to humans' misuse of free will. God's goodness and benevolence, according to the Augustinian theodicy, remain perfect and without responsibility for evil or suffering.