Future Contingents. Indeterminism, Temporal Logic and Semantics

This essay is about the problem of future contingents, that is, statements predicting future events that are neither historically impossible, nor inevitable. The analysis intersects metaphysics, logic, philosophy of language and philosophy of science. In particular, the essay explores why indeterminism – viz., the doctrine that the present, the past, and the laws of nature do not necessitate the future – may be taken as a sensible thesis. Furthermore, several semantics for indeterministic, modal temporal languages will be considered. It is argued that the modal, temporal logic that best fits indeterminism is a version that mirrors the so-called TRL metaphysics. The advocates of the TRL metaphysics, indeed, can evoke a substantive notion of actuality to tell themselves apart from determinist, many worlds theorists. And the notion of substantive actuality assumed by TRL theorists may be easily reflected at the (post)semantic level, yield- ing a temporal logic which meets several desiderata.

Il saggio affronta il problema dei futuri contingenti, ovvero di quegli enunciati che predicono eventi futuri nè storicamente impossibili, nè inevitabili. L'analisi interseca la metafisica, la logica, la filosofia del linguaggio e la filosofia della scienza. In particolare, nel saggio si avanzano ragioni per ritenere che l'indeterminismo - la tesi secondo cui il presente e il passato, insieme alle leggi di natura, non necessitano il futuro - sia plausibile. Si analizzano diverse semantiche per linguaggi tempo-modali, argomentando che la logica tempo-modale che meglio si adatta all'indeterminismo è una variante della così detta metafisica TRL. I sostenitori della metafisica TRL, infatti, possono evocare una nozione di attualità sostanziale per distinguersi da altre forme di determinismo a molti mondi. La nozione di attualità sostantiva può inoltre essere facilmente riflessa in semantica, generando una logica temporale che soddisfa diversi desiderata.