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)

The supervaluationist approach to branching time (‘SBT-theory’) appears to be threatened by the puzzle of retrospective determinacy: if yesterday I uttered the sentence ‘It will be sunny tomorrow’ and only in some worlds overlapping at the context of utterance it is sunny the next day, my utterance is to be assessed as neither true nor false even if today is indeed a sunny day. John MacFarlane (“Truth in the Garden of Forking Paths” 81) has recently criticized a (...) promising solution to this puzzle for falling short of an adequate account of ‘actually’. In this paper, I aim to rebut MacFarlane's criticism. To this effect, I argue that: (i) ‘actually’ can be construed either as an indexical or as a nonindexical operator; (ii) if ‘actually’ is nonindexical, MacFarlane's criticism is invalid; (iii) there appear to be independent reasons for SBT-theorists to claim that ‘actually’ is a nonindexical expression. (shrink)

Expert knowledge regularly informs personal and civic-decision making. To decide which experts to trust, lay publics —including policymakers and experts from other domains—use different epistemic and non-epistemic cues. Epistemic cues such as honesty, like when experts are forthcoming about conflicts of interest, are a popular way of understanding how people evaluate and decide which experts to trust. However, many other epistemic cues, like the evidence supporting information from experts, are inaccessible to lay publics. Therefore, lay publics simultaneously use second-order social (...) cues in their environment to inform decisions to trust. These second-order social cues, or ‘social indicators of trust’, prevent lay publics from having to trust blindly. Social indicators of trust therefore inform lay publics’ epistemic vigilance, or constant low level-monitoring of testimony from experts. This special issue examines the nature, acquisition and application of social indicators of trust for scientific experts and institutions. It also raises questions about the types of trust asked of lay publics and challenges traditional normative assumptions about the relationship between science and lay publics through study of attitudes, values, and experiences. The issue descriptively re-examines the structure of institutions, their role and methods for ferrying information, as well as how social indicators operate in times of crisis. In this collection of works, we bridge history, science, philosophy of science, science and technology studies, science communication and social epistemology, to broaden the discourse on trust in experts and more accurately reflect the imperfect yet indispensable endeavour that trusting is. (shrink)

The so-called theory of karma is one of the distinguishing aspects of Hinduism and other non-Hindu south-Asian traditions. At the same time that the theory can be seen as closely connected with the freedom of will and action that we humans supposedly have, it has many times been said to be determinist and fatalist. The purpose of this paper is to analyze in some deepness the relations that are between the theory of karma on one side (...) and determinism, fatalism and free-will on the other side. In order to do that, I shall use what has been described as the best formal approach we have to indeterminism: branching time theory. More specifically, I shall introduce a branching time semantic framework in which, among other things, statements such as “state of affairs e is a karmic effect of agent a”, “a wills it to be the case that e” and “e is inevitable” could be properly represented. (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)

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)

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)

This book discusses fundamental topics on contemporary Ockhamism. The collected essays show how contemporary Ockhamism can impact areas of research such as semantics, metaphysics and also the philosophy of science. In addition, the volume hosts one historian of Medieval philosophy who investigates the way in which William of Ockham “in flesh and bone” construed time and, more generally, future contingency. The essays explore the different meanings of this theory. They cover three main topics, in particular. The first examines (...) the thesis that sentences and propositions about the future have a definite truth value, without any ensuing commitment to determinism or fatalism. The second topic looks at the problem whether the branching-time model needs to countenance a privileged branch (the so-called Thin Red Line). Finally, the third topic considers the idea that there are so-called soft facts. These would be the subject matter of sentences and propositions verbally about the present or the past, but metaphysically about a later time, and which might change in the future. Overall, the book provides an updated and rigorous idea of the debate about Ockhamism. It gives readers a deeper understanding into this philosophical approach influenced by William of Ockham, characterized by the rejection of the Aristotelian idea that, in order to preserve the contingency of the future, future contingents must be deemed neither true nor false. (shrink)

We investigate the semantics of historical counterfactuals in indeterministic contexts. We claim that "plain" and "necessitated" counterfactuals differ in meaning. To substantiate this claim, we propose a new semantic treatment of historical counterfactuals in the Branching Time framework. We supplement our semantics with supervaluationist postsemantics, thanks to which we can explain away the intuitions which seem to talk in favor of the identification of "would" with "would necessarily".

