According to a view that may be called actualism, future contingents are either true or false. Their truth or falsity depends on what happens in one among the many futures that are possible, namely, the actual future. This paper addresses the question of how actualism can be accommodated in a formal system, and suggests that three shared assumptions might hinder the way to an answer: the first is that a tree structure is needed, the second is that tensed are to be analyzed in terms of operators, the third is that actuality must be formally represented.

The Actual Future in Formal Semantics

IACONA, Andrea
2011-01-01

Abstract

According to a view that may be called actualism, future contingents are either true or false. Their truth or falsity depends on what happens in one among the many futures that are possible, namely, the actual future. This paper addresses the question of how actualism can be accommodated in a formal system, and suggests that three shared assumptions might hinder the way to an answer: the first is that a tree structure is needed, the second is that tensed are to be analyzed in terms of operators, the third is that actuality must be formally represented.
2011
Logica 2010
Hejnice
2010
The Logica Yearbook 2010
College Publications
103
111
9781848900387
A. Iacona
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/133664
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? 0
social impact