Time and modality show remarkable similarities. Each of the most discussed theories in philosophy of time finds an analogous counterpart in modal metaphysics, suggesting that the parallel between the two notions is metaphysically deep. This chapter offers a brief overview of their analogies. Section 1 addresses the analogy between presentism and actualism. Section 2 explores the analogy between non-presentist theories and possibilism. Section 3 discusses the analogy between temporal and modal persistence.

McTaggart’s paradox and his A-theory and B-theory are basic notions in the contemporary philosophy of time. It is well known that the paradox was introduced by McTaggart’s paper called “The Unreality of Time” published in 1908, so that it has a one-hundred-year history. As for A-theory and B-theory, in contrast, McTaggart himself didn’t consider both of them at all. The notions of A-theory and B-theory came much later, 60 years after the paradox. Moreover, they had not been as popularized as (...) they are today until quite recently, at least after the 1990s. This paper aims to trace the origin of the notions of A-theory and B-theory and show how the debates behind them, especially objections to “spatialising time,” form the notions. (shrink)

We discuss abstraction principles in the context of modal and temporal logic. It is argued that abstractionism conflicts with both serious presentism and serious actualism.

Will it rain tomorrow? Will there be a sea battle tomorrow? Will my death be painful? Wondering about the future plays a central role in our cognitive lives. It is integral to our inquiries, our planning, our hopes, and our fears. The aim of this paper is to consider various accounts of future contingents and the implications that they have for wondering about the future. I argue that reflecting on the nature of wondering about the future supports an Ockhamist account (...) of future contingents according to which many of them are true. Alternative accounts which maintain that no future contingents are true, either by claiming that they are all false or by claiming that they are neither true nor false, face difficulties concerning why it is appropriate to wonder about them. Reflecting on wondering in general, and wondering about the future in particular, suggests that in wondering how the future will go, we implicitly assume that there is a determinate fact of the matter. After presenting an attractive account of interrogative attitudes that has been recently proposed by Jane Friedman and outlining some norms governing wondering, I argue that all accounts of future contingents except Ockhamism face difficulties concerning why it is appropriate to wonder about them. (shrink)

This paper proves a precisification of Hume’s Law—the thesis that one cannot get an ought from an is—as an instance of a more general theorem which establishes several other philosophically interesting, though less controversial, barriers to logical consequence.

This paper addresses the question whether future contingents are knowable, that is, whether one can know that things will go a certain way even though it is possible that things will not go that way. First I will consider a long-established view that implies a negative answer, and draw attention to some endemic problems that affect its credibility. Then I will sketch an alternative line of thought that prompts a positive answer: future contingents are knowable, although our epistemic access of (...) them is limited in some important respects. (shrink)

This paper is about the principle that success entails ability, which I call Success. I argue the status of Success is highly puzzling: when we focus on past instances of actually successful action, Success is very compelling; but it is in tension with the idea that true ability claims require an action be in the agent's control. I make the above tension precise by considering the logic of ability. I argue Success is appealing because it is classically equivalent to two (...) genuinely valid inferences, which I call Past Success and Can't-Entails-Won't; but also that Success itself has counterexamples. I show how to invalidate Success while validating Past Success and Can't-Entails-Won't by connecting the meaning of ‘can’ to facts about what is settled or open. I define an operator W with features attributed to ‘will’ in the literature on future contingents. I then give a conditional analysis of ability ascriptions stated with W-conditionals, where "S can A" says, roughly, there’s some action available to S such that if S does it, then W(S A). I show this semantics invalidates Success while still explaining its appeal. (shrink)

The article reviews some analyses of temporal language in logical approaches to natural language semantics. It considers some asymmetries between past and future, manifested in language, which motivate the “standard view” of the non-reversibility of time and the persistence of the past. It concludes with a puzzle about the changing past which challenges the standard view.