As the title suggests, this paper is something of a leftover – or perhaps a new branch – to my "Meaning in Time: on temporal externalism and Kripkenstein’s skeptical challenge". In that work I essayed to portray my understanding of the sceptical challenge uncovered by Saul Kripke’s reading of Wittgenstein’s later works in a nutshell as to its nature and resolution. Here, my task is to dig a little deeper into the key phrase of the earlier paper, namely the (...) claim that meanings, facts grounding meaning facts, and ascriptions of meaning have an important historical dimension to them. In particular, I explore the ideas that (i) the problem of finitude is fundamentally a logical and not a metaphysical problem and (ii) Devitt's development of Kripke's causal-historical theory of reference implies a natural explanation for how at least the meanings of some terms can have a historical dimension. (shrink)

In this contribution, I explore the possibility of characterizing the emergence of time in causal set theory (CST) in terms of the growing block universe (GBU) metaphysics. I show that although GBU seems to be the most intuitive time metaphysics for CST, it leaves us with a number of interpretation problems, independently of which dynamics we choose to favor for the theory —here I shall consider the Classical Sequential Growth and the Covariant model. Discrete general covariance (...) of the CSG dynamics does not allow us to individuate a single history of the universe (defined by a causal history of different causal sets), thereby making the claim that ‘the past exists’ at best problematic. In addition, because the evolution of the universe in CSG dynamics leads to an outward branching causal tree, it becomes impossible to determine a proper ‘line of becoming’, thereby blurring the presentists’ claim that only the present exists. Similarly, the covariant approach runs into the same, if not even more severe problems, since each configuration of the universe would amount to a set of possible causal sets, thereby making the individuation of a single configuration of the universe —and thus the physical interpretation of the theory— implausible. (shrink)

This paper explores the possibility that causal decision theory can be formulated in terms of probabilities of conditionals. It is argued that a generalized Stalnaker semantics in combination with an underlying branching time structure not only provides the basis for a plausible account of the semantics of indicative conditionals, but also that the resulting conditionals have properties that make them well-suited as a basis for formulating causal decision theory. Decision theory (at least if we omit (...) the frills) is not an esoteric science, however unfamiliar it may seem to an outsider. Rather it is a systematic exposition of the consequences of certain well-chosen platitudes about belief, desire, preference and choice. It is the very core of our common-sense theory of persons, dissected out and elegantly systematized. (David Lewis, Synthese 23:331–344, 1974, p. 337). A small distortion in the analysis of the conditional may create spurious problems with the analysis of other concepts. So if the facts about usage favor one among a number of subtly different theories, it may be important to determine which one it is. (Robert Stalnaker, A Defense of Conditional Excluded Middle, pp. 87–104, 1980, p. 87). (shrink)

This paper investigates logical aspects of combining linear orders as semantics for modal and temporal logics, with modalities for possible paths, resulting in a variety of branching time logics over classes of trees. Here we adopt a unified approach to the Priorean, Peircean and Ockhamist semantics for branching time logics, by considering them all as fragments of the latter, obtained as combinations, in various degrees, of languages and semantics for linear time with a modality for (...) possible paths. We then consider a hierarchy of natural classes of trees and bundled trees arising from a given class of linear orders and show that in general they provide different semantics. We also discuss transfer of definability from linear orders to trees and introduce a uniform translation from Priorean to Peircean formulae which transfers definability of properties of linear orders to definability of properties of all paths in trees. (shrink)

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)

In this paper we focus our attention on tableau methods for propositional interval temporal logics. These logics provide a natural framework for representing and reasoning about temporal properties in several areas of computer science. However, while various tableau methods have been developed for linear and branching time point-based temporal logics, not much work has been done on tableau methods for interval-based ones. We develop a general tableau method for Venema's \cdt\ logic interpreted over partial orders (\nsbcdt\ for short). (...) It combines features of the classical tableau method for first-order logic with those of explicit tableau methods for modal logics with constraint label management, and it can be easily tailored to most propositional interval temporal logics proposed in the literature. We prove its soundness and completeness, and we show how it has been implemented. (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)

