This book deals with an old conundrum: if God knows what we will choose tomorrow, how can we be free to choose otherwise? If all our choices are already written, is our freedom simply an illusion? This book provides a precise analysis of this dilemma using the tools of modern ontology and the logic of time. With a focus on three intertwined concepts - God's nature, the formal structure of time, and the metaphysics of time, including the relationship between temporal (...) entities and a timeless God - the chapters analyse various solutions to the problem of foreknowledge and freedom, revealing the advantages and drawbacks of each. Building on this analysis, the authors advance constructive solutions, showing under what conditions an entity can be omniscient in the presence of free agents, and whether an eternal entity can know the tensed futures of the world. The metaphysics of time, its topology and the semantics of future tensed sentences are shown to be invaluable topics in dealing with this issue. Combining investigations into the metaphysics of time with the discipline of temporal Logic this monograph brings about important advancements in the philosophical understanding of an ancient and fascinating problem. The answer, if any, is hidden in the folds of time, in the elusive nature of this feature of reality and in the infinite branching of our lives. (shrink)

Omniscience is the divine attribute of possessing complete or unlimited knowledge. This article examines motivations for taking such a property to be a divine attribute, attempts to define or analyse omniscience, possible limitations on the extent of divine knowledge, and, finally, objections either to the coherence of the concept or to its compatibility with other divine attributes or with widely accepted claims.

One of the divine attributes is omniscience. The standard concept of omniscience is the concept of having complete knowledge: God knows every truth. But there are also other concepts of omniscience that are consistent with having incomplete knowledge. I will propose a new concept of omniscience, namely the concept of having supreme knowledge. It is inspired by how Anselm talks about God's knowledge and it makes good sense of a key premise in an Anselmian argument for (...) omniscience. Moreover, it can be used to escape some of the set-theoretical and logical arguments against divine omniscience. (shrink)

An exchange between Patrick Grim and Alvin Plantinga regarding Cantorian arguments against the possibility of an omniscient being.

Does rationality require logical omniscience? Our best formal theories of rationality imply that it does, but our ordinary evaluations of rationality seem to suggest otherwise. This paper aims to resolve the tension by arguing that our ordinary evaluations of rationality are not only consistent with the thesis that rationality requires logical omniscience, but also provide a compelling rationale for accepting this thesis in the first place. This paper also defends an account of apriori justification for logical beliefs that (...) is designed to explain the rational requirement of logical omniscience. On this account, apriori justification for beliefs about logic has its source in logical facts, rather than psychological facts about experience, reasoning, or understanding. This account has important consequences for the epistemic role of experience in the logical domain. In a slogan, the epistemic role of experience in the apriori domain is not a justifying role, but rather an enabling and disabling role. (shrink)

God’s omniscience generates certain puzzles, not least regarding how such omniscience is compatible with human free will. One option in this regard is to impose limitations on the scope of God’s knowledge, but that then poses the further question of how such limitations can be compatible with God’s nature as a perfect being. I offer a novel way of approaching these questions, which appeals to what I claim is an independently motivated distinction between lacking knowledge and being ignorant. (...) In particular, it is contended that God’s omniscience is best understood not as a complete knowledge of all truths, but rather as a kind of deliberate non-knowing that excludes ignorance. God might not know all truths, but that’s not because of any cognitive lack, and there is certainly no truth about which he is ignorant. (shrink)

Several theorists (Merricks, Westphal, and McCall) have recently claimed to offer a novel way to respond to the dilemma of freedom and foreknowledge, rooted in Molina's insight that God's beliefs depend on what we do, rather than the other way around. In this paper we argue that these responses either beg the question, or else are dressed-up versions of Ockhamism.

The purpose of this paper is to consider the explanatory resources that Robert Brandom‟s distinction between acknowledged and consequential commitments affords in relation to the problem of logical omniscience. With this distinction the importance of the doxastic perspective under consideration for the relationship between logic and norms of reasoning is emphasized, and it becomes possible to handle a number of problematic cases discussed in the literature without thereby incurring a commitment to revisionism about logic. 12.

