View topic on PhilPapers for more information
Related categories

42 found
Order:
More results on PhilPapers
  1. added 2020-04-05
    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  
    Translate
     
     
    Export citation  
     
    Bookmark  
  2. added 2020-03-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  
  3. added 2020-03-24
    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   2 citations  
  4. added 2020-03-22
    On the Relation Between Modality and Tense.Fabrice Correia & Sven Rosenkranz - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy.
    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 its (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  5. added 2020-03-10
    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  
  6. added 2020-02-07
    The Invisible Thin Red Line.Giuliano Torrengo & Samuele Iaquinto - forthcoming - Pacific Philosophical Quarterly.
    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   1 citation  
  7. added 2019-10-27
    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), but in a way more expressive medium for reasoning (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  8. added 2019-10-11
    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   1 citation  
  9. added 2019-08-02
    The Rhyme That Remains: Populist Poetics.Virgil W. Brower - 2012 - Everyday Genius 6 (21):61-81.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  10. added 2018-10-14
    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  
  11. added 2018-08-17
    Diamonds Are Forever.Cian Dorr & Jeremy Goodman - forthcoming - Noûs.
    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   9 citations  
  12. added 2018-05-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.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  13. added 2018-04-21
    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 for possible paths. We then consider (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   4 citations  
  14. added 2018-04-21
    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 orders (\nsbcdt\ for short). It combines (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   4 citations  
  15. added 2018-04-21
    Hierarchies of Modal and Temporal Logics with Reference Pointers.Valentin Goranko - 1996 - Journal of Logic, Language and Information 5 (1):1-24.
    We introduce and study hierarchies of extensions of the propositional modal and temporal languages with pairs of new syntactic devices: point of reference-reference pointer which enable semantic references to be made within a formula. We propose three different but equivalent semantics for the extended languages, discuss and compare their expressiveness. The languages with reference pointers are shown to have great expressive power (especially when their frugal syntax is taken into account), perspicuous semantics, and simple deductive systems. For instance, Kamp's and (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   20 citations  
  16. added 2018-04-20
    Model-Checking CTL* Over Flat Presburger Counter Systems.Stéphane Demri, Alain Finkel, Valentin Goranko & Govert van Drimmelen - 2010 - Journal of Applied Non-Classical Logics 20 (4):313-344.
    This paper concerns model-checking of fragments and extensions of CTL* on infinite-state Presburger counter systems, where the states are vectors of integers and the transitions are determined by means of relations definable within Presburger arithmetic. In general, reachability properties of counter systems are undecidable, but we have identified a natural class of admissible counter systems (ACS) for which we show that the quantification over paths in CTL* can be simulated by quantification over tuples of natural numbers, eventually allowing translation of (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  17. added 2018-04-20
    Propositional Interval Neighborhood Logics: Expressiveness, Decidability, and Undecidable Extensions.Davide Bresolin, Valentin Goranko, Angelo Montanari & Guido Sciavicco - 2009 - 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   3 citations  
  18. added 2018-04-20
    A Road Map of Interval Temporal Logics and Duration Calculi.Valentin Goranko, Angelo Montanari & Guido Sciavicco - 2004 - Journal of Applied Non-Classical Logics 14 (1-2):9-54.
    We survey main developments, results, and open problems on interval temporal logics and duration calculi. We present various formal systems studied in the literature and discuss their distinctive features, emphasizing on expressiveness, axiomatic systems, and (un)decidability results.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   6 citations  
  19. added 2018-04-20
    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), but in a way more expressive medium for reasoning (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   3 citations  
  20. added 2018-03-25
    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  
  21. added 2018-02-02
    Storrs McCall's Tree of The Universe and Counterfactuals شجرة الكون وقضايا مناقضة الواقع عند ستورس مكال.Salah Osman - 1999 - Journal of the Faculty of Arts, Menoufia University 2956-2090 39:83 – 128.
    لم يكن العلم يومًا غريبًا عن الفلسفة، بل لقد أدت العلاقة الجدلية المستمرة بينهما إلى مزيد من المصداقية والقبول لبعض النماذج التفسيرية، سواء منها ما كان في الأصل نموذجًا فلسفيًا ثم وجد دعمًا علميًا – كنموذج الذرات والفـراغ عند «ديمرقــريطس» وتبنى النظرية الذرية الحديثة لإطاره العام – أو ما كان منها نموذجًا علميًا تم تداوله فلسفيًا – كنموذج النقاط المادية المتجاذبة عند »نيوتن« وتبنى معظم فلاسفة الحقبة الحديثة له. وفي هذا المقال يهتم الدكتور صلاح عثمان بمناقشة نموذج شجرة الكون لفيلسوف (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  22. added 2017-12-20
    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  
  23. added 2017-08-13
    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) and of the authors' temporal (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  24. added 2017-08-13
    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.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  25. added 2017-04-11
    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 (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  26. added 2017-03-15
    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   3 citations  
  27. added 2017-02-20
    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  
  28. added 2016-11-05
    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  
    Translate
     
     
    Export citation  
     
    Bookmark  
  29. added 2016-11-04
    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   2 citations  
  30. added 2016-09-21
    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  
  31. added 2016-09-05
    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   2 citations  
  32. added 2015-11-08
    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   5 citations  
  33. added 2015-08-25
    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   1 citation  
  34. added 2015-04-07
    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  
  35. added 2015-03-23
    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  
  36. added 2015-02-08
    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 that way with (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  37. added 2014-10-08
    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   10 citations  
  38. added 2014-04-01
    Truth and Collective Truth.Gilbert Plumer - 1996 - Dialectica 50 (1):3-24.
    The paper argues for the applicability of the notion of collective truth as opposed to distributive truth, that is, truth at times or possibilia taken in groups rather than individually. The underlying reasoning is that there are transtemporal and transworld relationships, e.g., those involving the relations of <being a descendant of> and <thinking about>. Relationships are (one type of) truth-makers. Hence, there are transtemporal and transworld truth-makers. Therefore, there is transtemporal and transworld truth, i.e., collective truth. A semantics is developed (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  39. added 2013-01-11
    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   10 citations  
  40. added 2012-10-26
    Chrysippus' Modal Logic and Its Relation to Philo and Diodorus.Susanne Bobzien - 1993 - In K. Doering & Th Ebert (eds.), Dialektiker und Stoiker. Franz Steiner. pp. 63--84.
    ABSTRACT: The modal systems of the Stoic logician Chrysippus and the two Hellenistic logicians Philo and Diodorus Cronus have survived in a fragmentary state in several sources. From these it is clear that Chrysippus was acquainted with Philo’s and Diodorus’ modal notions, and also that he developed his own in contrast of Diodorus’ and in some way incorporated Philo’s. The goal of this paper is to reconstruct the three modal systems, including their modal definitions and modal theorems, and to make (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  41. added 2012-05-13
    The Paradox of the Present.Narve Strand - 2000 - Opuscula 2:39-55.
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  42. added 2011-11-23
    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   9 citations