Results for 'branching time temporal logic'

1000+ found
Order:
  1. From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability.Valentin Goranko & Alberto Zanardo - 2007 - Logic Journal of the IGPL 15 (1):53-76.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  2. Completeness of a First-Order Temporal Logic with Time-Gaps.Matthias Baaz, Alexander Leitsch & Richard Zach - 1996 - Theoretical Computer Science 160 (1-2):241-270.
    The first-order temporal logics with □ and ○ of time structures isomorphic to ω (discrete linear time) and trees of ω-segments (linear time with branching gaps) and some of its fragments are compared: the first is not recursively axiomatizable. For the second, a cut-free complete sequent calculus is given, and from this, a resolution system is derived by the method of Maslov.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  3. Temporal Logics with Reference Pointers and Computation Tree Logics.Valentin Goranko - 2000 - Journal of Applied Non-Classical Logics 10 (3):221-242.
    A complete axiomatic system CTL$_{rp}$ is introduced for a temporal logic for finitely branching $\omega^+$-trees in a temporal language extended with so called reference pointers. Syntactic and semantic interpretations are constructed for the branching time computation tree logic CTL$^{*}$ into CTL$_{rp}$. In particular, that yields a complete axiomatization for the translations of all valid CTL$^{*}$-formulae. Thus, the temporal logic with reference pointers is brought forward as a simpler (with no path quantifiers), (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  4.  53
    A Neutral Temporal Deontic STIT Logic.Kees van Berkel & Tim Lyon - 2019 - In P. Blackburn, E. Lorini & M. Guo (eds.), Logic, Rationality, and Interaction. Berlin, Heidelberg: pp. 340-354.
    In this work we answer a long standing request for temporal embeddings of deontic STIT logics by introducing the multi-agent STIT logic TDS . The logic is based upon atemporal utilitarian STIT logic. Yet, the logic presented here will be neutral: instead of committing ourselves to utilitarian theories, we prove the logic TDS sound and complete with respect to relational frames not employing any utilitarian function. We demonstrate how these neutral frames can be transformed (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  56
    Computation Tree Logics and Temporal Logics with Reference Pointers.Valentin Goranko - 2000 - Journal of Applied Non-Classical Logics 10 (3-4):221-242.
    A complete axiomatic system CTL$_{rp}$ is introduced for a temporal logic for finitely branching $\omega^+$-trees in a temporal language extended with so called reference pointers. Syntactic and semantic interpretations are constructed for the branching time computation tree logic CTL* into CTL$_{rp}$. In particular, that yields a complete axiomatization for the translations of all valid CTL*-formulae. Thus, the temporal logic with reference pointers is brought forward as a simpler (with no path quantifiers), (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  6.  51
    A General Tableau Method for Propositional Interval Temporal Logics: Theory and Implementation.V. Goranko, A. Montanari, P. Sala & G. Sciavicco - 2006 - Journal of Applied Logic 4 (3):305-330.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  7. (In)Determinism, Branching Time, and Branching Space.Alexander Hughes - manuscript
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8. If Time Travel to Our Location is Possible, We Do Not Live in a Branching Universe.James Norton - 2018 - Analysis 78 (2):260-266.
    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.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  9. Tensed Ontology Based on Simple Partial Logic.Daisuke Kachi - 2002 - Proceedings of Ninth International Symposium on Temporal Representation and Reasoning: TIME-02:141-145.
    Simple partial logic (=SPL) is, broadly speaking, an extensional logic which allows for the truth-value gap. First I give a system of propositional SPL by partializing classical logic, as well as extending it with several non-classical truth-functional operators. Second I show a way based on SPL to construct a system of tensed ontology, by representing tensed statements as two kinds of necessary statements in a linear model that consists of the present and future worlds. Finally I compare (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  73
    Optimal Decision Procedures for Satisfiability in Fragments of Alternating-Time Temporal Logics.Valentin Goranko & Steen Vester - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. College Publications. pp. 234-253.
    We consider several natural fragments of the alternating-time temporal logics ATL* and ATL with restrictions on the nesting between temporal operators and strategic quantifiers. We develop optimal decision procedures for satisfiability in these fragments, showing that they have much lower complexities than the full languages. In particular, we prove that the satisfiability problem for state formulae in the full `strategically flat' fragment of ATL* is PSPACE-complete, whereas the satisfiability problems in the flat fragments of ATL and ATL$^{+}$ (...)
    Download  
     
    Export citation  
     
    Bookmark  
  11. On A- and B-Theoretic Elements of Branching Spacetimes.Matt Farr - 2012 - Synthese 188 (1):85-116.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  12.  99
    Time, Context, and Cross-Temporal Claims.Giuliano Torrengo - 2010 - Philosophia 38 (2):281-296.
    I present a new problem for the tense realist concerning the evaluation of cross-temporal claims, such as ‘John is now taller than Michael was in 1984’. Time can play two different roles in the evaluation of an utterance of a sentence: either as an element that completes the content expressed by the utterance (the completion role), or as part of the circumstances against which the content is evaluated (the evaluation role). It is this latter role that time (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  13. The Logic and Topology of Kant's Temporal Continuum.Riccardo Pinosio & Michiel van Lambalgen - manuscript
    In this article we provide a mathematical model of Kant?s temporal continuum that satisfies the (not obviously consistent) synthetic a priori principles for time that Kant lists in the Critique of pure Reason (CPR), the Metaphysical Foundations of Natural Science (MFNS), the Opus Postumum and the notes and frag- ments published after his death. The continuum so obtained has some affinities with the Brouwerian continuum, but it also has ‘infinitesimal intervals’ consisting of nilpotent infinitesimals, which capture Kant’s theory (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14. Temporal Metaphysics in Z-Land.Simon Prosser - 2006 - Synthese 149 (1):77 - 96.
    John Perry has argued that language, thought and experience often contain unarticulated constituents. I argue that this idea holds the key to explaining away the intuitive appeal of the A-theory of time and the endurance theory of persistence. The A-theory has seemed intuitively appealing because the nature of temporal experience makes it natural for us to use one-place predicates like past to deal with what are really two-place relations, one of whose constituents is unarticulated. The endurance view can (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  15. Algorithmic Paranoia: The Temporal Governmentality of Predictive Policing.Bonnie Sheehey - 2019 - Ethics and Information Technology 21 (1):49-58.
    In light of the recent emergence of predictive techniques in law enforcement to forecast crimes before they occur, this paper examines the temporal operation of power exercised by predictive policing algorithms. I argue that predictive policing exercises power through a paranoid style that constitutes a form of temporal governmentality. Temporality is especially pertinent to understanding what is ethically at stake in predictive policing as it is continuous with a historical racialized practice of organizing, managing, controlling, and stealing (...). After first clarifying the concept of temporal governmentality, I apply this lens to Chicago Police Department’s Strategic Subject List. This predictive algorithm operates, I argue, through a paranoid logic that aims to preempt future possibilities of crime on the basis of a criminal past codified in historical crime data. (shrink)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  16. Incompleteness of a First-Order Gödel Logic and Some Temporal Logics of Programs.Matthias Baaz, Alexander Leitsch & Richard Zach - 1996 - In Hans Kleine Büning (ed.), Computer Science Logic. CSL 1995. Selected Papers. Berlin: Springer. pp. 1--15.
    It is shown that the infinite-valued first-order Gödel logic G° based on the set of truth values {1/k: k ε w {0}} U {0} is not r.e. The logic G° is the same as that obtained from the Kripke semantics for first-order intuitionistic logic with constant domains and where the order structure of the model is linear. From this, the unaxiomatizability of Kröger's temporal logic of programs (even of the fragment without the nexttime operator O) (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17. Morality in a Branching Universe.Kristie Miller - 2006 - Disputatio 1 (20):1 - 21.
    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 — (...)
    Download  
     
    Export citation  
     
    Bookmark  
  18. McTaggart's Argument for the Unreality of Time: A Temporal Logical Analysis.Rostomyan Hunan - 2013 - Harvest Moon, New Crop Prize Edition 8.
    An examination of McTaggart’s [1908] argument for the unreality of time.
    Download  
     
    Export citation  
     
    Bookmark  
  19.  78
    Tableaux-Based Decision Method for Single-Agent Linear Time Synchronous Temporal Epistemic Logics with Interacting Time and Knowledge.Mai Ajspur & Valentin Goranko - 2013 - In Kamal Lodaya (ed.), Logic and its Applications. Springer. pp. 80--96.
    Temporal epistemic logics are known, from results of Halpern and Vardi, to have a wide range of complexities of the satisfiability problem: from PSPACE, through non-elementary, to highly undecidable. These complexities depend on the choice of some key parameters specifying, inter alia, possible interactions between time and knowledge, such as synchrony and agents' abilities for learning and recall. In this work we develop practically implementable tableau-based decision procedures for deciding satisfiability in single-agent synchronous temporal-epistemic logics with interactions (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20. A Spatio-Temporal Ontology for Geographic Information Integration.Thomas Bittner & Barry Smith - 2009 - International Journal for Geographical Information Science 23 (6):765-798.
    This paper presents an axiomatic formalization of a theory of top-level relations between three categories of entities: individuals, universals, and collections. We deal with a variety of relations between entities in these categories, including the sub-universal relation among universals and the parthood relation among individuals, as well as cross-categorial relations such as instantiation and membership. We show that an adequate understanding of the formal properties of such relations – in particular their behavior with respect to time – is critical (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  21. Branching Time, Actuality and the Puzzle of Retrospective Determinacy.Roberto Loss - 2012 - Thought: A Journal of Philosophy 1 (1):16-25.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  22. Ockhamism and Quantified Modal Logic.Andrea Iacona - 2015 - Logique Et Analyse 58:353-370.
    This paper outlines a formal account of tensed sentences that is consistent with Ockhamism, a view according to which future contingents are either true or false. The account outlined substantively differs from the attempts that have been made so far to provide a formal apparatus for such a view in terms of some expressly modified version of branching time semantics. The system on which it is based is the simplest quantified modal logic.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  23. Diodorus Cronus and the Logic of Time.Massie Pascal - 2016 - Review of Metaphysics 70 (2):279-309.
    The master argument posits a metaphysical thesis: Diodorus does away with Aristotle’s dunamis understood as a power simultaneously oriented toward being and non-being and proclaims that possibilities that fail to actualize are simply nothing. My contention is that this claim is not a mere application of Diodorus’ contribution to modal logic. Rather, Diodorus creates an ontologico-temporal concept of possibility and impossibility. Diodorus envisions the future as the past that the future will become. Since what will have been can (...)
    Download  
     
    Export citation  
     
    Bookmark  
  24. A. A. Rini and M. J. Cresswell, The World-Time Parallel. Tense and Modality in Logic and Metaphysics. Reviewed By.Kristie Miller - 2013 - Philosophy in Review 33 (1):70-73.
    This book advertises itself as an exploration of the world-time parallel, that is, the parallel between the modal dimension, on the one hand, and the temporal dimension, on the other. It is that, and much more. As the authors point out, there is reasonable agreement that we can model times, through temporal logic, in ways that are analogous to those by which we model modality through the logic of possible worlds. But this formal parallel has (...)
    Download  
     
    Export citation  
     
    Bookmark  
  25. Stoic Logic.Susanne Bobzien - 2003 - In Brad Inwood (ed.), The Cambridge Companion to Stoic Philosophy. Cambridge University Press.
    ABSTRACT: An introduction to Stoic logic. Stoic logic can in many respects be regarded as a fore-runner of modern propositional logic. I discuss: 1. the Stoic notion of sayables or meanings (lekta); the Stoic assertibles (axiomata) and their similarities and differences to modern propositions; the time-dependency of their truth; 2.-3. assertibles with demonstratives and quantified assertibles and their truth-conditions; truth-functionality of negations and conjunctions; non-truth-functionality of disjunctions and conditionals; language regimentation and ‘bracketing’ devices; Stoic basic principles (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   6 citations  
  26. Surreal Time and Ultratasks.Haidar Al-Dhalimy & Charles J. Geyer - 2016 - Review of Symbolic Logic 9 (4):836-847.
    This paper suggests that time could have a much richer mathematical structure than that of the real numbers. Clark & Read (1984) argue that a hypertask (uncountably many tasks done in a finite length of time) cannot be performed. Assuming that time takes values in the real numbers, we give a trivial proof of this. If we instead take the surreal numbers as a model of time, then not only are hypertasks possible but so is an (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  27. The Logic of Joint Ability in Two-Player Tacit Games.Peter Hawke - 2017 - Review of Symbolic Logic 10 (3):481-508.
    Logics of joint strategic ability have recently received attention, with arguably the most influential being those in a family that includes Coalition Logic (CL) and Alternating-time Temporal Logic (ATL). Notably, both CL and ATL bypass the epistemic issues that underpin Schelling-type coordination problems, by apparently relying on the meta-level assumption of (perfectly reliable) communication between cooperating rational agents. Yet such epistemic issues arise naturally in settings relevant to ATL and CL: these logics are standardly interpreted on (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28.  37
    The Temporal Foundation of the Principle of Maximal Entropy.Vasil Penchev - 2020 - Logic and Philosophy of Mathematics eJournal 12 (11):1-3.
    The principle of maximal entropy (further abbreviated as “MaxEnt”) can be founded on the formal mechanism, in which future transforms into past by the mediation of present. This allows of MaxEnt to be investigated by the theory of quantum information. MaxEnt can be considered as an inductive analog or generalization of “Occam’s razor”. It depends crucially on choice and thus on information just as all inductive methods of reasoning. The essence shared by Occam’s razor and MaxEnt is for the relevant (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29.  86
    Strategic Commitment and Release in Logics for Multi-Agent Systems.Thomas Ågotnes, Valentin Goranko & Wojciech Jamroga - manuscript
    In this paper we analyze how the semantics of the Alternating-time Temporal Logic ATL$^*$ deals with agents' commitments to strategies in the process of formula evaluation. In (\acro{atl}$^*$), one can express statements about the strategic ability of an agent (or a coalition of agents) to achieve a goal $\phi$ such as: ``agent $i$ can choose a strategy such that, if $i$ follows this strategy then, no matter what other agents do, $\phi$ will always be true''. However, strategies (...)
    Download  
     
    Export citation  
     
    Bookmark  
  30. A Study on Invariance of Temporal Coincidence.Andrew Wutke - manuscript
    This paper presents an attempt to define temporal coincidence starting from the first principles. The temporal coincidence defined here differs from Einstein’s simultaneity for it is invariant across inertial frames - not relative. The meaning and significance of temporal coincidence is derived from axioms of existence and it somehow relates to Kant’s notion of simultaneity. Consistentl y applied to the Special Theory of Relativity framework, temporal coincidence does not in any way create mathematical contradictions; however it (...)
    Download  
     
    Export citation  
     
    Bookmark  
  31.  74
    The Logic of Causation: Definition, Induction and Deduction of Deterministic Causality.Avi Sion - 1999-2000, 2003- - Geneva, Switzerland: CreateSpace & Kindle; Lulu..
    The Logic of Causation: Definition, Induction and Deduction of Deterministic Causality is a treatise of formal logic and of aetiology. It is an original and wide-ranging investigation of the definition of causation (deterministic causality) in all its forms, and of the deduction and induction of such forms. The work was carried out in three phases over a dozen years (1998-2010), each phase introducing more sophisticated methods than the previous to solve outstanding problems. This study was intended as part (...)
    Download  
     
    Export citation  
     
    Bookmark  
  32. The Nature of Time, by Ulrich Meyer.Steven Savitt - 2015 - Mind 124 (495):945-951.
    Download  
     
    Export citation  
     
    Bookmark  
  33. The Child in Time: Temporal Concepts and Self-Consciousness in the Development of Episodic Memory.Teresa McCormack & Christoph Hoerl - 2001 - In C. Moore & Karen Lemmon (eds.), The Self in Time: Developmental Perspectives. Erlbaum. pp. 203-227.
    Investigates the roles of temporal concepts and self-consciousness in the development of episodic memory. According to some theorists, types of long-term memory differ primarily in the degree to which they involve or are associated with self-consciousness (although there may be no substantial differences in the kind of event information that they deliver). However, a known difficulty with this view is that it is not obvious what motivates introducing self-consciousness as the decisive factor in distinguishing between types of memory and (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  34. Paleontology: Outrunning Time.John E. Huss - 2017 - Boston Studies in the Philosophy and History of Science 326:211-235.
    In this paper, I discuss several temporal aspects of paleontology from a philosophical perspective. I begin by presenting the general problem of “taming” deep time to make it comprehensible at a human scale, starting with the traditional geologic time scale: an event-based, relative time scale consisting of a hierarchy of chronological units. Not only does the relative timescale provide a basis for reconstructing many of the general features of the history of life, but it is also (...)
    Download  
     
    Export citation  
     
    Bookmark  
  35. B-Theory and Time Biases.Sayid Bnefsi - 2019 - In Patrick Blackburn, Per Hasle & Peter Øhrstrøm (eds.), Logic and Philosophy of Time: Further Themes from Prior. Aalborg, Denmark: Aalborg University Press. pp. 41-52.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  36. The Metaphysics of the Thin Red Line.Andrea Borghini & Giuliano Torrengo - 2013 - In F. Correia & A. Iacona (eds.), Around the Tree. Semantical and Metaphysical Issues Concerning Branching and the Open Future. Kluwer Academic Publishers. pp. 105-125.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  37.  99
    Counterfactuals, Irreversible Laws and The Direction of Time.Terrance A. Tomkow - manuscript
    The principle of Information Conservation or Determinism is a governing assumption of physical theory. Determinism has counterfactual consequences. It entails that if the present were different, then the future would be different. But determinism is temporally symmetric: it entails that if the present were different, the past would also have to be different. This runs contrary to our commonsense intuition that what has happened in the future depends on the past in a way the past does not depend on the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  38. The Real Truth About the Unreal Future.Rachael Briggs & Graeme A. Forbes - 2012 - In Karen Bennett & Dean Zimmerman (eds.), Oxford Studies in Metaphysics, volume 7.
    Growing-Block theorists hold that past and present things are real, while future things do not yet exist. This generates a puzzle: how can Growing-Block theorists explain the fact that some sentences about the future appear to be true? Briggs and Forbes develop a modal ersatzist framework, on which the concrete actual world is associated with a branching-time structure of ersatz possible worlds. They then show how this branching structure might be used to determine the truth values of (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  39. The Temporal Orientation of Memory: It's Time for a Change of Direction.Stan Klein - 2013 - Journal of Applied Research in Memory and Cognition 2:222-234.
    Common wisdom, philosophical analysis and psychological research share the view that memory is subjectively positioned toward the past: Specifically, memory enables one to become re-acquainted with the objects and events of his or her past. In this paper I call this assumption into question. As I hope to show, memory has been designed by natural selection not to relive the past, but rather to anticipate and plan for future contingencies -- a decidedly future-oriented mode of subjective temporality. This is not (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  40. An Interpretation of McCall’s “Real Possible Worlds” and His Semantics for Counterfactuals.Alexandru Dragomir - 2016 - Symposion: Theoretical and Applied Inquiries in Philosophy and Social Sciences 3 (1):65-78.
    McCall (1984) offered a semantics of counterfactual conditionals based on “real possible worlds” that avoids using the vague notion of similarity between possible worlds. I will propose an interpretation of McCall’s counterfactuals in a formal framework based on Baltag-Moss-Solecki events and protocols. Moreover, I will argue that using this interpretation one can avoid an objection raised by Otte (1987).
    Download  
     
    Export citation  
     
    Bookmark  
  41. Branching and (in)Determinism.Jiri Benovsky - 2013 - Philosophical Papers 42 (2):151-173.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  42.  78
    Time, Persistence, and Causality: Towards a Dynamic View of Temporal Reality.Rognvaldur Ingthorsson - 2002 - Dissertation, Umeå University
    The thesis revolves around the following questions. What is time? Is time tensed or tenseless? Do things endure or perdure, i.e. do things persist by being wholly present at many times, or do they persist by having temporal parts? Do causes bring their effects into existence, or are they only correlated with each other? Within a realist approach to metaphysics, the author claims that the tensed view of time, the endurance view of persistence, and the production (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  43. Future Contingents and the Logic of Temporal Omniscience.Patrick Todd & Brian Rabern - forthcoming - Noûs.
    At least since Aristotle’s famous 'sea-battle' passages in On Interpretation 9, some substantial minority of philosophers has been attracted to the doctrine of the open future--the doctrine that future contingent statements are not true. But, prima facie, such views seem inconsistent with the following intuition: if something has happened, then (looking back) it was the case that it would happen. How can it be that, looking forwards, it isn’t true that there will be a sea battle, while also being true (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  44. The Development of Temporal Concepts: Learning to Locate Events in Time.Teresa McCormack & Christoph Hoerl - 2017 - Timing and Time Perception 5 (3-4):297-327.
    A new model of the development of temporal concepts is described that assumes that there are substantial changes in how children think about time in the early years. It is argued that there is a shift from understanding time in an event-dependent way to an event-independent understanding of time. Early in development, very young children are unable to think about locations in time independently of the events that occur at those locations. It is only with (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  45. Two Reformulations of the Verificationist Thesis in Epistemic Temporal Logic That Avoid Fitch’s Paradox.Alexandru Dragomir - 2014 - Romanian Journal of Analytic Philosophy 8 (1):44-62.
    1) We will begin by offering a short introduction to Epistemic Logic and presenting Fitch’s paradox in an epistemic‑modal logic. (2) Then, we will proceed to presenting three Epistemic Temporal logical frameworks creat‑ ed by Hoshi (2009) : TPAL (Temporal Public Announcement Logic), TAPAL (Temporal Arbitrary Public Announcement Logic) and TPAL+P ! (Temporal Public Announcement Logic with Labeled Past Operators). We will show how Hoshi stated the Verificationist Thesis in the language (...)
    Download  
     
    Export citation  
     
    Bookmark  
  46. In Search of the Arrow of Time. Temporal Asymmetries in Leibniz.Jean-Pascal Anfray - 2012 - Studia Leibnitiana 44 (1):81-106.
    This paper examines the problem of the basis of time’s asymmetry. I hold the view that there is an objective temporal asymmetry in Leibniz’s philosophy of time. I closely examine various asymmetrical phenomena, which can be candidates as an explanation of time’s asymmetry: (1) causation; (2) the flow of time; (3) the modal difference between past and present; (4) counterfactual dependence; and, finally (5) the asymmetry of the world’s progress and its direction and (6) of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  47. Temporal Phenomenology: Phenomenological Illusion Versus Cognitive Error.Kristie Miller, Alex Holcombe & Andrew James Latham - 2020 - Synthese 197 (2):751-771.
    Temporal non-dynamists hold that there is no temporal passage, but concede that many of us judge that it seems as though time passes. Phenomenal Illusionists suppose that things do seem this way, even though things are not this way. They attempt to explain how it is that we are subject to a pervasive phenomenal illusion. More recently, Cognitive Error Theorists have argued that our experiences do not seem that way; rather, we are subject to an error that (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  48. Explaining Temporal Qualia.Matt Farr - 2020 - European Journal for Philosophy of Science 10 (1):1-24.
    Experiences of motion and change are widely taken to have a ‘flow-like’ quality. Call this ‘temporal qualia’. Temporal qualia are commonly thought to be central to the question of whether time objectively passes: (1) passage realists take temporal passage to be necessary in order for us to have the temporal qualia we do; (2) passage antirealists typically concede that time appears to pass, as though our temporal qualia falsely represent time as passing. (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  49. Temporal Experience, Temporal Passage and the Cognitive Sciences.Samuel Baron, John Cusbert, Matt Farr, Maria Kon & Kristie Miller - 2015 - Philosophy Compass 10 (8):560-571.
    Cognitive science has recently made some startling discoveries about temporal experience, and these discoveries have been drafted into philosophical service. We survey recent appeals to cognitive science in the philosophical debate over whether time objectively passes. Since this research is currently in its infancy, we identify some directions for future research.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  50. Temporal Experience and the Temporal Structure of Experience.Geoffrey Lee - 2014 - Philosophers' Imprint 14.
    I assess a number of connected ideas about temporal experience that are introspectively plausible, but which I believe can be argued to be incorrect. These include the idea that temporal experiences are extended experiential processes, that they have an internal structure that in some way mirrors the structure of the apparent events they present, and the idea that time in experience is in some way represented by time itself. I explain how these ideas can be developed (...)
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
1 — 50 / 1000