Supposons que, juste avant un tir « à pile ou face », je fasse la pré-diction suivante : « la pièce tombera sur pile ». Cette prédiction est-elle vraie, fausse ou ni vraie ni fausse ? En logique temporelle contemporaine, il y a trois grandes réponses à cette question : la réponse aristotélicienne, la réponse peircéenne et la réponse ockhamiste. Mon exposé portera sur une forme d'ockhamisme, l'actualisme, selon laquelle la prédiction est vraie si la pièce tombe sur pile dans le futur actuel.

more »

... proche actualiste n'est pas très populaire en ce moment. Son impopularité est due, en grande partie, aux objections philosophiques et formelles que lui ont adressées Nuel Belnap et Mitchell Green dans « Indeterminism and the Thin Red Line 1 ». Au niveau philosophique, l'actualisme leur semble problématique princi-palement parce que l'existence d'un futur actuel n'a pas de base concrète au moment de la prédiction. Au niveau formel, ils ont montré que les modèles actualistes invalident un principe important : s'il est le cas que p alors il fut le cas qu'il sera le cas que p (p-› PFp). Le but de ma présenta-tion est de revenir sur ces deux objections. Je ferai valoir que l'argument philosophique n'est pas décisif et je présenterai un modèle actualiste qui valide p-› PFp.