Verità e giustificazione degli asserti temporali

Il rapporto tra verità e temporalità, discusso dai pensatori antichi e medievali, è tornato centrale nell’indagine logica solo negli ultimi decenni, dopo essere stato a lungo eclissato dalla volontà di "detemporalizzare" lo studio del ragionamento formale. In queste pagine cercheremo di analizzare alcuni aspetti logici e filosofici della questione, organizzando il lavoro in tre parti. La prima parte è dedicata al trattamento di elementari nozioni di tempo nei sistemi formali, con particolare attenzione per le proposte avanzate alla metà del secolo scorso da Arthur Norman Prior. La seconda parte riguarda alcuni problemi dovuti all’uso di una semantica bivalente per gli asserti temporali: l’esigenza di chiarificare la teoria corrispondentista della verità e il superamento dello scoglio del determinismo. Nella terza parte, infine, ci concentreremo su approcci semantici alternativi: le logiche a più valori (Łukasiewicz, Prior), il metodo delle supervalutazioni (Thomason, Van Fraassen) e le idee giustificazioniste (Dummett). Vedremo che questi approcci forniscono spunti interessanti per un trattamento unitario delle nozioni temporali e modali.

The relationship between truth and temporality, discussed by ancient and medieval thinkers, has returned to the centre of logical research only in the last few decades, after having been long removed from efforts to “de-temporalise” the study of formal argumentation. In these pages we will attempt to analyse some logical and philosophical aspects of the topic, dividing the work into three parts. The first part is devoted to the treatment of elementary notions of time in formal systems, with particular attention to Arthur Norman Prior's mid-century proposals. The second part deals with some problems arising from the use of a bivalent semantics for temporal statements: the need to clarify the corresponding theory of truth and to overcome the stumbling block of determinism. Finally, in the third part, we will focus on alternative semantic approaches: multivariate logics (Łukasiewicz, Prior), the method of supervaluations (Thomason, Van Fraassen) and justification theoretic ideas (Dummett). We will see that these approaches offer interesting insights into a unified treatment of temporal and modal concepts.