The great Buddhist writer Santaraksita (725-88) was central to the Buddhist traditions spread into Tibet. He and his disciple Kamalasila were among the most influential thinkers in classical India. They debated ideas not only within the Buddhist tradition but also with exegetes of other Indian religions, and they both traveled and nurtured Buddhism in Tibet during its infancy there. Their views, however, have been notoriously hard to classify. The present volume examines Santaraksita's encyclopedic Tattvasamgraha and Kamalasila's detailed commentary on that (...) text in his Panjika, two works that have historically been presented together. The works cover all conceivable problems in Buddhist thought and portray Buddhism as a supremely rational faith. One hotly debated topic of their time was omniscience -- infinite, all-compassing knowledge -- whether it was possible and whether one could defensibly claim it as a quality of the Buddha. (shrink)

I argue that if deliberation is incompatible with (fore)knowing what one is going to do at the time of the deliberation, then God cannot deliberate. However, this thesis cannot be used to show either that God cannot act intentionally or that human persons cannot deliberate. Further, I have suggested that though omniscience is incompatible with deliberation, it is not incompatible with either some speculation or knowing something on the grounds of inference.

The epistemicist theory aims to explain ignorance due to vagueness by semantic plasticity: the shiftiness of intensions across close possible worlds resulting from shiftiness in usage. This explanation is challenged by the Omniscient Speaker Puzzle (Sennet in Philos Stud 161(2):273–285, 2012). Suppose that an omniscient speaker, Barney, who knows all the facts about usage and how these facts determine the intensions of expressions, cooks up a scheme to stabilise the intension of a normally semantically plastic term like ‘rich’. It seems (...) that ‘rich’ would display all the phenomena associated with vagueness without being semantically plastic, thus making the epistemicist explanation of ignorance due to vagueness insufficient. In this paper, I present a few choice points for epistemicism that arise as a result of the puzzle. (shrink)

A very weak omniscience principle is formulated, related omniscience principlesare considered, and the theorem that a function of bounded variation is the difference of two increasing functions is shown to be equivalent to the omniscience principle WLPO. It is a so shown that an arbitrary function with located variation on an interval is the difference of two increasing functions.

This chapter contains sections titled: Works cited.

At first glance, the properties being omniscient and being worthy of worship might appear to be perfectly co-instantiable. But there are reasons to be worried about this co-instantiability, as it turns out that, depending on our commitments with respect to certain kinds of knowledge and notions of personhood, it might be the case that no being—God included—could instantiate both. In this paper, I lay out and motivate this claim before going on to consider a variety of responses—some more plausible than (...) others—that may be offered by the theist. (shrink)

The text published below is the translation of a part of this published article: "Il Dio che rischia e che cambia: introduzione all’Open Theism". The issue of omniscience is one of the most debated in contemporary Analytical Philosophy of Religion. However, what is often lacking in this discussion is a deep understanding of the dilemma of omniscience and human freedom within a complete epistemological (what can we really say about the divine and the world), metaphysical and theological framework. (...) For example, it is often forgotten to frame some issues within a clear definition of the notion of mystery. (shrink)

It would be good to have a Bayesian decision theory that assesses our decisions and thinking according to everyday standards of rationality — standards that do not require logical omniscience (Garber 1983, Hacking 1967). To that end we develop a “fragmented” decision theory in which a single state of mind is represented by a family of credence functions, each associated with a distinct choice condition (Lewis 1982, Stalnaker 1984). The theory imposes a local coherence assumption guaranteeing that as an (...) agent's attention shifts, successive batches of "obvious" logical information become available to her. A rule of expected utility maximization can then be applied to the decision of what to attend to next during a train of thought. On the resulting theory, rationality requires ordinary agents to be logically competent and to often engage in trains of thought that increase the unification of their states of mind. But rationality does not require ordinary agents to be logically omniscient. (shrink)