DEFINING OUR TERMS A “paradox" is an argumentation that appears to deduce a conclusion believed to be false from premises believed to be true. An “inconsistency proof for a theory" is an argumentation that actually deduces a negation of a theorem of the theory from premises that are all theorems of the theory. An “indirect proof of the negation of a hypothesis" is an argumentation that actually deduces a conclusion known to be false from the hypothesis alone (...) or, more commonly, from the hypothesis augmented by a set of premises known to be true. A “direct proof of a hypothesis" is an argumentation that actually deduces the hypothesis itself from premises known to be true. Since `appears', `believes' and `knows' all make elliptical reference to a participant, it is clear that `paradox', `indirect proof' and `direct proof' are all participant-relative. PARTICIPANT RELATIVITY In normal mathematical writing the participant is presumed to be “the community of mathematicians" or some more or less well-defined subcommunity and, therefore, omission of explicit reference to the participant is often warranted. However, in historical, critical, or philosophical writing focused on emerging branches of mathematics such omission often invites confusion. One and the same argumentation has been a paradox for one mathematician, an inconsistency proof for another, and an indirect proof to a third. One and the same argumentation-text can appear to one mathematician to express an indirect proof while appearing to another mathematician to express a direct proof. WHAT IS A PARADOX’S SOLUTION? Of the above four sorts of argumentation only the paradox invites “solution" or “resolution", and ordinarily this is to be accomplished either by discovering a logical fallacy in the “reasoning" of the argumentation or by discovering that the conclusion is not really false or by discovering that one of the premises is not really true. Resolution of a paradox by a participant amounts to reclassifying a formerly paradoxical argumentation either as a “fallacy", as a direct proof of its conclusion, as an indirect proof of the negation of one of its premises, as an inconsistency proof, or as something else depending on the participant's state of knowledge or belief. This illustrates why an argumentation which is a paradox to a given mathematician at a given time may well not be a paradox to the same mathematician at a later time. -/- The present article considers several set-theoretic argumentations that appeared in the period 1903-1908. The year 1903 saw the publication of B. Russell's Principles of mathematics, [Cambridge Univ. Press, Cambridge, 1903; Jbuch 34, 62]. The year 1908 saw the publication of Russell's article on type theory as well as Ernst Zermelo's two watershed articles on the axiom of choice and the foundations of set theory. The argumentations discussed concern “the largest cardinal", “the largest ordinal", the well-ordering principle, “the well-ordering of the continuum", denumerability of ordinals and denumerability of reals. The article shows that these argumentations were variously classified by various mathematicians and that the surrounding atmosphere was one of confusion and misunderstanding, partly as a result of failure to make or to heed distinctions similar to those made above. The article implies that historians have made the situation worse by not observing or not analysing the nature of the confusion. -/- RECOMMENDATION This well-written and well-documented article exemplifies the fact that clarification of history can be achieved through articulation of distinctions that had not been articulated (or were not being heeded) at the time. The article presupposes extensive knowledge of the history of mathematics, of mathematics itself (especially set theory) and of philosophy. It is therefore not to be recommended for casual reading. AFTERWORD: This review was written at the same time Corcoran was writing his signature “Argumentations and logic”[249] that covers much of the same ground in much more detail. https://www.academia.edu/14089432/Argumentations_and_Logic . (shrink)

General Relativity says gravity is a push caused by space-time's curvature. Combining General Relativity with E=mc2 results in distances being totally deleted from space-time/gravity by future technology, and in expansion or contraction of the universe as a whole being eliminated. The road to these conclusions has branches shining light on supersymmetry and superconductivity. This push of gravitational waves may be directed from intergalactic space towards galaxy centres, helping to hold galaxies together and also creating supermassive black holes. Together (...) with the waves' possible production of "dark" matter in higher dimensions, there's ample reason to believe knowledge of gravitational waves has barely begun. Advanced waves are usually discarded by scientists because they're thought to violate the causality principle. Just as advanced waves are usually discarded, very few physicists or mathematicians will venture to ascribe a physical meaning to Wick rotation and "imaginary" time. Here, that maths (when joined with Mobius-strip and Klein-bottle topology) unifies space and time into one space-time, and allows construction of what may be called "imaginary computers". This research idea you're reading is not intended to be a formal theory presenting scientific jargon and mathematical formalism. (shrink)

There seems to be a minimal core that every theory wishing to accommodate the intuition that the future is open must contain: a denial of physical determinism (i.e. the thesis that what future states the universe will be in is implied by what states it has been in), and a denial of strong fatalism (i.e. the thesis that, at every time, what will subsequently be the case is metaphysically necessary).1 Those two requirements are often associated with the idea (...) of an objective temporal flow and the non-reality of the future. However, at least certain ways to frame the “openness” intuition do not rely on any of these. Branching Time Theory (BTT) is one such: it is compatible with the denial that time flow is objective and it is couched in a language with a (prima facie) commitment to an eternalist ontology. BTT, though, urges us to resist certain intuitions about the determinacy of future claims, which arguably do not lead either to physical determinism or to fatalism. Against BTT, supporters of the Thin Red Line Theory (TRL) argue that their position avoids determinism and fatalism, while also representing the fact that there is a future which is “special” because it is the one that will be the case. But starting with Belnap and Green 1994, some have objected to the tenability of TRL, mainly on metaphysical grounds. In particular, those argue that “positing a thin red line amounts to giving up objective indeterminism,”2 and that “has unacceptable consequences, ranging from a mistreatment of actuality to an inability to talk coherently about what would have happened had what is going to happen not taken place.”3 In this paper, we wish to reframe the.. (shrink)

