Panentheism seems to be an attractive alternative to classical theism.Footnote 1 It is not clear, though, what exactly panentheism asserts and how it relates to classical theism. By way of clarifying the thesis of panentheism, I argue that panentheism and classical theism differ only as regards the modal status of the world. According to panentheism, the world is an intrinsic property of God – necessarily there is a world – and according to classical theism the world is an extrinsic property of God – it is only contingently true that there is a world. Therefore, as long as we do not have an argument showing that necessarily there is a world, panentheism is not an attractive alternative to classical theism.

The term ‘panentheism’ was coined by Karl Christian Friedrich Krause (1781-1832), and according to its Greek etymology asserts that ‘All-is-in-God’ or that ‘Everything-is-in-God.’Footnote 2 Over the last few decades, initiated by philosophers and theologians like Whitehead, Clayton, Reese and Hartshorne, panentheism apparently has become an attractive alternative to classical theism.Footnote 3 Apart from the vague intuition that everything is in God; it is, however, unclear what the thesis of panentheism amounts to and how it differs from classical theism as long as it is unclear what is meant by the corresponding terms ‘Everything,’ ‘in’ and ‘God.’ Therefore, in order to be able to specify what exactly panentheism asserts and how it relates to classical theism, we need to clarify what is meant by each of the corresponding terms.

Everything in God

It is often argued that it is not clear what it means to say that everything is ‘in’ God and that therefore panentheism is unclear.Footnote 4 But this is not a sound objection against panentheism as such. Classical theism asserts that everything is completely ‘outside of’ God; pantheism claims that God is ‘identical with’ (the sum of) everything. As regards both, classical theism and pantheism, one could object that it is not clear what it means to say that everything is ‘outside of’ God or that God is ‘identical with’ (the sum of) everything. That it is unclear what it means to say that everything is ‘in’ God therefore is not a specific panentheistic problem but precisely an expression of the problem of determining the relation between God and everything else.

Peterson argues that ‘[i]t is noteworthy that panentheism implies in its very name what may be called a locative or spatial metaphor. That is, God and world are conceived as occupying different, spatial locations, with one being inside the other.’Footnote 5 Although it is true that most prepositions like ‘in’ or ‘outside of’ have a spatial connotation when they are used as expressions of a natural language, it is wrong to suppose that we are committed to a spatial interpretation of these prepositions. Indeed, in the same way in which it is inadequate to suppose that classical theism asserts that the world is outside of God in a spatial sense, it is inadequate to suppose that the ‘in’ in panentheism is used as a spatial preposition – as if God’s all-inclusiveness was ‘that of a man in relation to his cells, merely stretched to cover the universe.’Footnote 6 Instead, we are free to define these prepositions as technical terms of a philosophical language. The only limitation we have to obey is that the interpretation of ‘in’ has to be such that it excludes the possibility that classical theism could agree on what it entails as regards the relation between God and everything else; that the interpretation of ‘outside of’ has to be such that panentheism cannot agree on what it asserts as regards this relation. Otherwise the distinction between panentheism and classical theism might collapse right from the start.

Apart from the spatial interpretation, the following interpretations of ‘in’ are discussed in recent discussion: ‘The world is “in” God because: […] 2. God energizes the world, 3. God experiences or “prehends” the world […] 4. God ensouls the world, 5. God plays with the world […] 6. God “enfields” the world, 7. God gives space to the world, […] 9. God binds up the world by giving the divine self to the world, 10. God provides the ground of emergences in, or the emergence of, the world […], 11. God befriends the world […] 12. All things are contained “in Christ” […] 13. God graces the world.’Footnote 7 None of these interpretations, however, is actually adequate since they are all consistent with classical theism. Even if, as classical theism entails, there is a strong ontological distinction between God and the world, God can still be said to energize the world, to experience the world, to befriend the world and so on.Footnote 8 The reason is that almost any interpretation of ‘in’ that understands the relation between God and everything else as an internal and intimate relation between God and everything else can also be thought of as an external and intimate relation, and vice versa.Footnote 9

Therefore, I suggest another interpretation of ‘in’: x is in y if and only if the identity of x is completely determined by the identity of y without y’s identity being reducible to the identity of x.Footnote 10

