Temps de la logique et temps de la physique

L'histoire du raisonnement sur le temps est pleine de paradoxes et d'énigmes, et la physique contemporaine ne fait pas exception. Les logiques en général, et plus en particulier les logiques temporelles, représentent un outil formel rigoureux pour résoudre ou clarifier des problèmes de ce genre. Dans ce qui suit, nous allons d'abord expliquer, du point de vue de la logique philosophique, qu'est-ce que c'est un paradoxe et ce qui compte comme sa solution. Ensuite, nous allons illustrer la formalisation d'Arthur Norman Prior du paradoxe des futurs contingents. Ensuite, nous nous concentrerons sur deux paradoxes modernes - le paradoxe des jumeaux et le paradoxe du voyage dans le temps - et montrerons comment une logique temporelle adéquate peut aider leur encadrement et leur compréhension.