Ockhamistic logics and true futures of counterfactual moments

Braüner, Torben; Hasle, Per; Øhrstrøm, Peter

doi:10.1109/time.1998.674142

Cited by 7 publications

(17 citation statements)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Braüner et al 1998). As a result, they decided to reconsider the notion of the TRL in a way that accounts for predictions at arbitrary evaluation points of a model.…”

Section: The First Shots: Truth Values Outside the Trlmentioning

confidence: 99%

“…The generally accepted strategy was to draw a thin red line for every point of the model (cf. McKim and Davis 1976;Braüner et al 1998Braüner et al , 2000Barcellan and Zanardo 1999;Øhrstrøm 2009), but there were exceptions to this strategy (e.g. Malpass and Wawer 2012).…”

Section: Battle Lines Re-drawn: Trl Functionsmentioning

confidence: 99%

“…Some authors (e.g. Barcellan and Zanardo 1999;Braüner et al 1998) considered one additional and quite natural condition on TRL fcn , namely:…”

Section: Cautious Defense: Trl Fcn Allows Branchingmentioning

confidence: 99%

“…It means that all the moments in this history are in accord with respect to their choice of actual futures: 8m 2 h Ã TRL fcn ðmÞ ¼ h Ã . The history h * is called ''real'' by Barcellan and Zanardo (1999) and ''normal'' by Braüner et al (1998).…”

Section: Cautious Defense: Trl Fcn Allows Branchingmentioning

confidence: 99%

“…For sources of motivation of the TRL theory and arguments against the alternative proposals consult (McKim and Davis 1976;Øhrstrøm 1984, 2009Øhrstrøm and Hasle 1995;Braüner et al 1998Braüner et al , 2000Borghini and Giuliano 2011;Malpass and Wawer 2012).…”

Section: Introductionmentioning

confidence: 99%

See 4 more Smart Citations

The Truth About the Future

Wawer

2013

Erkenn

View full text Add to dashboard Cite

There is a long-standing disagreement among Branching-Time theorists. Even though they all believe that the branching representation accurately grasps the idea that the future, contrary to the past, is open, they argue whether this representation is compatible with the claim that one among many possible futures is distinguished-the single future that will come to be. This disagreement is paralleled in an argument about the bivalence of future contingents. The single, privileged future is often called the Thin Red Line. I reconstruct the history of the arguments for and against this idea. Then, I propose my own version of the Thin Red Line theory which is immune to the major objections found in the literature. I argue that the semantic disagreement is grounded in distinct metaphysical presuppositions. My solution is expressed in a conceptual framework proposed by John MacFarlane, who distinguishes semantics from postsemantics. I extend his distinction and introduce a new notion of presemantics to elucidate my idea.

show abstract

“…Braüner et al 1998). As a result, they decided to reconsider the notion of the TRL in a way that accounts for predictions at arbitrary evaluation points of a model.…”

Section: The First Shots: Truth Values Outside the Trlmentioning

confidence: 99%

Section: Battle Lines Re-drawn: Trl Functionsmentioning

confidence: 99%

“…Some authors (e.g. Barcellan and Zanardo 1999;Braüner et al 1998) considered one additional and quite natural condition on TRL fcn , namely:…”

Section: Cautious Defense: Trl Fcn Allows Branchingmentioning

confidence: 99%

Section: Cautious Defense: Trl Fcn Allows Branchingmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

The Truth About the Future

Wawer

2013

Erkenn

View full text Add to dashboard Cite

show abstract

The Thin Red Line, Molinism, and the Flow of Time

Florio

Frigerio

2019

J of Log Lang and Inf

View full text Add to dashboard Cite

Quantification over Sets of Possible Worlds in Branching-Time Semantics

Zanardo

2006

Stud Logica

View full text Add to dashboard Cite

Temporal logic is one of the many areas in which a possible world semantics is adopted. Prior's Ockhamist and Peircean semantics for branching-time, though, depart from the genuine Kripke semantics in that they involve a quanti¯cation over histories, which is a second-order quanti¯cation over sets of possible worlds. In the paper, variants of the original Prior's semantics will be considered and it will be shown that all of them can be viewed as ¯rst-order counterparts of the original semantics

show abstract

Ockhamistic logics and true futures of counterfactual moments

Cited by 7 publications

References 15 publications

The Truth About the Future

The Truth About the Future

The Thin Red Line, Molinism, and the Flow of Time

Quantification over Sets of Possible Worlds in Branching-Time Semantics

Contact Info

Product

Resources

About