This essay examines the case for relativism about future contingents in light of a distinction between two ways of interpreting the ‘branching time’ framework. Focussing on MacFarlane (2014), we break the argument for relativism down into two steps. The first step is an argument for something MacFarlane calls the "Non-Determination Thesis", which is essentially the view that there is no unique actual future. The second step is an argument from the Non-Determination Thesis to relativism. I first argue that (...) first step of this argument fails. But despite that result, the second step is still of interest, since many philosophers have maintained something like the Non-Determination Thesis on alternative grounds. I then argue that whether the second step of the argument suc- ceeds depends on how the Non-Determination Thesis is motivated, and how the ‘branching time’ framework is interpreted in light of that moti- vation. If the branches in an intended branching time model are ersatz possible worlds, then the argument for relativism might go through; but if, instead, the branches are concrete parts of a ‘branching multiverse’, then the argument for relativism turns out to make implausible assumptions about the nature of personal identity over time. That argument can thus be rejected by rejecting those assumptions. One upshot of this is that the case for relativism about future contingents is much weaker than has been appreciated; a broader lesson is that philosophers who invoke the branching time framework need to pay close attention to different ways of interpreting it. (shrink)

I present a discussion of some open issues in the philosophy of space-time theories. Emphasis is put on the ontological nature of space and time, the relation between determinism and predictability, the origin of irreversible processes in an expanding Universe, and the compatibility of relativity and quantum mechanics. In particular, I argue for a Parmenidean view of time and change, I make clear the difference between ontological determinism and predictability, propose that the origin of the asymmetry observed (...) in physical processes is related to the existence of cosmological horizons, and present a non-local concept of causality that can accommodate both special relativity and quantum entanglement. (shrink)

This paper argues for the following disjunction: either we do not live in a world with a branching temporal structure, or backwards time travel is nomologically impossible, given the initial state of the universe, or backwards time travel to our space-time location is impossible given large-scale facts about space and time. A fortiori, if backwards time travel to our location is possible, we do not live in a branching universe.

This paper is a brief (and hopelessly incomplete) non-standard introduction to the philosophy of space and time. It is an introduction because I plan to give an overview of what I consider some of the main questions about space and time: Is space a substance over and above matter? How many dimensions does it have? Is space-time fundamental or emergent? Does time have a direction? Does time even exist? Nonetheless, this introduction is not standard because (...) I conclude the discussion by presenting the material with an original spin, guided by a particular understanding of fundamental physical theories, the so-called primitive ontology approach. (shrink)

