Frege taught us how to understand one form of predication: an atemporal one. There is also a different, temporal form of predication, which I briefly introduce. Accordingly, there are two fundamentally different approaches to time: a reductive one, aiming to account for time in terms of Frege’s atemporal predication, and a non-reductive one, insisting that the temporal form of predication is sui generis, and that time is to be understood in its terms. I do not directly argue for or against (...) reductionism in this paper. Rather, by evaluating the debates on endurantism–perdurantism, A-theory–B-theory, and presentism–eternalism, I argue that these debates, although aiming to be fundamental, largely boil down to mere quarrels between alternative reductive approaches. We should take notice of this fact and reorient ourselves within the debate on time accordingly: the real issue is whether we should reduce or not. I briefly sketch in what sense endurantism, A-theory, and presentism may be developed on a properly anti-reductionist basis. (shrink)

This paper is a critical discussion of A.N. Prior’s contribution to the modern understanding of indeterminism and human freedom of choice. Prior suggested that these ideas should be conceived in terms of his tense logic. It can be demonstrated that his approach provides an attractive formalization that makes it possible to discuss indeterminism and human freedom of choice in a very precise manner and in a broader metaphysical context. It is also argued that Prior’s development of this approach was closely (...) linked to his very personal struggles with fundamental religious and metaphysical questions. In his opinion, holding the doctrine of divine foreknowledge together with the doctrine of human freewill gives rise to difficult logical and philosophical problems. It appears that Prior, rather early on, decided to support what was later known as the Peircean solution, although he also analysed what he considered to be the most important alternative solution—the Ockhamist solution. This paper offers a discussion of some of Prior’s published books and papers as well as some of the papers in his Nachlass. (shrink)

Bernard Linsky and Edward Zalta have recently proposed a new form of actualism. I characterize the general form of their view and the motivations behind it. I argue that it is not quite new – it bears interesting similarities to Alvin Plantinga’s view – and that it definitely isn’t actualist.

The paper introduces a first-order theory in the language of predicate tense logic which contains a single simple axiom. It is shewn that this theory enables times to be referred to and sentences involving ‘now’ and ‘then’ to be formalised. The paper then compares this way of increasing the expressive capacity of predicate tense logic with other mechanisms, and indicates how to generalise the results to other modal and tense systems.

Different versions of the A-theory of time are traditionally defined in terms of whether everything is present, or whether there are also past and future things. In this paper I argue that the traditional way of defining A-theories should be abandoned. I focus on the traditional definition of presentism, according to which always, everything is present. First, I argue that there are good reasons to reject all the most plausible interpretations of the predicate ‘is present’ as it appears in the (...) traditional definition of presentism. It follows that there are also good reasons to reject the most plausible interpretations of the traditional definitions of the other A-theories. I then argue that there is a better way of defining the A-theories, in terms of the question of whether existence has a beginning and an end. Finally, I argue that what goes for the traditional definition of presentism goes for the traditional definition of its modal analogue actualism, according to which necessarily, everything is actual : there are good reasons to reject the traditional definition of actualism in favour of a definition in terms of contingent existence. (shrink)

This paper aims to clarify the connection between the logic of temporal distinctions and the temporal features of propositions. Contra Prior, it argues that the adoption of tense operators does not commit one to the view that propositions can change their truth value over time.

Criticisms have been aired before about the fear of certain Platonic abstract objects, propositions. That criticism extends to the widespread preference for an operator analysis of expressions like ‘It is true, known, obligatory that p’ as opposed to the predicative analysis in their equivalents ‘That p is true, known, obligatory’. The criticism in the present work also concerns Prior’s attitude to Platonic entities of a certain kind: not propositions, i.e., the referents of ‘that’-clauses, but individuals, i.e., the referents of Russell’s (...) ‘logically proper names’. Prior had a close knowledge of theories of individuals, including that of Russell. However, when Prior formulated his tense logic Q he presumed a non-Russellian, pre-suppositional account of individuals, such that they might exist at one time but not at another, and when they did not exist no statement could be made about them. This paper examines the correctness of such a pre-suppositional account of individuals, showing there are features of natural language it cannot account for. It is shown that the required features can be formalised in Hilbert’s epsilon calculus, and that using that calculus substantiates a Russellian understanding of ‘logically proper names’. (shrink)

