First published Mon Feb 1, 2010; substantive revision Fri Apr 16, 2021

Omniscience is the property of having complete or maximal knowledge. Along with omnipotence and perfect goodness, it is usually taken to be one of the central divine attributes. One source of the attribution of omniscience to God derives from the numerous biblical passages that ascribe vast knowledge to him. St. Thomas Aquinas (Summa Theologiae I, q. 14), in his discussion of the knowledge of God, cites such texts as Job 12:13: “With God are wisdom and strength; he has counsel and understanding” and Rom. 11:33: “O the depths of the riches and wisdom and knowledge of God!” Another source is provided by the requirements of formulating one or another theological doctrine. For example, the doctrine of divine providence holds that God has a plan for the world according to which all things are in his care and work out according to his good will. As Flint puts it,

to see God as provident is to see him as knowingly and lovingly directing each and every event involving each and every creature toward the ends he has ordained for them (Flint 1998: 12).

It is thus natural to think than an account of providence requires attributing vast knowledge to God. (For a dissenting interpretation of providence which does not require complete knowledge, see Hasker 2004.) A third motivation for including omniscience among the divine attributes derives from “perfect being theology”. Perfect being theology appeals to St. Anselm, who held that God is that than which nothing greater can be thought (Proslogion, c.1077). Anselm expands on what he means by greatness by giving the formula that “God is whatever it is better to be than not”, and he concludes that this includes such properties as making other things from nothing, being just, being happy, and being perceptive, omnipotent, and merciful. Anselm can derive omniscience from this list because he holds that “to perceive is nothing else than to know” (Anselm 1998: 90). Other exponents of perfect being theology could simply, and more directly, affirm that it is better to have knowledge than not; so having knowledge is a property that contributes to greatness. Interestingly, the first of these sources, the biblical ascriptions of great knowledge to God, together with additional passages attributing other perfections to him, as Leftow argues, license a version of the third motivation, perfect being theology. On this view, perfect being theology “simply tries to show what authoritative statements about God’s perfections entail” (Leftow 2011: 108).

This entry will address philosophical issues concerning omniscience as a divine attribute or a perfection, without considering its potential application in theology.

1. Defining Omniscience

Since omniscience is maximal or complete knowledge, it is typically defined in terms of knowledge of all true propositions, namely, as

  • (D1) S is omniscient \(=_{\textit{df}}\) for every proposition p, if p is true then S knows p.

One might think it important to require, in addition, that an omniscient being also knows which propositions are false. In this case, (D1) could be replaced by

  • (D2)S is omniscient \(=_{\textit{df}}\) for every proposition p, if p is true then S knows p and for every proposition q, if q is false then S knows that q is false.

This revision is equivalent to (D1), however, given that for every false proposition there is a true one to the effect that the first one is false. (D1) already requires an omniscient being to know the latter proposition.

Or one might add that omniscience not only requires knowing all truths but also believing no falsehoods. That is,

  • (D3) S is omniscient \(=_{\textit{df}}\) for every proposition p, if p is true then S knows p, and there is no proposition q such that q is false and S believes q.

But (D3) is also equivalent to (D1), at least if it is impossible to believe the denial of a proposition one knows to be true, knows that one knows to be true, knows is the denial of a proposition one knows, etc. (Oppy (2014: 233) claims, more simply, that it is not possible to know a proposition if one believes its denial.) In the recent literature, Swinburne (1993: 167 and 2016: 175) states a version of (D1) (although in both works he later endorses restricted principles (1993: 181–182 and 2016: 196) to yield what he calls an “attenuated” definition). Zagzebski (2007: 262) endorses (D2). Plantinga ([1974] 1977: 68), Davis (1983: 26), Gale (1991: 57), Craig (1991:6), and others propose (D3).

Several recent discussions of omniscience have attempted to defend a more restricted account than offered by the preceding definitions. For example, Langtry (2008: 39) suggests that God is omniscient just in case, for every true proposition p, “either God knows that p, or else he does not but his knowing that p is not precluded by any defect or limitation in his intrinsic cognitive capacities.” Nagasawa (2017) claims that a stronger version of perfect being theology would hold that God has a “maximally consistent set” of the divine attributes of knowledge, power, and benevolence. This would allow that a perfect being could be omniscient without knowing all truths, if knowing all truths would reduce the amount of power or benevolence the being could possess. Another departure from the traditional understanding presented above appeals to feminist epistemology. See the Section 3.1 of the entry on feminist philosophy of religion, which hints at this possibility in its discussion of “so-called divine attributes”, although it limits its discussion to perfect power and divine aseity. Farmer (2010), however, draws more directly on feminist epistemology as an application to understanding omniscience. The negative claim in this work is that “propositional ideals of human knowledge” exclude “marginalized and maligned” forms of knowledge. Thus omniscience could be better understood by appealing, positively, to these other forms of knowledge. Farmer cites “knowing other people in personal relationships”, the “centrality of care” which leads to “the acknowledgement of the otherness of the object of knowledge”, and the role of emotion in leading to knowledge. (Farmer cites (Code, 1993), (Dalmiya 2002), and (Jaggar 1989), respectively, for these ideas.) However this approach is to be worked out, the intention is that omniscience would not simply be defined by reference to knowledge of true propositions.

