The future is different from the past. What is past is fixed and set in stone. The future, on the other hand, is open insofar as it holds numerous possibilities. Branching-tree models of time account for this asymmetry by positing an ontological difference between the past and the future. Given a time t, a unique unified past lies behind t, whereas multiple alternative existing futures lie ahead of t. My goal in this paper is to show (...) that there is an incompatibility between the way branching-tree models account for the open future and the possibility of time travel. That is, I argue that once time travel enters the picture, branching time fails to model the openness of the future by means of alternative future branches. I show how this holds independently of whether branching-time models are cashed out in A-theoretic or B-theoretic terms. (shrink)

According to an influential line of thought, from the assumption that indeterminism makes future contingents neither true nor false, one can conclude that assertions of future contingents are never permissible. This conclusion, however, fails to recognize that we ordinarily assert future contingents even when we take the future to be unsettled. Several attempts have been made to solve this puzzle, either by arguing that, albeit truth-valueless, future contingents can be correctly assertable, or by rejecting the (...) claim that future contingents are truth-valueless. The paper examines three of most representative accounts in line with the first attempt, and concludes that none of them succeed in providing a persuasive answer as to why we felicitously assert future contingents. (shrink)

According to an influential line of thought, from the assumption that indeterminism makes future contingents neither true nor false, one can conclude that assertions of future contingents are never permissible. This conclusion, however, fails to recognize that we ordinarily assert future contingents even when we take the future to be unsettled. Several attempts have been made to solve this puzzle, either by arguing that, albeit truth-valueless, future contingents can be correctly assertable, or by rejecting the (...) claim that future contingents are truth-valueless. The paper examines three of most representative accounts in line with the first attempt, and concludes that none of them succeed in providing a persuasive answer as to why we felicitously assert future contingents. (shrink)

Ex ante predicted outcomes should be interpreted as counterfactuals (potential histories), with errors as the spread between outcomes. But error rates have error rates. We reapply measurements of uncertainty about the estimation errors of the estimation errors of an estimation treated as branching counterfactuals. Such recursions of epistemic uncertainty have markedly different distributial properties from conventional sampling error, and lead to fatter tails in the projections than in past realizations. Counterfactuals of error rates always lead to fat tails, regardless (...) of the probability distribution used. A mere .01% branching error rate about the STD (itself an error rate), and .01% branching error rate about that error rate, etc. (recursing all the way) results in explosive (and infinite) moments higher than 1. Missing any degree of regress leads to the underestimation of small probabilities and concave payoffs (a standard example of which is Fukushima). The paper states the conditions under which higher order rates of uncertainty (expressed in spreads of counterfactuals) alters the shapes the of final distribution and shows which a priori beliefs about conterfactuals are needed to accept the reliability of conventional probabilistic methods (thin tails or mildly fat tails). (shrink)

Over the past few years, the tree model of time has been widely employed to deal with issues concerning the semantics of tensed discourse. The thought that has motivated its adoption is that the most plausible way to make sense of indeterminism is to conceive of future possibilities as branches that depart from a common trunk, constituted by the past and the present. However, the thought still needs to be further articulated and defended, and several important questions remain open, (...) such as the question of how actuality can be understood and formally represented in a branching framework. The present volume is intended to be a 360 degree reflection on the tree model. The contributions is gathers concern the model and its alternatives, both from a semantic and from a metaphysical point of view. ​. (shrink)

Branching time is a popular theory of time that is intended to account for the openness of the future. Generally, branching-time models the openness of the future by positing a multiplicity of concrete alternative futures mirroring all the possible ways the future could unfold. A distinction is drawn in the literature among branching-time theories: those that make use of moment-based structures and those that employ history-based ones. In this paper, I introduce and discuss a (...) particular kind of openness relative to the possibility that time ends (doomsday). I then show that whereas moment-based branching structures cannot represent this kind of openness, history-based structures can account for it. The conclusion is that history-based structures have an advantage over moment-based ones. (shrink)

