This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related categories
Siblings:

375 found
Order:
1 — 50 / 375
  1. Temporal Location of Events in Language and (Non) Persistence of the Past.Fabio Del Prete - manuscript
    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   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2. 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   Direct download  
     
    Export citation  
     
    Bookmark  
  3. 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   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4. L. Farinas and E. ORLOWSKA, Preface 115 P. WOLPER, The Tableau Method for Temporal Logic: An Over-View 119 M. MICHEL, Computation of Temporal Operators 137. [REVIEW]L. Farinas del Cerro - forthcoming - Logique Et Analyse.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  5. Meyer’s Struggle with Presentism or How We Can Understand the Debate Between Presentism and Eternalism.Jerzy Gołosz - forthcoming - Logic and Logical Philosophy:1.
    The paper consists of two parts. The first critically analyses Meyer’s [2005] version of the triviality objection to presentism (according to which, presentism is either trivial or untenable), and tries to show that his argument is untenable because – contrary to what he claimed – he did not take into account the entire possible spectrum of interpretations of the presentist’s thesis. In the second, positive part of the paper, it is shown that a leading form of tensed theory of time (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6. Syntactic Proofs for Yablo’s Paradoxes in Temporal Logic.Ahmad Karimi - forthcoming - Logic and Logical Philosophy:1.
    Temporal logic is of importance in theoretical computer science for its application in formal verification, to state requirements of hardware or software systems. Linear temporal logic is an appropriate logical environment to formalize Yablo’s paradox which is seemingly non-self-referential and basically has a sequential structure. We give a brief review of Yablo’s paradox and its various versions. Formalization of these paradoxes yields some theorems in Linear Temporal Logic (LTL) for which we give syntactic proofs using an appropriate axiomatization of LTL.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7. Temporal Logic.Temporal Logic - forthcoming - Stanford Encyclopedia of Philosophy.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  8. Philosophy of Time A Contemporary Introduction.Sean Enda Power - forthcoming - Routledge.
    As a growing area of research, the philosophy of time is increasingly relevant to different areas of philosophy and even other disciplines. This book describes and evaluates the most important debates in philosophy of time, under several subject areas: metaphysics, epistemology, physics, philosophy of language, philosophy of mind, cognitive science, rationality, and art. -/- Questions this book investigates include: Can we know what time really is? Is time possible, especially given modern physics? Must there be time because we cannot think (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  9. The Open Future: Why Future Contingents Are All False.Patrick Todd - forthcoming - Oxford: Oxford University Press.
    In The Open Future: Why Future Contingents are all False, Patrick Todd launches a sustained defense of a radical interpretation of the doctrine of the open future, one according to which all claims about undetermined aspects of the future are simply false. Todd argues that this theory is metaphysically more parsimonious than its rivals, and that objections to its logical and practical coherence are much overblown. Todd shows how proponents of this view can maintain classical logic, and argues that the (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  10. An Algebraic Study of Tense Operators on Nelson Algebras.A. V. Figallo, G. Pelaitay & J. Sarmiento - 2021 - Studia Logica 109 (2):285-312.
    Ewald considered tense operators G, H, F and P on intuitionistic propositional calculus and constructed an intuitionistic tense logic system called IKt. In 2014, Figallo and Pelaitay introduced the variety IKt of IKt-algebras and proved that the IKt system has IKt-algebras as algebraic counterpart. In this paper, we introduce and study the variety of tense Nelson algebras. First, we give some examples and we prove some properties. Next, we associate an IKt-algebra to each tense Nelson algebras. This result allowed us (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11. 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   Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  12. 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   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13. The Formalities of Temporaryism Without Presentness.Fabrice Correia & Sven Rosenkranz - 2020 - Notre Dame Journal of Formal Logic 61 (2):181-202.
    Temporaryism—the view that not always everything always exists—comes in two main versions: presentism and expansionism. Both versions of the view are commonly formulated using the notion of being present, which we, among others, find problematic. Expansionism is also sometimes accused of requiring extraordinary conceptual tools for its formulation. In this paper, we put forward systematic characterizations of presentism and expansionism which involve neither the notion of being present nor unfamiliar conceptual tools. These characterizations are full-blown logics, each logic comprising an (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14. Diamonds Are Forever.Cian Dorr & Jeremy Goodman - 2020 - 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   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  15. 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   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  16. A Formal Framework for Future Contingents.Tero Tulenheimo - 2020 - Filosofiska Notiser 7 (1):79-136.
    In this article, I present a formal semantic framework that renders explicit how to reconcile the condition that a proposition about a contingent future event is true at a moment t0 with the idea that at t0, this proposition is ‘truth-maker indeterminate’: a state of affairs making it true will obtain later on, though no such state of affairs obtains at t0. The semantics I formulate employs ‘open temporal models’. They represent the passage of time by a specific component termed (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  17. The Truth of Future Contingents: An Analysis of Truth-Maker Indeterminacy.Tero Tulenheimo - 2020 - Filosofiska Notiser 7 (1):53-77.
    I argue that the semantics of sentences expressing future contingent propositions is best viewed as being based on a clear distinction between a time at which a proposition is true and a time at which a state of affairs that makes it true gets actualized. That a prediction is true here and now means that its truth-maker gets actualized later. This is not to say that if a contingent proposition p concerning the future is true at t, it acquires the (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  18. Back to the actual future.Jacek Wawer & Alex Malpass - 2020 - Synthese 197 (5):2193-2213.
    The purpose of the paper is to rethink the role of actuality in the branching model of possibilities. We investigate the idea that the model should be enriched with an additional factor—the so-called Thin Red Line—which is supposed to represent the single possible course of events that gets actualized in time. We believe that this idea was often misconceived which prompted some unfortunate reactions. On the one hand, it suggested problematic semantic models of future tense and and on the other, (...)
    Remove from this list   Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  19. Proof Vs Provability: On Brouwer’s Time Problem.Palle Yourgrau - 2020 - History and Philosophy of Logic 41 (2):140-153.
    Is a mathematical theorem proved because provable, or provable because proved? If Brouwer’s intuitionism is accepted, we’re committed, it seems, to the latter, which is highly problematic. Or so I will argue. This and other consequences of Brouwer’s attempt to found mathematics on the intuition of a move of time have heretofore been insufficiently appreciated. Whereas the mathematical anomalies of intuitionism have received enormous attention, too little time, I’ll try to show, has been devoted to some of the temporal anomalies (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  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   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  21. Complete Additivity and Modal Incompleteness.Wesley H. Holliday & Tadeusz Litak - 2019 - Review of Symbolic Logic 12 (3):487-535.
    In this article, we tell a story about incompleteness in modal logic. The story weaves together an article of van Benthem, “Syntactic aspects of modal incompleteness theorems,” and a longstanding open question: whether every normal modal logic can be characterized by a class of completely additive modal algebras, or as we call them, ${\cal V}$-baos. Using a first-order reformulation of the property of complete additivity, we prove that the modal logic that starred in van Benthem’s article resolves the open question (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22. Cut Elimination in Hypersequent Calculus for Some Logics of Linear Time.Andrzej Indrzejczak - 2019 - Review of Symbolic Logic 12 (4):806-822.
    This is a sequel article to [10] where a hypersequent calculus for some temporal logics of linear frames includingKt4.3and its extensions for dense and serial flow of time was investigated in detail. A distinctive feature of this approach is that hypersequents are noncommutative, i.e., they are finite lists of sequents in contrast to other hypersequent approaches using sets or multisets. Such a system in [10] was proved to be cut-free HC formalization of respective logics by means of semantical argument. In (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  23. The Mereotopology of Time.Claudio Mazzola - 2019 - Notre Dame Journal of Formal Logic 60 (2):215-252.
    Mereotopology is the discipline obtained from combining topology with the formal study of parts and their relation to wholes, or mereology. This article develops a mereotopological theory of time, illustrating how different temporal topologies can be effectively discriminated on this basis. Specifically, we demonstrate how the three principal types of temporal models—namely, the linear ones, the forking ones, and the circular ones—can be characterized by differently combining two sole mereotopological constraints: one to denote the absence of closed loops, and the (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  24. First-Order Definability of Transition Structures.Antje Rumberg & Alberto Zanardo - 2019 - Journal of Logic, Language and Information 28 (3):459-488.
    The transition semantics presented in Rumberg (J Log Lang Inf 25(1):77–108, 2016a) constitutes a fine-grained framework for modeling the interrelation of modality and time in branching time structures. In that framework, sentences of the transition language L_t are evaluated on transition structures at pairs consisting of a moment and a set of transitions. In this paper, we provide a class of first-order definable Kripke structures that preserves L_t-validity w.r.t. transition structures. As a consequence, for a certain fragment of L_t, validity (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  25. 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   Direct download  
     
    Export citation  
     
    Bookmark  
  26. 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   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  27. 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   Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  28. Towards a Formal Symbolic Occurrence Logic.Farshad Badie - 2018 - In Hans Götzsche (ed.), The Meaning of Language. Newcastle-under-Lyme, UK: Cambridge Scholars.
    In this research I will focus on a basis for a formal model based on an alternative kind of logic invented by Hans Götzsche: Occurrence Logic (Occ Log), which is not based on truth values and truth functionality. Also, I have taken into account tense logic developed and elaborated by A. N. Prior. In this article I will provide a conceptual and logical foundation for formal Occurrence Logic based on symbolic logic and will illustrate the most important relations between symbolic (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  29. 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   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  30. Filosofia del Futuro.Samuele Iaquinto & Giuliano Torrengo - 2018 - Milano: Raffaello Cortina.
    Scopo del volume è offrire un’introduzione accessibile e rigorosa ai più recenti sviluppi di una fondamentale branca della filosofia del tempo: la filosofia del futuro. Vengono presentate e discusse alcune delle domande chiave del dibattito contemporaneo, ad esempio: il futuro è già scritto o esistono molti cammini alternativi che il tempo è in grado di imboccare? "Esistere" significa semplicemente essere presenti o ci sono veri e propri oggetti futuri? Siamo davvero liberi di scegliere quali azioni compiere e di modificare il (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  31. 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   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  32. Notions of Instrumentality in Agency Logic.Kees van Berkel & Matteo Pascucci - 2018 - In T. Miller, O. Nir, Y. Sakurai, I. Noda, B. T. R. Savarimuthu & S. Tran (eds.), PRIMA 2018: Principles and Practice of Multi-Agent Systems. Springer. pp. 403-419.
    We present a logic of agency called LAE whose language includes propositional constants for actions and expectations. The logic is based on Von Wright’s theory of agency in general and his analysis of instrumentality in particular. An axiomatization of the logic, including an independence of agents axiom, is provided and soundness and completeness are shown with respect to its intended class of frames. The framework of LAE will allow us to formally define a manifold of concepts involved in agency theories, (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  33. Some Problems with the Russellian Open Future.Jacek Wawer - 2018 - Acta Analytica 33 (4):413-425.
    In a recently published paper, Patrick Todd (2016, 'Future contingents are all false! On behalf of a Russellian open future') advocates a novel treatment of future contingents. On his view, all statements concerning the contingent future are false. He motivates his semantic postulates by considerations in philosophy of time and modality, in particular by the claim that there is no actual future. I present a number of highly controversial consequences of Todd’s theory. Inadequacy of his semantics might indirectly serve as (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34. Temporal Equilibrium Logic with Past Operators.Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez & Concepción Vidal - 2017 - Journal of Applied Non-Classical Logics 27 (3-4):161-177.
    In this paper, we study the introduction of modal past temporal operators in Temporal Equilibrium Logic, an hybrid formalism that mixes linear-time modalities and logic programs interpreted under stable models and their characterisation in terms of Equilibrium Logic. We show that Kamp’s translation can also be used to translate the new extension of TEL with past operators into Quantified Equilibrium Logic. Additionally, we provide a method for removing past operators that consists in replacing past-time subformulas by fresh auxiliary atoms, obtaining (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35. On the Modal Logic of Subset and Superset: Tense Logic Over Medvedev Frames.Wesley Holliday - 2017 - Studia Logica 105 (1):13-35.
    Viewing the language of modal logic as a language for describing directed graphs, a natural type of directed graph to study modally is one where the nodes are sets and the edge relation is the subset or superset relation. A well-known example from the literature on intuitionistic logic is the class of Medvedev frames $\langle W,R\rangle$ where $W$ is the set of nonempty subsets of some nonempty finite set $S$, and $xRy$ iff $x\supseteq y$, or more liberally, where $\langle W,R\rangle$ (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  36. The Truth About Osmo.E. J. M. Marques - 2017 - Logic and Philosophy of Time: Themes From Prior, Volume 1.
    (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37. 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   Direct download (7 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  38. 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   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  39. Partial and Paraconsistent Approaches to Future Contingents in Tense Logic.Seiki Akama, Tetsuya Murai & Yasuo Kudo - 2016 - Synthese 193 (11).
    The problem of future contingents is regarded as an important philosophical problem in connection with determinism and it should be treated by tense logic. Prior’s early work focused on the problem, and later Prior studied branching-time tense logic which was invented by Kripke. However, Prior’s idea to use three-valued logic for the problem seems to be still alive. In this paper, we consider partial and paraconsistent approaches to the problem of future contingents. These approaches theoretically meet Aristotle’s interpretation of future (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40. The Problem of Coincidence in a Theory of Temporal Multiple Recurrence.B. O. Akinkunmi - 2016 - Journal of Applied Logic 15:46-68.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  41. Reichenbach, Prior and Hybrid Tense Logic.Patrick Blackburn & Klaus Frovin Jørgensen - 2016 - Synthese 193 (11):3677-3689.
    In this paper we argue that Prior and Reichenbach are best viewed as allies, not antagonists. We do so by combining the central insights of Prior and Reichenbach in the framework of hybrid tense logic. This overcomes a well-known defect of Reichenbach’s tense schema, namely that it gives multiple representations to sentences in the future perfect and the future-in-the-past. It also makes it easy to define an iterative schema for tense that allows for multiple points of reference, a possibility noted (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  42. Prior on the Semantics of Modal and Tense Logic.M. Cresswell - 2016 - Synthese 193 (11).
    In celebrating Arthur Prior we celebrate what he gave to the world. Much of this is measured by what others have made of his ideas after his death. The focus of this paper is a little different. It looks at what Prior himself thought he was accomplishing. In particular it considers Prior’s attitude to the semantic metatheory of the logics that he was interested in. The paper sets out some characteristics of the metalogical study of intensional languages in terms of (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  43. 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   Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  44. 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   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  45. Between Ockhamism and the Thin Red Line.Alex Peter Malpass - 2016 - Diametros 48:55-70.
    In this paper we will put forward a novel semantics for future contingents. The idea behind the semantics is to be a compromise position between the ‘Ockhamist’ semantics, first put forward by Prior [1966], Thomason [1970] etc., and a version of the Thin Red Line semantics recently proposed by Malpass and Wawer [2012]. The new position is able to represent alternative possibilities in two different ways, as actual or counterfactual, which corresponds to a similar distinction in two-dimensional semantics between the (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46. 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   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  47. Transition Semantics for Branching Time.Antje Rumberg - 2016 - Journal of Logic, Language and Information 25 (1):77-108.
    In this paper we develop a novel propositional semantics based on the framework of branching time. The basic idea is to replace the moment-history pairs employed as parameters of truth in the standard Ockhamist semantics by pairs consisting of a moment and a consistent, downward closed set of so-called transitions. Whereas histories represent complete possible courses of events, sets of transitions can represent incomplete parts thereof as well. Each transition captures one of the alternative immediate future possibilities open at a (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  48. 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   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  49. 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   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  50. The Logic of Where and While in the 13th and 14th Centuries.Sara Uckelman - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 535-550.
    Medieval analyses of molecular propositions include many non-truthfunctional connectives in addition to the standard modern binary connectives (conjunction, disjunction, and conditional). Two types of non-truthfunctional molecular propositions considered by a number of 13th- and 14th-century authors are temporal and local propositions, which combine atomic propositions with `while' and `where'. Despite modern interest in the historical roots of temporal and tense logic, medieval analyses of `while' propositions are rarely discussed in modern literature, and analyses of `where' propositions are almost completely overlooked. (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 375