The plane was going to crash, but it didn't. Johnny was going to bleed to death, but he didn't. Geach sees here a changing future. In this paper, I develop Geach's primary argument for the (almost universally rejected) thesis that the future is mutable (an argument from the nature of prevention), respond to the most serious objections such a view faces, and consider how Geach's view bears on traditional debates concerning divine foreknowledge and human freedom. As I hope to show, (...) Geach's view constitutes a radically new view on the logic of future contingents, and deserves the status of a theoretical contender in these debates. (shrink)

This Introduction has three sections, on "logical fatalism," "theological fatalism," and the problem of future contingents, respectively. In the first two sections, we focus on the crucial idea of "dependence" and the role it plays it fatalistic arguments. Arguably, the primary response to the problems of logical and theological fatalism invokes the claim that the relevant past truths or divine beliefs depend on what we do, and therefore needn't be held fixed when evaluating what we can do. We call the (...) sort of dependence needed for this response to be successful "dependence with a capital 'd'": Dependence. We consider different accounts of Dependence, especially the account implicit in the so-called "Ockhamist" response to the fatalistic arguments. Finally, we present the problem of future contingents: what could "ground" truths about the undetermined future? On the other hand, how could all such propositions fail to be true? (shrink)

Surveys and extens work that has been done in the past two years on 'tense logic' and is a sequel to the author's book, Time and Modality.

The relationship between formal logic and general philosophy is discussed under headings such as A Re-examination of Our Tense-Logical Postulates, Modal Logic in the Style of Frege, and Intentional Logic and Indeterminism.

Brian Leftow makes an important contribution to the longstanding debate among philosophers and theologians about the nature of God's eternity. The author develops a powerful and original defense of the notion that God is eternal in that he exists timelessly; that is, that though God exists, he does not exist at any time. Leftow defends the claim that a timeless God can be an object of human experience, and he attempts to delineate the extent of such a God's omniscience. Finally, (...) the author pays special attention to the relation between the claim that God is timeless and the claim that God is metaphysically simple. (shrink)

But Findlay's remark, like so much that has been written on the subject of time in the present century, was provoked in the first place by McTaggart's ...

Is God's foreknowledge compatible with human freedom? One of the most attractive attempts to reconcile the two is the Ockhamistic view, which subscribes not only to human freedom and divine omniscience, but retains our most fundamental intuitions concerning God and time: that the past is immutable, that God exists and acts in time, and that there is no backward causation. In order to achieve all that, Ockhamists distinguish ‘hard facts’ about the past which cannot possibly be altered from ‘soft facts’ (...) about the past which are alterable, and argue that God's prior beliefs about human actions are soft facts about the past. (shrink)

This is a study in the meaning of natural language probability operators, sentential operators such as probably and likely. We ask what sort of formal structure is required to model the logic and semantics of these operators. Along the way we investigate their deep connections to indicative conditionals and epistemic modals, probe their scalar structure, observe their sensitivity to contex- tually salient contrasts, and explore some of their scopal idiosyncrasies.

Revisionary theories of logic or truth require revisionary theories of mind. This essay outlines nonclassically based theories of rational belief, desire, and decision making, singling out the supervaluational family for special attention. To see these nonclassical theories of mind in action, this essay examines a debate between David Lewis and Derek Parfit over what matters in survival. Lewis argued that indeterminacy in personal identity allows caring about psychological connectedness and caring about personal identity to amount to the same thing. The (...) essay argues that Lewis's treatment of two of Parfit's puzzle cases—degreed survival and fission—presuppose different nonclassical treatments of belief and desire. (shrink)

In a recently published paper, Patrick Todd (2016, 'Future contingents are all false! On behalf of a Russellian open future') advocates a novel treatment of future contingents. On his view, all statements concerning the contingent future are false. He motivates his semantic postulates by considerations in philosophy of time and modality, in particular by the claim that there is no actual future. I present a number of highly controversial consequences of Todd’s theory. Inadequacy of his semantics might indirectly serve as (...) an argument against the philosophical view underpinning his proposal. (shrink)

"This is an important book, and no one interested in issues which touch on the free will will want to ignore it."--Ethics. In this stimulating and thought-provoking book, the author defends the thesis that free will is incompatible with determinism. He disputes the view that determinism is necessary for moral responsbility. Finding no good reason for accepting determinism, but believing moral responsiblity to be indubitable, he concludes that determinism should be rejected.

Though Arthur Prior is now best known for his founding of modern temporal logic and hybrid logic, much of his early philosophical career was devoted to history of logic and historical logic. This interest laid the foundations for both of his ground-breaking innovations in the 1950s and 1960s. Because of the important rôle played by Prior's research in ancient and medieval logic in his development of temporal and hybrid logic, any student of Prior, temporal logic, or hybrid logic should be (...) familiar with the medieval logicians and their work. In this article we give an overview of Prior's work in ancient and medieval logic. (shrink)