Bob Hale’s distinguished record of research places him among the most important and influential contemporary analytic metaphysicians. In his deep, wide ranging, yet highly readable book Necessary Beings, Hale draws upon, but substantially integrates and extends, a good deal his past research to produce a sustained and richly textured essay on — as promised in the subtitle — ontology, modality, and the relations between them. I’ve set myself two tasks in this review: first, to provide a reasonably thorough (if not (...) exactly comprehensive) overview of the structure and content of Hale’s book and, second, to a limited extent, to engage Hale’s book philosophically. I approach these tasks more or less sequentially: Parts I and 2 of the review are primarily expository; in Part 3 I adopt a somewhat more critical stance and raise several issues concerning one of the central elements of Hale’s account, his essentialist theory of modality. (shrink)

Wes Morriston contends that William Lane Craig's argument for the impossibility of a beginningless past results in an equally good argument for the impossibility of an endless future. Craig disagrees. I show that Craig's reply reveals a commitment to an unmotivated position concerning the relationship between actuality and the actual infinite. I then assess alternative routes to the impossibility of a beginningless past that have been offered in the literature, and show that, contrary to initial appearances, these routes similarly seem (...) to support the impossibility of an endless future. (shrink)

This article surveys some of the key issues that arise when one tries to use tense logic as a metaphysical theory of the nature of time. Topics discussed include basic tense logic, tense logic and verb tense, the structure of the time series, instants of time, quantified tense logic, and the expressive resources of tense logic.

This paper gives an overview of logico-philosophical issues of time and determinism. After a brief review of historical roots and 20th century developments, three current research areas are discussed: the definition of determinism, space-time indeterminism, and the temporality of individual things and their possibilities.

In standard modal logic, □ ≡ ∼◊ ∼ and ◊ ≡ ∼□∼. I will, first, examine why in tense-logic, Arthur Prior thinks that ∼ ◊ ∼ is weaker than □ and ∼ □ ∼ is weaker than ◊. I will, then, examine whether there are similar motivations in modal logic to take ∼ ◊ ∼ to be weaker than □ and ∼ □ ∼ to be weaker than ◊. The upshot will be that, just as certain metaphysical views within the (...) philosophy of time motivate one to deny the standard tense equivalences, certain metaphysical views within the metaphysics of modality motivate one to deny the standard modal equivalences. (shrink)

Languages involving modalities and languages involving vagueness have each been thoroughly studied. On the other hand, virtually nothing has been said about the interaction of modality and vagueness. This paper aims to start filling that gap. Section 1 is a discussion of various possible sources of vague modality. Section 2 puts forward a model theory for a quantified language with operators for modality and vagueness. The model theory is followed by a discussion of the resulting logic. In Section 3, the (...) framework will permit us to address a puzzle raised by Elizabeth Barnes and Robert Williams. (shrink)

In this paper I explore how the tenseless copula is to be interpreted in sentences of the form “a is F at t”, where “a” denotes a persisting, changeable object, “F” stands for a prima facie intrinsic property and “t” for a B-time. I argue that the interpretation of the copula depends on the logical role assigned to the time clause. Having rejected the idea that the time clause is to be treated as a sentence operator, I argue: that if (...) “at t” is thought of as being associated with “a” or “F”, then the tenseless copula is most plausibly read as an “is” simpliciter; and that if “at t” is treated as being associated with the copula, then the tenseless copula is most plausibly understood as expressing a disjunction of tensed copulas. I end the paper by explaining the importance of the issue. I indicate the ramifications interpretation of the tenseless copula has for the so-called problem of temporary intrinsics. (shrink)

