Contents
73 found
Order:
1 — 50 / 73
  1. Two-Dimensional Time.Michael Kowalik - manuscript
    Philosophical views about the logical structure of time are typically divided between proponents of A and B theories, based on McTaggart's A and B series. Drawing on Paul Ricoeur's hermeneutic phenomenology, I develop and defend McTaggart's thesis that the C series and the A series working together give a consistent description of temporal experience, provided that the two series are treated as distinct dimensions internal to time. In the proposed two-dimensional model, the C series expresses a nesting order of the (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  2. The Apparent Nature of Relative Simultaneity.Andrew Wutke - manuscript
    This paper presents the proof of the apparent nature of relative simultaneity originally derived from Einstein’s Special Theory of Relativity (STR). The proof does not challenge the validity of the STR but uncovers fundamental and widespread error in understanding of practical implications of Lorentz transformations. It is demonstrated that more than a century long debates generally miss the point. This results in counterintuitive claims of coexisting multiple time realities by mere equivalence of equal clock indications and simultaneity. Such claims have (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  3. Review of Patrick Todd, The Open Future. Why Future Contingents are All False. [REVIEW]David P. Hunt - forthcoming - Zeitschrift Für Theologie Und Philosophie.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  4. The Modal Future, by Fabrizio Cariani. [REVIEW]David Boylan - 2023 - Philosophical Review 132 (2).
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  5. Postsemantic Peirceanism.Andrea Iacona & Samuele Iaquinto - 2023 - American Philosophical Quarterly 60:249-256.
    There are essentially two ways to develop the Peircean idea that future contingents are all false. One is to provide a quantificational semantics for "will," as is usually done. The other is to define a quantificational postsemantics based on a linear semantics for "will." As we will suggest, the second option, although less conventional, is more plausible than the first in some crucial respects. The postsemantic approach overcomes three major troubles that have been raised in connection with Peirceanism: the apparent (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  6. Knowledge-of-own-factivity, the definition of surprise, and a solution to the Surprise Examination paradox.Alessandro Aldini, Samuel Allen Alexander & Pierluigi Graziani - 2022 - Cifma.
    Fitch's Paradox and the Paradox of the Knower both make use of the Factivity Principle. The latter also makes use of a second principle, namely the Knowledge-of-Factivity Principle. Both the principle of factivity and the knowledge thereof have been the subject of various discussions, often in conjunction with a third principle known as Closure. In this paper, we examine the well-known Surprise Examination paradox considering both the principles on which this paradox rests and some formal characterisations of the surprise notion, (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  7. Branching time and doomsday.Giacomo Andreoletti - 2022 - Ratio 35 (2):79-90.
    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 (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  8. Is Time a Physical Unit?Yang I. Pachankis - 2022 - Science Set Journal of Physics 1 (1):1-4.
    The article approaches the epistemological question on the concept of time from an anthropological psychology perspective. The differentiation between imminent perceptions and existence beyond imminent perception has been the earliest conceptualization of time found so far in the traces of human civilizations. The research differentiated psychological time from modern physics and astronomy as the basic hypothesis in the inquiries on the concept of time in physics and modern astronomy – is the physical unit of time an ontological existence of things (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  9. Ockhamism and Philosophy of Time.Alessio Santelli (ed.) - 2022 - Springer Cham.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  10. The future ain’t what it used to be: Strengthening the case for mutable futurism.Giacomo Andreoletti & Giuseppe Spolaore - 2021 - Synthese 199 (3-4):10569-10585.
    This paper explores mutable futurism, the view according to which the future can literally change—that is, it can happen that a future time t changes from containing an event E to lacking it. Mutable futurism has received little attention so far, and the details and implications of the view are underexplored in the literature. For instance, it currently lacks a precise metaphysical model and a formal semantics. Although we do not endorse mutable futurism, our goal here is to strengthen the (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  11. Level theory, part 2: Axiomatizing the bare idea of a potential hierarchy.Tim Button - 2021 - Bulletin of Symbolic Logic 27 (4):461-484.
    Potentialists think that the concept of set is importantly modal. Using tensed language as an heuristic, the following bar-bones story introduces the idea of a potential hierarchy of sets: 'Always: for any sets that existed, there is a set whose members are exactly those sets; there are no other sets.' Surprisingly, this story already guarantees well-foundedness and persistence. Moreover, if we assume that time is linear, the ensuing modal set theory is almost definitionally equivalent with non-modal set theories; specifically, with (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  12. Credible Futures.Andrea Iacona & Samuele Iaquinto - 2021 - Synthese 199:10953-10968.
    This paper articulates in formal terms a crucial distinction concerning future contingents, the distinction between what is true about the future and what is reasonable to believe about the future. Its key idea is that the branching structures that have been used so far to model truth can be employed to define an epistemic property, credibility, which we take to be closely related to knowledge and assertibility, and which is ultimately reducible to probability. As a result, two kinds of claims (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   3 citations  
  13. A Framework for Intuitionistic Grammar Logics.Tim Lyon - 2021 - In Pietro Baroni, Christoph Benzmüller & Yὶ N. Wang (eds.), Lecture Notes in Computer Science. 93413 Cham, Germany: pp. 495-503.
    We generalize intuitionistic tense logics to the multi-modal case by placing grammar logics on an intuitionistic footing. We provide axiomatizations for a class of base intuitionistic grammar logics as well as provide axiomatizations for extensions with combinations of seriality axioms and what we call "intuitionistic path axioms". We show that each axiomatization is sound and complete with completeness being shown via a typical canonical model construction.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  14. Tense Logic and Ontology of Time.Avril Styrman - 2021 - Emilio M. Sanfilippo Et Al, Eds., Proceedings of FOUST 2021: 5th Workshop on Foundational Ontology, Held at JOWO 2021: Episode VII The Bolzano Summer of Knowledge, September 11–18, 2021, Bolzano, Italy, CEURWS, Vol. 2969, 2021.
    This work aims to make tense logic a more robust tool for ontologists, philosophers, knowledge engineers and programmers by outlining a fusion of tense logic and ontology of time. In order to make tense logic better understandable, the central formal primitives of standard tense logic are derived as theorems from an informal and intuitive ontology of time. In order to make formulation of temporal propositions easier, temporal operators that were introduced by Georg Henrik von Wright are developed, and mapped to (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  15. The Open Future: Why Future Contingents Are All False.Patrick Todd - 2021 - Oxford: Oxford University Press.
    This book launches a sustained defense of a radical interpretation of the doctrine of the open future. Patrick Todd argues that all claims about undetermined aspects of the future are simply false.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   8 citations  
  16. Future Contingents and the Logic of Temporal Omniscience.Patrick Todd & Brian Rabern - 2021 - Noûs 55 (1):102-127.
    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 (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   15 citations  
  17. On the relation between modality and tense.Fabrice Correia & Sven Rosenkranz - 2020 - Inquiry: An Interdisciplinary Journal of Philosophy 63 (6):586-604.
    ABSTRACT We critically review two extant paradigms for understanding the systematic interaction between modality and tense, as well as their respective modifications designed to do justice to the contingency of time’s structure and composition. We show that on either type of theory, as well as their respective modifications, some principles prove logically valid whose truth might sensibly be questioned on metaphysical grounds. These considerations lead us to devise a more general logical framework that allows accommodation of those metaphysical views that (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  18. Temporal location of events in language and (non) persistence of the past.Fabio Del Prete - 2020 - Critical Hermeneutics 4 (II):25-68.
    The article reviews some analyses of temporal language in logical approaches to natural language semantics. It considers some asymmetries between past and future, manifested in language, which motivate the “standard view” of the non-reversibility of time and the persistence of the past. It concludes with a puzzle about the changing past which challenges the standard view.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  19. The Invisible Thin Red Line.Giuliano Torrengo & Samuele Iaquinto - 2020 - Pacific Philosophical Quarterly 101:354-382.
    The aim of this paper is to argue that the adoption of an unrestricted principle of bivalence is compatible with a metaphysics that (i) denies that the future is real, (ii) adopts nomological indeterminism, and (iii) exploits a branching structure to provide a semantics for future contingent claims. To this end, we elaborate what we call Flow Fragmentalism, a view inspired by Kit Fine (2005)’s non-standard tense realism, according to which reality is divided up into maximally coherent collections of tensed (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   7 citations  
  20. Fatalism and Future Contingents.Giacomo Andreoletti - 2019 - Analytic Philosophy 60 (3):1-14.
    In this paper I address issues related to the problem of future contingents and the metaphysical doctrine of fatalism. Two classical responses to the problem of future contingents are the third truth value view and the all-false view. According to the former, future contingents take a third truth value which goes beyond truth and falsity. According to the latter, they are all false. I here illustrate and discuss two ways to respectively argue for those two views. Both ways are similar (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   4 citations  
  21. Diamonds are Forever.Cian Dorr & Jeremy Goodman - 2019 - Noûs 54 (3):632-665.
    We defend the thesis that every necessarily true proposition is always true. Since not every proposition that is always true is necessarily true, our thesis is at odds with theories of modality and time, such as those of Kit Fine and David Kaplan, which posit a fundamental symmetry between modal and tense operators. According to such theories, just as it is a contingent matter what is true at a given time, it is likewise a temporary matter what is true at (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   25 citations  
  22. Essays in Formal Metaphysics.Daniel Rubio - 2019 - Dissertation, Rutgers - New Brunswick
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   3 citations  
  23. Now there will be trouble.Giuseppe Spolaore & Fabio Del Prete - 2019 - In Patrick Blackburn, Peter Ohrstrom & Per Hasle (eds.), Logic and Philosophy of Time: Further Themes from Prior. Aalborg: Aalborg Universitetsforlag.
    The paper considers sentences in which “now” occurs in initial position and shows that the meaning they convey differs from the meaning of sentences that are otherwise identical except for “now” occurring in final position. We argue that the occurrence of “now” in initial position triggers a particular kind of modal reading for the sentence to which the adverb is prefixed. A general notion of modal forcing is proposed to provide a uniform account of this kind of reading. Armed with (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  24. 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 into utilitarian temporal frames, while preserving (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  25. Tense and Relativity.Andrew Bacon - 2018 - Noûs 52 (3):667-696.
    Those inclined to positions in the philosophy of time that take tense seriously have typically assumed that not all regions of space-time are equal: one special region of space-time corresponds to what is presently happening. When combined with assumptions from modern physics this has the unsettling consequence that the shape of this favored region distinguishes people in certain places or people traveling at certain velocities. In this paper I shall attempt to avoid this result by developing a tensed picture of (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   6 citations  
  26. From Display to Labelled Proofs for Tense Logics.Agata Ciabattoni, Tim Lyon & Revantha Ramanayake - 2018 - In Anil Nerode & Sergei Artemov (eds.), Logical Foundations of Computer Science. Springer International Publishing. pp. 120 - 139.
    We introduce an effective translation from proofs in the display calculus to proofs in the labelled calculus in the context of tense logics. We identify the labelled calculus proofs in the image of this translation as those built from labelled sequents whose underlying directed graph possesses certain properties. For the basic normal tense logic Kt, the image is shown to be the set of all proofs in the labelled calculus G3Kt.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   4 citations  
  27. Determinismo, indeterminismo e il problema del futuro vero.Stefano Maria Schieppati - 2018 - Rivista di Filosofia Neo-Scolastica 1:171-184.
    All’interno del dibattito che anima la filosofia temporale esistono numerose correnti di pensiero su quale posizione si debba adottare riguardo al problema del valore di verità delle proposizioni sul futuro. Nella prima parte dell’articolo verrà tracciato il quadro generale della discussione mediante una ricostruzione storica delle varie argomentazioni – da Aristotele e Diodoro Crono a Prior – e verranno analizzate le posizioni che si sono sviluppate, a partire da queste, nell’età contemporanea. Nella seconda parte invece tenterò di mostrare come la (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  28. The Truth About Osmo.E. J. M. Marques - 2017 - Logic and Philosophy of Time: Themes From Prior, Volume 1.
    (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  29. Against the Russellian open future.Anders J. Schoubye & Brian Rabern - 2017 - Mind 126 (504): 1217–1237.
    Todd (2016) proposes an analysis of future-directed sentences, in particular sentences of the form 'will(φ)', that is based on the classic Russellian analysis of definite descriptions. Todd's analysis is supposed to vindicate the claim that the future is metaphysically open while retaining a simple Ockhamist semantics of future contingents and the principles of classical logic, i.e. bivalence and the law of excluded middle. Consequently, an open futurist can straightforwardly retain classical logic without appeal to supervaluations, determinacy operators, or any further (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   10 citations  
  30. Karma Theory, Determinism, Fatalism and Freedom of Will.Ricardo Sousa Silvestre - 2017 - Logica Universalis 11 (1):35-60.
    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 (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   3 citations  
  31. Presentism: Foreigner-Friendly or Xenophobic?Bryan Frances - 2016 - Australasian Journal of Philosophy 94 (3):479-488.
    I argue that, for all we know, there are perfectly ordinary actual entities that are temporal in the usual sense and yet never present, past, or future. This epistemic fact requires us to modify the theses of presentism and eternalism. More importantly, it generates three new and quite serious objections to presentism, which I formulate and partially evaluate in this paper.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  32. Introduzione alle Logiche Modali.Marcello Frixione, Samuele Iaquinto & Massimiliano Vignolo - 2016 - Roma-Bari: Laterza.
    La logica modale è nata per studiare i ragionamenti su ciò che è possibile e ciò che è necessario. Negli ultimi decenni, a partire dal lavoro di logici e filosofi quali Rudolf Carnap, Saul Kripke e David Lewis, la sua applicazione è stata progressivamente estesa ad altri ambiti, quali il ragionamento sul tempo, sulla conoscenza e sui sistemi di norme. Queste ricerche hanno condotto a un complesso e intrigante dialogo con alcune fondamentali branche della filosofia: la metafisica, l’epistemologia, la filosofia (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  33. On the Puzzle of the Changing Past.Andrea Iacona - 2016 - Philosophia 44 (1):137-142.
    In the intriguing article The puzzle of the changing past, Barlassina and Del Prete argue that, if one grants a platitude about truth and accepts a simple story that they tell, one is forced to conclude that the past has changed. I will suggest that there is a coherent way to resist that conclusion. The platitude about truth is in fact a platitude, but the story is not exactly as they tell it.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   5 citations  
  34. Defining Original Presentism.Jesse M. Mulder - 2016 - Kriterion - Journal of Philosophy 30 (2):29-60.
    It is surprisingly hard to define presentism. Traditional definitions of the view, in terms of tensed existence statements, have turned out not to to be capable of convincingly distinguishing presentism from eternalism. Picking up on a recent proposal by Tallant, I suggest that we need to locate the break between eternalism and presentism on a much more fundamental level. The problem is that presentists have tried to express their view within a framework that is inherently eternalist. I call that framework (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   3 citations  
  35. Future Contingents are all False! On Behalf of a Russellian Open Future.Patrick Todd - 2016 - Mind 125 (499):775-798.
    There is a familiar debate between Russell and Strawson concerning bivalence and ‘the present King of France’. According to the Strawsonian view, ‘The present King of France is bald’ is neither true nor false, whereas, on the Russellian view, that proposition is simply false. In this paper, I develop what I take to be a crucial connection between this debate and a different domain where bivalence has been at stake: future contingents. On the familiar ‘Aristotelian’ view, future contingent propositions are (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   37 citations  
  36. On behalf of a mutable future.Patrick Todd - 2016 - Synthese 193 (7):2077-2095.
    Everyone agrees that we can’t change the past. But what about the future? Though the thought that we can change the future is familiar from popular discourse, it enjoys virtually no support from philosophers, contemporary or otherwise. In this paper, I argue that the thesis that the future is mutable has far more going for it than anyone has yet realized. The view, I hope to show, gains support from the nature of prevention, can provide a new way of responding (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   8 citations  
  37. Reply to Sullivan.Timothy Williamson - 2016 - Canadian Journal of Philosophy 46 (4-5):759-765.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  38. Change, Event, and Temporal Points of View.Antti Hautamäki - 2015 - In Margarita Vázquez Campos & Antonio Manuel Liz Gutiérrez (eds.), Temporal Points of View. Springer. pp. 197-221.
    A “conceptual spaces” approach is used to formalize Aristotle’s main intuitions about time and change, and other ideas about temporal points of view. That approach has been used in earlier studies about points of view. Properties of entities are represented by locations in multidimensional conceptual spaces; and concepts of entities are identified with subsets or regions of conceptual spaces. The dimensions of the spaces, called “determinables”, are qualities in a very general sense. A temporal element is introduced by adding a (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   7 citations  
  39. 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.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  40. Towards a new theory of historical counterfactuals.Jacek Wawer & Leszek Wroński - 2015 - In Pavel Arazim & Michal Dancak (eds.), Logica Yearbook 2014. College Publications. pp. 293-310.
    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".
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   4 citations  
  41. 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 of TAPAL and analyze his argument on why this (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  42. Ockhamism without Thin Red Lines.Andrea Iacona - 2014 - Synthese 191 (12):2633-2652.
    This paper investigates the logic of Ockhamism, a view according to which future contingents are either true or false. Several attempts have been made to give rigorous shape to this view by defining a suitable formal semantics, but arguably none of them is fully satisfactory. The paper draws attention to some problems that beset such attempts, and suggests that these problems are different symptoms of the same initial confusion, in that they stem from the unjustified assumption that the actual course (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   9 citations  
  43. Presentism and the Problem of Singular Propositions about Non-Present Objects – Limitations of a Proposed Solution.Robert J. Rovetto - 2014 - Polish Journal of Philosophy 8 (1):53-66.
    In “A Defense of Presentism ”, Ned Markosian addresses the problem of singular propositions about non-present objects. The proposed solution uses a paraphrasing strategy that differentiates between two kinds of meaning in declarative sentences, and also distinguishes between two truth-conditions for singular propositions. The solution, however, is unsatisfactory. I demonstrate that the both truth-conditions suffer from the same problems in spite of the examples used to support the claim that one is a proper treatment for singular propositions. Part of the (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  44. 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 between time and (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  45. 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.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  46. 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 future contingents. They (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   33 citations  
  47. The Rhyme That Remains: Populist Poetics.Virgil W. Brower - 2012 - Everyday Genius 6 (21):61-81.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  48. 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 be coherently formulated on a model with (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   19 citations  
  49. Presentismo, referência ao passado e proposições.César Schirmer dos Santos - 2011 - Investigação Filosófica 2 (2):1-8.
    Os presentistas nos dizem que os únicos objetos percorridos pelos quantificadoresde escopo mais amplo são aqueles que existem no presente, o que leva seus críticos aperguntarem o que torna verdadeiros os enunciados sobre o passado, como “Sócrates foi umfilósofo”. Em defesa do presentismo, e seguindo a proposta de Fiocco (2007), argumentamosque o que torna verdadeiro um enunciado sobre o passado é uma proposição, que proposiçõesnão existem no tempo, e que nada na teoria presentista compromete seus defensores com atese de que (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  50. Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions.Davide Bresolin, Valentin Goranko, Angelo Montanari & Guido Sciavicco - 2010 - Annals of Pure and Applied Logic 161 (3):289-304.
    In this paper, we investigate the expressiveness of the variety of propositional interval neighborhood logics , we establish their decidability on linearly ordered domains and some important subclasses, and we prove the undecidability of a number of extensions of PNL with additional modalities over interval relations. All together, we show that PNL form a quite expressive and nearly maximal decidable fragment of Halpern–Shoham’s interval logic HS.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   6 citations  
1 — 50 / 73