PLEASE NOTE: This is the corrected 2nd eBook edition, 2021. ●●●●● _Critique of Impure Reason_ has now also been published in a printed edition. To reduce the otherwise high price of this scholarly, technical book of nearly 900 pages and make it more widely available beyond university libraries to individual readers, the non-profit publisher and the author have agreed to issue the printed edition at cost. ●●●●● The printed edition was released on September 1, 2021 and is now available through (...) all booksellers, including Barnes & Noble, Amazon, and brick-and-mortar bookstores under ISBN 978-0-578-88646-6. ●●●●● In light of the length of this book, readers who would like to have a more detailed description of the book's objectives and method may find it helpful to read the detailed and clearly written Wikipedia entry about this work: From the Wikipedia search page, use the search phrase "Critique of Impure Reason". At least at the time of this writing (11/29/2021), the Wikipedia entry is well-researched and accurate. ●●●●● In addition, a "Primer on Bartlett's CRITIQUE OF IMPURE REASON" has been made available by the author. It is available under its title through PhilPapers and other philosophy online archives. ●●●●● COMMENDATIONS OF THIS WORK, from the back cover of the published edition: ●●●●● “I admire its range of philosophical vision.” – Nicholas Rescher, Distinguished University Professor of Philosophy, University of Pittsburgh, author of more than 100 books. ●●●●● “Bartlett’s _Critique of Impure Reason_ is an impressive, bold, and ambitious work. Careful scholarship is balanced by original analyses that lead the reader to recognize the limits of meaning, knowledge, and conceptual possibility. The work addresses a host of traditional philosophical problems, among them the nature of space, time, causality, consciousness, the self, other minds, ontology, free will and determinism, and others. The book culminates in a fascinating and profound new understanding of relativity physics and quantum theory.” – Gerhard Preyer, Professor of Philosophy, Goethe-University, Frankfurt am Main, Germany, author of many books including _Concepts of Meaning_, _Beyond Semantics and Pragmatics_, _Intention and Practical Thought_, and _Contextualism in Philosophy_. ●●●●● “[This work’s] goal is of a unique and difficult species: Dr. Bartlett seeks to develop a formal logical calculus on the basis of transcendental philosophical arguments; in fact, he hopes that this calculus will be the formal expression of the transcendental foundation of knowledge.... I consider Dr. Bartlett’s work soundly conceived and executed with great skill.” – C. F. von Weizsäcker, philosopher and physicist, former Director, Max-Planck-Institute, Starnberg, Germany. ●●●●● “Bartlett has written an American “Prolegomena to All Future Metaphysics.” He aims rigorously to eliminate meaningless assertions, reach bedrock, and place philosophy on a firm foundation that will enable it, like science and mathematics, to produce lasting results that generations to come can build on. This is a great book, the fruit of a lifetime of research and reflection, and it deserves serious attention.” — Martin X. Moleski, former Professor, Canisius College, Buffalo, NY, studies of scientific method, the presuppositions of thought, and the self-referential nature of epistemology. ●●●●● “Bartlett has written a book on what might be called the underpinnings of philosophy. It has fascinating depth and breadth, and is all the more striking due to its unifying perspective based on the concepts of reference and self-reference.” – Don Perlis, Professor of Computer Science, University of Maryland, author of numerous publications on self-adjusting autonomous systems and philosophical issues concerning self-reference, mind, and consciousness. ●●●●● ●●●●● The _Critique of Impure Reason: Horizons of Possibility and Meaning_ comprises a major and important contribution to philosophy. Thanks to the generosity of its publisher, this massive 885-page volume has been published as a free open access eBook (3.75MB) as well as an open access printed edition. It inaugurates a revolutionary paradigm shift in philosophical thought by providing compelling and long-sought-for solutions to a wide range of philosophical problems. In the process, the work fundamentally transforms the way in which the concepts of reference, meaning, and possibility are understood. The book includes a Foreword by the celebrated German philosopher and physicist Carl Friedrich von Weizsäcker. ●●●●● In Kant’s _Critique of Pure Reason_ we find an analysis of the preconditions of experience and of knowledge. In contrast, but yet in parallel, the new _Critique_ focuses upon the ways—unfortunately very widespread and often unselfconsciously habitual—in which many of the concepts that we employ _conflict_ with the very preconditions of meaning and of knowledge. ●●●●● This is a book about the boundaries of frameworks and about the unrecognized conceptual confusions in which we become entangled when we attempt to transgress beyond the limits of the possible and meaningful. We tend either not to recognize or not to accept that we all-too-often attempt to trespass beyond the boundaries of the frameworks that make knowledge possible and the world meaningful. ●●●●● The _Critique of Impure Reason_ proposes a bold, ground-breaking, and startling thesis: that a great many of the major philosophical problems of the past can be solved through the recognition of a viciously deceptive form of thinking to which philosophers as well as non-philosophers commonly fall victim. For the first time, the book advances and justifies the criticism that a substantial number of the questions that have occupied philosophers fall into the category of “impure reason,” violating the very conditions of their possible meaningfulness. ●●●●● The purpose of the study is twofold: first, to enable us to recognize the boundaries of what is referentially forbidden—the limits beyond which reference becomes meaningless—and second, to avoid falling victims to a certain broad class of conceptual confusions that lie at the heart of many major philosophical problems. As a consequence, the boundaries of _possible meaning_ are determined. ●●●●● Bartlett, the author or editor of more than 20 books, is responsible for identifying this widespread and delusion-inducing variety of error, _metalogical projection_. It is a previously unrecognized and insidious form of erroneous thinking that undermines its own possibility of meaning. It comes about as a result of the pervasive human compulsion to seek to transcend the limits of possible reference and meaning. ●●●●● Based on original research and rigorous analysis combined with extensive scholarship, the _Critique of Impure Reason_ develops a self-validating method that makes it possible to recognize, correct, and eliminate this major and pervasive form of fallacious thinking. In so doing, the book provides at last provable and constructive solutions to a wide range of major philosophical problems. ●●●●● CONTENTS AT A GLANCE ▪▪▪▪▪ Preface ▪▪▪▪▪ Foreword by Carl Friedrich von Weizsäcker ▪▪▪▪▪ Acknowledgments ▪▪▪▪▪ Avant-propos: A philosopher’s rallying call ▪▪▪▪▪ Introduction ▪▪▪▪▪ A note to the reader ▪▪▪▪▪ A note on conventions ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART I ▪▪▪▪▪ ▪▪▪▪▪ WHY PHILOSOPHY HAS MADE NO PROGRESS AND HOW IT CAN ▪▪▪▪▪ 1 Philosophical-psychological prelude ▪▪▪▪▪ 2 Putting belief in its place: Its psychology and a needed polemic ▪▪▪▪▪ 3 Turning away from the linguistic turn: From theory of reference to metalogic of reference ▪▪▪▪▪ 4 The stepladder to maximum theoretical generality ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART II ▪▪▪▪▪ THE METALOGIC OF REFERENCE ▪▪▪▪▪ A New Approach to Deductive, Transcendental Philosophy ▪▪▪▪▪ 5 Reference, identity, and identification ▪▪▪▪▪ 6 Self-referential argument and the metalogic of reference ▪▪▪▪▪ 7 Possibility theory ▪▪▪▪▪ 8 Presupposition logic, reference, and identification ▪▪▪▪▪ 9 Transcendental argumentation and the metalogic of reference ▪▪▪▪▪ 10 Framework relativity ▪▪▪▪▪ 11 The metalogic of meaning ▪▪▪▪▪ 12 The problem of putative meaning and the logic of meaninglessness ▪▪▪▪▪ 13 Projection ▪▪▪▪▪ 14 Horizons ▪▪▪▪▪ 15 De-projection ▪▪▪▪▪ 16 Self-validation ▪▪▪▪▪ 17 Rationality: Rules of admissibility ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART III ▪▪▪▪▪ PHILOSOPHICAL APPLICATIONS OF THE METALOGIC OF REFERENCE ▪▪▪▪▪ Major Problems and Questions of Philosophy and the Philosophy of Science ▪▪▪▪▪ 18 Ontology and the metalogic of reference ▪▪▪▪▪ 19 Discovery or invention in general problem-solving, mathematics, and physics ▪▪▪▪▪ 20 The conceptually unreachable: “The far side” ▪▪▪▪▪ 21 The projections of the external world, things-in-themselves, other minds, realism, and idealism ▪▪▪▪▪ 22 The projections of time, space, and space-time ▪▪▪▪▪ 23 The projections of causality, determinism, and free will ▪▪▪▪▪ 24 Projections of the self and of solipsism ▪▪▪▪▪ 25 Non-relational, agentless reference and referential fields ▪▪▪▪▪ 26 Relativity physics as seen through the lens of the metalogic of reference ▪▪▪▪▪ 27 Quantum theory as seen through the lens of the metalogic of reference ▪▪▪▪▪ 28 Epistemological lessons learned from and applicable to relativity physics and quantum theory ▪▪▪▪▪ ▪▪▪▪▪ PART IV ▪▪▪▪▪ HORIZONS ▪▪▪▪▪ 29 Beyond belief ▪▪▪▪▪ 30 _Critique of Impure Reason_: Its results in retrospect ▪▪▪▪▪ ▪▪▪▪▪ SUPPLEMENT ▪▪▪▪▪ The Formal Structure of the Metalogic of Reference ▪▪▪▪▪ APPENDIX I ▪▪▪▪▪ The Concept of Horizon in the Work of Other Philosophers ▪▪▪▪▪ APPENDIX II ▪▪▪▪▪ Epistemological Intelligence ▪▪▪▪▪ References ▪▪▪▪▪ Index ▪▪▪▪▪ About the author. (shrink)

