La supervénience computationnelle

La supervénience computationnelle (SUP-COMP) internalise d'office la physicalité et enlève directement toute capacité explicative à la notion d'univers concret. Elle associe en effet

la sensation de (ma douleur en l'espace-temps (X,T))

avec

un (type d') état computationnel relatif

L'espace-temps est internalisé au même titre que la douleur. Une version ``plus dynamique" de la supervénience computationnelle, associe

la sensation du (flux de ma douleur en l'espace-temps $$ (Delta\; X,\; Delta\; T)$)$

avec

un type d'histoire computationnelle relative

où un ``type d'histoire computationnelle relative" désigne une classe d'exécutions d'un programme (d'une machine) relativement à un ensemble d'environnements ``assez similaires". Ce qui est remarquable avec la supervénience computationnelle, c'est qu'un type computationnel, ou un type d'histoire computationnelle, trimbale avec lui les ``vérités contrefactuelles". La conscience n'est plus alors attachée à l'activité d'une machine concrète dans un environnement, mais au type (abstrait) d'activités possibles de cette machine dans un certain ensemble d'environnements.