At a first glance, and even at a second one, it seems that if time is linear the threat of determinism is more severe than if time is branching, since in the latter case the future is open in a way it is not in the former one where, so to speak, there exists only one branch – one future. In this paper, I want to give a 'third glance' at this claim. I acknowledge that such a (...) claim is intuitive (this is the first glance) and that it is also meaningfully and interestingly defended in recent literature where branching time is either said to imply indeterminism or at least to be compatible with it. To try to make my third glance as precise and as fleshed out as possible, I shall first concentrate on what 'branching' is or could be, and I shall discuss various versions and interpretations of this view. I shall then (more quickly) turn my attention to what determinism is or could be, and I will distinguish three (well-known) kinds of it – focusing mainly on 'metaphysical determinism'. Having these tools in hand, I will then ask (and answer) the question whether branching time helps with avoiding determinism or not. As we shall see, it is incorrect to think that under the branching hypothesis the threat of determinism is any smaller – rather, I will argue that if one has reasons to think that determinism is true, branching will not help, and that the issue of branching versus linear time is then actually neutral with respect to the question whether determinism or indeterminism is true. (shrink)

Possibility semantics offers an elegant framework for a semantic analysis of modal logic that does not recruit fully determinate entities such as possible worlds. The present papers considers the application of possibility semantics to the modeling of the indeterminacy of the future. Interesting theoretical problems arise in connection to the addition of object-language determinacy operator. We argue that adding a two-dimensional layer to possibility semantics can help solve these problems. The resulting system assigns to the two-dimensional determinacy operator a (...) well-known logic (coinciding with the logic of universal modalities under global consequence). The paper concludes with some preliminary inroads into the question of how to distinguish two-dimensional possibility semantics from the more established branching framework. (shrink)

The metaphor of a branching tree of future possibilities has a number of important philosophical and logical uses. In this paper we trace this metaphor through some of its uses and argue that the metaphor works the same way in physics as in philosophy. We then give an overview of formal systems for branching possibilities, viz., branching time and (briefly) branching space-times. In a next step we describe a number of different notions of possibility, thereby (...) sketching a landscape of possibilities. In the final section of the paper we look at the place of branching-based possibilities in that larger landscape of possibilities. Our main message is that far from being an outlandish metaphysical extravagancy, branching-based possibilities are epistemically as well as metaphysically basic. (shrink)

The logical foundations of game-theoretic solution concepts have so far been explored within the con¯nes of epistemic logic. In this paper we turn to a di®erent branch of modal logic, namely temporal logic, and propose to view the solution of a game as a complete prediction about future play. The branching time framework is extended by adding agents and by de¯ning the notion of prediction. A syntactic characterization of backward induction in terms of the property of internal consistency (...) of prediction is given. (shrink)

Some fictions seem to involve branching time, where one time series ‘splits’ into two or two time series ‘fuse’ into one. We provide a new framework for thinking about these fictional representations: not as representations of branching time series but rather as branching representations of linear time series. We explain how branching at the level of the representation creates a false impression that the story describes a branching of the time series in the fictional world (...) itself. This involves explaining away the illusion of various causal connections which may at first appear essential to understanding the story as a unified whole. This provides a more accurate account of the relationship between the representation and what is represented, which in turn reveals the extent to which it is legitimate to draw conclusions about actual time from fictional representations. (shrink)

