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)

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)

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

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.

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.

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 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.

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)

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)

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)

This chapter contains sections titled: Works cited.

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.

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 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.

Positioning the beliefs as a doctrine means rationally justifying them with the basic principles of a particular paradigm while exposing them to rational criticism.

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)

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. (shrink)

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)

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

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)

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)

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)

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)

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)

Traditional theism teaches that God engages in a relentless form of observation for every human being. If, as is widely supposed, humans have a right to privacy, then it seems that God constantly violates this right. In this paper we argue that there is both a defensible philosophical excuse and justification for this infringement. We also argue that this defense is extensible to human social and political contexts; it provides the vital elements of a theory of just privacy infringement. This (...) theory is broadly compatible both with major forms of political theory and with the main conceptions of privacy defended in recent philosophical and jurisprudential literature. (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)

Complete determinism is, as Karl Popper said, “a daydream of omniscience.” Determinism is usually conceived as linked with a particular science whose explanations are deemed fundamental. As Rose rightly points out, biological enquiry includes many different kinds of question. Genetic determinism, making genes central to biology, is therefore biased and misguided. The crucial unit must be the whole organism. Correspondence:c1 IA Collingwood Terrace, Newcastle on Tyne NE2 2JP, United Kingdom [email protected].

The ‘middle knowledge’ doctrine salvages free will and divine omniscience by contending that God knows what agents will freely choose under any possible circumstances. I argue, however, that the Leibnizian problem of divine knowledge of human evil is best resolved by applying a Theodicy II distinction between determined, foreseen, and resolved action. This move eliminates deference to middle knowledge. Contingent action is indeed free, but not all action is contingent, and so not all action is free. For Leibniz, then, God’s (...) knowledge extends to the sum pattern of determinates for an act, rather than to contingent events. (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)

Aristotle and Eudemus report a Speusippean argument to the effect that defining anything requires knowing everything. Scholars have failed to make sense of this argument. This paper argues that the main preoccupations to which the Puzzle is meant to respond are: (i) to ensure the co-extensiveness of the definition with the definiendum; (ii) to rule out a particular definitional mistake—underdivision. The implications of the Puzzle for Speusippus’ conception of knowledge are further explored.

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)

There are numerous ‘solutions’ to the problem of evil, from which theists can and do freely take their pick. It is fairly clear that any attempt at a solution must involve a scaling-down of one or more of the assertions out of whose initial conflict the problem arises – either by a downward revision of what we mean by omnipotence, or omniscience, or benevolence, or by minimizing the amount or condensing the varieties of evil actually to be found in the (...) universe. And indeed, in one or more of these different ways, the charge of logical inconsistency can no doubt always be vouchsafed at least a formal answer. Unfortunately, the mere ironing-out of formal inconsistencies does not of itself go very far towards providing a solution to this central problem of theism which will be morally, religiously, and intellectually convincing and acceptable as well as logically impeccable. Everything depends on how the inconsistencies are ironed out. For every attempt at a solution of the problem of evil has to be made at a price, in keeping with the scale and type of conceptual or ethical readjustments which it requires of us. And if the solutions which are generally offered seldom seem to carry much conviction, this is because the price they require us to pay nearly always seems far too high. A ‘solution’ to the problem of evil that is to count as a genuine solution must not require us to make any conceptual or ethical readjustments which it would not on independent grounds be entirely reasonable to make. A ‘solution’ that was finally to count as the solution of the problem of evil would presumably need to be that particular one which required us to make only those conceptual and ethical readjustments which were on independent grounds the ones that it was the most reasonable to make. What follows is offered as a solution, in the above sense, of the problem of evil. However, I shall not here attempt to argue that it is the solution. (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 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)

One set of neglected problems consists of paradoxes of omniscience clearly recognizable as forms of the Liar, and these I have never seen raised at all. Other neglected problems are difficulties for omniscience posed by recent work on belief de se and essential indexicals. These have not yet been given the attention they deserve.

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)