MIPC is a well-known intuitionistic modal logic of Prior and Bull . It is shown that every normal intuitionistic modal logic L over MIPC has the finite model property whenever L is Kripke-complete and universal.

Philosophically, the study of argumentation is important because it holds out the prospect of an interpretation of rationality. For this we need to identify a transcendent perspective on the argumentative interaction. We need a normative theory of argumentation that provides an answer to the question: should the hearer accept the argument of the speaker. In this article I argue that formal logic implies a notion of transcendence that is not suitable for the study of argumentation, because, from a logical point (...) of view, argumentation ’disappears from sight‘. We should therefore not expect formal logic to provide an interesting interpretation of the rationality intrinsic in argument and discussion. (shrink)

With material on his early philosophical views, his contributions to set theory and his work on nominalism and higher-order quantification, this book offers a uniquely expansive critical commentary on one of analytical philosophy’s great ...

Open future is incompatible with realism about possible worlds. Since realistically conceived (concrete or abstract) possible worlds are maximal in the sense that they contain/represent the full history of a possible spacetime, past and future included, if such a world is actual now, the future is fully settled now, which rules out openness. The kind of metaphysical indeterminacy required for open future is incompatible with the kind of maximality which is built into the concept of possible worlds. The paper discusses (...) various modal realist responses and argues that they provide ersatz openness only, or they lead to incoherence, or they render the resulting theory inadequate as a theory of modality. The paper also considers various accounts of the open future, including rejection of bivalence, supervaluationism, and the ‘thin red line’ view (TRL), and claims that a version of (TRL) can avoid the incompatibility problem, but only at the cost of deflating the notion of openness. (shrink)

Prior investigated a tense logic with an operator for ‘historical necessity’, where a proposition is necessary at a time iff it is true at that time in all worlds ‘accessible’ from that time. Axiomatisations of this logic all seem to require non-standard axioms or rules. The present paper presents an axiomatisation of a first-order version of Prior’s logic by using a predicate which enables any time to be picked out by an individual in the domain of interpretation.

It is highly now intuitive that the future is open and the past is closed now—whereas it is unsettled whether there will be a fourth world war, it is settled that there was a first. Recently, it has become increasingly popular to claim that the intuitive openness of the future implies that contingent statements about the future, such as ‘There will be a sea battle tomorrow,’ are non-bivalent (neither true nor false). In this paper, we argue that the non-bivalence of (...) future contingents is at odds with our pre-theoretic intuitions about the openness of the future. These intuitions are revealed by our pragmatic judgments concerning the correctness and incorrectness of assertions of future contingents. We argue that the pragmatic data together with a plausible account of assertion shows that in many cases we take future contingents to be true (or to be false), though we take the future to be open in relevant respects. It follows that appeals to intuition to support the non-bivalence of future contingents are untenable. Intuition favours bivalence. (shrink)

This paper deals with the historical and philosophical background of the introduction of the notion of branching time in philosophical logic as it is revealed in the hitherto unpublished mail-correspondence between Saul Kripke and A.N. Prior in the late 1950s. The paper reveals that the idea was first suggested by Saul Kripke in a letter to A.N. Prior, dated September 3, 1958, and it is shown how the elaboration of the idea in the course of the correspondence was intimately intervowen (...) with considerations of how to represent indeterminism and of the adequacy of tensed logic in light of special relativity. The correspondence underpins the point that Prior's later development of branching time may be understood as a crucial part of his attempt at the formulating a conceptual framework integrating basic human notions of time and free choice. (shrink)

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)