Another recent development might also be seen as recommending a different account of omniscience. This is the suggestion, presented most prominently by Zagzebski, that God has the attribute of omnisubjectivity. According to Zagzebski, omnisubjectivity is “the property of consciously grasping with perfect accuracy and completeness the first-person perspective of every conscious being” (2008: 232). She adds that “God’s knowledge of our conscious lives is something like the perfection of empathy” (2008: 236). Since grasping someone’s subjective experience seems not to be propositional, perhaps the suggestion is that omniscience involves more than knowledge of propositions. But Zagebski’s claim is, rather, that omnisubjectivity is entailed by omniscience (2008: 232) or entailed by the conjunction of omniscience and omnipresence (2016: 436), so it is perhaps better thought of a further extension of divine cognitive perfection and not a rejection of the definitions listed above.

Despite this recent work on omniscience, the main disputes in the literature center on the traditional definition of omniscience; accordingly, this entry will concentrate on them. These disputes have focused on the scope of the quantifier in (D1), whether, for example, it includes propositions about the future, whether (D1) requires an omniscient being to change as time goes by, whether it requires enough for maximal knowledge, and whether it (falsely) presupposes that there is a set of all truths.

2. Additional Features of Divine Knowledge

Omniscience is supposed to be knowledge that is maximal or complete. Perhaps knowledge of all truths, as (D1) puts it, captures that idea. But there are other features that might be included in such maximal knowledge when it is had by a perfect being. For example, perhaps a perfect being does not merely believe all true propositions but, in addition, could not possibly be mistaken. Perhaps, in other words, such a being is infallible, that is, necessarily such that any proposition it believes is true. Van Inwagen (2006: 26) adds to his variant of (D1) that it is impossible that there is a proposition q such that S believes q and q is false, which is equivalent to requiring that necessarily if S believes p then p is true. (See also van Inwagen 2002: 221.) It is conceivable that a being might satisfy (D1) by knowing all truths without its being such that it could not possibly hold a false belief. In that case infallibility adds an additional component to the standard account given by (D1).

A related idea emerges from the suggestion that not only does a perfect being exist necessarily, but it has its various great-making properties of necessity. The suggestion is that a being worthy of worship should not “possess its various excellences in some merely adventitious manner” (Findlay 1948: 180). In that case, another feature of divine knowledge, if God exists necessarily, is being essentially omniscient, that is, being omniscient and not possibly lacking omniscience. Essential omniscience entails infallibility—a being who could not possibly fail to be omniscient could not possibly be mistaken—but the reverse does not hold, for a being who could not possibly believe a falsehood might nevertheless fail to believe all truths. So essential omniscience might be another additional component to the standard account. In an influential article Pike (1965) has argued for the incompatibility of essential omniscience and voluntary human action (see Section 3).

Another question that arises about God’s knowledge is whether it is all occurrent knowledge or whether some of his knowledge is dispositional. Knowledge of a proposition is occurrent if the knower has that proposition in mind. And knowledge of a proposition is dispositional, roughly, if the person knows the proposition but is not currently thinking about it or entertaining it, that is, if the person has a dispositional belief (see Section 2.1 of the entry on belief) in that proposition. Philosophers have answered this question differently. Thomas Aquinas claimed that God’s knowledge was not “discursive” (Summa Theologiae, I, 14, 7), by which he meant, in the first place, that God does not first think of one thing and then think of another, for “God sees all things together and not successively”. On the other hand, Hunt (1995) has argued that taking God’s knowledge of the future to be dispositional can provide a way of reconciling divine foreknowledge with human free action (see next section). It seems hard to understand, however, how someone with the vast ability to be omniscient could fail to be aware of any part of what they know.

A second thing that Aquinas meant by claiming that God’s knowledge is not discursive is that God does not derive his knowledge by deducing conclusions from other things that he knows. Of course the propositions God knows stand in logical relations with each other, and that includes standing in the relation of premisses to valid conclusion. Aquinas’s claim, however, is that God does not arrive at a conclusion by deducing it from premisses. In contrast, however, Mavrodes (1988), recognizing the many logical relations in which propositions stand to one another, conjectures that all of God’s knowledge is inferential.

The usual discussions of omniscience treat it as a special case of knowledge, although, perhaps, with such additional features as being arrived at infallibly or through essential omniscience. A standard account of knowledge holds that it is justified true belief, plus a “fourth condition” to avoid counterexamples (see, for example, Chisholm 1989: 90–91). Perhaps, instead, knowledge is warranted true belief, that is, a true belief produced by ones noetic faculties functioning properly in circumstances in which they were designed to function (see, for example, Plantinga 1993). Or, according to another recent proposal, the “Knowledge First” view, knowledge is a general state not to be analyzed by satisfying some other conditions (see Williamson 2000); but even on this suggestion, knowledge entails belief and justification. Thus, on all of these views, knowledge involves belief—as did our discussion two paragraphs back of whether omniscience could include dispositional belief. For the most part, however, philosophers have not devoted much attention to the status of God’s beliefs or the nature of his justification. One exception is the claim of Alston (1986) that God’s knowledge is not divided into separate beliefs and that in fact God does not have beliefs. According to Alston, God has an intuitive, immediate awareness of all truth, which gives him knowledge without belief. For criticism of Alston’s view, see (Hasker 1988) and (Dickinson 2019).

