Carlo Proietti: A paraconsistent approach to the future contingents problem

Forskarseminarium

Carlo Proietti:
A paraconsistent approach to the future contingents problem

Abstract: Supervaluationism holds that the future is undetermined, and as a consequence of this, statements about the future may be neither true nor false. Here we explore the novel and quite different view that the future is abundant: statements about the future do not lack truth-value, but may instead be glutty, that is both true and false. We will show that (1) the logic resulting from this ``abundance of the future'' is a non-adjunctive paraconsistent formalism based on subvaluations, which has the virtue that all classical laws are valid in it, while no formula like "A and not-A" is satisfiable (though both "A" and "not-A" may be true in a model); (2) The peculiar behaviour of abundant logical consequence has a meaningful interesting parallel in probability logic; (3) abundance preserves some important features of classical logic (that supervaluationism does not preserve) when it comes to express those important retrogradations of truth which are presupposed by the argument de praesenti ad praeteritum.