Counterpossibles are counterfactuals with necessarily false antecedents. The problem of counterpossibles is easiest to state within the "nearest possible world" framework for counterfactuals: on this approach, a counterfactual is true (roughly) when the consequent is true in the "nearest" possible world where the antecedent is true. Since counterpossibles have necessarily false antecedents, there is no possible world where the antecedent is true. On the approach favored by Lewis, Stalnaker, Williamson, and others, counterpossibles are all trivially true. I introduce several arguments (...) against the trivial approach. First, it is counter-intuitive to think that all counterpossibles are true. Second, if all counterpossibles were true, then we could not make sense of their use in logical, philosophical, or mathematical arguments. Making sense of the role of sentences like these requires that they not have vacuous truth conditions. The account of counterpossibles I ultimately favor is an extension of the "nearest possible world" semantics discussed above. The Lewis/Stalnaker account is supplemented with the addition of impossible worlds, and the nearness metric is extended to range over these impossible worlds as well as possible worlds. Thus, a counterfactual is true when its consequent is true in the nearest world where the antecedent is true; if the counterfactual's antecedent is impossible, then the nearest world in question will be an impossible world. Once the framework of impossible worlds and similarity is in place, we can put it to use in the analysis of other philosophical phenomena. I examine one proposal that makes use of a theory of counterpossibles to develop an analysis of the notion of metaphysical dependence. (shrink)

In his influential Naming and Necessity lectures, Saul Kripke made new sense of modal statements: “Kant might have been a bachelor”, “Königsberg is necessarily identical with Kaliningrad”. Many took the notions he introduced-metaphysical necessity and rigid designation -- to herald new metaphysical issues and have important consequences. In fact, the Kripkean insight is at bottom semantic, rather than metaphysical: it is part of how proper names work that they purport to refer to individuals to whom modal properties can be ascribed. (...) We can see this by reflecting on analytic truths that ground modal claims like the two examples above. (shrink)

Kaplan (drawing on Montague and Prior, inter alia) made explicit the idea of world and time neutral propositions, which bear truth values only relative to world and time parameters. There was then a debate over the role of time. Temporalists sided with Kaplan in maintaining time neutral propositions with time relative truth values, while eternalists claimed that all propositions specify the needed time information and so bear the same truth value at all times. But there never was much of a (...) parallel debate over the role of worlds. Let contingentism be the view (parallel to temporalism) that sides with Kaplan in maintaining world neutral propositions with world relative truth values, and let necessitarianism be the view (parallel to eternalism) that propositions specify the needed world information and so bear the same truth value at all worlds. This is the story of how the debate between the contingentists and the necessitarians might begin. (shrink)

This paper investigates the semantics of tense and aspect in Romance languages. Its goal is to develop a compositional, model-theoretic semantics for tense and temporal adverbs which is sensitive to aspectual distinctions. I will consider durative adverbial distributions and aspectual contrasts across different morphological tense forms. I will examine tense selection under habitual meanings, generic meanings and state of result constructions. In order to account for these facts I will argue that temporal homogeneity plays a fundamental role in tense selection (...) in Romance languages. (shrink)

This essay investigates whether or not we should think that the things we say are identical to the things our sentences mean. It is argued that these theoretical notions should be distinguished, since assertoric content does not respect the compositionality principle. As a paradigmatic example, Kaplan's formal language LD is shown to exemplify a failure of compositionality. It is demonstrated that by respecting the theoretical distinction between the objects of assertion and compositional values certain conflicts between compositionality and contextualism are (...) avoided. This includes the conflict between eternalism and the semantics of tense, the embedding problems for contextualism about epistemic modals and taste claims, and the conflict between direct reference and the semantics of bound pronouns (and monstrous operators). After presenting the theoretical picture which distinguishes assertoric content from compositional semantic value, some objections to the picture are addressed. In so doing, the objection from King (2003) stemming from apparent complications with the interaction of temporal expressions and attitude reports is assessed and shown to be non-threatening. (shrink)

This document consists primarily of an excerpt (chapter 13) from the author’s book From Brain to Cosmos. In that excerpt, the author presents a study of the notion of truth using the concept of subjective fact developed earlier in the book. The author argues that mind-body materialism is compatible with certain forms of metaphysical idealism. The chapter closes with some remarks on relativism with regard to truth. (This document depends heavily upon the concept of subjective fact developed in From Brain (...) to Cosmos. Readers unfamiliar with that concept are strongly advised to read chapters 2 and 3 of From Brain to Cosmos first. See the last page of this document for details on how to obtain those chapters.). (shrink)