I discuss the propositional knowledge of an omniscient being, knowledge of facts that can be represented by that-clauses in sentences such as ‘John knows that the world is round.’ I shall focus upon questions about a supposedly omniscient being who propositionally knows the truth about all current states of affairs. I shall argue that there is no such being.

This chapter contains section titled: Omniscience as Maximal Knowledge The Analysis of Omniscience Divine Foreknowledge and Human Freedom.

Patrick Grim argues that God cannot beomniscient because no one other than me canacquire knowledge de se of myself. Inparticular, according to Grim, God cannot knowwhat I know in knowing that I am making amess. I argue, however, that given twoplausible principles regarding divineattributes there is no reason to accept Grim'sconclusion that God cannot be omniscient. Inthis paper I focus on the relationship betweendivine omniscience and necessaryimpossibilities, in contrast to the generaltrend of research since Aquinas, which hasconcentrated on the (...) relationship between divineomnipotence and necessary impossibilities. (shrink)

Recently, several philosophers have moved from a classical account of divine omniscience according to which God knows all truths to a restricted account of divine omniscience according to which God knows all knowable truths. But an important objection offered by Alexander Pruss threatens to show that if God knows all knowable truths, God must also know all truths. In this paper, I show that there is a way out of Pruss’s objection for the advocate of restricted omniscience (...) if she will define her view in terms of ways of knowing rather than in terms of logical possibilities. (shrink)

My conclusions are the following:We can distinguish between two sorts of kowledge: intellectual knowledge (knowledge of true propositions) and experiential knowledge (knowledge of how certain experiences feel).If we want the doctrine of divine omniscience to be theologically relevant, we will have to assert that divine omniscience involves experiential as well as intellectual omniscience.In order to be omniscient, God does not need to share all the feelings of His creatures with them. However, in order to be experientially omniscient, (...) God must have undergone at least some experiences Himself.If God would be able to have these experiences only by becoming incarnate, God would need the incarnation in order to become omniscient. In this respect human nature would then be more perfect than the divine nature: it would be capable of knowing things which God could only come to know by becoming human. It is therefore preferable to maintain that the divine nature itself is capable of undergoing certain experiences.If the divine nature were incapable of undergoing any experience, God would nevertheless be able to have a vast knowledge of true propositions concerning experiences. For descriptions of experiences and for the evaluation of these descriptions, however, He would be dependent in principle upon His creatures. (shrink)

Logical theories for representing knowledge are often plagued by the so-called Logical Omniscience Problem. The problem stems from the clash between the desire to model rational agents, which should be capable of simple logical inferences, and the fact that any logical inference, however complex, almost inevitably consists of inference steps that are simple enough. This contradiction points to the fruitlessness of trying to solve the Logical Omniscience Problem qualitatively if the rationality of agents is to be maintained. We (...) provide a quantitative solution to the problem compatible with the two important facets of the reasoning agent: rationality and resource boundedness. More precisely, we provide a test for the logical omniscience problem in a given formal theory of knowledge. The quantitative measures we use are inspired by the complexity theory. We illustrate our framework with a number of examples ranging from the traditional implicit representation of knowledge in modal logic to the language of justification logic, which is capable of spelling out the internal inference process. We use these examples to divide representations of knowledge into logically omniscient and not logically omniscient, thus trying to determine how much information about the reasoning process needs to be present in a theory to avoid logical omniscience. (shrink)

This paper deals with Swinburne’s project of developing a theodicy. We criticise this project from both an external and an internal perspective. Regarding the first strategy, the target of our critique is Swinburne’s construal of God’s attributes—especially omniscience—and the related issue of incorrigible foreknowledge. We argue that Swinburne has to clarify and improve his position to deal with the fideist or the atheist. Regarding the second strategy, we focus on Swinburne’s notion of God’s right. In this context, the parent-child-analogy (...) strikes us as particularly problematic. Hence, we argue that Swinburne should either rethink it or drop it altogether. (shrink)

