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:

401 found
Order:
1 — 50 / 401
  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 (2 more)  
     
    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. Possibility Semantics.Wesley H. Holliday - forthcoming - In Melvin Fitting (ed.), Selected Topics from Contemporary Logics. London: College Publications.
    In traditional semantics for classical logic and its extensions, such as modal logic, propositions are interpreted as subsets of a set, as in discrete duality, or as clopen sets of a Stone space, as in topological duality. A point in such a set can be viewed as a "possible world," with the key property of a world being primeness—a world makes a disjunction true only if it makes one of the disjuncts true—which classically implies totality—for each proposition, a world either (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  7. 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  
  8. Temporal Logic.Temporal Logic - forthcoming - Stanford Encyclopedia of Philosophy.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  9. A Separation Theorem for Discrete-Time Interval Temporal Logic.Dimitar P. Guelev & Ben Moszkowski - 2022 - Journal of Applied Non-Classical Logics 32 (1):28-54.
    Gabbay's separation theorem about linear temporal logic with past has proved to be one of the most useful theoretical results in temporal logic. In this paper, we establish an analogous statement a...
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  10. Temporal Logic of Minkowski Spacetime.Robin Hirsch & Brett McLean - 2022 - In Ivo Düntsch & Edwin Mares (eds.), Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs. Springer Verlag. pp. 389-409.
    We present the proof that the temporal logic of two-dimensional Minkowski spacetime is decidable, PSPACE-complete. The proof is based on a type of two-dimensional mosaic. Then, we present the modification of the proof so as to work for slower-than-light signals. Finally, a subframe of the slower-than-light Minkowski frame is used to prove the new result that the temporal logic of real intervals with during as the accessibility relation is also PSPACE-complete.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  11. Satisfiability, Lattices, Temporal Logic and Constraint Logic Programming on Intervals.André Vellino - 2022 - In Ivo Düntsch & Edwin Mares (eds.), Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs. Springer Verlag. pp. 521-536.
    This essay narrates some of the influences that Alasdair Urquhart has had on computer science at the intersection of automated theorem proving, temporal logic and lattice theory—topics that have no obvious relationship to one another. I illustrate this by showing how Allen’s temporal relations are represented in a system for constraint logic programming over intervals and how the combination of a linear-resolution theorem prover and an interval constraint satisfaction system are connected via a lattice-theoretical semantic model. I also speculate on (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  12. Branching Time and Doomsday.Giacomo Andreoletti - 2021 - Ratio 35 (on-line first):1-12.
    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   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  13. 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   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14. 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   1 citation  
  15. Credible Futures.Andrea Iacona & Samuele Iaquinto - 2021 - Synthese (3-4):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   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  16. Discrete Linear Temporal Logic with Knowing-Value Operator.Kaiyang Lin - 2021 - In Sujata Ghosh & Thomas Icard (eds.), Logic, Rationality, and Interaction: 8th International Workshop, Lori 2021, Xi’an, China, October 16–18, 2021, Proceedings. Springer Verlag. pp. 141-148.
    In epistemic logic we are not only interested in the propositional knowledge expressed by “knowing that” operators, but also care about other types of knowledge used in natural language. In [1], Plaza proposed the “knowing value” operators and gave the complete axiomatization for the logic of knowledge with nonrigid designators. Moreover, in [2] Halpern and colleagues holds that, when analyzing a system in terms of knowledge, not only is the current state of knowledge of the agents in the system relevant, (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  17. Social Bot Detection as a Temporal Logic Model Checking Problem.Mina Young Pedersen, Marija Slavkovik & Sonja Smets - 2021 - In Sujata Ghosh & Thomas Icard (eds.), Logic, Rationality, and Interaction: 8th International Workshop, Lori 2021, Xi’an, China, October 16–18, 2021, Proceedings. Springer Verlag. pp. 158-173.
    Software-controlled bots, also called social bots, are computer programs that act like human users on social media platforms. Recent work on detection of social bots is dominated by machine learning approaches. In this paper we explore bot detection as a model checking problem. We introduce Temporal Network Logic which we use to specify social networks where agents can post and follow each other. In this logic we formalize different types of social bot behavior. These are formulas that are satisfied in (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  18. Philosophy of Time: A Contemporary Introduction.Sean Enda Power - 2021 - 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 (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19. Tense Logic and Ontology of Time.Avril Styrman - 2021 - Proceedings of the Joint Ontology Workshops 2021 Episode VII: The Bolzano Summer of Knowledge Co-Located with the 12th International Conference on Formal Ontology in Information Systems (FOIS 2021), and the 12th International Conference on Biomedical Onto.
    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   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20. 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   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  21. 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 (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  22. 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   1 citation  
  23. 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   1 citation  
  24. 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 (2 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  25. The Invisible Thin Red Line.Giuliano Torrengo & Samuele Iaquinto - 2020 - Pacific Philosophical Quarterly 101 (3):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 (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  26. 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  
  27. 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  
  28. 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   5 citations  
  29. 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  
  30. 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 (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  31. 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   2 citations  
  32. 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  
  33. 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  
  34. 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  
  35. 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  
  36. 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  
  37. 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 (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  38. 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  
  39. 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   4 citations  
  40. 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 (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  41. 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  
  42. 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  
  43. 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  
  44. 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  
  45. 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   5 citations  
  46. 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  
  47. 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  
  48. 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   3 citations  
  49. 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  
  50. 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  
1 — 50 / 401