This document consists primarily of an excerpt (chapter 14) from the author’s book From Brain to Cosmos. In that excerpt, the author uses the concept of subjective fact developed earlier in the book to address a question about consciousness: which physical systems (organisms or machines) are conscious? (This document depends heavily upon the concept of subjective fact developed in From Brain to Cosmos. Readers unfamiliar with that concept are strongly advised to read chapters 2 and 3 of From Brain to (...) Cosmos first. See the last page of this document for details on how to obtain those chapters.). (shrink)

This document consists primarily of an excerpt (chapter 5) from the author’s book From Brain to Cosmos. That excerpt presents an analysis of personal identity through time, using the concept of subjective fact that the author developed earlier in the book. (Readers unfamiliar with that concept are strongly advised to read chapters 2 and 3 of From Brain to Cosmos first. See the last page of this document for details on how to obtain those chapters.).

This document consists primarily of an excerpt (chapter 6) from the author’s book From Brain to Cosmos. That excerpt presents an analysis of the problem of knowledge of other minds, using the concept of subjective fact that the author developed earlier in the book. (Readers unfamiliar with that concept are strongly advised to read chapters 2 and 3 of From Brain to Cosmos first. See the last page of this document for details on how to obtain those chapters.).

This collection serves as an introduction to the concept of subjective fact, which plays a central role in some of the author's philosophical writings. The collection contains two book chapters and a paper. The first chapter (Chapter 2 of From Brain to Cosmos) begins with an informal characterization of the concept of subjective fact. Then it fleshes out this concept with examples, gives a more precise characterization, and addresses some potential weaknesses of the concept. This chapter shows how subjective fact (...) is related to key ideas in the philosophy of mind, such as intentionality. The second chapter (Chapter 3) is a detailed study of the concept of “instance of seeming” that was introduced in Chapter 2. Chapter 3 ends with some remarks on the modal logic of subjective facts. The paper, also by the book’s author, answers some potential questions about the ideas in the two included chapters. (shrink)

This document consists primarily of excerpts (chapters 5 and 10-12) from the author’s book From Brain to Cosmos. These excerpts address several traditional problems about the histories of conscious subjects, using the concept of subjective fact that the author developed earlier in the book. Topics include the persistence of conscious subjects through time, the unity or disunity of the self, and the possibility of splitting conscious subjects. (These excerpts depend heavily upon the author’s concept of subjective fact as developed in (...) From Brain to Cosmos. Readers unfamiliar with that concept are strongly advised to read chapters 2 and 3 of that book first. See the last page of this document for details on how to obtain those chapters.). (shrink)

This document consists primarily of an excerpt (chapter 4) from the author’s book From Brain to Cosmos. That excerpt presents a study of a specific problem about knowledge: the logical justification of one’s knowledge of the immediate past. (This document depends heavily upon the concept of subjective fact that the author developed in chapters 2 and 3 of From Brain to Cosmos. Readers unfamiliar with that concept are strongly advised to read those chapters first. See the last page of this (...) document for details on how to obtain those chapters.). (shrink)

This document consists primarily of excerpts (chapters 5 and 7-9) from the author’s book From Brain to Cosmos. These excerpts address some traditional philosophical problems about temporal flux and identity through time, using the concept of subjective fact that the author developed earlier in the book. (Readers unfamiliar with that concept are strongly advised to read chapters 2 and 3 of From Brain to Cosmos first. See the last page of this document for details on how to obtain those chapters.).

Three plausible views—Presentism, Truthmaking, and Independence—form an inconsistent triad. By Presentism, all being is present being. By Truthmaking, all truth supervenes on, and is explained in terms of, being. By Independence, some past truths do not supervene on, or are not explained in terms of, present being. We survey and assess some responses to this.