In this paper, I investigate whether we can use a world-involving framework to model the epistemic states of non-ideal agents. The standard possible-world framework falters in this respect because of a commitment to logical omniscience. A familiar attempt to overcome this problem centers around the use of impossible worlds where the truths of logic can be false. As we shall see, if we admit impossible worlds where “anything goes” in modal space, it is easy to model extremely non-ideal agents (...) that are incapable of performing even the most elementary logical deductions. A much harder, and considerably less investigated challenge is to ensure that the resulting modal space can also be used to model moderately ideal agents that are not logically omniscient but nevertheless logically competent. Intuitively, while such agents may fail to rule out subtly impossible worlds that verify complex logical falsehoods, they are nevertheless able to rule out blatantly impossible worlds that verify obvious logical falsehoods. To model moderately ideal agents, I argue, the job is to construct a modal space that contains only possible and non-trivially impossible worlds where it is not the case that “anything goes”. But I prove that it is impossible to develop an impossible-world framework that can do this job and that satisfies certain standard conditions. Effectively, I show that attempts to model moderately ideal agents in a world-involving framework collapse to modeling either logical omniscient agents, or extremely non-ideal agents. (shrink)

Adhering to the traditional concept of omniscience lands Gale in the incoherence Grim’s Cantorian arguments reveal in talk of “all propositions.” By constructing variants and extensions of Grim’s arguments, I explain why various ways out of the incoherence are unacceptable, why theists would do better to adopt a certain revisionary concept of omniscience, and why the Cantorian troubles are so deep as to be troubles as well for Gale’s Weak PSR. I conclude with some brief reflections on method, (...) suggesting that we pursue the full implications of Gale’s own revisionary remarks and replace his method of analytic argumentation with non-analytic revisionary theory-construction. (shrink)

Adhering to the traditional concept of omniscience lands Gale in the incoherence Grim’s Cantorian arguments reveal in talk of “all propositions.” By constructing variants and extensions of Grim’s arguments, I explain why various ways out of the incoherence are unacceptable, why theists would do better to adopt a certain revisionary concept of omniscience, and why the Cantorian troubles are so deep as to be troubles as well for Gale’s Weak PSR. I conclude with some brief reflections on method, (...) suggesting that we pursue the full implications of Gale’s own revisionary remarks and replace his method of analytic argumentation with non-analytic revisionary theory-construction. (shrink)

This article argues that theism entails a species of pantheism on the grounds that there is simply no discernible difference between the God's knowledge of the world and the world that God knows. The case against this thesis begins with the traditional theory of distinctions. But since God is necessarily omniscient there is not even the possibility that these might be considered apart and thus distinguished in that way. But neither is it possible to do this by means of Leibnitz's (...) law, that is, by finding some feature possessed by the one but not the other. Three potential areas of difference are considered but rejected, first, that knowledge unlike the world is representational, and second, that knowledge unlike the world is phenomenal – there is something that it is like to have. Both of these features, though able to distinguish ordinary knowledge from its objects, cease to provide the difference we require when extended to the case of divine knowledge. A final area of potential difference lies in the transcendent nature of God over the world, especially with respect to time, finitude and possibility. But this, in the end, is found no more able to distinguish God's knowledge from its object than the previous two suggestions. (shrink)

This essay examines a conflict between God's omnipotence and His omniscience. I discuss our intuitions regarding omnipotence and omniscience and describe a method by which we can decide whether a being is omnipotent. I consider the most promising versions of omnipotence and argue that they produce a genuine conflict with omniscience. Finally, I suggest that we can take the example of omniscience and generalize it to several of God's essential properties and thereby reveal incompatibilities that result (...) even from sophisticated conceptions of divine attributes. (Published Online August 11 2004). (shrink)

