View topic on PhilPapers for more information
Related categories

34 found
Order:
More results on PhilPapers
  1. added 2018-10-14
    Fatalism and Future Contingents.Giacomo Andreoletti - forthcoming - Analytic Philosophy: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  
  2. 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   3 citations  
  3. 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  
  4. 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  
  5. 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  
  6. 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   16 citations  
  7. 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  
  8. 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   2 citations  
  9. 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   5 citations  
  10. 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  
  11. 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  
  12. added 2018-02-21
    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 Time -/- Christina Schneider, Monads, (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  13. 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  
  14. 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  
  15. 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  
  16. 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   1 citation  
  17. 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  
  18. 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  
  19. 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  
  20. 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  
  21. 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  
  22. 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  
  23. 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   1 citation  
  24. 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   3 citations  
  25. 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  
  26. 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  
  27. 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  
  28. 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  
  29. 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   9 citations  
  30. 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  
  31. 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   7 citations  
  32. 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  
  33. 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  
  34. 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   7 citations