"Time. Perception. Imagination. Phenomenological Studies on the Question of Time by Augustine, Kant and Husserl". (rus), SPb, 2013. Summary: The monograph is devoted to the key elements of the philosophy of time which determine the necessity of historicism in the analysis of subjectivity. The main idea which defined the composition and design of this work is to trace how the Kantian definition of time as the “form of inner sense” is revealed in Husserl’s phenomenology. The original (...) intention was to understand all three components of this definition. Firstly, what is the inner form, in terms of phenomenology, what are the principles of its constitution and how one can talk about the property of formation? Secondly, what is the meaning of the term "inner" in philosophy, where the division into internal and external has always been a formality, not affecting the essence of things? And finally, what sort of “sensibility” is assumed in transcendental science, bound to become the basis of understanding the history and culture. Presumably, these three Kantian concepts constituted the original plan to analyze the nature of cognitive capabilities of the subject, claiming the gnoseological stage on which the philosophy of time is unfolded. In other words, this work deals with the historical and philosophical analysis of the phenomenological principles by which the concept of time as developed in the twentieth century emerged in the framework of phenomenology. The analyze of the structure of the subject assumes that time, perception and imagination combine in a special type of inner synthesis, which may not be relevant to certain aspects of the method but maintain the basis for a kind of anthropology of time, in continuation of the traditional “inner” contemplation. I consider the inner structure of time with the account of philosophy of St. Augustine, who in many respects not only anticipated the conclusions of phenomenology, but also in his reflections encompassed deeper layers of inner experience. The first chapter is devoted to the doctrine of St. Augustine, in which the theory of time is analyzed in conjunction with the doctrine of “inner word”, specifics of memory representations and notion of inner sense. Additionally, I consider St. Augustine’s reflections about numbers that constitute the basis of aesthetic perception of music (De Musica). Thus, the philosophy of St. Augustine already covers the whole spectrum of anthropology of time, including the question of relation between time and eternity, which remains practically unexplored in phenomenology and serves as the proof of that in interactions between philosophy and theology the tradition remains important. The second chapter of this study is devoted to analysis of the transcendental aesthetic of Kant, which includes all the methodological possibilities of considering the category of time as a formal condition for any experience, consequentially serving as a foundation for further logical development by Husserl, which includes the critical disengagement of the founder of phenomenology from Kant's transcendentalism. Particular attention is paid to the origin of the concept of inner sense, as well as possible interpretations of the function of imagination, which as a transcendental ability remains the most interesting type of synthesis. Handwritten fragments of Kant’s works are also of interest to the character of the imagery as considered in detail by Husserl. Chapter three discusses the phenomenology of inner time consciousness, represented in those important aspects, without which it is impossible to speak about the internal structure of temporal experience - the subjectivity of time, retention, "living present", and the character of synthesis. Particular attention is paid to Husserl's polemics with those representatives of psychological branch in the studies of consciousness, whose ideas greatly influenced the very motivation for creating the method. Apart from the well-known criticism of Brentano, the third chapter highlights the rarely analyzed psychological ideas that motivated the choice of Husserl’s terminology - the "Präsenzzeit” by W. Stern, the "psychological analysis" by A. Meinong, and the “fusion” (Verschmelzung) by K. Stumpf. Chapter four deals with the need to analyze the specifics of image as an element of consciousness and imagery as such, which includes a system of objectified acts. Thus is revealed the very nature of synthetic connections in the acts of consciousness, as well as the presumably imaginative character of the constitution of temporal form. (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)

“The universe is expanding, not contracting.” Many statements of this form appear unambiguously true; after all, the discovery of the universe’s expansion is one of the great triumphs of empirical science. However, the statement is time-directed: the universe expands towards what we call the future; it contracts towards the past. If we deny that time has a direction, should we also deny that the universe is really expanding? This article draws together and discusses what I call ‘C-theories’ of (...) time — in short, philosophical positions that hold time lacks a direction — from different areas of the literature. I set out the various motivations, aims, and problems for C-theories, and outline different versions of antirealism about the direction of time. (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)

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)

This paper presents the results of two corpus studies investigating the discourse surrounding conspiracy theories and genuine theories. The results of these studies show that conspiracy theories lack the epistemic and scientific standing characteristic of theories more generally. Instead, our findings indicate that conspiracy theories are spread in a manner that resembles the dissemination of rumors and falsehoods. Based on these empirical results, we argue that it is time for both re-engineering conspiracy theory and for relabeling "conspiracy (...) class='Hi'>theory". We propose relabelling conspiracy theories as either "conspiracy stories" or "conspiracy narratives" to more accurately convey their true nature. (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)

Two radically different views about time are possible. According to the first, the universe is three dimensional. It has a past and a future, but that does not mean it is spread out in time as it is spread out in the three dimensions of space. This view requires that there is an unambiguous, absolute, cosmic-wide "now" at each instant. According to the second view about time, the universe is four dimensional. It is spread out in both (...) space and time - in space-time in short. Special and general relativity rule out the first view. There is, according to relativity theory, no such thing as an unambiguous, absolute cosmic-wide "now" at each instant. However, we have every reason to hold that both special and general relativity are false. Not only does the historical record tell us that physics advances from one false theory to another. Furthermore, elsewhere I have shown that we must interpret physics as having established physicalism - in so far as physics can ever establish anything theoretical. Physicalism, here, is to be interpreted as the thesis that the universe is such that some unified "theory of everything" is true. Granted physicalism, it follows immediately that any physical theory that is about a restricted range of phenomena only, cannot be true, whatever its empirical success may be. It follows that both special and general relativity are false. This does not mean of course that the implication of these two theories that there is no unambiguous cosmic-wide "now" at each instant is false. It still may be the case that the first view of time, indicated at the outset, is false. Are there grounds for holding that an unambiguous cosmic-wide "now" does exist, despite special and general relativity, both of which imply that it does not exist? There are such grounds. Elsewhere I have argued that, in order to solve the quantum wave/particle problem and make sense of the quantum domain we need to interpret quantum theory as a fundamentally probabilistic theory, a theory which specifies how quantum entities - electrons, photons, atoms - interact with one another probabilistically. It is conceivable that this is correct, and the ultimate laws of the universe are probabilistic in character. If so, probabilistic transitions could define unambiguous, absolute cosmic-wide "nows" at each instant. It is entirely unsurprising that special and general relativity have nothing to say about the matter. Both theories are pre-quantum mechanical, classical theories, and general relativity in particular is deterministic. The universe may indeed be three dimensional, with a past and a future, but not spread out in four dimensional space-time, despite the fact that relativity theories appear to rule this out. These considerations, finally, have implications for views about the arrow of time and free will. (shrink)