Provisional draft, pre-production copy of my book “The Modal Future” (forthcoming with Cambridge University Press).

Presenting the first comprehensive, in-depth study of hyperintensionality, this book equips readers with the basic tools needed to appreciate some of current and future debates in the philosophy of language, semantics, and metaphysics. After introducing and explaining the major approaches to hyperintensionality found in the literature, the book tackles its systematic connections to normativity and offers some contributions to the current debates. The book offers undergraduate and graduate students an essential introduction to the topic, while also helping professionals in related (...) fields get up to speed on open research-level problems. (shrink)

Causation has always been a philosophically controversial subject matter. While David Hume’s empiricist account of causation has been the dominant influence in analytic philosophy and science during modern times, a minority view has instead connected causation essentially to agency and manipulation. A related approach has for the first time gained widespread popularity in recent years, due to new powerful theories of causal inference in science that are based in a technical notion of intervention, and James Woodward’s closely connected interventionist theory (...) of causation in philosophy. This monograph assesses five manipulationist or interventionist theories of causation, viewed as theories that purport to tell us what causation is by providing us with the meaning of causal claims. It is shown that they cannot do this, as the conditions on causation that they impose are too weak, mainly due to ineliminable circularities in their definitions of causal terms. It is then argued that a subset of Woodward’s theory can nevertheless contribute crucially to an explanation of the unique role that manipulation has in our acquisition of causal knowledge. This explanation differs from the common regularist explanation of the epistemic utility of manipulation and experiment, and it is taken to confirm several important manipulationist intuitions. However, the success of the explanation depends on (this subset of) interventionism not itself being understood as a theory of causation, but as a theory of intervention. (shrink)

