Switch to: References

Add citations

You must login to add citations.
  1. Assertions and future tense semantics.Ciro De Florio & Aldo Frigerio - 2021 - Synthese 199 (1-2):4729-4747.
    Non-bivalent semantics of the future tense assert that propositions regarding future contingents are neither true nor false. One of the most relevant non-bivalent semantics is supervaluationism :264–281, 1970; Thomason, in: Gabbay, Guenthner Handbook of philosophical logic, Springer, Berlin, 1984), which preserves important logical principles. Recently, non-bivalent semantics are under attack from some pragmatics arguments: these semantics would be incompatible with our practices of asserting future contingents and with the probability we ascribe to such assertions :251–271, 2014; Cariani and Santorio in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • 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, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  • Semantical Interpretations of the Temporal Logic Systems CL and Kb with the Gaps of Traditional Truth-values.Živilė Pabijutaitė - 2020 - Problemos 97:132-149.
    Over the past several decades, in the field of temporal logic there have been created a great number of semantical theories that provide different truth conditions for tensed propositions. In this article we deal with five non-bivalent semantical interpretations of the temporal logic systems CL and Kb : 1) Ł3 by J. Łukasiewicz; 2) K3 by S. C. Kleene; 3) Ockhamism by A. Prior; 4) supervaluationism by R. Thomason; 5) relativism by J. MacFarlane. The aim of this article is to (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
    		•
  • Fara’s Formula and the Supervaluational Thin Red Line.Alex Malpass - 2013 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 28 (2):267-282.
    Este artículo se centra en un argumento presentado por Fara (2010) en contra del supervaluacionismo en el contexto de la vaguedad. Muestro cómo dicho argumento es igualmente aplicable al supervaluacionismo de tiempo ramificado (presentado por primera vez por Thomason 1970), pero no a la semántica 'STRL' de Malpass y Wawer (2012), que está estrechamente relacionada.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Fara’s Formula and the Supervaluational Thin Red Line.Alex Malpass - 2013 - Theoria 28 (2):267-282.
    This paper establishes two facts. The first is that a recently presented problem for supervaluationism applies equally to the branching-time cousin of the theory. The second fact is that a new version of branching-time supervaluationism avoids this and related problems.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • A future for the thin red line.Alex Malpass & Jacek Wawer - 2012 - Synthese 188 (1):117-142.
    The thin red line ( TRL ) is a theory about the semantics of future-contingents. The central idea is that there is such a thing as the ‘actual future’, even in the presence of indeterminism. It is inspired by a famous solution to the problem of divine foreknowledge associated with William of Ockham, in which the freedom of agents is argued to be compatible with God’s omniscience. In the modern branching time setting, the theory of the TRL is widely regarded (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   30 citations  
  • A critical discussion of Prior’s philosophical and tense-logical analysis of the ideas of indeterminism and human freedom.Peter Øhrstrøm - 2019 - Synthese 196 (1):69-85.
    This paper is a critical discussion of A.N. Prior’s contribution to the modern understanding of indeterminism and human freedom of choice. Prior suggested that these ideas should be conceived in terms of his tense logic. It can be demonstrated that his approach provides an attractive formalization that makes it possible to discuss indeterminism and human freedom of choice in a very precise manner and in a broader metaphysical context. It is also argued that Prior’s development of this approach was closely (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • Alethic Openness and the Growing Block Theory of Time.Batoul Hodroj, Andrew J. Latham, Jordan Lee-Tory & Kristie Miller - 2022 - The Philosophical Quarterly 73 (2):532-556.
    Whatever its ultimate philosophical merits, it is often thought that the growing block theory presents an intuitive picture of reality that accords well with our pre-reflective or folk view of time, and of the past, present, and future. This is partly motivated by the idea that we find it intuitive that, in some sense, the future is open and the past closed, and that the growing block theory is particularly well suited to accommodate this being so. In this paper, we (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Why Aristotle’s Sea-Battle Argument is Valid.Michael Groneberg - 2013 - History of Philosophy & Logical Analysis 16 (1):331-345.
    The paper tries to demonstrate the validity of Aristotle’s sea-battle argument, which is still considered as invalid by many authors. The first part presents the usual reconstruction of Aristotle’s argument and the reason for its rejection. It presents the late antique adoption of the argument as valid and strong by Ammonios and Boethius as well as its modern defence. In the second part, the elements that together assure the validity of the argument are combined and cast in the form of (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
    		•
  • The Thin Red Line, Molinism, and the Flow of Time.Ciro De Florio & Aldo Frigerio - 2020 - Journal of Logic, Language and Information 29 (3):307-329.
    In addressing the problem of the compatibility of divine foreknowledge and human freedom, philosophers of religion encounter problems regarding the metaphysics and structure of time. Some models of temporal logic developed for completely independent reasons have proved especially appropriate for representing the temporal structure of the world as Molinism conceives it. In particular, some models of the Thin Red Line ) seem to imply that conditionals of freedom are true or false, as Molinists maintain. Noting the resemblance between Molinism and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Future contingents.Peter Øhrstrøm & Per Hasle - 2011 - Stanford Encyclopedia of Philosophy.
    Direct download  
     
    Export citation  
     
    Bookmark   24 citations