COMP entraîne SUP-COMP

On doit d'abord se convaincre, avec l'hypothèse computationnelle, que si la thèse de supervénience physique SUP-PHYS est fausse, on est forcé d'admettre la thèse de supervénience computationnelle $SUP-COMP\; :$

Proposition 3 COMP + ~SUB-PHYS => SUP-COMP

Cela n'est pas aussi évident que cela en a peut-être l'air. Il est en effet possible d'affaiblir considérablement la notion de supervénience physique --avec des notions de types d'état physique (et les relations de proximités éventuelles)-- sans pour autant aboutir à la supervénience computationnelle. Mais avec l'hypothèse du computationnalisme, il est évident que ces notions de supervéniences physiques faibles sont des cas particuliers de supervéniences computationnelles, puisqu'on survit, par hypothèse, à la capture computationnelle de ces types physiques.