A difficulty for a view of divine eternity as timelessness is that if time is tensed, then God, in virtue of His omniscience, must know tensed facts. But tensed facts, such as It is now t, can only be known by a temporally located being.Defenders of divine atemporality may attempt to escape the force of this argument by contending either that a timeless being can know tensed facts or else that ignorance of tensed facts is compatible with divine (...) class='Hi'>omniscience. Kvanvig, Wierenga, and Leftow adopt both of these strategies in their various defenses of divine timelessness. Their respective solutions are analyzed in detail and shown to be untenable.Thus, if the theist holds to a tensed view of time, he should construe divine eternity in terms of omnitemporality. (shrink)

Let us sum up. The paradox of the Knower poses a direct and formal challenge to the coherence of common notions of knowledge and truth. We've considered a number of ways one might try to meet that challenge: propositional views of truth and knowledge, redundancy or operator views, and appeal to hierarchy of various sorts. Mere appeal to propositions or operators, however, seems to be inadequate to the task of the Knower, at least if unsupplemented by an auxiliary recourse to (...) hierarchy. But the cost of hierarchy appears to be an abandonment of any notion of all truth or of omniscience. What the contradictions of the Knower seem to demand, then, is at least an abandonment of these. As noted in the introduction, the argument is complicated enough that one must be wary of dogmatic and precipitate conclusions. One may legitimately wonder whether some new response, or some variation on an old one, will yet offer a way out.Far too often, however, it is asked what has gone wrong with paradox rather than what paradox may have to teach us. What the Knower may have to teach us, I think, is that there really can be no coherent notion of all truth and really can be no coherent notion of omniscience. In its own way that conclusion is perhaps as humbling as is any traditional notion of God. (shrink)

According to one antitheist argument, the necessarily omniscient, necessarily omnipotent, and necessarily omnibenevolent Anselmian God does not exist, because if God is necessarily omnipotent it is impossible for Him to comprehend fully certain concepts, such as fear, frustration and despair, that an omniscient being needs to possess. Torin Alter examines this argument and provides three elaborate objections to it. I argue that theists would not accept any of them because they con ict with traditional Judaeo-Christian doctrines concerning divine attributes.

A difficulty for a view of divine eternity as timelessness is that if time is tensed, then God, in virtue of His omniscience, must know tensed facts. But tensed facts, such as It is now t, can only be known by a temporally located being.Defenders of divine atemporality may attempt to escape the force of this argument by contending either that a timeless being can know tensed facts or else that ignorance of tensed facts is compatible with divine (...) class='Hi'>omniscience. Kvanvig, Wierenga, and Leftow adopt both of these strategies in their various defenses of divine timelessness. Their respective solutions are analyzed in detail and shown to be untenable.Thus, if the theist holds to a tensed view of time, he should construe divine eternity in terms of omnitemporality. (shrink)

In contemporary philosophy of religion, the doctrine of omniscience is typically rendered propositionally, as the claim that God knows all true propositions (and believes none that are false). But feminist work makes clear what even the analytic tradition sometimes confesses, namely, that propositional knowledge is quite limited in scope. The adequacy of propositional conceptions of omniscience is therefore in question. This paper draws on the work of feminist epistemologists to articulate alternative renderings of omniscience which remedy the (...) deficiencies of the traditional formulation. (shrink)

In contemporary philosophy of religion, the doctrine of omniscience is typically rendered propositionally, as the claim that God knows all true propositions (and believes none that are false). But feminist work makes clear what even the analytic tradition sometimes confesses, namely, that propositional knowledge is quite limited in scope. The adequacy of propositional conceptions of omniscience is therefore in question. This paper draws on the work of feminist epistemologists to articulate alternative renderings of omniscience which remedy the (...) deficiencies of the traditional formulation. (shrink)