Let me clarify this definition by way of dealing with some possible objections to it. (1) Some people may object to treating the identity of a thing as a property of it for the reason that identity is not an empirically detectable property and therefore should not be counted as a property at all. This, however, would not be a good objection: that something is identical to itself is a necessary condition for it to play a role in the sciences. It is trivial that science can only detect properties if there are entities which are self-identical.

(2) One might argue against the proposed definition that identity is a relation that obtains between a thing and itself – not a property of that thing (as the definition seems to suggest). Such an objection, however, seems to presuppose that there is no relation that is a property, an assumption that is rarely met. It is simply irrelevant for the present definition of ‘in’ whether identity is supposed to be a one-place predicate of x or a relation between x and x.

(3) One might object as follows: when we look for the ground of the fact that every entity is self-identical – if indeed this fact has any ground – then it is plausible that we look to the very thing or, more likely, to the nature of the identity relation to explain this and not to something outside the thing in question. This objection, however, is not sound either: if the identity of an entity was a sufficient ground or explanation of the entity in question, then, because everything is essentially self-identical, everything would exist and everything would exist of necessity.Footnote 11 There could not be any object that is merely possible. Since there are possibilia it follows that the identity of an entity is not self-explanatory and that it does not entail a contradiction if we look for something that is not x in order to understand the identity of x.

(4) A similar objection might be to argue that the modality involved is too strong. Can the identity of a thing really be determined by something outside it, as the definition entails? Does it or does it not follow from the definition of the ‘in’ relation that the drawer in my desk would not be the very thing that it is were it not in my desk? According to the present definition this follows indeed. And although it might at first glance appear to be wildly implausible, it turns out to be almost a truism: If the drawer was not in my desk for a certain period of time, then it simply would have had another history than the one it actually has. It would lack certain properties that in fact now belong to its very identity – to whatever it is that makes the thing in question the thing in question.Footnote 12

Therefore, since none of the objections against the proposed definition is sound, I take it to be a genuine metaphysical or logical property of every entity that it has self-identity and that at least sometimes this identity is due not to the entity in question itself but something outside of this entity. We obtain the following clarification of panentheism: Everything is in God if and only if the identity of everything is completely determined by the identity of God without God’s identity being reducible to the identity of everything. That is to say, although God cannot be identified with any particular entity, every particular entity is what it is because God is self-identical, whereas the proposed definition does not specify whether the determination is brought about logically or causally.Footnote 13 Nevertheless, this interpretation of ‘in’ does not specify a particular demarcation of panentheism in reference to classical theism either since, even on theistic premises, the world can be said to be ‘in’ God according to the present interpretation. In fact, any position according to which God is the first principle or cause of everything entails that everything is ‘in’ God in the specified sense. Therefore, since according to both classical theism and panentheism God is the first principle or cause of everything, the proposed interpretation of ‘in’ is only a minimal requirement that has to be specified further in order to obtain panentheism and classical theism.

Since classical theism and panentheism cannot differ as regards the scientific description of the world, that is, since they cannot differ on what the world factually is like, it follows that if there is a difference between panentheism and classical theism at all, it has to be a difference as regards the interpretation of the modal status of the relation between God and everything else. That is to say, the difference between classical theism and panentheism does not rest on a difference concerning God’s factual relation to the world, but on a difference as regards the modal status of God’s relation to the world.Footnote 14

The modal status of God’s relation to the world can either be contingent or necessary. If it is contingent, then God might not have been related to the world at all, which, given that God is the first principle or cause of everything, entails that there might not have been a world. If it is necessarily the case that God is related to the world, then there is a world of necessity. Therefore, what really is at stake as regards the question concerning the relation between classical theism and panentheism is the question whether, in addition to God, there is something of necessity.

Classical theism asserts that ‘God in himself is maximal Being – absolutely self-sufficient, eternal, immutable, omnipotent, omniscient, completely active, and most excellent in every way. Although he does not need the world, God eternally and freely chooses to create it from nothing and sustain it through time.’Footnote 15 Although factually there is a world, it could have been the case that there is none, which is to say that it is contingently true that there is a world. If we conceive of there being a world as a property of God, then we can state this in another way: it is a contingent and in this sense an extrinsic property of God that there is a world, a property the exemplification of which does not change the essence of God.Footnote 16 As a corollary we obtain the following: if classical theism is true, then complete knowledge of God does not entail knowledge of anything else since it might have been the case that there is nothing apart from God.

