The paper has two parts: First, I describe a relatively popular thesis in the philosophy of propositional attitudes, worthy of the name ‘taking tense seriously’; and I distinguish it from a family of views in the metaphysics of time, namely, the A-theories (or what are sometimes called ‘tensed theories of time’). Once the distinction is in focus, a skeptical worry arises. Some A-theorists maintain that the difference between past, present, and future, is to be drawn in terms of what exists: (...) growing-block theorists eschew ontological commitment to future entities; presentists, to future and past entities. Others think of themselves as A-theorists but exclude no past or future things from their ontology. The metaphysical skeptic suspects that their attempt to articulate an ‘eternalist’ version of the A-theory collapses into merely ‘taking tense seriously’– a thesis that does not imply the A-theory. The second half of the paper is the search for a stable eternalist A-theory. It includes discussion of temporary intrinsics, temporal parts, and truth. (shrink)

This book deals with foundational issues in the theory of the nature of action, the intentionality of action, the compatibility of freedom of action with determinism, and the explantion of action. Ginet's is a volitional view: that every action has as its core a 'simple' mental action. He develops a sophisticated account of the individuation of actions and also propounds a challenging version of the view that freedom of action is incompatible with determinism.

In this paper I defend the compossibility of presentism and time travel from two objections. One objection is that the presentist’s model of time leaves nowhere to travel to; the second objection attempts to equate presentist time travel with suicide. After targeting some misplaced scrutiny of the first objection, I show that presentists have the resources to account for the facts that make for time travel on the traditional Lewisian view. In light of this ability, I argue that both of (...) the objections fail. (shrink)

William Lane Craig's defence of the kalam cosmological argument rests heavily on two philosophical arguments against a past-eternal universe. In this article I take issue with one of these arguments, what I call the – namely, that the metaphysical absurdity of an actually infinite number of things existing precludes the possibility of a beginningless past. After explaining this argument, I proceed to raise some initial doubts. After setting those aside, I show that the argument is ineffective against proponents of presentism. (...) The remainder of the article considers and rejects possible replies on Craig's behalf. (shrink)

The bulk of the essay “Truth and Freedom” (Philosophical Review 118 [2009]: 29–57) opposes fatalism, which is the claim that if there is a true proposition to the effect that an action A will occur, then A will not be free. But that essay also offers a new way to reconcile divine foreknowledge and human freedom. In “The Truth about Freedom: A Reply to Merricks” (Philosophical Review 120 [2011]: 97–115), John Martin Fischer and Patrick Todd raise a number of objections (...) to “Truth and Freedom,” most of which are objections to its treatment of foreknowledge. Their central complaint seems to be that that treatment is, despite its claims to the contrary, merely a form of Ockhamism—and a poorly developed form of Ockhamism at that. This essay replies to Fischer and Todd's specific objections. But, more importantly, it further clarifies the fundamental differences between the way it reconciles divine foreknowledge and human freedom and the Ockhamist's way. In particular, this essay further demonstrates that when it comes to divine foreknowledge's compatibility with human freedom, the fundamental question is not the Ockhamist's question of whether God's beliefs about what an agent will do in the future are “hard facts.” Rather, the fundamental question is whether God's beliefs about what an agent will do in the future depend on what that agent will do in the future. (shrink)

In an impressive series of books and articles, Alvin Plantinga has developed challenging new versions of two much discussed pieces of philosophical theology: the free will defense and the ontological argument.' His treatment of both subjects has provoked a tremendous amount of critical comment. What has not been generally noticed', however, is that when taken together, Plantinga's views on these two subjects lead to a very serious problem in philosophical theology. The premises of his version of the ontological argument, when (...) combined with the presuppositions of the free will defense, appear to entail that God is not free to choose between good and evil and thus is not "good" in the distinctively moral sense of this word. In the present paper, I shall explain how this problem arises, and explore two different ways of trying to deal with it. (shrink)

Wes Morriston argues that even if we take an endless series of events to be merely potentially, rather than actually, infinite, still no distinction between a beginningless and an endless series of events has been established which is relevant to arguments against the metaphysical possibility of an actually infinite number of things: if a beginningless series is impossible, so is an endless series. The success of Morriston’s argument, however, comes to depend on rejecting the characterization of an endless series of (...) events as a potential infinite. It turns out that according to his own analysis it is vitally relevant whether the series of events is potentially, as opposed to actually, infinite. If it is reasonable to maintain that an endless series of events is potentially infinite while a beginningless series is actually infinite, then a relevant distinction has been established for any person who thinks that an actual infinite cannot exist. (shrink)

