La logique formelle est intemporelle, et c'est pourtant sur la logique que sont construites les notions de déterminisme et de causalité. Quand on dit qu'un évènement A est la cause d'un évènement B, on postule que A est antérieur à B, et on assimile l'enchaînement des deux évènements au lien logique  A => B. Or, l'implication logique est dé-corrélée de tout ordre dans le temps. On peut d'ailleurs facilement trouver des exemples ou A => B et où B précède A, par exemple: "si vous lisez ce texte (A), c'est que quelqu'un l'a écrit (B)".  Au nom d'une incertitude indissociable du futur, on peut même argumenter que l'implication formelle entre A et B impose l'antériorité de B sur A, ce qui est à l'exact opposé de l'ordre nécessaire à la causalité. L'amalgame entre l'implication logique et la causalité est donc problématique. Plus généralement, il me semble intéressant d'explorer la rencontre (le télescopage) entre la logique formelle et la relation d'ordre associée à la notion de temps.

Je suis donc demandeur de contacts avec des spécialistes de logique formelle.