Whether considerations of perfection require that God’s knowledge includes any of these additional features, most discussions of omniscience do not focus on whether it includes infallibility, essential omniscience, being “non-discursive”, or not involving belief. Instead, they primarily address the range of the knowledge that omniscient requires. Accordingly in what follows we will consider issues that arise when omniscience is understood along the lines of (D1).

3. Foreknowledge and Human Free Action

Knowledge of all true propositions would seem to include knowledge of all truths about the future, at least if there are truths about the future. Thus omniscience would seem to include foreknowledge. There is a long tradition, however, of philosophers who have thought that divine foreknowledge was incompatible with human free action, or, at any rate, they took arguments for the incompatibility seriously enough so as to require either disarming them or limiting what is involved in divine omniscience. (Similar reasoning might be given to argue that God’s foreknowledge is incompatible with some of God’s own free action. See Swinburne (2016 183) for a such a suggestion. We will follow tradition and consider only the application to human action.) Early discussions include ones by St. Augustine (On Free Choice of the Will, Bk. III, ch. 3) and Boethius (The Consolation of Philosophy, Bk. V). They each considered an argument that may be represented (where S is any person and A is any action) as:

  • (1) If God has foreknowledge that S will do A, then it is necessary that S will do A.
  • (2) If it is necessary that S will do A, then S is not free with respect to doing A.


  • (3)If God has foreknowledge that S will do A, then S is not free with respect to doing A.

It is somewhat controversial exactly what Augustine’s own response to this argument is (in his formulation it is foreknowledge of a sinful action and not foreknowledge of human actions more generally). An influential interpretation has been given by Rowe (1964) and criticized by Hopkins (1977), who both think that Augustine denies premiss (2) on the grounds that human actions may be free even if they come about by necessity. An alternative interpretation has been defended by Wierenga (1989: 60–63), who thinks that Augustine only explicitly argues against the conclusion of the argument. In any event, it is clearer that Augustine denies the conclusion than that he identifies a flaw in the argument. Boethius, on the other hand, accepts the argument but denies that omniscience includes foreknowledge. Instead, God’s perspective is that of eternity, that is, “the complete possession all at once of illimitable life”. In other words, God sees everything that ever happens all at once, so he does not, strictly speaking, know things ahead of time. (For a more recent defense of this view, see Stump and Kretzmann 1981.)

Subsequent philosophers, however, beginning at least as early as Aquinas, identified a flaw in the argument. According to Aquinas (Summa contra Gentiles, I, 67, 10), the first premiss is ambiguous between the “necessity of the consequence” and the “necessity of the consequent”. That is, (1) may be interpreted as

  • (1′) It is necessary that if God foreknows that S will do A, then S will do A.

or as

  • (1″) If God foreknows that S will do A, then it is a necessary truth that S will do A.

On the former interpretation the premiss is true, but under that interpretation the argument is invalid, that is, the conclusion does not follow. Interpreting the premiss in the second way results in an argument that is valid, but this premiss is false. Just because God knows a proposition, it does not follow that the proposition is a necessary truth; God knows contingent truths, as well. In either case, the argument fails.

There is a second, more difficult argument for the incompatibility of divine foreknowledge and human free action. An early version was given by Pike (1965), and it has occasioned a voluminous recent literature. (For some of this literature, see the papers and bibliography included in Fisher 1989.) Developments of the argument typically draw on the following claims:

  • (4) A proposition reporting an event in the past is forever afterwards “fixed” or “unalterable” or accidentally necessary.
  • (5) A contingent proposition that is entailed by an accidentally necessary proposition is itself accidentally necessary (accidental necessity is closed under entailment).
  • (6) If a proposition is accidentally necessary at a time, no one is able at any later time to make it false.

In virtue of (4), propositions reporting God’s past beliefs are accidentally necessary. If it is true that Eighty years ago God believed that Jones will mow his lawn tomorrow (to use Pike’s example), then that proposition reports a past event and, thus, is now accidentally necessary. Now from the assumptions that God is omniscient and that God believes p, it follows that p. If we strengthen the first assumption to hold either that God is essentially omniscient or that he is infallible (see section 2 above), the proposition God believes p by itself entails p, that is, it is not possible that God believe p and p be false. Let us develop the argument under one of these stronger assumptions. Then since God believes that Jones will mow his lawn tomorrow entails Jones will mow his lawn tomorrow, given that the former is accidentally necessary and that the latter is contingent, it follows, with the help of (5), that Jones will mow his lawn tomorrow is also accidentally necessary. But then, in view of (6), no one, not even Jones himself, is able to make it false that Jones will mow his lawn tomorrow. If there is nothing Jones can do to avoid mowing his lawn tomorrow, then he does not do so freely. This action was chosen arbitrarily, and so the argument is supposed to show that no action that God knows ahead of time will be performed is free; divine foreknowledge is incompatible with human free action.

This argument requires a number of nontrivial assumptions. So there is no lack of places for an objector to attack, and, in fact, philosophers have tried various ways of discrediting the argument, none of them entirely convincing. Ockhamists (named after William of Ockham) try to defend the claim that many propositions apparently reporting God’s past beliefs are not wholly about the past, and thus are not accidentally necessary. Accordingly, Plantinga (1986) and some of the authors of the papers in Fisher (1989) on the distinction between “hard” facts and “soft” facts deny (4). But it has proven remarkably difficult to provide clear and persuasive principles for determining which propositions apparently about the past are not completely or really about the past.