We care not only about what experiences we have, but when we have them too. However, on the B-theory of time, something’s timing isn’t an intrinsic way for that thing to be or become. Given B-theory, should we be rationally indifferent about the timing per se of an experience? In this paper, I argue that B-theorists can justify time-biased preferences for pains to be past rather than present and for pleasures to be present rather than past. In support of this (...) argument, I appeal to the doctrine of temporal parts or “four-dimensionalism” for short. When held in conjunction with a certain evaluative principle about whose experiences matter, four-dimensionalism reconciles B-theory with some time-biased preferences. (shrink)

Does the A-theory have an intuitive advantage over the B-theory? Many A-theorists have claimed so, arguing that their theory has a much better explanation for the fact that we all experience the passage of time: we experience time as passing because time really does pass. In this paper I expose and reject the argument behind the A-theorist’s claim. I argue that all parties have conceded far too easily that there is an experience that needs explaining in the first place. For (...) what exactly is an experience of temporal passage? One natural thought is that we experience passage in virtue of experiencing change, or in virtue of experiencing change as ‘dynamic’. Another is that we experience passage in virtue of experiencing events as (successively) present. None of these experiences, I argue, amounts to an experience of passage. Although there might still be other ways to experience passage, A-theorists would have to provide us with a plausible candidate experience. If there is such an experience at all, it won’t be one that qualifies as what we intuitively take to be an experience of passage. The ‘intuitive advantage’, it seems, has dissolved in any case. (shrink)

ABSTRACTHere, I pursue consequences, for the interpretation of Sellars’ critique of the ‘Myth of the Given’, of separating the modal significance that Kant attributed to empirical intuition from th...

We investigated, experimentally, the contention that the folk view, or naïve theory, of time, amongst the population we investigated is dynamical. We found that amongst that population, ~ 70% have an extant theory of time that is more similar to a dynamical than a non-dynamical theory, and ~ 70% of those who deploy a naïve theory of time deploy a naïve theory that is more similar to a dynamical than a non-dynamical theory. Interestingly, while we found stable results across our (...) two experiments regarding the percentage of participants that have a dynamical or non-dynamical extant theory of time, we did not find such stability regarding which particular dynamical or non-dynamical theory of time they take to be most similar to our world. This suggests that there might be two extant theories in the population—a broadly dynamical one and a broadly non-dynamical one—but that those theories are sufficiently incomplete that participants do not stably choose the same dynamical theory as being most similar to our world. This suggests that while appeals to the ordinary view of time may do some work in the context of adjudicating disputes between dynamists and non-dynamists, they likely cannot do any such work adjudicating disputes between particular brands of dynamism. (shrink)

In this paper I propose a form of free will fallibilism. Unlike the free will realist who is fully persuaded that we have sufficient evidence of freedom to justify holding individuals morally responsible for what they do and imposing punishment, and unlike the free will skeptic who is fully persuaded that we do not have enough evidence to believe that we face a future of open alternatives, the free will fallibilist will believe that we have enough evidence to justify a (...) belief in freedom for some purposes but not for others. Along the way I argue that deliberation-compatibilism of the sort recently defended by Pereboom is subject to a very familiar sort of counterexample. The question that concerns me the most is whether punishment—this brutal institution that disposes of the lives of countless of our most vulnerable citizens—can be justified. I think it cannot, precisely because there is not sufficient evidence that human beings are free to choose between branching alternatives and so deserve to be treated like that. At least, if there is such justifying evidence it is more or less completely balanced by evidence that all events including human actions have causes. Moreover, I find compatibilism utterly unpersuasive. At the same time, I believe that I am a free agent; what I do is in large part up to me. I believe that the explanation of action cannot be reduced to causal explanation, and I believe that the logic of action requires a notion of branching time. I have two pictures of the universe; which of the two pictures I may rely upon will depend upon just what it is that I intend to do. Between the problem that preoccupies me, punishment, and my day-to-day choices, there is a wide gap. There are a lot of choices that, on the axis of justification, fall in between the two, many of them choices about how to treat those around us: whether to snub a friend who has insulted me, whether to castigate her, whether to reward a kind act with praise. Where to draw the line is a topic for another paper. The only principle that right now seems to me firm enough to act upon is this: the greater the likelihood of doing harm, the less likely the choice is to be justified. (shrink)

Propositions are posited to perform a variety of explanatory roles. One important role is being what is designated by a dedicated linguistic expression like a "that"-clause. In this paper, the case that propositions are needed for such a role is bolstered by defending that there are other expressions dedicated to designating propositions. In particular, it is shown that natural language has anaphors for propositions. Complement "so" and the response markers "yes" and "no" are argued to be such expressions.