John MacFarlane explores how we might make sense of the idea that truth is relative. He provides new, satisfying accounts of parts of our thought and talk that have resisted traditional methods of analysis, including what we mean when we talk about what is tasty, what we know, what will happen, what might be the case, and what we ought to do.

There is a common approach to metaphysical disputes, which takes language as its starting point, and leads to a view about the range of acceptable metaphysical positions in any such dispute. I argue that this approach rests on accepting what I call the Strong Linguistic Thesis (SLT). In the metaphysical debate about time I argue that the new B-theory has rejected SLT, and for good reasons. The metaphysical debate about modality parallels the early metaphysical debate about time. I argue that (...) a position analogous to the new B-theory of time is available in the modal debate, and has some advantages over its rivals. (shrink)

I assess a series of arguments intended to show that 'ought' implies 'can'. Two are rooted in uses of 'ought' in contexts of deliberation and command. A third draws on the distinctive resources of deontic logic. I show that, in each case, the arguments leave scope for forms of infinite moral consciousness—forms of moral consciousness in which a moral obligation retains its authority even in the face of the conviction that the obligation is impossible to fulfil. In this respect the (...) paper sides with Martin Luther against Erasmus and Kant. (shrink)

In 1880, when Oliver Wendell Holmes (later to be a Justice of the U.S. Supreme Court) criticized the logical theology of law articulated by Christopher Columbus Langdell (the first Dean of Harvard Law School), neither Holmes nor Langdell was aware of the revolution in logic that had begun, the year before, with Frege's Begriffsschrift. But there is an important element of truth in Holmes's insistence that a legal system cannot be adequately understood as a system of axioms and corollaries; and (...) this element of truth is not obviated by the more powerful logical techniques that are now available. (shrink)

According to Hans Kamp and Frank Vlach, the two-dimensional tense operators “now” and “then” are ineliminable in quantified tense logic. This is often adduced as an argument against tense logic, and in favor of an extensional account that makes use of explicit quantification over times. The aim of this paper is to defend tense logic against this attack. It shows that “now” and “then” are eliminable in quantified tense logic, provided we endow it with enough quantificational structure. The operators might (...) not be redundant in some other systems of tense logic, but this merely indicates a lack of quantificational resources and does not show any deep-seated inability of tense logic to express claims about time. The paper closes with a brief discussion of the modal analogue of this issue, which concerns the role of the actuality operator in quantified modal logic. (shrink)

Since the early part of this century there has been a considerable amount of discussion of the question 'Does time pass?'. A useful way of approaching the debate over the passage of time is to consider the following thesis: The space-time thesis (SPT): Time is similar to the dimensions of space in at least this one respect: there is no set of properties such that (i) these properties are possessed by time, (ii) these properties are not possessed by any dimension (...) of space, and (iii) in virtue of time's possession of these properties it is true to say that time passes. Those who say that time does not pass generally want to affirm something like SPT. But those, on the other hand, who say that time does pass generally want to deny SPT. Of course, SPT is, as it stands, a mere skeleton of a thesis. It needs to be fleshed out. What could the relevant properties be? Why exactly would it be that in virtue of time's possession of these properties it is true to say that time passes? What exactly would it mean to say that time passes? These are all matters that require considerable discussion. The aim of this paper, however, is to take up some linguistic issues that have been considered central to the debate over the passage of time. There are two main reasons why I think it is appropriate to discuss these linguistic issues independently of the relevant metaphysical issues. The first reason is historical: many of the writers who have taken up the issue of whether or not time passes have begun their discussions by focusing on linguistic.. (shrink)

Evidence is presented to show that the role of a generative grammar of a natural language is not merely to generate the grammatical sentences of that language, but also to relate them to their logical forms. The notion of logical form is to be made sense of in terms a natural logic, a logical for natural language, whose goals are to express all concepts capable of being expressed in natural language, to characterize all the valid inferences that can be made (...) in natural language, and to mesh with adequate linguistic descriptions of all natural languages. The latter requirement imposes empirical linguistic constraints on natural logic. A number of examples are discussed. (shrink)