Various philosophers have long since been attracted to the doctrine that future contingent propositions systematically fail to be true—what is sometimes called the doctrine of the open future. However, open futurists have always struggled to articulate how their view interacts with standard principles of classical logic—most notably, with the Law of Excluded Middle. For consider the following two claims: Trump will be impeached tomorrow; Trump will not be impeached tomorrow. According to the kind of open futurist at issue, both of (...) these claims may well fail to be true. According to many, however, the disjunction of these claims can be represented as p ∨ ~p—that is, as an instance of LEM. In this essay, however, I wish to defend the view that the disjunction these claims cannot be represented as an instance of p ∨ ~p. And this is for the following reason: the latter claim is not, in fact, the strict negation of the former. More particularly, there is an important semantic distinction between the strict negation of the first claim [~] and the latter claim. However, the viability of this approach has been denied by Thomason, and more recently by MacFarlane and Cariani and Santorio, the latter of whom call the denial of the given semantic distinction “scopelessness”. According to these authors, that is, will is “scopeless” with respect to negation; whereas there is perhaps a syntactic distinction between ‘~Will p’ and ‘Will ~p’, there is no corresponding semantic distinction. And if this is so, the approach in question fails. In this paper, then, I criticize the claim that will is “scopeless” with respect to negation. I argue that will is a so-called “neg-raising” predicate—and that, in this light, we can see that the requisite scope distinctions aren’t missing, but are simply being masked. The result: a under-appreciated solution to the problem of future contingents that sees and as contraries, not contradictories. (shrink)

In the literature on free will, fatalism, and determinism, a distinction is commonly made between temporally intrinsic (‘hard’) and temporally relational (‘soft’) facts at times; determinism, for instance, is the thesis that the temporally intrinsic state of the world at some given past time, together with the laws, entails a unique future (relative to that time). Further, it is commonly supposed by incompatibilists that only the ‘hard facts’ about the past are fixed and beyond our control, whereas the ‘soft facts’ (...) about the past needn’t be. A substantial literature arose in connection with this distinction, though no consensus emerged as to the proper way to analyze it. It is time, I believe, to revisit these issues. The central claim of this paper is that the attempts to analyze the hard/soft fact distinction got off on fundamentally the wrong track. The crucial feature of soft facts is that they (in some sense) depend on the future. Following recent work on the notion of dependence, however, I argue that the literature on the soft/hard distinction has failed to capture the sense of dependence at stake. This is because such attempts have tried to capture softness in terms of purely modal notions like entailment and necessitation. As I hope to show, however, such notions cannot capture the sort of asymmetrical dependence relevant to soft facthood. Arguing for this claim is the first goal of this paper. My second goal is to gesture towards what an adequate account of soft facthood will really look like. (shrink)

Everyone agrees that we can’t change the past. But what about the future? Though the thought that we can change the future is familiar from popular discourse, it enjoys virtually no support from philosophers, contemporary or otherwise. In this paper, I argue that the thesis that the future is mutable has far more going for it than anyone has yet realized. The view, I hope to show, gains support from the nature of prevention, can provide a new way of responding (...) to arguments for fatalism, can account for the utility of total knowledge of the future, and can help in providing an account of the semantics of the English progressive. On the view developed, the future is mutable in the following sense: perhaps, once, it was true that you would never come to read a paper defending the mutability of the future. And then the future changed. And now you will. (shrink)

The most promising way of responding to arguments for the incompatibility of divine foreknowledge and human freedom (in one way or another) invokes a claim about the order of explanation: God knew (or believed) that you would perform a given action because you would, in fact, perform it, and not the other way around. Once we see this result, many suppose, we'll see that divine foreknowledge ultimately poses no threat to human freedom. This essay argues that matters are not so (...) simple, for such reasoning threatens also to reconcile divine prepunishment with human freedom. The question here is this: if you have already been ( justly) punished by God for doing something, how then could you avoid doing that thing? As we'll see, there is a strong argument that seems to show that you couldn't. However, this essay argues that if divine prepunishment rules out human freedom, then so does divine foreknowledge. The arguments are exactly parallel in certain crucial respects. At any rate, investigating the issues surrounding prepunishment can help to throw into relief the various different strategies of response to the foreknowledge argument and can bring out what their costs and commitments really are. In particular, investigating prepunishment can help to bring out the inadequacy of the “Ockhamist” reply to the argument, as well as the sense in which God's past beliefs need to depend on what we do, if we are plausibly to have a choice about those beliefs. (shrink)

There is a familiar debate between Russell and Strawson concerning bivalence and ‘the present King of France’. According to the Strawsonian view, ‘The present King of France is bald’ is neither true nor false, whereas, on the Russellian view, that proposition is simply false. In this paper, I develop what I take to be a crucial connection between this debate and a different domain where bivalence has been at stake: future contingents. On the familiar ‘Aristotelian’ view, future contingent propositions are (...) neither true nor false. However, I argue that, just as there is a Russellian alternative to the Strawsonian view concerning ‘the present King of France’, according to which the relevant class of propositions all turn out false, so there is a Russellian alternative to the Aristotelian view, according to which future contingents all turn out false, not neither true nor false. The result: contrary to millennia of philosophical tradition, we can be open futurists without denying bivalence. (shrink)