In Ockhamist branching-time logic [Prior 67], formulas are meant to be evaluated on a specified branch, or history, passing through the moment at hand. The linguistic counterpart of the manifoldness of future is a possibility operator which is read as `at some branch, or history (passing through the moment at hand)'. Both the bundled-trees semantics [Burgess 79] and the $\langle moment, history\rangle$ semantics [Thomason 84] for the possibility operator involve a quantification over sets of moments. The Ockhamist frames (...) are (3-modal) Kripke structures in which this second-order quantification is represented by a first-order quantification. The aim of the present paper is to investigate the notions of modal definability, validity, and axiomatizability concerning 3-modal frames which can be viewed as generalizations of Ockhamist frames. (shrink)

In this paper we develop a novel propositional semantics based on the framework of branching time. The basic idea is to replace the moment-history pairs employed as parameters of truth in the standard Ockhamist semantics by pairs consisting of a moment and a consistent, downward closed set of so-called transitions. Whereas histories represent complete possible courses of events, sets of transitions can represent incomplete parts thereof as well. Each transition captures one of the alternative immediate future possibilities open (...) at a branching point. The transition semantics exploits the structural resources a branching time structure has to offer and provides a fine-grained picture of the interrelation of modality and time. In addition to temporal and modal operators, a so-called stability operator becomes interpretable as a universal quantifier over the possible future extensions of a given transition set. The stability operator allows us to specify how and how far time has to unfold for the truth value of a sentence at a moment to become settled and enables a perspicuous treatment of future contingents. We show that the semantics developed along those lines generalizes and extends extant approaches: both Peirceanism and Ockhamism can be viewed as limiting cases of the transition approach that build on restricted resources only, and on both accounts, stability collapses into truth. (shrink)

The question as to whether some objects are possible worlds that have an initial segment in common, i.e. so that their fusion is a temporal tree whose branches are possible worlds, arises both for those who hold that our universe has the structure of a temporal tree and for those who hold that what there is includes concrete universes of every possible variety. The notion of “possible world” employed in the question is seen to be the notion of an object (...) of a kind such that objects of that kind play a certain theoretical role. Lewis’s discussion of the question is thereby clarified but is nevertheless inadequate; his negative answer is correct but even from his combinatorialist viewpoint the rationale he provides for this answer is misguided. I explain why the combinatorialist advocate of concrete plenitude should hold that no object is a tree of possible worlds. Then I explain that for a different reason the nomic essentialist advocate of concrete plenitude should hold this much too. (shrink)

"This book develops a rigorous theory of indeterminism as a local and modal concept. Its crucial insight is that our world contains events or processes with alternative, really possible outcomes. The theory aims at clarifying what this assumption involves, and it does it in two ways. First, it provides a mathematically rigorous framework for local and modal indeterminism. Second, we support that theory by spelling out the philosophically relevant consequences of this formulation and by showing its fruitful applications in metaphysics. (...) To this end, we offer a formal analysis of modal correlations and of causation, which is applicable in indeterministic and non-local contexts as well. We also propose a rigorous theory of objective single-case probabilities, intended to represent degrees of possibility. In a third step, we link our theory to current physics, investigating how local and modal indeterminism relates to issues in the foundations of physics, in particular, quantum non-locality and spatio-temporal relativity. The book also ventures into the philosophy of time, showing how the theory's resources can be used to explicate the dynamic concept of the past, present, and future based on local indeterminism"--. (shrink)

This paper investigates the prospects of developing a branching modal framework while keeping with the spirit of Humean Supervenience. It is argued that such an approach is bound to face hard problems regarding haecceitism and the notion of recombination. Possible directions for future philosophical developments of branching frameworks are suggested.

The article discusses the relation between two intuitive properties of time, namely its flow and branching. Both properties are introduced first in an informal way and compared. The conclusion of this informal analysis is that the two properties do not entail each other nor are they in contradiction. In order to verify this, we briefly introduced the branching temporal structures called branching space-time, branching continuation and their versions Minkowski branching structure and branching time with (...) Instants. Two possible ways how to formalize flow of time are given, one based on the definition of flow of time from temporal logics and the other based on relativistic physics. The latter is used to define flow of time with the use of linearly ordered points on worldines while respecting the ontological definiteness given by the difference of the past and the future. This is formalized in each of the branching models and it is concluded by comparing the resulting properties that branching and flow, even in the formal sense, do not entail each other. However, notions connected with flow of time represent a useful basis for semantics of the branching models. (shrink)

A commonly held idea regarding the nature of time is that the future is open and the past is fixed or closed. This article investigates the notion that there is an asymmetry in openness between the past and the future. The following questions are considered: How exactly is this asymmetry in openness to be understood? What is the relation between an open future and various ontological views about the future? Is an open future a (...) class='Hi'>branching future? What is the relation between an open future and the question of whether contingent statements about the future are true or false? Is an open future compatible with a single determinate future? (shrink)

This paper articulates in formal terms a crucial distinction concerning future contingents, the distinction between what is true about the future and what is reasonable to believe about the future. Its key idea is that the branching structures that have been used so far to model truth can be employed to define an epistemic property, credibility, which we take to be closely related to knowledge and assertibility, and which is ultimately reducible to probability. As a result, (...) two kinds of claims about future contingents—one concerning truth, the other concerning credibility—can be smoothly handled within a single semantic framework. (shrink)

In this paper I assess the prospects for combining contemporary Everettian quantum mechanics (EQM) with branching-time semantics in the tradition of Kripke, Prior, Thomason and Belnap. I begin by outlining the salient features of ‘decoherence-based’ EQM, and of the ‘consistent histories’ formalism that is particularly apt for conceptual discussions in EQM. This formalism permits of both ‘branching worlds’ and ‘parallel worlds’ interpretations; the metaphysics of EQM is in this sense underdetermined by the physics. A prominent argument due to (...) Lewis (On the Plurality of Worlds, 1986 ) supports the non-branching interpretation. Belnap et al. (Facing the Future: Agents and Choices in Our Indeterministic World, 2001 ) refer to Lewis’ argument as the ‘Assertion problem’, and propose a pragmatic response to it. I argue that their response is unattractively ad hoc and complex, and that it prevents an Everettian who adopts branching-time semantics from making clear sense of objective probability. The upshot is that Everettians are better off without branching-time semantics. I conclude by discussing and rejecting an alternative possible motivation for branching time. (shrink)

The thin red line ( TRL ) is a theory about the semantics of future-contingents. The central idea is that there is such a thing as the ‘actual future’, even in the presence of indeterminism. It is inspired by a famous solution to the problem of divine foreknowledge associated with William of Ockham, in which the freedom of agents is argued to be compatible with God’s omniscience. In the modern branching time setting, the theory of the TRL (...) is widely regarded to suffer from several fundamental problems. In this paper we propose several new TRL semantics, each with differing degrees of success. This leads up to our final semantics, which is a cross between the TRL and supervaluationism. We discuss the notions of truth, validity and semantic consequence which result from our final semantics, and demonstrate some of its pleasing results. This account, we believe, answers the main objection in the literature, and thus places the TRL on the same level as any other competing semantics for future contingents. (shrink)

For branching-time temporal logic based on an Ockhamist semantics, we explore a temporal language extended with two additional syntactic tools. For reference to the set of all possible futures at a moment of time we use syntactically designated restricted variables called fan-names. For reference to all possible futures alternative to the actual one we use a modification of a difference modality, localized to the set of all possible futures at the actual moment of time.We construct an axiomatic system for (...) this extended branching-time logic and prove its soundness and completeness with respect to bundle tree semantics. Finally, we show how our axiomatic system can be extended with a variety of important additional operators, such as Since and Until, a global difference operator, operators for undivided and divided histories, reference pointers, etc. (shrink)

The theory of branching space-times, put forward by Belnap, considers indeterminism as local in space and time. In the axiomatic foundations of that theory, so-called choice points mark the points at which the possible future can turn out in different ways. Working under the assumption of choice points is suitable for many applications, but has an unwelcome topological consequence that makes it difficult to employ branching space-times to represent a range of possible physical space-times. Therefore it is (...) interesting to develop a branching space-times theory without choice points. This is what we set out to do in this paper, providing new foundations for branching space-times in terms of choice sets rather than choice points. After motivating and developing the resulting theory in formal detail, we show that it is possible to translate structures of one style into structures of the other style and vice versa. This result shows that the underlying idea of indeterminism as the branching of spatio-temporal histories is robust with respect to different implementations, making a choice between them a matter of expediency rather than of principle. (shrink)

In most cases, we think that what settles what act it is right to perform is sensitive to what we take the facts about the world to be. But those facts include many controversial metaphysical claims about the world. I argue that depending on what metaphysical model we take to be correct, we will have very different views about what the right actions are. In particular, I argue that if a particular metaphysical model — the branching universe model — (...) is correct, then many of our ethical intuitions are false. We need to think carefully about the relation between ethical and metaphysical intuitions, and ethical and metaphysical theories. (shrink)

When we make a prediction we select, among the conceivable future descriptions of the world, those that appear to us to be most plausible. We capture this by means of two binary relations, ≺c and ≺p: if t1 and t2 are points in time, we interpret t1 ≺ct2 as sayingthat t2 is in the conceivable future of t1, while t1 ≺pt2 is interpreted to mean that t2 isin the predicted future of t1. Within a branching-time framework (...) we propose the following notion of “consistency of prediction”. Suppose that at t1 some future moment t2 is predicted to occur, then every moment t on the unique path from t1 to t2 should also be predicted at t1 and the prediction of t2 should continue to hold at every such t. A sound and complete axiomatization is provided. (shrink)

This paper assesses branching spacetime theories in light of metaphysical considerations concerning time. I present the A, B, and C series in terms of the temporal structure they impose on sets of events, and raise problems for two elements of extant branching spacetime theories—McCall’s ‘branch attrition’, and the ‘no backward branching’ feature of Belnap’s ‘branching space-time’—in terms of their respective A- and B-theoretic nature. I argue that McCall’s presentation of branch attrition can only be coherently formulated (...) on a model with at least two temporal dimensions, and that this results in severing the link between branch attrition and the flow of time. I argue that ‘no backward branching’ prohibits Belnap’s theory from capturing the modal content of indeterministic physical theories, and results in it ascribing to the world a time-asymmetric modal structure that lacks physical justification. (shrink)

There is a long-standing disagreement among Branching-Time theorists. Even though they all believe that the branching representation accurately grasps the idea that the future, contrary to the past, is open, they argue whether this representation is compatible with the claim that one among many possible futures is distinguished—the single future that will come to be. This disagreement is paralleled in an argument about the bivalence of future contingents. The single, privileged future is often called (...) the Thin Red Line. I reconstruct the history of the arguments for and against this idea. Then, I propose my own version of the Thin Red Line theory which is immune to the major objections found in the literature. I argue that the semantic disagreement is grounded in distinct metaphysical presuppositions. My solution is expressed in a conceptual framework proposed by John MacFarlane, who distinguishes semantics from postsemantics. I extend his distinction and introduce a new notion of presemantics to elucidate my idea. (shrink)

According to the actualist view, what is essential to the truth conditions of a future-tensed sentence ‘it will be the case that ϕ’ is reference to the unique course of events that will become actual. On the other hand, the modal view has it that the truth conditions of such a sentence require that the truth of ϕ be already “settled” at the time of utterance, where “being settled at time t” is defined by universal quantification over a domain (...) of courses of events, the futures compatible with what has happened up to time t. On the proposal we discuss in this paper, the actualist view and the modal view are seen as two related attitudes that speakers can have when they evaluate future-tensed sentences, and the corresponding interpretations undergo a unified semantic treatment based on a contextual notion of settledness. A central feature of our approach is a dynamic view of contexts of utterance, whereby the world of the utterance is not fixed once and for all, as different worlds, by the passing of time, can play this role in turn. Finally, one major goal of the paper is to show how the unified analysis we propose accounts for a particularly interesting interpretation of future-tensed sentences, often referred to as ‘epistemic reading’. (shrink)

Branching theories are popular frameworks for modeling objective indeterminism in the form of a future of open possibilities. In such theories, the notion of a history plays a crucial role: it is both a basic ingredient in the axiomatic definition of the framework, and it is used as a parameter of truth in semantics for languages with a future tense. Furthermore, histories—complete possible courses of events—ground the notion of modal consistency: a set of events is modally consistent (...) iff there is a history containing that set. We will explain these roles of histories and highlight some critical aspects having to do with the fact that histories are global and, in a relevant sense, “big” objects. The notion of modal consistency, on the other hand, has both local and global aspects. We ask in how far a local notion of modal consistency can serve as an alternative to the common uses of histories, and work out two recent approaches to alternatives to histories. Combining these approaches, we develop a novel semantics for branching time. (shrink)

Where does philosophy, the oldest academic subject, stand at the beginning of the new millennium? This remarkable volume brings together leading figures from most major branches of the discipline to offer answers. What remains of the "linguistic turn" in twentieth-century philosophy? How should moral philosophy respond to and incorporate developments in empirical psychology? Where might Continental and Anglophone feminist theory profitably interact? How has our understanding of ancient philosophy been affected by the emergence of analytic philosophy? Where does the mind-body (...) problem stand today? What role must value judgments play in science? Do Marx, Nietzsche, or Freud matter in the 21st century? These and many other questions at the cutting edge of the discipline are addressed by distinguished philosophers from Australia, Britain, Canada, and the United States. They aim not only to stimulate philosophical debate, but to introduce those in cognate disciplines--biology, classics, economics, history, law, linguistics, literary studies, mathematics, philosophy, physics, political science, psychology, among others--to what is happening in contemporary philosophy. In a substantial introduction, the editor gives an overview of the state of philosophy today and helps orient non-philosophers. List of Contributors Julia Annas: Ancient Philosophy for the Twenty-First Century Don Garrett: Philosophy and History in the History of Modern Philosophy Brian Leiter: The Hermeneutics of Suspicion: Recovering Marx, Nietzsche, and Freud Timothy Williamson: Past the Linguistic Turn? Jaegwon Kim: The Mind-Body Problem at Century's Turn David J. Chalmers: The Representational Character of Experience Alvin I. Goldman: The Need for Social Epistemology Philip Kitcher: The Ends of the Sciences Nancy Cartwright: From Causation to Explanation and Back Thomas Hurka: Normative Ethics: Back to the Future Peter Railton: Toward an Ethics that Inhabits the World Rae Langton: Projection and Objectification Philip Pettit: Existentialism, Quietism, and the Role of Philosophy. (shrink)

Event synopsis: -What does it mean to claim that the future is open? -Are future contingent statements like "There will be a sea battle tomorrow" now true or false? -Is the claim that future contingents are now true or false compatible with the claim that the future is open? -What is the relation between future contingents and future ontology? -What metaphysical picture is required in order to make sense of the claim that the (...) class='Hi'>future is open? Multiple, branching futures? A ‘thin red line’? Metaphysical indeterminacy? Presentism? (shrink)

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)

The difficulties with formalizing the intensional notions necessity, knowability and omniscience, and rational belief are well-known. If these notions are formalized as predicates applying to (codes of) sentences, then from apparently weak and uncontroversial logical principles governing these notions, outright contradictions can be derived. Tense logic is one of the best understood and most extensively developed branches of intensional logic. In tense logic, the temporal notions future and past are formalized as sentential operators rather than as predicates. The question (...) therefore arises whether the notions that are investigated in tense logic can be consistently formalized as predicates. In this paper it is shown that the answer to this question is negative. The logical treatment of the notions of future and past as predicates gives rise to paradoxes due the specific interplay between both notions. For this reason, the tense paradoxes that will be presented are not identical to the paradoxes referred to above. (shrink)

In this paper, I argue for two principles to determine the temporal interpretation of modal sentences in English, given a theory in which modals are interpreted against double conversational backgrounds and an ontology in which possible worlds branch towards the future, The Disparity Principle requires that a modal sentence makes distinctions between worlds in the modal base. The Non- disparity Principle requires that a modal sentence does not make distinctions on the basis of facts settled at speech time. Selection (...) of the modal base will set these principles against each other, or allow for their cooperative interaction. For a root modal base, there is a conflict and disparity wins. The resulting interpretation is future. For a non-root modal base, the principles cooperate. Non-disparity determines a non-future interpretation and disparity requires the sentence to go beyond what is known by the speaker. (shrink)

I present a ‘stage-theoretical’ interpretation of the supervaluationist semantics for the growing-block theory of time according to which the ‘nodes’ on the branching tree of historical possibilities are taken to be possible stages of the growth of the growing-block. As I will argue, the resulting interpretation (i) is very intuitive, (ii) can easily ward off an objection to supervaluationist treatments of the growing-block theory presented by Fabrice Correia and Sven Rosenkranz, and (iii) is also not saddled by the problems (...) affecting the supervaluationist version of the growing-block theory defended by R. A. Briggs and Graeme A. Forbes. (shrink)

The popularity of the Nag Hammadi texts has not been exhausted in the field of Gnostic studies over the last thirty years. The Gospels or Acts of female characters or marginalised male characters were the main sources scholars used to draw the picture of ancient dual mythology. The ongoing fascination with Coptic manuscripts gave birth to a new branch of scholarship in contemporary history when the Codex Tchacos was unveiled. Judas scholarship began in themiddle of the last decade (2004-2006), even (...) though it is claimed that the Codex Tchacos was unearthed in the 1970s. What kind of process did the ancient manuscript go through since its discovery? Where do readers stand with the new gospel? What is the future direction of Judas studies? This article not only chronologically discloses the ideas of individual scholars based on a field survey, but also argues that Judas studies can be developed beyond the general conclusion of second-century Sethian Gnosticism. (shrink)

The popularity of the Nag Hammadi texts has not been exhausted in the field of Gnostic studies over the last thirty years. The Gospels or Acts of female characters or marginalised male characters were the main sources scholars used to draw the picture of ancient dual mythology. The ongoing fascination with Coptic manuscripts gave birth to a new branch of scholarship in contemporary history when the Codex Tchacos was unveiled. Judas scholarship began in themiddle of the last decade (2004-2006), even (...) though it is claimed that the Codex Tchacos was unearthed in the 1970s. What kind of process did the ancient manuscript go through since its discovery? Where do readers stand with the new gospel? What is the future direction of Judas studies? This article not only chronologically discloses the ideas of individual scholars based on a field survey, but also argues that Judas studies can be developed beyond the general conclusion of second-century Sethian Gnosticism. (shrink)

This work presents an overview of four different approaches to the problem of future contingency and determinism in temporal logics. All of them are bivalent, viz. they share the assumption that propositions concerning future contingent facts have a determinate truth-value. We introduce Ockhamism, Peirceanism, Actualism and T x W semantics, the four most relevant bivalent alternatives in this area, and compare them from the point of view of their expressiveness and their underlying metaphysics of time.

In the tree-like representation of Time, two histories are undivided at a moment t whenever they share a common moment in the future of t. In the present paper, it will first be proved that Ockhamist and Peircean branching-time logics are unable to express some important sentences in which the notion of undividedness is involved. Then, a new semantics for branching-time logic will be presented. The new semantics is based on trees endowed with an indistinguishability function, a (...) generalization of the notion of undividedness. It will be shown that Ockhamist and Peircean semantics can be viewed as limit cases of the semantics developed in this paper. (shrink)

It is argued that reconstructions of the so-called ‘Master Argument’ of Dideros Cronos to the effect that possibility should be understood as present or future truth, essentially relies on two axioms: i) that every true proposition concerning the past is necessary, and ii) that it follows necessarily from a proposition being true that it always has been the case that it would be true. It is furthermore argued that these two axioms are inconsistent in the sense that any tense/modal (...) semantics which incorporates both collapses either modally (fails to distinguish between truth simpliciter and modalised truth) or temporally (fails to offer a plausible semantical account for propositions about the future). This finding is, furthermore, taken as indicator for the more generel claim that there are principled difficulties involved in construing semantics for combined tense/modal logical systems. (shrink)

The purpose of the paper is to rethink the role of actuality in the branching model of possibilities. We investigate the idea that the model should be enriched with an additional factor—the so-called Thin Red Line—which is supposed to represent the single possible course of events that gets actualized in time. We believe that this idea was often misconceived which prompted some unfortunate reactions. On the one hand, it suggested problematic semantic models of future tense and and on (...) the other, it provoked questionable lines of criticism. We reassess the debate and point to potential pitfalls, focusing on the semantic dimension of the Thin Red Line theory. Our agenda transcends the semantics, however. We conclude that semantic considerations do not threaten the Thin Red Line theory and that the proper debate should be carried in the domain of metaphysics. (shrink)

Open futurism is the indeterministic position according to which the future is ‘open’, i.e., there is now no fact of the matter as to what future contingent events will actually obtain. Many open futurists hold a branching conception of time, in which a variety of possible futures exist. This paper introduces two challenges to branching-time open futurism, which are similar in spirit to a challenge posed by Fine to tense realism. The paper argues that, to address (...) the new challenges, open futurists must adopt an objective, non-perspectival notion of actuality and subscribe to an A-theoretic, dynamic conception of reality. Moreover, given a natural understanding of “actual future”, it is perfectly sensible for open futurists to hold that a unique, objectively actual future exists, contrary to a common assumption in the current debate. The paper also contends that recognising the existence of a unique actual future helps open futurists to avoid potential misconceptions. (shrink)

In his philosophy, William of Ockham (1285-1347) offered an important and detailed response to the classical argument from the truth of a statement regarding the future to the necessity (unpreventability) of the statement. In this paper, Ockham’s solution and the possible formalisation of it are discussed in terms of modern tense and modal logic. In particular, the famous branching time formalisation suggested by A.N. Prior (1914-19) is discussed. Weaknesses and problems with this suggestion are pointed out, and an (...) alternative formalisation of Ockham’s solution without the use of branching time is presented. (shrink)

This paper is about The Truthmaker Problem for Presentism. I spell out a solution to the problem that involves appealing to indeterministic laws of nature and branching semantics for past- and future-tensed sentences. Then I discuss a potential glitch for this solution, and propose a way to get around that glitch. Finally, I consider some likely objections to the view offered here, as well as replies to those objections.

In this paper various branching time semantics are compared with the aim of clarifying the role of true futures of counterfactual moments, that is, true futures of moments outside the true chronicle. First we give an account of Arthur Prior’s Ockhamistic semantics where truth of a formula is relative to a moment and a chronicle. We prove that this is equivalent to a version of a semantics put forward by Thomason and Gupta where truth is relative to a moment (...) and what is called a chronicle function which assigns a chronicle to each moment. Later we discuss how a semantic theory considered by Belnap and Green may be formalised. It comes about by assuming a chronicle function to be given once and for all. However, this semantics invalidates an intuitively valid formula, so we present an alternative semantics where the formula in question is valid. Furthermore, we shall exhibit an intuitively invalid formula which is invalid in our alternative semantics, but which is valid in Prior’s Ockhamistic semantics. So we can conclude that Prior’s Ockhamistic validity does not imply validity in the alternative semantics. On the other hand, the converse implication does hold, as we shall prove. Summary of mathematical results: We have proved that Prior’s Ockhamistic semantics has the same valid formulas as Thomason and Gupta’s semantics, and we have proved that Prior’s Ockhamistic semantics has strictly more valid formulas than the alternative semantics. (shrink)

This paper follows Part I of our essay on case-intensional first-order logic ). We introduce a framework of branching histories to take account of indeterminism. Our system BH-CIFOL adds structure to the cases, which in Part I formed just a set: a case in BH-CIFOL is a moment/history pair, specifying both an element of a partial ordering of moments and one of the total courses of events that that moment is part of. This framework allows us to define the (...) familiar Ockhamist temporal/modal connectives, most notably for past, future, and settledness. The novelty of our framework becomes visible in our discussion of substances in branching histories, i.e., in its first-order part. That discussion shows how the basic idea of tracing an individual thing from case to case via an absolute property is applicable in a branching histories framework. We stress the importance of keeping apart extensionality and moment-definiteness, and give a formal account of how the specification of natural sortals and natural qualities turns out to be a coordination task in BH-CIFOL. We also provide a detailed answer to Lewis’s well-known argument against branching histories, exposing the fallacy in that argument. (shrink)

This book investigates humanities, social sciences and politics from the perspective of the concept of creation order. It is the second volume in a series that provides a unique and topical overview of attempts to assess the current health of the concept of creation order within Reformational philosophy when it is compared with other perspectives. Divided into a section on fundamental reflections and a section on normative practices, it discusses issues such as redemption, beauty, nature, love, justice, morality, and ethics. (...) It concludes with discussions on a practice-based theory to explain religion in international relations and a normative model for the practice of cooperation in development. This series reflects the role that the branch of Christian philosophy called ‘Reformational’ philosophy plays in the discussion on the status of laws of nature. Ever since its inception, almost a century ago, the concepts of order and law have been at the heart of this philosophy. One way to characterise this tradition is as a philosophy of creation order. Firmly rejecting both scholastic metaphysics and Deism, Reformational philosophers have maintained the notion of law as ‘holding’ for reality. Questions have arisen about the nature of such law: is it a religious or philosophical concept; does law just mean ‘orderliness’? How does it relate to laws of nature? Have they always existed or do they ‘emerge’ during the process of evolution? (shrink)