According to panentheism, ‘God requires a world.’Footnote 17 In contrast to classical theism, it is not merely factually, but necessarily true that there is a world. If we conceive of there being a world again as a property of God, we can state the point as follows: there being a world is an essential and in this sense is an intrinsic property of God.Footnote 18 As a corollary we obtain the following: on panentheistic premises complete knowledge of God entails knowledge that there is a world. It could not have been the case that there is none.

The conclusion that on classical theism the world is an extrinsic and contingent property of God while according to panentheism it is an intrinsic and essential property of God enables us to specify what it means to say that the world is ‘outside of’ God, respectively, that it is ‘in’ God in a way that demarcates classical theism and panentheism unambiguously: that the world is outside of God means that the world is an extrinsic or contingent property of God and that the world is in God means that it is an intrinsic or essential property of God. In more detail, according to panentheism, everything is in God if and only if the identity of everything is determined by the identity of God without God’s identity being reducible to anything in particular and necessarily there is something in addition to God. According to classical theism, everything is outside of God if and only if the identity of everything is determined by the identity of God without God’s identity being reducible to anything in particular and it is only contingently true that there is something in addition to God.Footnote 19

That on panentheism it is necessarily true that a world exists and on theism only contingently is a conclusion that as such does not entail a definite stance on the temporal duration of the world, which is to say that the putative necessary existence of the world is independent of questions of whether the world is everlasting or had a temporal origin. If there is a first point of time and it is necessarily true that there is a world, then it follows that there can be no time without the world, which seems plausible given current physics and its assumptions about the spatiotemporal nature of the universe.Footnote 20 If there is no first point of time, i.e., if for any point of time there is a prior point of time and necessarily there is a world, then it follows that time belongs to the essence of God in the same way in which the world does. Therefore, the only condition that the necessity of the world entails as regards the temporal duration of the world is that there must not be a point of time t such that God exists at t but the world does not because in that case God rightfully could be said to exist without the world.

The same conclusion, however, follows from the assumption of classical theism as regards the contingency of the world. As Aquinas argued, that it is only contingently true that there is a world – that God could have refrained from creating – neither entails that there is first point of time of the world nor that there is none.Footnote 21 Classical theism also excludes the possibility that there is some point of time t such that God exists at t and the world does not. If there was time before the creation of the world, then we have to assume that God could change in order to understand why at some point of time t God (suddenly?) decided to start creating the world when for any other point of time before t he did not want to create it. Since according to classical theism God is immutable, it follows that there can be no time before the creation of the world.Footnote 22

Therefore, it follows that as regards the temporal origin of the world there is no genuine difference between panentheism and classical theism.Footnote 23 On the assumption that there is no time without there being a world, both can account for an everlasting world as well as for one that has a temporal beginning.

Furthermore, since ‘creation is concerned with ontological origin, not temporal beginning,’Footnote 24 it follows that both panentheism and classical theism can agree on the world being created since according to both God is the first cause or principle of everything. Since furthermore creatio ex nihilo means that the world is not created out of prior material – ‘creation is ex nihilo in the sense that God’s causing a creature to exist is without any intermediary’Footnote 25 – and since neither the classical theist nor the panentheist assumes that there is anything apart from God that is necessary and sufficient for creation, it follows that panentheism and classical theism can both agree on the world being created out of nothing. The only difference is that on panentheism God could not have refrained from creating a world, and according to Classical theism he could have done so.Footnote 26

Everything in God

According to an often met assumption, panentheism is a purely ontological thesis about the relation between God and the physical world. The world is understood to be a system of different systems the constituents of which are interrelated and causally interact at different emerging levels such that ‘God incorporates both the individual systems and the total system of systems within Godself. […] God is present to the wholes as well as to the parts.’Footnote 27