An alternative defended by the sixteenth-century Jesuit, Luis de Molina, is to deny (5), the principle that accidental necessity is closed under entailment of contingent propositions (Freddoso 1988: 58). Of the assumptions required for the argument, however, (5) has seemed to many to be the least controversial, at least if we really do grasp the modality of accidental necessity. For a simple argument against (5), see (Wierenga 2016:102).

Finally, it remains open to deny (6), to hold that even if it is already accidentally necessary that Jones mow his lawn tomorrow, he nevertheless has it within his power to do something, for example, spend the day indoors, which is such that if he were to do it, it would be false that he mows his lawn (Plantinga 1986: 257). Jones can remain indoors tomorrow, and if he were to do that, the past would have been different; in particular, God would never have believed then that Jones would mow his lawn tomorrow. See also Mavrodes (1983) for a defense of the claim that events of the past are now preventable. Some philosophers object, however, to this sort of counterfactual power over the past.

We have just looked at three strategies for rejecting the argument. Some theistic philosophers, however, are happy to accept it. One position accepts the argument and gives the Boethian response, like that given to the first argument above, that God’s mode of existence is eternity, so he does not have foreknowledge. On this view, it does not matter that divine foreknowledge is incompatible with free human action, because God’s omniscience does not include foreknowledge (see, for example, Stump and Kretzmann 1991). Other philosophers have objected that regardless of whether God is eternal rather than everlasting, it does not suffice to reply to the argument simply by appealing to God’s eternity. Plantinga (1986), Zagzebski (1991), and others claim that an exactly analogous argument could be constructed using the premiss that 80 years ago it was then true, and so now accidentally necessary, that God eternally knows that Jones mows his lawn tomorrow. According to this revision of the argument, divine eternal knowledge would be as incompatible with human free action as divine foreknowledge is; so the Boethian response leaves the argument unchallenged.

In recent years perhaps the most widely accepted response to the argument is to accept it but to deny that omniscience extends to knowledge of the future. Geach (1977) held that apart from “present trends and tendencies” there is no future to be known. Swinburne (1993 and 2016) holds that omniscience does not include foreknowledge of future free actions. Hoffman and Rosenkrantz (2002) give a careful account of omniscience, intentionally limiting God’s foreknowledge to truths that are “causally inevitable”, where causally inevitable events are not free actions. Indeed a recent movement within philosophy of religion, so-called Open Theism, has been developed with the explicit aim of leaving the future “open”, and thus unknown to God, precisely so as to leave room for human freedom. Hasker (1989, 2004) has been a leading figure in this group, as have been the contributors to Pinnock (1994). In a similar vein, Mawson recommends that theists who think that God is in time should say “that God suspends judgment on everything that will actually happen in the future.” Instead, on this view omniscience extends to the future only in knowledge of “the probabilities of particular futures developing” (Mawson 2019: 38–39). We saw at the outset of this essay that one of the motivations for attributing omniscience to God is to be able to develop a doctrine of divine providence. But those who deny that God’s knowledge extends to future free actions will have the difficult task of stating or accepting a doctrine of providence, if God does not know what free agents will do.

For a fuller discussion of these issues, see the entries on foreknowledge and free will and medieval theories of future contingents.

4. Further Difficulties for Omniscience

Philosophical issues involving foreknowledge and free action are of long-standing interest, with a history of discussion from late antiquity through the present day. Several other questions about omniscience are of more recent vintage, some of them raising more technical issues. This section will consider four more recent objections.

4.1 Omniscience and Immutability

As time goes by, many things change. It is tempting to think that as things thus change, propositions reporting what is the case change in truth value. In a provocative paper, Kretzmann (1966) argued that being omniscient requires knowing different things at different times, and thus is incompatible with being immutable. This would constitute an objection to classical theism, according to which omniscience and immutability are both taken to be central attributes of God. Kretzmann’s argument was anticipated by Franz Brentano (1838–1917) in the following passage (not published until 1976):

If anything changes, then it is not the case that all truths are eternal. God knows all truths, hence also those which are such only for today. He could not apprehend these truths yesterday, since at that time they were not truths—but there were other truths instead of them. Thus he knows, for example, that I write down these thoughts, but yesterday he knew not that, but rather that I was going to write them down later. And similarly he will know tomorrow that I have written them down. (Brentano, Philosophische Untersuchungen, English translation in Chisholm 1979: 347)

According to this objection, then, some propositions change their truth values over time, and a being who knows all true propositions accordingly changes beliefs. So, if God is omniscient, he is not immutable (Kretzmann’s formulation) or eternal (Wolterstorff 1975) or timeless (Davis 1983). Variations on this objection have also been given by Kenny (1979), Prior (1962), and Grim (1985). Philosophers who have objected to the argument include Castañeda (1967), Kretzmann himself subsequently in Stump and Kretzmann (1981), Kvanvig (1986), Pike (1970), Swinburne (1993, but not 2016), and Wierenga (1989, 2002).

This argument, which appeals to temporal indexicals such as the present tense and the words “now” and “yesterday”, has an analogue in an argument that appeals to first-person indexicals. That is the subject of the next section; it will be convenient to consider replies to the two arguments together.

