Logique quantique : contrefactualité

Le graphe filmé montre que l'essence de la notion de ``causalité computationnelle" ou d'histoire computationnelle, repose sur la notion de contrefactualité. Un article d'Hardegree pourrait faire de l'argument du graphe filmé un raccourci entre le computationnalisme et la logique quantique comme squelette d'une phénoménologie de la matière. En effet Hardegree a découvert que l'``implication matérielle" (voir annexe C) de la logique quantique ``orthodoxe" (orthomodulaire, voir [Birkhoff and von Neumann, 1936, Mittelstaedt, 1978, Dalla Chiara, 1986]) peut être interprétée comme une conditionnelle contrefactuelle selon l'approche modale de Stalnaker [Hardegree, 1976, Stalnaker, 1984]. Ici, le concept syntactique clé est le concept de conditionnelle contrefactuelle. Le concept sémantique clé est celui de mondes suffisamment similaires.