To conceive of panentheism as a purely ontological thesis, however, is just one side of the coin. The often neglected other side of panentheism is its epistemological or transcendental interpretation. While ontological panentheism understands the implicit universal quantifier ‘everything’ to range over everything physical, epistemological panentheism understands the extension of ‘everything’ to include the mental realm of being. There is a real need for the recognition of epistemological panentheism since if it is true that everything is in God, then not only everything in the physical world is in God, but also everything in the mental world. The assumption that panentheism is exclusively an ontological thesis about God and the physical universe is problematic as it conceals the full impact of the thought that everything is in God.

Corresponding to the two different notions of everything, i.e., ‘everything’ as referring to the physical realm and ‘everything’ as referring to the mental realm, we obtain two specifications. According to ontological panentheism, the physical realm is in God if and only if its nature is determined fully by God without God being reducible to the physical realm and necessarily there is something physical. According to epistemological panentheism, the mental realm is in God if and only if its nature is determined by God without God being reducible to the realm of mentality, and necessarily there is something mental.Footnote 28

If ontological panentheism is true, then, if there is knowledge of the physical world in itself, epistemological panentheism has to be true as well. If epistemological panentheism is true, and if there is knowledge of the physical world in itself, then ontological panentheism has to be true. The reason is that knowledge of the physical world as it is in itself entails that we are able to know things in themselves. Since ontological panentheism entails that everything in the physical world according to its categorical nature is what it is because God is what God is, and because to know things in themselves entails to know the categorical structure of things in themselves, it follows that there can be knowledge of things in themselves if and only if the transcendental categories according to which our mind is structured are identical with the transcendent categories of things in themselves. This identity, however, is only intelligible if the principle that determines the physical world is nothing over and above the principle that determines the mental world. According to a full-blown panentheism, God is the one principle of ontology and epistemology.Footnote 29

Insofar as classical theism entails the intelligibility of the world, however, it entails the same conclusion. According to classical theism, the world is created by God in such a way that science is possible and that we can obtain genuine knowledge of the world. Since this is only possible if the transcendental structure of our mind is the same as the transcendent structure of the world – if as classical hylemorphistic theism would have it ‘the soul is in a way all existing things’Footnote 30 – it follows that according to classical theism God is the one principle of ontology and epistemology as well.Footnote 31

Therefore, as regards the interpretation of the implicit universal quantifier ‘Everything,’ classical theism and panentheism entail the same conclusion: on both accounts, ‘everything’ refers to the physical and the mental realm in such a way that there is a one to one mapping between the categories of epistemology and the categories of ontology – otherwise neither account could explain the intelligibility of genuine knowledge of the world.

Everything in God

According to panentheism, everything is in God if and only if every mental and every physical item is what it is because God is what God is and necessarily there is something mental and something physical. As a consequence: if we know what everything is like, then we know what God is like, and if we know what God is like, then we know what everything is like. Because apart from the controversial concept of intellectual intuition there seems to be no direct and immediate way to obtain knowledge of what God is like, it follows that in order to justify a particular concept of God, we have to proceed in the classical way which involves the dialectic between negative and positive theology. That is, we have to suppose that as a first principle or cause of everything God at least has all the properties that are exemplified in the universe because nothing is in the effect that is not in the cause.Footnote 32 Since, however, there are mutually excluding properties in the world, the concept of a first cause or principle of everything differs fundamentally from the concepts we deal with in daily life. Whereas these concepts function essentially by way of exclusion – e.g., the concept of a table excludes the property of being a self-controlled agent – the concept of God as a first principle cannot exclude any property, which is why we cannot subsume it under any particular conceptual category. Although we can understand how to construct a concept of God as a first principle or cause of everything, we cannot understand the construed concept.

Apart from the fact that on panentheistic premises the world exists of necessity, the concept of God which panentheism leads to thus turns out to be indistinguishable from the concept of God that we find in classical theism: both theses agree that as the first principle and cause of everything God has to have every property there is in the world in a supreme and unified way beyond contradiction. Therefore, what Turner says about Thomas Aquinas’ theistic conception of God can also be said about the panentheistic concept of God: ‘That we cannot form any “concept” of God is due not to the divine vacuousness, but, on the contrary, to the excessiveness of the divine plenitude. That excessiveness eludes our language because we could not comprehend it except in a surplus of description which utterly defeats our powers of unification under any conception.’Footnote 33 Therefore, according to the logic of a first principle or cause of everything, panentheism and classical theism cannot differ as regards their conception of God.

