Dans quelle mesure le calcul logique peut-il rendre compte de la temporalité en général et éclaircir plus particulièrement l'intuition du temps que décrivait Augustin dans ses Confessions ? L'objectif de cet article est de montrer que le système axiomatique du calcul classique des propositions,– dans la mesure où il peut, moyennant certaines conditions, être partiellement appliqué aux structures grammaticales indo-européennes exprimant la réalité du temps,– révèle que la conception augustinienne du temps élaborée dans les Confessions est inséparable de la structure grammaticale du latin dans laquelle elle est exprimée et des croyances théologiques de son auteur