One of the most widely discussed philosophical issues is the problem of future contingents. Basically, the challenge is to create an adequate semantic theory of future-tensed sentences. Twardowski (1900) suggests that future contingent statements should be analyzed using the concept of probability. The aim of this paper is to show that (1) such an analysis is not appropriate and (2) that Twardowski’s main theses imply the Thin Red Line Theory. I discuss three potential arguments against my proposal and (...) sketch the connection with Schaffer’s Parallelism Thesis (2012). (shrink)

Until recently, an almost perfect parallelism seemed to hold between theories of identity through time and across possible worlds,as every account in the temporal case(endurantism,perdurantism, exdurantism) was mirrored by a twin account in the modal case (trans-world identity, identity-via-parts, identity-via-counterparts). Nevertheless, in the recent literature, this parallelism has been broken because of the implementation in the debate of the relation of location. In particular, endurantism has been subject to a more in-depth analysis, and different versions of it, corresponding to (...) different ways an entity can be located in time, emerged. In this article, we provide a precise map of the conceptions at stake, complete the debate by introducing a version of endurantism not yet considered in the debate — we call transcendentism — and show that it allows us to provide an effective interpretation of the relation of trans-world identity and an intuitive solution in the temporal case. (shrink)

Deleuze argued that a fundamental mutation in the concept of time occurred in Kant. In antiquity, the concept of time was subordinated to the concept of movement: time was a ‘measure’ of movement. In Kant, this relation is inverted: time is no longer subordinated to movement but assumes an autonomy of its own: time becomes "the pure and empty form" of everything that moves and changes. What is essential in the theory of time (...) is not the distinction between objective ‘clock time’ (or physical time) and the subjective experience of ‘time consciousness,’ since both of them measure movements, whether the movement of extensive objects or intensive states. What is fundamental is rather the relation between time and movement, since time can only assume its own concept when it ceases to be subordinate to movement, whether that movement is objective or subjective. This article examines how Kant inverted the relation between time and movement, and how Deleuze’s own theory of time builds on Kant’s revolution and extends it further. (shrink)

One of the possible hypotheses about time is to consider any instant of time as a fuzzy number so that two instances of time could be overlapped. Historically, some Mathematicians and Philosophers have had similar ideas. Brouwer and Husserl are two examples. This article studies the impact of this change on the Theory of Computation and Complexity Theory. In order to rebuild the Theory of Computation in a more successful and productive approach to solve (...) some major problems in Complexity Theory, the present research is done. This novel theory is called here, the fuzzy time theory of computation, TC*. Here, we show the situation of some major problems in Complexity theory and Quantum complexity theory in the new model, and how some major problems would be solved. (shrink)

The purpose of this paper is to explore the connection between change and the B-theory of time, sometimes also called the Scientific view of time, according to which reality is a four-dimensional spacetime manifold, where past, present and future things equally exist, and the present time and non-present times are metaphysically the same. I argue in favour of a novel response to the much-vexed question of whether there is change on the B-theory or not. In (...) fact, B-theorists are often said to hold a ‘static’ view of time. But this far from being innocent label: if the B-theory of time presents a model of temporal reality that is static, then there is no change on the B-theory. From this, one can reasonably think as follows: of course, there is change, so the B-theory must be false. What I plan to do in this paper is to argue that in some sense there is change on the B-theory, but in some other sense, there is no change on the B-theory. To do so, I present three instances of change: Existential Change, namely the view that things change with respect to their existence over time; Qualitative Change, the view that things change with respect to how they are over time; Propositional Change, namely the view that things (i.e. propositions) change with respect to truth value over time. I argue that while there is a reading of these three instances of change that is true on the B-theory, and so there is change on the B-theory in this sense, there is a B-theoretical reading of each of them that is not true on the B-theory, and therefore there is no change on the B-theory in this other sense. (shrink)