It is often argued that there is nevertheless a real difference between classical theism and panentheism that consists in the former’s rejection and the panentheistic approval of the thesis that the world can influence God. It is said that on panentheism God can change and on classical theism God is absolutely immutable: ‘The real difference [between classical theism and panentheism] is that [according to classical theism] the natures and activities of the creatures do not have a real feedback effect on God. There is, in other words, no return from the world into God. As pure activity (actus purus), God is the eternal realization of all positive predicates. Accordingly, there is nothing God can “learn” in relation to the creatures, no “challenges” to be met, no free acts to “wait for.” The world is utterly dependent on God for its existence, while the world cannot really affect the being or mind of God.’Footnote 34

In order to evaluate whether this is a genuine distinction between classical theism and panentheism we have to clarify what it could mean to say that the world influences or changes God. Since neither classical theism nor panentheism assumes that God is a particular object amongst others, it follows (a) that God does not stand in any relation which is like the relations among particulars and (b) that the way in which the world could influence or change God cannot in any way be similar to the way in which particulars influence each other. If we suppose that causation is a paradigmatic way of how particulars influence or change each other, then we can exclude the possibility that the world can causally influence God, which is to say that nothing causally interacts with God.

If, however, God cannot be influenced causally, then it seems that we are running out of options of how the world could in principle change God. The only option left is a logical influence on God according to which a change in the world logically entails a change in God. The only intelligible example of such a logical influence on God, however, concerns the knowledge of God. Consequently, that on panentheistic premises the world can change God means that ‘God’s […] knowledge changes because the creatures, with their power of self-determination, constantly do new, unpredictable things.’Footnote 35

Therefore, the putative difference between classical theism and panentheism is that according to panentheism the world can change God insofar as worldly agents by way of exercising their freedom change or add to the knowledge of God whereas according to classical theism there is no such influence.Footnote 36 In other words, the putative distinction between panentheism and classical theism rests on different answers to the problem of libertarian freedom and divine omniscience. The question we have to answer is whether it is consistent to suppose that on panentheism the world adds to the knowledge of God, whereas on theism it does not.

Both theism and panentheism agree that God is omniscient, and both agree that this means that God knows all that is logically possible to be known. Therefore, what is at stake is whether it is logically possible to know in which way agents exercise their freedom. If it is logically possible to know this, then God knows it and consequently does not change. If it is not possible, then we have to suppose that free acts add to the knowledge of God and consequently have to suppose that God changes in this regard.

A necessary condition in order to be able to know what free agents do is that there are true propositions concerning their behavior, whereas I assume that the relevant propositions are of the form ‘At t, x freely decides to perform A.’ Embedding a temporal index into the form of the proposition enables us to avoid getting sidetracked by irrelevant matters. The problem of whether it is logically possible to know what free agents do, then, is not primarily the problem of whether at a certain point of time t God knows what an agent will do at some later point of time t*, but simply the problem of whether it is true that the agent behaves in a certain way at t*. Therefore, it is irrelevant for the preset problem whether we suppose that God exists within time and knows the future or whether he exists timelessly and knows what happens at t*.

According to the standard account, propositions are abstract entities that are either true or false. The truth or falsity of a proposition, however, is a logical property of the proposition in question, a property that it exemplifies timelessly. Accepting the standard account entails that any proposition of the form ‘At t, x freely decides to perform A’ is either true or false timelessly and consequently can be known by God. Keeping in mind that truth is a logical property enables us to avoid the problem of theological determinism according to which God’s omniscience denies the possibility of libertarian freedom.

Roughly, the problem of theological determinism runs as follows: if God knows what somebody does at a certain point of time, then that person cannot refrain from doing so and therefore cannot be said to act freely. It is argued that in order to rescue libertarian freedom we have to suppose that God does not know what free agent do until they do it – which makes the panentheistic thesis prima facie attractive. But this argument assumes that truth is a causal property of propositions according to which a true proposition about free acts somehow causes the person in question to behave in a certain way. It is exactly the other way about: if x freely decides to perform A at some point of time t, then this is what makes the corresponding proposition timelessly true and enables it to be known by God.