Priority monism is roughly the view that the universe is the only fundamental object, that is, a concrete object that does not depend on any other concrete object. Schaffer, the main advocate of PM, claims that PM is compatible with dependence having two different directions: from parts to wholes for subcosmic wholes, and from whole to parts for the cosmic whole. Recently it has been argued that this position is untenable. Given plausible assumptions about dependence, PM entails that dependence has (...) only one direction, it always goes from wholes to parts. One such plausible assumption is a principle of Isolation. I argue that, given all extant accounts of dependence on the market, PM entails No Isolation. The argument depends upon a particular feature of the dependence relation, namely, necessitation and its direction. In the light of this, I contend that the argument is important, insofar as it suggests that we should distinguish dependence from other cognate notions, e.g. grounding. Once this distinction is made, I suggest we should also distinguish between two different notions of fundamentality that might turn out to be not-coextensive. (shrink)

In this paper I address issues related to the problem of future contingents and the metaphysical doctrine of fatalism. Two classical responses to the problem of future contingents are the third truth value view and the all-false view. According to the former, future contingents take a third truth value which goes beyond truth and falsity. According to the latter, they are all false. I here illustrate and discuss two ways to respectively argue for those two views. Both ways are similar (...) in spirit and intimately connected with fatalism, in the sense that they engage with the doctrine of fatalism and accept a large part of a standard fatalistic machinery. (shrink)

