next up previous contents
Next: Le graphe filmé: COMP Up: L'éliminination de l'hypothèse extravagante Previous: L'éliminination de l'hypothèse extravagante

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.
next up previous contents
Next: Le graphe filmé: COMP Up: L'éliminination de l'hypothèse extravagante Previous: L'éliminination de l'hypothèse extravagante

Bruno Marchal
Thu Apr 1 00:14:24 CEST 1999