4.2 Omniscience and Knowledge de se

Kretzmann (1966) raised a second problem for omniscience. He held that each of us possesses special “first-person” knowledge, knowledge not available to anyone else. He illustrates this with the example of what Jones knows when he knows that he himself is in the hospital. What Jones knows is not simply the proposition that Jones is in the hospital, for he might fail to believe this proposition if his hospitalization is for amnesia. Conversely, Jones could know that Jones is in the hospital by reading an account in a newspaper but fail to know that \(he\) is in the hospital, if he is mistaken about not only who he is but where he is. Thus, what Jones knows is supposed to be something other than the proposition that Jones is in the hospital and something that no one other than Jones can know. Accordingly, if omniscience requires knowing everything that anyone knows, God cannot be omniscient without being identical to Jones. Kretzmann took this to show the incompatibility of divine omniscience with “the doctrine of a personal God distinct from other persons” (1966: 420). Put more carefully, the objection purports to show the incompatibility of divine omniscience with the existence of persons distinct from God who have self-knowledge. In the version advocated by Grim (1985), given that we do have first-person or de se knowledge, there is no omniscient God. Nagasawa (2003, see also 2008) gives an objection to Grim that appeals, in part, to the claim that omniscience is a “epistemic power” (which he takes to be included in divine omnipotence).

Given the structural similarity between the objection from present-time knowledge and the objection from first-person knowledge it is not surprising that philosophers have given parallel replies. (See Sosa 1983a,b on the analogy between first-person and present-time knowledge.) What is perhaps more surprising is that it has, for the most part, been opponents of the argument who have attempted to supply the details of exactly what the objects of knowledge and belief are in the case of knowledge of the present and of oneself. On the one hand, perhaps the propositions we know when we know what day it is are eternally true. In this case, what changes is our access to the propositions in question, rather than the propositions themselves. Kvanvig (1986) holds that such knowledge involves a special access to or a “direct grasp” of a proposition, which leaves it open that God could believe the same propositions without thereby ending up with present-time knowledge or first-person knowledge of someone else. Wierenga (1989: 48–53) has proposed an account of the objects of present-time and first-person belief according to which these propositions involve haecceities or individual essences of persons and times. On this view, one gets a first-person belief by believing a proposition including his or her own haecceity, and one gets a present-time belief by believing a proposition involving the haecceity of a moment of time at the time in question. This leaves it open that God believes the same propositions we do. He does not get a first-person belief about someone else, because the relevant propositions do not include his own haecceity. And whether he gets a present-time belief depends on whether he believes these propositions involving the haecceities of moments of time at their times or at his eternal perspective. It is not knowing the propositions that makes him temporal; it is whether he believes in time or out of time. For criticism of this proposal, see Craig (2000) and Torre (2006). But for a recent positive presentation, see Swinburne (2016: 175–182).

A second kind of reply is available, one that does not appeal to a special kind of grasping or an exotic type of proposition. Rather, it takes its cue from recent work on indexicals, according to which some propositions are perspectival, that is, true at some perspectives or indices and false at others. On this view, the proposition, I am in the hospital, which Jones believed at t when he was then in the hospital is true at the index of \(\langle\textrm{Jones}, t\rangle\) but false at many other indices, such as \(\langle\textrm{Smith}, t\rangle\) or \(\langle\textrm{Jones}, t + \textrm{one month}\rangle\). Anyone can believe the eternal truth that this perspectival proposition is true at \(\langle\)Jones, \(t\rangle\), but only Jones is able to believe the perspectival proposition at \(\langle\textrm{Jones}, t\rangle\). More generally, one can believe perspectival propositions only at the perspectives or indices one is at. Wierenga (2002: 155) suggests that if something like this is the correct account of first-person and present-time beliefs, then the definition of omniscience, (D1) above, should be replaced with

  • (D4) S is omniscient \(=_{\textit{df}}\) for every proposition p and perspective \(\langle x, t\rangle\), (i) if p is true at \(\langle x, t\rangle\) then S knows that p is true at \(\langle x, t\rangle\), and (ii) if S is at \(\langle x, t\rangle\) and p is true at \(\langle x, t\rangle\), then at \(\langle x, t\rangle\) S knows p.

According to this definition, God can be omniscient without having the de se beliefs of others, and whether his knowledge changes over time depends, not on the mere fact of his omniscience, but on the further question of whether he has his beliefs at temporal indices.

4.3 Omniscience and Knowledge de re

Another question about omniscience is whether it is really complete knowledge unless it is extended to de re (see the supplement on the de re/de dicto distinction in the entry on propositional attitude reports) knowledge, that is, knowledge with respect to specific individuals that they have certain properties (or with respect to particular pairs of individuals that they stand in certain relations, etc.). This issue has not received much discussion in the literature, but Prior (1962) called attention to it by taking the claim that God is omniscient to entail

  • (7) For every \(f\) and \(x\), if \(f(x)\) then God knows that \(f(x)\).

Prior read (7) as “God knows everything about everything” but it could be given a more explicitly de re formulation as “every property and every individual is such that if the individual has the property then God knows of that individual and property that the former has the latter”. Despite the woodenness of the expression, it does seem, as Prior says, that this is a proposition “which a believer in God’s omniscience would wish to maintain”. The question then becomes whether (D1) (or (D4)) includes such knowledge de re.