There is a familiar argument based on the principle that the past is fixed that, if God foreknows what I will do, I do not have the power to act otherwise. So, there is a problem about reconciling divine omniscience with the power to do otherwise. However the problem posed by the argument does not provide a good reason for adopting the view that God is outside time. In particular, arguments for the fixity of the past, if successful, either (...) establish His timelessness independently of the problem, or mean that the problem could not be solved by adopting the view that He is timeless. (Published Online April 7 2006). (shrink)

The main goal of this paper is to investigate what explanatory resources Robert Brandom’s distinction between acknowledged and consequential commitments affords in relation to the problem of logical omniscience. With this distinction the importance of the doxastic perspective under consideration for the relationship between logic and norms of reasoning is emphasized, and it becomes possible to handle a number of problematic cases discussed in the literature without thereby incurring a commitment to revisionism about logic. One such case in particular (...) is the preface paradox, which will receive an extensive treatment. As we shall see, the problem of logical omniscience not only arises within theories based on deductive logic; but also within the recent paradigm shift in psychology of reasoning. So dealing with this problem is important not only for philosophical purposes but also from a psychological perspective. (shrink)

Taking divine omniscience as including temporal omniscience, which means God exists at all times and knows everything, I point out the fallacies in an incompatibilist argument. Syntactically, due to misapplication of the principle of substitutivity, this incompatibilist argument isn’t valid. Semantically, due to cancelation of a supposition on which God’s earlier belief depends, an agent’s alternative action won’t result in falsification of divine belief. Finally, by appealing to an eternalist conception of truth of proposition about the future, I (...) argue that what divine belief entails isn’t the necessity of an agent’s action but the action itself, and put forward a notion of conditional fatalism, which allows for human free will. (shrink)

In contemporary philosophy of religion, the doctrine of omniscience is typically rendered propositionally, as the claim that God knows all true propositions (and believes none that are false). But feminist work makes clear what even the analytic tradition sometimes confesses, namely, that propositional knowledge is quite limited in scope. The adequacy of propositional conceptions of omniscience is therefore in question. This paper draws on the work of feminist epistemologists to articulate alternative renderings of omniscience which remedy the (...) deficiencies of the traditional formulation. (shrink)

The traditional possible-worlds model of belief describes agents as ‘logically omniscient’ in the sense that they believe all logical consequences of what they believe, including all logical truths. This is widely considered a problem if we want to reason about the epistemic lives of non-ideal agents who—much like ordinary human beings—are logically competent, but not logically omniscient. A popular strategy for avoiding logical omniscience centers around the use of impossible worlds: worlds that, in one way or another, violate the (...) laws of logic. In this paper, we argue that existing impossible-worlds models of belief fail to describe agents who are both logically non-omniscient and logically competent. To model such agents, we argue, we need to ‘dynamize’ the impossible-worlds framework in a way that allows us to capture not only what agents believe, but also what they are able to infer from what they believe. In light of this diagnosis, we go on to develop the formal details of a dynamic impossible-worlds framework, and show that it successfully models agents who are both logically non-omniscient and logically competent. (shrink)

In a recent paper, Dennis Whitcomb argues that omniscience is impossible. But if there cannot be any omniscient beings, then God, at least as traditionally conceived, does not exist. The objection is, roughly, that the thesis that there is an omniscient being, in conjunction with some principles about grounding, such as its transitivity and irreflexivity, entails a contradiction. Since each of these principles is highly plausible, divine omniscience has to go. In this article, I argue that Whitcomb's argument, (...) if sound, has several unacceptable consequences. Among others, it implies that nobody knows that someone has knowledge, that, for most of us, all of our beliefs are false, and that there are no truths. This reductio all by itself provides sufficient reason to reject the argument. However, I also provide a diagnosis of where precisely the argument goes wrong. I argue that Whitcomb's crucial notion of grounding actually covers two distinct relations and that the principle of transitivity is true only for cases in which one of these relations holds rather than both of them. (shrink)