Results for 'branching time temporal logic'

1000+ found
Order:
  1.  68
    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.  64
    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.  68
    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. 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  
  5.  95
    (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  
  6.  14
    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  
  7.  53
    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  
  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   1 citation  
  9.  39
    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  
  10. 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  
  11.  19
    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  
  12. 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  
  13.  43
    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  
  14.  75
    Temporal Justification Logic.S. Bucheli, M. Ghari & T. Studer - 2017 - Proceedings of the Ninth Workshop on Methods for Modalities (M4M9 2017), Indian Institute of Technology, Kanpur, India, 8th to 10th January 2017, Electronic Proceedings in Theoretical Computer Science 243, Pages 59–74.
    Justification logics are modal-like logics with the additional capability of recording the reason, or justification, for modalities in syntactic structures, called justification terms. Justification logics can be seen as explicit counterparts to modal logics. The behavior and interaction of agents in distributed system is often modeled using logics of knowledge and time. In this paper, we sketch some preliminary ideas on how the modal knowledge part of such logics of knowledge and time could be replaced with an appropriate (...)
    Download  
     
    Export citation  
     
    Bookmark  
  15.  89
    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  
  16.  57
    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  
  17.  69
    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  
  18.  73
    The Nature of Time, by Ulrich Meyer.Steven Savitt - 2015 - Mind 124 (495):945-951.
    Download  
     
    Export citation  
     
    Bookmark  
  19.  56
    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  
  20. 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   7 citations  
  21. Explaining Away Temporal Flow – Thoughts on Prosser’s ‘Experiencing Time’.Geoffrey Lee - 2018 - Inquiry: An Interdisciplinary Journal of Philosophy 61 (3):315-327.
    I offer some responses to Prosser’s ‘Experiencing Time’, one of whose goals is to debunk a view of temporal experience somewhat prevalent in the metaphysics literature, which I call ‘Perceptualism’. According to Perceptualism: it is part of the content of perceptual experience that time passes in a metaphysically strong sense: the present has a metaphysically privileged status, and time passes in virtue of changes in which events this ‘objective present’ highlights, and moreover this gives us evidence (...)
    Download  
     
    Export citation  
     
    Bookmark  
  22.  83
    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  
  23. 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  
  24. 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   1 citation  
  25. 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   7 citations  
  26.  81
    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  
  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.  59
    Future Logic: Categorical and Conditional Deduction and Induction of the Natural, Temporal, Extensional, and Logical Modalities.Avi Sion - 1990,1996 - Geneva, Switzerland: CreateSpace & Kindle; Lulu..
    Future Logic is an original, and wide-ranging treatise of formal logic. It deals with deduction and induction, of categorical and conditional propositions, involving the natural, temporal, extensional, and logical modalities. Traditional and Modern logic have covered in detail only formal deduction from actual categoricals, or from logical conditionals (conjunctives, hypotheticals, and disjunctives). Deduction from modal categoricals has also been considered, though very vaguely and roughly; whereas deduction from natural, temporal and extensional forms of conditioning has (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. 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   3 citations  
  30. 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   1 citation  
  31. 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  
  32.  49
    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  
  33.  36
    Time and Tense: Unifying the Old and the New.Stamatios Gerogiorgakis - 2016 - Munich: Philosophia.
    Contents: -/- Bas C. van Fraassen, Introduction -/- Miloš Arsenijević, Avoiding Logical Determinism and Retaining the Principle of Bivalence within Temporal Modal Logic: Time as a Line-in-Drawing -/- Allan Bäck, The Reality of the Statement and the Now in Aristotle -/- Hans Burkhardt, Aristotle on Memory and Remembering and McTaggart’s A-Time and B-Time Series -/- Stamatios Gerogiorgakis, Late Ancient Paradoxes concerning Tense Revisited -/- Sonja Schierbaum, Ockham on Tense and Truth -/- Hylarie Kochiras, Newton’s Absolute (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34.  30
    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  
  35. Literature and the Passing of Time: Reflecting on the Temporal Nature of Art.Derek Allan - manuscript
    The paper explores the much-neglected but crucial topic of the capacity of art to transcend time.
    Download  
     
    Export citation  
     
    Bookmark  
  36.  44
    Logika i vreme.Aleksandar Kron - 1977 - Kultura (36/37):296-310.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  37. THE LOGIC OF TIME AND THE CONTINUUM IN KANT's CRITICAL PHILOSOPHY.Riccardo Pinosio & Michiel van Lambalgen - manuscript
    We aim to show that Kant’s theory of time is consistent by providing axioms whose models validate all synthetic a priori principles for time proposed in the Critique of Pure Reason. In this paper we focus on the distinction between time as form of intuition and time as formal intuition, for which Kant’s own explanations are all too brief. We provide axioms that allow us to construct ‘time as formal intuition’ as a pair of continua, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  38. 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  
  39.  21
    Time Denied: Late Stage Capitalism and its Temporal Effects.Francisco Valdez - 2019 - The Gettysburg College Philosophy and Film: Andquot;The Art of Modern Time: Film and the Representation of Temporality 1.
    When talking about how cinema is affected by late-stage capitalism we have to look at the overall meaning of the film. But on occasion, these films incorporate stylistic but also temporal context. In this paper, I will use a traditional and contemporary phenomenological approach not just on the temporality aspect but the over the condition of cinema in late-stage capitalism. I will use Children Of Men to open up the ideas of how time within itself such as Heideggerian (...)
    Download  
     
    Export citation  
     
    Bookmark  
  40. 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  
  41. "Mind Time: The Temporal Factor in Consciousness" by Benjamin Libet. [REVIEW]Tim Crane - 2007 - The Times Literary Supplement 1.
    After a lecture in Göteborg by the neuroscientist Benjamin Libet in 1993, the Göteborg-Post carried the headline, ‘Now it has been proven: we are all somewhat behind’. The paper was referring to Libet’s celebrated discovery that the neural precursors of some voluntary actions occur before the conscious awareness of the decision to act. In a series of experiments in the 1980s, Libet showed that in an experimental situation in which subjects were asked to perform a simple voluntary action – raising (...)
    Download  
     
    Export citation  
     
    Bookmark  
  42. 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   13 citations  
  43.  53
    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  
  44. Relationism About Time and Temporal Vacua.Matteo Morganti - 2017 - Philosophy 92 (1):77-95.
    A critical discussion of Shoemaker's argument for the possibility of time without change, intended as an argument against relationist conceptions of time. A relational view of time is proposed based on the primitive identity of events (or whatever entities are the basic subjects of change and lack thereof).
    Download  
     
    Export citation  
     
    Bookmark  
  45.  89
    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  
  46.  62
    On the Embodiment of Space and Time: Triadic Logic, Quantum Indeterminacy and the Metaphysics of Relativity.Timothy M. Rogers - manuscript
    Triadic (systemical) logic can provide an interpretive paradigm for understanding how quantum indeterminacy is a consequence of the formal nature of light in relativity theory. This interpretive paradigm is coherent and constitutionally open to ethical and theological interests. -/- In this statement: -/- (1) Triadic logic refers to a formal pattern that describes systemic (collaborative) processes involving signs that mediate between interiority (individuation) and exteriority (generalized worldview or Umwelt). It is also called systemical logic or the (...) of relatives. The term "triadic logic" emphasizes that this logic involves mediation of dualities through an irreducibly triadic formalism. The term "systemical logic" emphasizes that this logic applies to systems in contrast to traditional binary logic which applies to classes. The term "logic of relatives" emphasizes that this logic is background independent (in the sense discussed by Smolin ). -/- (2) An interpretive paradigm refers to a way of thinking that generates an understanding through concepts, their inter-relationships and their connections with experience. -/- (3) Coherence refers to holistic integrity or continuity in the meaning of concepts that form an interpretation or understanding. -/- (4) Constitutionally open refers to an inherent dependence in principle of an interpretation or understanding on something outside of a specific discipline's discourse or domain of inquiry (epistemic system). Interpretations that are constitutionally open are incomplete in themselves and open to responsive, interdisciplinary discourse and collaborative learning. (shrink)
    Download  
     
    Export citation  
     
    Bookmark  
  47. Presentism and Temporal Experience.Akiko Frischhut - 2017 - In Ian B. Phillips (ed.), The Routledge Handbook of Philosophy of Temporal Experience. Routledge.
    Abstract- Presentism And Temporal Experience Intuitively, we all believe that we experience change and the passage of time. Presentism prides itself as the most intuitive theory of time. However, a closer look at how we would experience temporality if presentism was true reveals that this is far from obvious. For if presentism was really so intuitive, then it would do justice to these intuitions. In the course of this article I examine how presentism fares when combined with (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  48.  41
    One Thing After Another: Why the Passage of Time is Not an Illusion.Natalja Deng - forthcoming - In Adrian Bardon, Valtteri Arstila, Sean Power & Argiro Vatakis (eds.), The Illusions of Time: Philosophical and Psychological Essays on Timing and Time Perception. Palgrave Macmillan.
    Does time seem to us to pass, even though it doesn’t, really? Many philosophers think the answer is ‘Yes’ – at least when ‘time’s (really) passing’ is understood in a particular way. They take time’s passing to be a process by which each time in turn acquires a special status, such as the status of being the only time that exists, or being the only time that is present (where that means more than just (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  49.  15
    Back to the (Branching) Future.Giacomo Andreoletti - forthcoming - Acta Analytica:1-14.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  50. Could We Experience the Passage of Time?Simon Prosser - 2007 - Ratio 20 (1):75-90.
    This is an expanded and revised discussion of the argument briefly put forward in my 'A New Problem for the A-Theory of Time', where it is claimed that it is impossible to experience real temporal passage and that no such phenomenon exists. In the first half of the paper the premises of the argument are discussed in more detail than before. In the second half responses are given to several possible objections, none of which were addressed in the (...)
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
1 — 50 / 1000