Roderich Tumulka’s GRWf theory offers a simple, realist and relativistic solution to the measurement problem of quantum mechanics. It is achieved by the introduction of a stochastic dynamical collapse of the wavefunction. An issue with dynamical collapse theories is that they involve an amendment to the Schrodinger equation; amending the dynamics of such a tried and tested theory is seen by some as problematic. This paper proposes an alteration to GRWf that avoids the need to amend the Schrodinger (...) equation via what might be seen as a primary set of solutions to the Schrodinger equation that satisfy a normalisation condition over space and time. The traditional Born-normalised solutions are shown to be conditionalisations of these primary solutions. (shrink)

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 (...) class='Hi'>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)

I criticize Lockwood’s solution to the “paradoxes” of time travel, thus endorsing Lewis’s more conservative position. Lockwood argues that only in the context of a 5D space-time-actuality manifold is the possibility of time travel compatible with the Autonomy Principle (according to which global constraints cannot override what is physically possible locally). I argue that shifting from 4D space-time to 5D space-time-actuality does not change the situation with respect to the Autonomy Principle, since the shift does (...) not allow us to have a coincidence-free local dynamical theory. (shrink)

David Albert has recently argued that classical electromagnetic theory (EM) is not time reversal invariant (non-TRI), while David Malament rejects this argument and maintains the orthodox result, that EM is TRI. Both Albert's and Malament's arguments are analysed, and both are found wanting in certain respects. It is argued here that the result really depends on the choice of theoretical ontology choosen to interpret EM theory, and there is more than one plausible choice. Albert and Malament have (...) choosen different plausible ontologies; but neither shows that their choice of interpretation is definitive. Deeper principles about this choice are examined. The extension to EM theory with magnetic monopoles is also examined. It is concluded that, despite certain flaws in his account, Albert's analysis does reveal serious problems in the orthodox account, which Malament's response does not adequately address. (shrink)

Space-time intervals are the fundamental components of conscious experience, gravity, and a Theory of Everything. Space-time intervals are relationships that arise naturally between events. They have a general covariance (independence of coordinate systems, scale invariance), a physical constancy, that encompasses all frames of reference. There are three basic types of space-time intervals (light-like, time-like, space-like) which interact to create space-time and its properties. Human conscious experience is a four-dimensional space-time continuum created through the (...) processing of space-time intervals by the brain; space-time intervals are the source of conscious experience (observed physical reality). Human conscious experience is modeled by Einstein’s special theory of relativity, a theory designed specifically from the general covariance of space-time intervals (for inertial frames of reference). General relativity is our most accurate description of gravity. In general relativity, the general covariance of space-time intervals is extended to all frames of reference (inertial and non-inertial), including gravitational reference frames; space-time intervals are the source of gravity in general relativity. The general covariance of space-time intervals is further extended to quantum mechanics; space-time intervals are the source of quantum gravity. The general covariance of space-time intervals seamlessly merges general relativity with quantum field theory (the two grand theories of the universe). Space-time intervals consequently are the basis of a Theory of Everything (a single all-encompassing coherent theoretical framework of physics that fully explains and links together all physical aspects of the universe). This theoretical framework encompasses our observed physical reality (conscious experience) as well; space-time intervals link observed physical reality to actual physical reality. This provides an accurate and reliable match between observed physical reality and the physical universe by which we can carry on our activity. The Minkowski metric, which defines generally covariant space-time intervals, may be considered an axiom (premise, postulate) for the Theory of Everything. (shrink)

Dirac’s relativistic theory of electron generally results in two possible solutions, one with positive energy and other with negative energy. Although positive energy solutions accurately represented particles such as electrons, interpretation of negative energy solution became very much controversial in the last century. By assuming the vacuum to be completely filled with a sea of negative energy electrons, Dirac tried to avoid natural transition of electron from positive to negative energy state using Pauli’s exclusion principle. However, many scientists like (...) Bohr objected to the idea of sea of electrons as it indicates infinite density of charge and electric field and consequently infinite energy. In addition, till date, there is no experimental evidence of a particle whose total energy (kinetic plus rest) is negative. In an alternative approach, Feynman, in quantum field theory, proposed that particles with negative energy are actually positive energy particles running backwards in time. This was mathematically consistent since quantum mechanical energy operator contains time in denominator and the negative sign of energy can be absorbed in it. However, concept of negative time is logically inconsistent since in this case, effect happens before the cause. To avoid above contradictions, in this paper, we try to reformulate the Dirac’s theory of electron so that neither energy needs to be negative nor the time is required to be negative. Still, in this new formulation, two different possible solutions exist for particles and antiparticles (electrons and positrons). (shrink)