If x decided to perform B instead of A, then God would have known this instead of what he knows factually. In other words, it is not the truth of the proposition that causes x to perform A at t, but the free act to perform A at t that enables God to know timelessly the truth of the corresponding proposition. Therefore, the panentheistic assumption that God’s knowledge changes or is added to due to the behavior of free creatures is implausible given that truth is a logical property of propositions. The only argument against this assumption, i.e., the argument that the timeless truth of propositions about free acts entailed the impossibility of libertarian freedom is not sound because it wrongly assumes that truth is a causal and not a logical property of true propositions.

Therefore, the argument that according to theism God is immutable and according to panentheism God changes is not a sound argument and therefore does not demarcate theism from panentheism.

Panentheism and Classical Theism

Panentheism is the thesis that (a) the identity of every mental and every physical item is determined by the identity of God without God’s identity being reducible to any physical or any mental thing in particular and (b) necessarily there is something mental and something physical. Classical theism agrees on (a) but rejects (b). According to classical theism, it is only contingently true that there is something mental and physical apart from God. As we have seen, this is the only difference between classical theism and panentheism. According to either position creation out of nothing and a temporal beginning of the world is intelligible, and according to both God is the one principle of ontology and epistemology. Both theses operate with the same concept of God and the putative distinction that on panentheistic premises God can be changed while on classical theism God cannot be changed turned out to be untenable. It follows that the only argument that could decide between classical theism and panentheism had to be an argument entailing either the conclusion that of necessity there is a world or the conclusion that it is only contingently true that there is something in addition to God.

However, we might not be in a position to decide between panentheism and classical theism. Arguments for the contingency of the world are based on the premise that it is conceivable that there might not have been a world and that therefore it is possible that there might not have been one. There are two problems with these kinds of argument. Firstly, they presuppose the assumption that conceivability entails metaphysical possibility, an assumption that is often criticized in recent discussion.Footnote 37 Secondly, they face the problem of whether we can actually conceive of there being no world. Arguably, this is a capacity we lack. As Rundle argues, ‘our attempts at conceiving of total non-existence are irredeemably partial. We are always left with something, if only a setting from which we envisage everything having departed, a void which we confront and find empty, but something which it makes sense to speak of as having once been home to bodies, radiation, or whatever.’Footnote 38

As regards arguments for the necessity of the world we can exclude arguments for the eternity of the world since even the contingency of the world does not exclude its eternity. Nevertheless, it seems to me that there are two kinds of argument that could be deployed in order to show that there is a world of necessity and that I would like to mention briefly. The first kind of argument is familiar from considerations to be found in the tradition of German Idealism. According to this kind of argument, finitude entails there being infinitude in much the same way in which the infinite entails there being the finite.Footnote 39 Therefore, if this is true and we assume that the world is finite and God infinite, then it follows that there has to be a world of necessity.Footnote 40

The second kind of argument is concerned with the prima facie plausible principle of sufficient reason. Leibniz states the principle thus: ‘Now we must rise to metaphysics, making use of the great principle […] which holds that nothing takes place without sufficient reason, that is to say that nothing happens without its being possible for one who has enough knowledge of things to give a reason sufficient to determine why it is thus and not otherwise.’Footnote 41 Deploying the classical theist’s assumption that the world is contingent – that it is only contingently true that there is a world – together with the principle of sufficient reason as stated we obtain the contradiction that it is necessarily true that there is a world.Footnote 42 Here is why: suppose that x is the sufficient reason that explains there being a world contingently. Itself x is either contingent or necessary. If x is contingent, then according to the principle of sufficient reason there is another sufficient reason y explaining x ad infinitum. If, however, x is necessary, then x is a necessarily sufficient reason for there being a world. And if x is a necessarily sufficient reason for there being a world, then x cannot fail to be the reason for there being a world which is to say that there is a world of necessity. We obtain the contradiction that the world is both necessary and contingent.Footnote 43 Whilst the classical theist rejects the principle of sufficient reason or tries to find a weaker version in order to rescue the contingency of the world, the panentheist could happily endorse the principle of sufficient reasons as it stands and reject the assumption that it is only contingently true that there is a world.Footnote 44

Anyway, the aim of this paper is not to decide between classical theism and panentheism, but only to show that as long as we do not have a sound argument entailing the necessity of the world, panentheism is not an attractive alternative to classical theism.