One of the principal lines of argument deployed by the friends of the kalām cosmological argument against the possibility of a beginningless series of events is a quite general argument against the possibility of an actual infinite. The principal thesis of the present paper is that if this argument worked as advertised, parallel considerations would force us to conclude, not merely that a series of discrete, successive events must have a first member, but also that such a series must have (...) a final member. Anyone who thinks that an endless series of events is possible must therefore reject this popular line of argument against the possibility of an actual infinite. (shrink)

Suppose that time t is just a few moments from now. And suppose that the proposition that Jones sits at t was true a thousand years ago. Does the thousand-years-ago truth of that proposition imply that Jones's upcoming sitting at t will not be free? This article argues that it does not. It also argues that Jones even now has a choice about the thousand-years-ago truth of that Jones sits at t . Those arguments do not require the complex machinery (...) of Ockhamism, with its distinction between hard facts and soft facts; indeed, those arguments do not require any complex machinery at all. Instead, those arguments are built on an uncontroversial understanding of the idea that truth depends on the world. In the final section of the article, those arguments are extended to show that foreknowledge of an action does not threaten that action's freedom. (shrink)

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.

This is a revised and expanded edition of a seminal work in the logic and philosophy of time, originally published in 1968. Arthur N. Prior (1914-1969) was the founding father of temporal logic, and his book offers an excellent introduction to the fundamental questions in the field. Several important papers have been added to the original selection, as well as a comprehensive bibliography of Prior's work and an illuminating interview with his widow, Mary Prior. In addition, the Polish logic which (...) made Prior's writings difficult for many readers has been replaced by standard logical notation. This new edition will secure the classic status of the book. (shrink)

This book, one of the first full-length studies of the modalities to emerge from the debate to which Saul Kripke, David Lewis, Ruth Marcus, and others are contributing, is an exploration and defense of the notion of modality de re, the idea that objects have both essential and accidental properties. Plantinga develops his argument by means of the notion of possible worlds and ranges over such key problems as the nature of essence, transworld identity, negative existential propositions, and the existence (...) of unactual objects in other possible worlds. He also applies his logical theories to the elucidation of two problems in the philosophy of religion: the problem of evil and the ontological argument. (shrink)

In a recent paper, I claimed that if a familiar line of argument against the possibility of a beginningless series of events worked as advertised, it would work just as well against the possibility of an endless series of pre-determined events. The present paper is my response to objections by William Lane Craig. It argues that neither Craig’s claim that an endless series of events is a merely potential infinite nor his claim that future events don’t exist is successful in (...) blocking my original conclusion. (shrink)

Wes Morriston argues that even if we take an endless series of events to be merely potentially, rather than actually, infinite, still no distinction between a beginningless and an endless series of events has been established which is relevant to arguments against the metaphysical possibility of an actually infinite number of things: if a beginningless series is impossible, so is an endless series. The success of Morriston’s argument, however, comes to depend on rejecting the characterization of an endless series of (...) events as a potential infinite. It turns out that according to his own analysis it is vitally relevant whether the series of events is potentially, as opposed to actually, infinite. If it is reasonable to maintain that an endless series of events is potentially infinite while a beginningless series is actually infinite, then a relevant distinction has been established for any person who thinks that an actual infinite cannot exist. (shrink)

Beliefs are freely attributed to God nowadays in Anglo–American philosophical theology. This practice undoubtedly reflects the twentieth–century popularity of the view that knowledge consists of true justified belief . The connection is frequently made explicit. If knowledge is true justified belief then whatever God knows He believes. It would seem that much recent talk of divine beliefs stems from Nelson Pike's widely discussed article, ‘Divine Omniscience and Voluntary Action’. In this essay Pike develops a version of the classic argument for (...) the incompatibility of divine foreknowledge and free will in terms of divine forebelief. He introduces this shift by premising that ‘ A knows X ’ entails ‘A believes X ’. As a result of all this, philosophers have increasingly been using the concept of belief in defining ‘omniscience’. (shrink)

A-theories of time postulate a fundamental distinction between the present and other times. This distinction manifests in what A-theorists take to exist, their accounts of property change, and their views about the appropriate temporal logic. In this dissertation, I argue for a particular formulation of the A-theory that dispenses with change in existence and makes tense operators an optional formal tool for expressing the key theses. I call my view the minimal A-theory. The first chapter introduces the debate. The second (...) chapter offers an extended, logic-based argument against more traditional A-theories. The third and fourth chapters develop my alternative proposal. The final chapter considers a problem for A-theorists who think the contents of our attitudes reflect changes in the world. (shrink)