In "Changing the Past" (2010), Peter van Inwagen argues that a time traveler can change the past without paradox in a growing block universe. After erasing the portion of past existence that generates paradox, a new, non-paradox-generating block can be "grown" after the temporal relocation of the time traveler. -/- I articulate and explore the underlying mechanism of Van Inwagen's model: the time traveler's control over the location of the objective present. Van Inwagen's model is aimed at (...) preventing paradox by changing the past, but it achieves something broader than paradox avoidance: it gives tools for a new model of time travel. I use van Inwagen's tools to develop a new kind of time travel in which in which the location of the objective present is shifted by the time traveler. I call this type of time travel Movable Objective Present, or MOP. After defining MOP, I argue that it is compatible with any theory of time that accepts hypertime, including presentism and moving spotlight theory. (shrink)

We draw out significant consequences of a relatively popular theory of metaphysical modality—branching actualism—for cosmological arguments for God’s existence. According to branching actualism, every possible world shares an initial history with the actual world and diverges only because causal powers (or dispositions, or some such) are differentially exercised. We argue that branching actualism undergirds successful responses to two recent cosmological arguments: the Grim Reaper Kalam argument and a modal argument from contingency. We also argue that (...) class='Hi'>branching actualism affords a response to one popular defense of the classic contingency argument. What results are new difficulties for several cosmological arguments arising from the metaphysics of modality. (shrink)

Abstract: There are two traditionally rival views about the nature of time: substantivalism that takes time to be a substance that exists independently of events located in it, and relationism that takes time to be constructed out of events. In this paper, first, I want to make some progress with respect to the debate between these two views, and I do this mainly by examining the strategies they use to face the possibilities of ‘empty time’ and (...) ‘time without change’. As we shall see, the two allegedly very different rival views are much less different than has been thought: their structure is extremely similar, their strategies are extremely similar, and they can both face the possibilities of ‘empty time’ and ‘time without change’ in the same way. Thus, I argue in favour of a certain kind of equivalence between the two views; I discuss a Strong and a Weak version of this claim; and I provide reasons for endorsing the former. I also discuss the parallel between this pair of views about the nature of time and another analogous pair of views: the bundle theory and the substratum theory about the nature of material objects, with respect to the problem with Identity of Indiscernibles. (shrink)

In Everettian quantum mechanics, justifications for the Born rule appeal to self-locating uncertainty or decision theory. Such justifications have focused exclusively on a pure-state Everettian multiverse, represented by a wave function. Recent works in quantum foundations suggest that it is viable to consider a mixed-state Everettian multiverse, represented by a (mixed-state) density matrix. Here, we develop the conceptual foundations for decoherence and branching in a mixed-state multiverse, and extend the standard Everettian justifications for the Born rule to this (...) setting. This extended framework provides a unification of 'classical' and 'quantum' probabilities, and additional theoretical benefits, for the Everettian picture. (shrink)

Throughout this paper, we prove TC+CON(〖TC*〗 )ͰP≠NP. To do that, firstly, we introduce the definition of scope*. This definition is based on the practical situation of computation in the real world. In the real world and real computational activities, we face a finite number of efficiently computable functions which work in a limited time. Inspired by this fact and considering time as a fuzzy concept, we have the definition. By employing this definition, we reach a world of computation (...) in which our time is non-classical and fuzzy, so we have random generations, but the set of all computations (our computational world) is the same as we have in classical time (TC). The result will be P≠NP and P*≠NP*. Throughout this article, we discuss the impact of TC* on TC. -/- . (shrink)

Throughout this paper, we prove TC + CON(TC*)ͰP ≠ NP. To do that, firstly we introduce the definition of scope∗ . This definition is based on the practical situation of computation in the real world. In the real world and real computational activities, we face finite number of efficient computable functions which work in a limited time. Inspired by this fact and considering time as a fuzzy concept, we have the definition. By employing this definition, we reach to (...) a world of computation, in which our time is non-classical and fuzzy, so we have random generations, but the set of all computations (our computational world) is the same as we have in classical time (TC). The result will be P ≠ NP and P* ≠ NP*. Throughout this article, we discuss around the impact of TC* on TC. (shrink)

Throughout this paper, we prove TC+CON(〖TC* 〗)ͰP≠NP. To do that, firstly, we introduce the definition of scope_^*. This definition is based on the practical situation of computation in the real world. In the real world and real computational activities, we face a finite number of efficiently computable functions which work in a limited time. Inspired by this fact and considering time as a fuzzy concept, we have the definition. By employing this definition, we reach a world of computation (...) in which our time is non-classical and fuzzy, so we have random generations, but the set of all computations (our computational world) is the same as we have in classical time (TC). The result will be P≠NP and P*≠NP*. Throughout this article, we discuss around the impact of TC* on TC. (shrink)