Future Contingents. Indeterminism, Temporal Logic and Semantics

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.