Medieval analyses of molecular propositions include many non-truthfunctional connectives in addition to the standard modern binary connectives (conjunction, disjunction, and conditional). Two types of non-truthfunctional molecular propositions considered by a number of 13th- and 14th-century authors are temporal and local propositions, which combine atomic propositions with `while' and `where'. Despite modern interest in the historical roots of temporal and tense logic, medieval analyses of `while' propositions are rarely discussed in modern literature, and analyses of `where' propositions are almost completely overlooked. (...) In this paper we introduce 13th- and 14th-century views on temporal and local propositions, and connect the medieval theories with modern temporal and spatial counterparts. (shrink)

This dialogue between Achilles and the Tortoise – in the spirit of those of Carroll and Hofstadter – argues against the idea, identified with the “traditional” interpretation of Aristotle’s “sea battle argument”, that future contingents are an exception to the Principle of Bivalence. It presents examples of correct everyday predictions, without which one would not be able to decide and to act; however, doing this is incompatible with the belief that the content of these predictions lacks a truth-value. The cost (...) of using a non-classical logic to cope with that may be too high for Stagirite’s defenders, and they would still need to explain why our ordinary predictions seem to have a binary truth-value. In the end, the paper suggests that the problem of future contingents – and of free will – is not a logical problem at all, but rather a limit on what an agent can believe before taking a decision. (shrink)

Presentism says that only present objects exist. But the view has trouble grounding past-tensed truths like “dinosaurs existed”. Standard Eternalism grounds those truths by positing the existence of past objects—like dinosaurs. But Standard Eternalism conflicts with the intuition that there is genuine change—the intuition that there once were dinosaurs and no longer are any. I offer a novel theory of time—‘The Imprint’—that does a better job preserving both the grounding and genuine change intuitions. The Imprint says that the past and (...) present exist, but where the present exhibits mass-energy, the past only consists of curved empty regions of spacetime. We therefore avoid saying that there are dinosaurs, since there is no mass-energy in the past; but the curvature of the past gives us a way to ground the truth that “dinosaurs existed”. (shrink)

I examine Quine’s and Davidson’s arguments to the effect that classical logic is the one and only correct logic. This conclusion is drawn from their views on radical translation and interpretation, respectively. I focus on the latter, but I first address, independently, Quine’s argument to the effect that the ‘deviant’ logician, who departs from classical logic, is merely changing the subject. Regarding logical pluralism, the question is whether there is more than one correct logic. I argue that bivalence may be (...) subject matter dependent, but that distribution and the law of excluded middle can probably not be dropped whilst maintaining the standard meanings of the connectives. In discussing the ramifications of the indeterminacy of interpretation, I ask whether it forces Davidsonian interpreters to adopt Dummett’s epistemic conception of truth vis-à-vis their interpretations. And, if so, does this cohere with their attributing a nonepistemic notion of truth to their interpretees? This would be a form of logical pluralism. In addition, I discuss Davidson’s arguments against conceptual schemes. Schemes incommensurable with our own could be construed as wholesale deviant logics, or so I argue. And, if so, their possibility would yield, in turn, the possibility of a radical logical pluralism. I also address Davidson’s application of Tarski’s definition of truth. (shrink)

At least since Aristotle’s famous 'sea-battle' passages in On Interpretation 9, some substantial minority of philosophers has been attracted to the doctrine of the open future--the doctrine that future contingent statements are not true. But, prima facie, such views seem inconsistent with the following intuition: if something has happened, then (looking back) it was the case that it would happen. How can it be that, looking forwards, it isn’t true that there will be a sea battle, while also being true (...) that, looking backwards, it was the case that there would be a sea battle? This tension forms, in large part, what might be called the problem of future contingents. A dominant trend in temporal logic and semantic theorizing about future contingents seeks to validate both intuitions. Theorists in this tradition--including some interpretations of Aristotle, but paradigmatically, Thomason (1970), as well as more recent developments in Belnap, et. al (2001) and MacFarlane (2003, 2014)--have argued that the apparent tension between the intuitions is in fact merely apparent. In short, such theorists seek to maintain both of the following two theses: (i) the open future: Future contingents are not true, and (ii) retro-closure: From the fact that something is true, it follows that it was the case that it would be true. It is well-known that reflection on the problem of future contingents has in many ways been inspired by importantly parallel issues regarding divine foreknowledge and indeterminism. In this paper, we take up this perspective, and ask what accepting both the open future and retro-closure predicts about omniscience. When we theorize about a perfect knower, we are theorizing about what an ideal agent ought to believe. Our contention is that there isn’t an acceptable view of ideally rational belief given the assumptions of the open future and retro-closure, and thus this casts doubt on the conjunction of those assumptions. (shrink)

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 paper proposes a view of time that takes passage to be the most basic temporal notion, instead of the usual A-theoretic and B-theoretic notions, and explores how we should think of a world that exhibits such a genuine temporal passage. It will be argued that an objective passage of time can only be made sense of from an atemporal point of view and only when it is able to constitute a genuine change of objects across time. This requires that (...) passage can flip one fact into a contrary fact, even though neither side of the temporal passage is privileged over the other. We can make sense of this if the world is inherently perspectival. Such an inherently perspectival world is characterized by fragmentalism, a view that has been introduced by Fine in his ‘Tense and Reality’ (2005). Unlike Fine's tense-theoretic fragmentalism though, the proposed view will be a fragmentalist view based in a primitive notion of passage. (shrink)

This paper explains and defends the idea that metaphysical necessity is the strongest kind of objective necessity. Plausible closure conditions on the family of objective modalities are shown to entail that the logic of metaphysical necessity is S5. Evidence is provided that some objective modalities are studied in the natural sciences. In particular, the modal assumptions implicit in physical applications of dynamical systems theory are made explicit by using such systems to define models of a modal temporal logic. Those assumptions (...) arguably include some necessitist principles. -/- Too often, philosophers have discussed ‘metaphysical’ modality — possibility, contingency, necessity — in isolation. Yet metaphysical modality is just a special case of a broad range of modalities, which we may call ‘objective’ by contrast with epistemic and doxastic modalities, and indeed deontic and teleological ones (compare the distinction between objective probabilities and epistemic or subjective probabilities). Thus metaphysical possibility, physical possibility and immediate practical possibility are all types of objective possibility. We should study the metaphysics and epistemology of metaphysical modality as part of a broader study of the metaphysics and epistemology of the objective modalities, on pain of radical misunderstanding. Since objective modalities are in general open to, and receive, natural scientific investigation, we should not treat the metaphysics and epistemology of metaphysical modality in isolation from the metaphysics and epistemology of the natural sciences. -/- In what follows, Section 1 gives a preliminary sketch of metaphysical modality and its place in the general category of objective modality. Section 2 reviews some familiar forms of scepticism about metaphysical modality in that light. Later sections explore a few of the many ways in which natural science deals with questions of objective modality, including questions of quantified modal logic. (shrink)

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)

A. N. Prior’s writings should obviously be studied already for historical reasons. His inventions of modern temporal logic and hybrid logic are clearly important events in the history of logic. But the enduring importance of studying his works also rests on his methodological approach, which remains highly relevant also for systematical reasons. In this paper we argue that Prior’s formulation in the 1950s of a tense-logical paradigm for the study of time should be understood in the light of at least (...) three other principles or perspectives which were manifest already in his studies during the 1940s and further developed in the 1950s: his emphasis on the value of interdisciplinary studies, his reflections on formalisation and his view of the role of symbolic logic in conceptual studies and in the philosophy of science. Our investigation into Prior’s basic tenets and principles makes extensive use of Prior’s Nachlass. It is thereby also exemplified how his correspondence and unpublished papers contain important information for a deeper understanding of Prior’s paradigm for the study of time. (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 article puts forward a branching-style framework for the analysis of determinism and indeterminism of scientific theories, starting from the core idea that an indeterministic system is one whose present allows for more than one alternative possible future. We describe how a definition of determinism stated in terms of branching models supplements and improves current treatments of determinism of theories of physics. In these treatments, we identify three main approaches: one based on the study of equations, one based on mappings (...) between temporal realizations, and one based on branching models. We first give an overview of these approaches and show that current orthodoxy advocates a combination of the mapping- and the equations-based approaches. After giving a detailed formal explication of a branching-based definition of determinism, we consider three concrete applications and end with a formal comparison of the branching- and the mapping-based approach. We conclude that the branching-based definition of determinism most usefully combines formal clarity, connection with an underlying philosophical notion of determinism, and relevance for the practical assessment of theories. 1 Introduction2 Determinism in Philosophy of Science: Three Approaches2.1 Determinism: The core idea and how to spell it out2.2 The three approaches in more detail2.3 Representing indeterminism3 Orthodoxy: DMAP, with Invocations of DEQN4 Branching-Style Determinism 4.1 Models and realizations4.2 Faithfulness4.3 Two types of branching topologies 5 Comparing the Approaches5.1 Case studies5.2 Formal comparison of the DMAP and DBRN frameworks6 Conclusions. (shrink)

A-theorists think there is a fundamental difference between the present and other times. This concern shows up in what kinds of properties they take to be instantiated, what objects they think exist and how they formalize their views. Nearly every contemporary A-theorist assumes that her metaphysics requires a tense logic – a logic with operators like and. In this paper, I show that there is at least one viable A-theory that does not require a logic with tense operators. And I (...) will argue that three common indispensability arguments for tense operators are unsound. (shrink)

In this paper the class of minimal models CZI for Kiczuk’s system of physical change ZI is provided and soundness and completeness proofs of ZI with respect to these models are given. ZI logic consists of propositional logic von Wright’s And Then and six specific axioms characterizing the meaning of unary propositional operator “Zm”, read “there is a change in the fact that”. ZI is intended to be a logic which provides a formal account for describing two kinds of process (...) change: the change from one state of the process to its other state and the perishing of the process. (shrink)

In this paper we aim to disentangle the thesis that the future is open from theses that often get associated or even conflated with it. In particular, we argue that the open future thesis is compatible with both the unrestricted principle of bivalence and determinism with respect to the laws of nature. We also argue that whether or not the future (and indeed the past) is open has no consequences as to the existence of (past and) future ontology.

The paper attempts to give a solution to the Fitch's paradox though the strategy of the reformulation of the paradox in temporal logic, and a notion of knowledge which is a kind of ceteris paribus modality. An analogous solution has been offered in a different context to solve the problem of metaphysical determinism.

Presentism states that everything is present. Crucial to our understanding of this thesis is how we interpret the ‘is’. Recently, several philosophers have claimed that on any interpretation presentism comes out as either trivially true or manifestly false. Yet, presentism is meant to be a substantive and interesting thesis. I outline in detail the nature of the problem and the standard interpretative options. After unfavourably assessing several popular responses in the literature, I offer an alternative interpretation that provides the desired (...) result. This interpretation is then used to clarify the distinction between ‘real change’ from mere variation and temporal relativisation. Reflecting on my solution, I try to diagnose the source of confusion over these issues. Then, building upon Fine’s distinction between ontic and factive presentism, I elucidate what the presentist thesis specifically concerns and how best to formalise it. In the process I distinguish a weak and strong version of the presentist thesis. Finally, I end by drawing out some limitations of the paper. (shrink)

Statements about the future are central in everyday conversation and reasoning. How should we understand their meaning? The received view among philosophers treats will as a tense: in ‘Cynthia will pass her exam’, will shifts the reference time forward. Linguists, however, have produced substantial evidence for the view that will is a modal, on a par with must and would. The different accounts are designed to satisfy different theoretical constraints, apparently pulling in opposite directions. We show that these constraints are (...) jointly satisfied by a novel modal account of will. On this account, will is a modal but doesn't work as a quantifier over worlds. Rather, the meaning of will involves a selection function similar to the one used by Stalnaker in his semantics for conditionals. The resulting theory yields a plausible semantics and logic for will and vindicates our intuitive views about the attitudes that rational agents should have towards future-directed contents. (shrink)

In this paper we argue that Prior and Reichenbach are best viewed as allies, not antagonists. We do so by combining the central insights of Prior and Reichenbach in the framework of hybrid tense logic. This overcomes a well-known defect of Reichenbach’s tense schema, namely that it gives multiple representations to sentences in the future perfect and the future-in-the-past. It also makes it easy to define an iterative schema for tense that allows for multiple points of reference, a possibility noted (...) by Prior and demanded by Comrie, and we sketch how this schema can be generalized to a shift-and-restrict pattern in which special propositional symbols act as restrictors on the range of tense operators. (shrink)

In this paper I reconstruct David Foster Wallace’s argument against fatalism in his undergraduate honors thesis, “Richard Taylor’s ‘Fatalism’ and the Semantics of Physical Modality”. My goal is to present the argument in a clear and concise way, so that it is easy to see its main line of reasoning and potential power. A secondary goal is to offer clarificatory and critical notes on some of the issues at stake. The reconstruction reveals interesting connections between Wallace’s argument and John MacFarlane’s (...) recent work on relative truth. (shrink)

Typical presentism asserts that whatever exists is present. Moderate presentism more modestly claims that all events are present and thus acknowledges past and future times understood in a substantivalist sense, and past objects understood, following Williamson, as “ex-concrete.” It is argued that moderate presentism retains the most valuable features of typical presentism, while having considerable advantages in dealing with its most prominent difficulties.

The branching time analysis grounds the possibilities entailed by temporal indeterminism in a branching temporal structure. I construct a spatial analog of the branching time analysis – the branching space analysis – according to which the possibilities entailed by spatial indeterminism are grounded in branching spatial structure. The construction proceeds in such a way as to show the analogies between the branching space and branching time analyses. I argue that the two views are a package. In particular: the theoretical virtues (...) of the one are theoretical virtues of the other and so if one ought to be accepted, then the other should also be accepted. And: if one ought to be denied, then the other ought to be denied as well. Thus, the branching space analysis functions either as a counterexample to the reductive strategy embodied in the branching time analysis or as a reasonable extension of it – as a lesson learned from it. (shrink)

Presentism is held by most to be the intuitive theory of time, due in large part to the view's supposed preservation of time's passage. In this paper, I strike a blow against presentism's intuitive pull by showing how the presentist, contrary to overwhelming popular belief, is unable to establish temporal change upon which the passage of time is based. I begin by arguing that the presentist's two central ontological commitments, the Present Thesis and the Change Thesis, are incompatible. The main (...) problem is that satisfying the Change Thesis to establish passage requires the existence of more than one moment. This conflicts with the Present Thesis that only the present moment exists. The presentist's response is to appeal to surrogates to stand proxy for the past, so as to account for the difference between what does exist and what did exist. I argue that, for this surrogate strategy to be successful, the proposed surrogates must track what actually happened. I demonstrate that there is no guarantee that t.. (shrink)

If you utter sentence (1) ‘Obama was born in 1961’ now, you say something true about the past. Since the past will always be such that the year 1961 has the property of being a time in which Obama was born, it seems impossible that could ever be false in a future context of utterance. We shall consider the case of a sentence about the past exactly like (1), but which was true when uttered a few years ago and is (...) no longer true now. On this basis, we shall conclude that the past has changed. (shrink)

When an agent undergoes fission, how should the beliefs of the fission results relate to the pre-fission beliefs? This question is important for the Everett interpretation of quantum mechanics, but it is of independent philosophical interest. Among other things, fission scenarios demonstrate that ‘self-locating’ information can affect the probability of uncentred propositions even if an agent has no essentially self-locating uncertainty. I present a general update rule for centred beliefs that gives sensible verdicts in cases of fission, without relying on (...) controversial metaphysical or linguistic assumptions. The rule is supported by the same considerations that support standard conditioning in the traditional framework of uncentred propositions. (shrink)

This book is a synthesis of more than three decades of research into the concept of time and its semiotic nature. If traditional philosophy – and philosophy of time should be no exception – in the shadow of advancing biology can be said to have reached an impasse, one important reason for this, in harmony with Wittgenstein’s vision, appears to have been its lack of appropriate tools for explicating language. The present theory of time proceeds, accordingly, from the exploration of (...) temporal expressions in language as an evolutionary fact. It derives in a hypothetical, coherent feedback process of hierarchically ordered distinctions the semantics of time from its biologically dictated perceptual and cognitive-pragmatic origins. The corresponding abductive-regulative model is anchored in the assumption of biological rhythmization as the very foundation of perception and mental/physical action. Understood to originate in space and spatial perspective, time reveals itself as an instrument for temporal perspective on motion (events and situations) in a process of analysis, i.e., discontinuation of chaos made divisible and continuous by the rhythmical screen. Whereas traditional philosophy of time paid attention almost exclusively to the temporal category of tense, the biopragmatic model sees strong evidence in the perspectival nature of time for ascribing the decisive, and probably universal, role in temporal analysis to the linguistic category of aspect. Aspect may, according to the present findings, be assumed to partake already of change-of-state and cause-effect analysis without which man’s adaptation to new situations – and precondition for survival – would be inconceivable. The proposed model of space/time cognition, inspired by Hegelian dialectics, Heidegger-Gadamer’s hermeneutic circle and Peircean logic, makes Kantian a priori superfluous and liberates time from its enigmatic appearance. For the first time in temporal studies it thus appears possible to derive hypothetically linguistic expressions of time all the way from pretemporal, homogeneous continuity effected by biological rhythmization, via pretemporal metonymic (Gestalt), chunk-wise partitioning – as a general precondition for the perception and, based on primary metaphorization, the cognition of things, space and motion – to temporal analysis/discontinuation proper, primarily by aspectual perspective, and the subsequent synthesized, heterogeneous continuity of temporally ordered events. The conception of time, so disastrous for modern temporal logic, i.e., as moving object assigned extension, divisible continuity (‛linearity’) and direction, can be shown to have emerged as a result of secondary metaphorization. (shrink)

The logical theory of branching space-times, which provides a relativistic framework for studying objective indeterminism, remains mostly disconnected from discussions of space-time theories in philosophy of physics. Earman has criticized the branching approach and suggested “pruning some branches from branching space-time.” This article identifies the different—order-theoretic versus topological—perspective of both discussions as a reason for certain misunderstandings and tries to remove them. Most important, we give a novel, topological criterion of modal consistency that usefully generalizes an earlier criterion, and we (...) introduce a differential-geometrical version of branching space-times as a non-Hausdorff (generalized) manifold. (shrink)

This paper investigates the logic of Ockhamism, a view according to which future contingents are either true or false. Several attempts have been made to give rigorous shape to this view by defining a suitable formal semantics, but arguably none of them is fully satisfactory. The paper draws attention to some problems that beset such attempts, and suggests that these problems are different symptoms of the same initial confusion, in that they stem from the unjustified assumption that the actual course (...) of events must be represented in the semantics as a distinguished history, the Thin Red Line. (shrink)