Of course, if (D1) does not capture de re knowledge, it would be simple enough to add an another clause to it

… and for every thing x and every property P, if x has P, then x is such that S knows that x has P.

On the other hand, perhaps no such emendation is necessary. Many philosophers have defended an account of de re belief about an object in terms of having some de dicto belief about that object while also bearing a relation of acquaintance to it, that is, while being epistemically en rapport with the object (see Chisholm 1976, Lewis 1979, and Kaplan 1968). Perhaps, God has an immediate or direct awareness of everything and that relation is sufficiently intimate to put him into epistemic rapport with everything. In that case, if de re knowledge is thus reducible to de dicto, then God’s satisfying (D1) (or (D4) would give him complete de re knowledge. On this last point, see Wierenga (2009: 134).

4.4 Omniscience and Cardinality

Another recent concern is whether it really is possible to know all truths. Grim (1988) has objected to the possibility of omniscience on the basis of an argument that concludes that there is no set of all truths. The argument (by reductio) that there is no set \(\mathbf{T}\) of all truths goes by way of Cantor’s Theorem. Suppose there were such a set. Then consider its power set, \(\wp(\mathbf{T})\), that is, the set of all subsets of \(\mathbf{T}\). Now take some truth \(t_1\). For each member of \(\wp(\mathbf{T})\), either \(t_1\) is a member of that set or it is not. There will thus correspond to each member of \(\wp(\mathbf{T})\) a further truth, specifying whether \(t_1\) is or is not a member of that set. Accordingly, there are at least as many truths as there are members of \(\wp(\mathbf{T})\). But Cantor’s Theorem tells us that there must be more members of \(\wp(\mathbf{T})\) than there are of \(\mathbf{T}\). So \(\mathbf{T}\) is not the set of all truths, after all. The assumption that it is leads to the conclusion that it is not. Now Grim thinks that this is a problem for omniscience because he thinks that a being could know all truths only if there were a set of all truths. In reply, Plantinga (Plantinga and Grim 1993) holds that knowledge of all truths does not require the existence of a set of all truths. Plantinga notes that a parallel argument shows that there is no set of all propositions, yet it is intelligible to say, for example, that every proposition is either true or false. A more technical reply in terms of levels of sets has been given by Simmons (1993), but it goes beyond the scope of this entry. See also Wainwright (2010: 50–51) and Oppy (2014: 223–244).


  • Alston, William P., 1986, “Does God Have Beliefs?,” Religious Studies 22(3/4): 287–306. doi:10.1017/S0034412500018333; reprinted with additional note in Divine Nature and Human Language: Essays in Philosophical Theology, Ithaca, NY: Cornell University Press, 1989, pp. 178–193.
  • Anselm, c.1077, “Proslogion”, in Anselm of Canterbury: The Major Works, Brian Davies and G.R. Evans (eds.) Oxford and New York: Oxford University Press, 1998, pp. 83–105.
  • Aquinas, Thomas, c.1260, Summa contra Gentiles, 4 vols., J. Anderson (trans.), Notre Dame, IN: University of Notre Dame Press, 1975.
  • Aquinas, Thomas, 1265–1274, Summa Theologiae, in Summa Theologiae: Questions on God, B. Davies and B. Leftow (eds.), Cambridge: Cambridge University Press, 2006.
  • Augustine, c.390, On Free Choice of the Will, T. Williams (trans.), Indianapolis, IN: Hackett, 1993.
  • Boethius, c.524, The Consolation of Philosophy, P. Walsh (trans.) Oxford: Oxford University Press, 1999.
  • Brentano, Franz, Philosophische Untersuchungen zu Raum, Zeit und Kontinuum, Stephan Körner and Roderick M. Chisholm (eds.), Hamburg: Meiner, 1976.
  • Castañeda, Hector-Neri, 1967, “Omniscience and Indexical Reference,” Journal of Philosophy, 64(7): 203–210. doi:10.2307/2024053
  • Chisholm, Roderick M., 1976, “Knowledge and Belief: ‘De Dicto’ and ‘De Re’,” Philosophical Studies, 29(1): 1–20. doi:10.1007/BF00355667
  • –––, 1979, “Objects and Persons: Revisions and Replies,” Grazer Philosophische Studien, 7/8: 317–388. doi:10.5840/gps19797/830
  • –––, 1989, Theory of Knowledge, 3rd edition, Englewood Cliffs: Prentice-Hall.
  • Code, Lorraine, 1993, “Taking Subjectivity into Account,” in Feminist Epistemologies (Thinking Gender), Linda Alcoff and Elizabeth Potter (eds.), London: Routledge, pp. 15–48.
  • Craig, William Lane, 1991, Divine Foreknowledge and Human Freedom. The Coherence of Theism: Divine Omniscience, Leiden: Brill. doi:10.1163/9789004246683
  • –––, 2000, “Omniscience, Tensed Facts, and Divine Eternity,” Faith and Philosophy, 17(2): 225–241. doi:10.5840/faithphil200017216
  • Dalmiya, Vrinda, 2002, “Why Should a Knower Care?,” Hypatia, 17(1): 34–52.
  • Davis, Stephen T., 1983, Logic and the Nature of God, Grand Rapids, MI: Wm. B. Eerdmans.
  • Dickinson, Travis, 2019, “God Knows: Acquaintance and the Nature of Divine Knowledge,” Religious Studies, 55(1): 1–16.
  • Farmer, Daniel Diederich, 2010, “Defining Omniscience: A Feminist Perspective,” Faith and Philosophy, 27(3): 306–320
  • Findlay, J.N., 1948 “Can God’s Existence Be Disproved?,” Mind 57(226): 176–183. doi:10.1093/mind/LVII.226.176
  • Fischer, John Martin (ed.), 1989, God, Foreknowledge, and Freedom, Stanford, CA: Stanford University Press.
  • Flint, Thomas P., 1998, Divine Providence: The Molinist Account, Ithaca, NY: Cornell University Press.
  • Freddoso, Alfred J., 1988, “Introduction” to Luis Molina, On Divine Foreknowledge: Part IV of the Concordia, Alfred J. Freddoso (trans.), Ithaca, NY: Cornell University Press.
  • Gale, Richard M., 1991, On the Nature and Existence of God, Cambridge: Cambridge University Press. doi:10.1017/CBO9781316499054
  • Geach, Peter T., 1977, Providence and Evil, Cambridge: Cambridge University Press.
  • Grim, Patrick, 1985, “Against Omniscience: The Case from Essential Indexicals,” Noûs, 19(2): 151–180. doi:10.2307/2214928
  • –––, 1988, “Logic and the Limits of Knowledge and Truth,” Noûs, 22: 341–67. doi:10.2307/2215708
  • Hasker, William, 1988, “Yes, God Has Beliefs,” Religious Studies, 24(3): 385–394.
  • –––,1989, God, Time, and Knowledge, Ithaca, NY: Cornell University Press.
  • –––, 2004, Providence, Evil and the Openness of God, London and New York: Routledge.
  • Hoffman, Joshua and Gary S. Rosenkrantz, 2002, The Divine Attributes, Oxford: Blackwell Publishing.
  • Hopkins, Jasper, 1977, “Augustine on Foreknowledge and Free Will,” International Journal for Philosophy of Religion, 8(2): 111–126. doi:10.1007/BF00138083
  • Hunt, David P., 1995, “Dispositional Omniscience,” Philosophical Studies, 80(3): 243–278. doi:10.1007/BF00990585
  • Jaggar, Alison, 1989, “Love and Knowlege: Emotion in Feminist Epistemology,” Inquiry, 32(2): 151–176.
  • Kaplan, David, 1968, “Quantifying In,” Synthese, 19(1–2): 178–214. doi:10.1007/BF00568057
  • Kenny, Anthony, 1979, The God of the Philosophers, Oxford: Clarendon Press.
  • Kretzmann, Norman, 1966, “Omniscience and Immutability,” Journal of Philosophy, 63(14): 409–421. doi:10.2307/2023849
  • Kvanvig, Jonathan L., 1986, The Possibility of an All-Knowing God, New York: St. Martin’s.
  • Leftow, Brian, 2011, “Why Perfect Being Theology,” International Journal for Philosophy of Religion, 69(2): 103–118.
  • Langtry, Bruce, 2008, God, the Best, and Evil, Oxford: Oxford University Press.
  • Lewis, David, 1979, “Attitudes De Dicto and De Se”, Philosophical Review, 88(4): 513–43. doi:10.2307/2184843
  • Mavrodes, George I., 1983, “Is the Past Unpreventable?,” Faith and Philosophy, 1(2): 131–146. doi:10.5840/faithphil1984129
  • –––, 1988, “How Does God Know the Things He Knows?,” in Divine and Human Action: Essays in the Metaphysics of Theism, Thomas V. Morris (ed.), Ithaca, NY: Cornell University Press, pp. 345–61.
  • Mawson, T. J., 2019, The Divine Attributes, Cambridge: Cambridge University Press. doi:10.1017/9781108598101
  • Nagasawa, Yujin, 2003, “Divine Omniscience and Knowledge De Se,” International Journal for Philosophy of Religion, 53(2): 73–82.
  • –––, 2008, God and Phenomenal Consciousness: A Novel Approach to Knowledge Arguments, Cambridge: Cambridge University Press.
  • –––, 2017, Maximal God: A New Defense of Perfect Being Theology, Oxford: Oxford University Press.
  • Oppy, Graham, 2014, Describing Gods, Cambridge: Cambridge University Press,
  • Pike, Nelson, 1965, “Divine Omniscience and Voluntary Action,” The Philosophical Review, 74(1): 27–46. doi:10.2307/2183529
  • –––, 1970, God and Timelessness, London: Routledge and Kegan Paul.
  • Pinnock, Clark H., Richard Rice, John Sanders, William Hasker, and David Basinger, 1994, The Openness of God: A Biblical Challenge to the Traditional Understanding of God, Downer’s Grove, IL: InterVarsity Press.
  • Plantinga, Alvin, 1974, God, Freedom, and Evil, reprinted Grand Rapids, MI: Wm. B. Eerdmans, 1977.
  • –––, 1986, “On Ockham’s Way Out,” Faith and Philosophy, 3(3): 235–269. doi:10.5840/faithphil19863322
  • –––, 1993, Warrant and Proper Function, Oxford and New York: Oxford University Press. doi:10.1093/0195078640.001.0001
  • Plantinga, Alvin and Patrick Grim, 1993, “Truth, Omniscience, and Cantorian Arguments: An Exchange,” Philosophical Studies, 71(3): 267–306. doi:10.1007/BF00989730
  • Prior, Arthur N., 1962, “Formalities of Omniscience,” Philosophy, 37(140): 114–129. doi:10.1017/S0031819100036780; reprinted his Papers on Time and Tense, Oxford: Oxford University Press, 1968, 2nd edition, 2003.
  • Rowe, William L., 1964, “Augustine on Foreknowledge and Free Will,” Review of Metaphysics, 18(2): 356–363.
  • Simmons, Keith, 1993, “On an Argument against Omniscience,” Noûs, 27(1): 22–33. doi:10.2307/2215893
  • Sosa, Ernest, 1983a, “Consciousness of the Self and of the World,” in Agent, Language, and the Structure of the World, James Tomberlin (ed.), Indianapolis, IN: Hackett, pp. 131–143.
  • –––, 1983b, “Propositions and Indexical Attitudes,” in On Believing: Epistemological and Semiotic Approaches, Herman Parret (ed.), Berlin: Walter de Gruyter, pp. 316–332. doi:10.1515/9783111727967-022
  • Stump, Eleonore and Norman Kretzmann, 1981, “Eternity,” The Journal of Philosophy, 78(8): 429–458. doi:10.2307/2026047
  • –––, 1991, “Prophecy, Past Truth, and Eternity,” in James Tomberlin (ed.), Philosophical Perspectives, 5: 395–424. doi:10.2307/2214103
  • Swinburne, Richard, 1993, The Coherence of Theism, revised edition, Oxford: Clarendon Press. doi:10.1093/0198240708.001.0001
  • –––, 2016, The Coherence of Theism, 2nd edition, Oxford: Clarendon Press. doi:10.1093/acprof:oso/9780198779698.001.0001
  • Torre, Stephan, 2006, “De Se Knowledge and the Possibility of an Omniscient Being,” Faith and Philosophy, 23(2): 191–200. doi:10.5840/faithphil200623215
  • van Inwagen, Peter, 2006, The Problem of Evil: The Gifford Lectures Delivered in the University of St. Andrews in 2003, Oxford: Clarendon Press. doi:10.1093/acprof:oso/9780199245604.001.0001
  • –––, 2008, “What Does an Omniscient Being Know about the Future?,” in Oxford Studies in Philosophy of Religion, Vol 1, Jonathan L. Kvanvig (ed.), Oxford: Oxford University Press, pp. 216–230.
  • Wainwright, William J., 2010, “Omnipotence, Omniscience, and Omnipresence,” in The Cambridge Companion to Christian Philosophical Theology, Charles Taliaferro and Chad Meister (eds.), Cambridge: Cambridge University Press, pp. 46–65.
  • Wierenga, Edward R., 1989, The Nature of God: An Inquiry into Divine Attributes, Ithaca, NY: Cornell University Press.
  • –––, 2002, “Timelessness out of Mind: On the Alleged Incoherence of Divine Timelessness,” in God and Time: Essays on the Divine Nature, Gregory E. Ganssle and David M. Woodruff (eds.), Oxford: Oxford University Press, pp. 153–164. doi:10.1093/acprof:oso/9780195129656.003.0008
  • –––, 2009, “Omniscience,” in The Oxford Handbook of Philosophical Theology, Thomas P. Flint and Michael C. Rea (eds.), Oxford and New York: Oxford University Press, pp. 129–144. doi:10.1093/oxfordhb/9780199596539.013.0007
  • –––, 2016, The Philosophy of Religion, Chichester, West Sussex: Wiley–Blackwell.
  • Williamson, Timothy, 2000, Knowledge and its Limits, Oxford: Oxford University Press. doi:10.1093/019925656X.001.0001
  • Wolterstorff, Nicholas, 1975, “God Everlasting,” in God and the Good: Essays in Honor of Henry Stob, Clifton Orlebeke and Lewis B. Smedes (eds.), Grand Rapids, MI: Wm. B. Eerdmans; reprinted in Contemporary Philosophy of Religion, Steven M. Cahn and David Shatz (eds), New York: Oxford University Press, 1982, pp. 77–98.
  • Zagzebski, Linda Trinkaus, 1991, The Dilemma of Freedom and Foreknowledge, New York: Oxford University Press. doi:10.1093/acprof:oso/9780195107630.001.0001
  • –––, 2007, “Omniscience,” in The Routledge Companion to Philosophy of Religion, Chad Meister and Paul Copans (eds.), London and New York: Routledge, pp. 261–269.
  • –––, 2008, “Omnisubjectivity,” in Oxford Studies in Philosophy of Religion, Vol. 1, Jonathan Kvanvig (ed.), Oxford: Oxford University Press, pp. 231–247.
  • –––, 2013, Omnisubjectivity: A Defense of a Divine Attribute (Aquinas Lecture 2013), Milwaukee, WI: Marquette University Press.
  • –––, 2016, “Omnisubjectivity: Why It Is a Divine Attribute,” Nova et Vetera, 14(2): 435–450.

Other Internet Resources

Copyright © 2021 by
Edward Wierenga <>

Open access to the SEP is made possible by a world-wide funding initiative.
The Encyclopedia Now Needs Your Support
Please Read How You Can Help Keep the Encyclopedia Free