Theological fatalists contend that if God knows everything, then no human action is free, and that since God does know everything, no human action is free. One reply to such arguments that has become popular recently— a way favored by William Hasker and Peter van Inwagen—agrees that if God knows everything, no human action is free. The distinctive response of these philosophers is simply to say that therefore God does not know everything. On this view, what the fatalist arguments in (...) fact bring out is that it was logically impossible for God to have known the truths about what we would freely do in the future. And this is no defect in God’s knowledge, for infallible foreknowledge of such truths is a logical impossibility. It has commonly been assumed that this position constitutes an explanation of where the fatalist argument goes wrong. My first goal is to argue that any such assumption has in fact been a mistake; Hasker and van Inwagen have in effect said only that something does go wrong with the argument, but they have not explained what goes wrong with it. Once we see this result, we’ll see, I think, that they need such an account—and that no such account has in fact been provided. The second goal of this paper is therefore to develop— and to criticize— what seems to be the most promising such account they might offer. As I see it, this account will in fact highlight in an intuitively compelling new way what many regard to be the view’s chief liability, namely, that the truths about the future which God is said not to know will now appear even more clearly (and problematically)‘ungrounded’. (shrink)

This book investigates what it means, and whether it is coherent, to say that there is a God.

There is a tension between the “growing block” account of time (closed past, open future) and the possibility of backwards time travel. If Tim the time traveler can someday travel backwards through time, then he has (in a certain sense) already been. He might discover this fact before (in another sense) he goes. Hence a dilemma: it seems that either Tim’s future is determined in an odd way or cases of (temporary) ontic indeterminate identity are possible. Either Tim cannot avoid (...) heading for the past or he is only indeterminately that guy who appeared in the past with many of Tim’s memories. Determinacy in the past implies a degree of determinism in the future; indeterminism about the future seeps back to the past. (shrink)

Todd (2016) proposes an analysis of future-directed sentences, in particular sentences of the form 'will(φ)', that is based on the classic Russellian analysis of definite descriptions. Todd's analysis is supposed to vindicate the claim that the future is metaphysically open while retaining a simple Ockhamist semantics of future contingents and the principles of classical logic, i.e. bivalence and the law of excluded middle. Consequently, an open futurist can straightforwardly retain classical logic without appeal to supervaluations, determinacy operators, or any further (...) controversial semantical or metaphysical complication. In this paper, we will show that this quasi-Russellian analysis of 'will' both lacks linguistic motivation and faces a variety of significant problems. In particular, we show that the standard arguments for Russell's treatment of definite descriptions fail to apply to statements of the form 'will(φ)'. (shrink)

Ockhamism implies that future contingents may be true, their historical contingency notwithstanding. It is thus opposed to both the Peircean view according to which all future contingents are false, and Supervaluationist Indeterminism according to which all future contingents are neither true nor false. The paper seeks to defend Ockhamism against two charges: the charge that it cannot meet the requirement that truths be grounded in reality, and the charge that it proves incompatible with objective indeterminism about the future. In each (...) case, the defence draws on the idea that certain truths are truths only courtesy of others and of what makes the latter true. After introduction of the Ockhamist view, its competitors and implications, a suitable definition of grounded truth is being devised that both is faithful to the spirit of the grounding-requirement and allows the Ockhamist to heed that requirement quite comfortably. Then two senses in which the future might be open are being introduced, indeterminacy as failure of predetermination by past and present facts, and indeterminacy as failure of entailment by past and present truths. It is argued that while openness in the former sense, but not in the latter sense, coheres with the Ockhamist view, it is only openness in the former sense that matters for objective indeterminism. (shrink)

In Part I, I present two traditional arguments for the incompatibility of divine foreknowledge with human freedom; the first of these is clearly fallacious; but the second, the argument from the necessity of the past, is much stronger. In the second section I explain and partly endorse Ockham’s response to the second argument: that only propositions strictly about the past are accidentally necessary, and past propositions about God’s knowledge of the future are not strictly about the past. In the third (...) part I point out some startling implications of Ockham’s way out; and finally in part IV I offer an account of accidental necessity according to which propositions about the past are accidentally necessary if and only if they are strictly about the past. (shrink)

Introduction: Two Working Assumptions In the course of the deliberations to follow, I assume that God (if He exists) is a being — a single individual ...

If it is not now determined whether there will be a sea battle tomorrow, can an assertion that there will be one be true? The problem has persisted because there are compelling arguments on both sides. If there are objectively possible futures which would make the prediction true and others which would make it false, symmetry considerations seem to forbid counting it either true or false. Yet if we think about how we would assess the prediction tomorrow, when a sea (...) battle is raging (or not), it seems we must assign the utterance a definite truth-value. I argue that both arguments must be given their due, and that this requires relativizing utterance-truth to a context of assessment. I show how this relativization can be handled in a rigorous formal semantics, and I argue that we can make coherent sense of assertion without assuming that utterances have their truth-values absolutely. (shrink)

[I] Introduction The Western religions all claim that God is eternal. This claim finds strong expression in the Old Testament, which is common property of ...

Discusses the incompatibility of the concepts of free will and determinism and argues that moral responsibility needs the doctrine of free will.