On 28 Jan 2009, at 21:25, Quentin Anciaux wrote:
>
>
> 2009/1/28 Bruno Marchal <marchal.domain.name.hidden>
>
>
> Hi Quentin,
>
> > I was thinking about the movie graph and its conclusions. It
> > concludes that it is absurd for the connsciousness to supervene on
> > the movie hence physical supervenience is false.
>
>
> OK. It is a reductio ad absurdo. It assumes that consciousness
> supervenes on the physical activity of a brain (Phys. Sup.), it shows
> that it leads to the fact that consciousness suoervenes on a movie
> "qua computatio", and this is considered as an absurdity, and so it
> concludes that Phys. Sup is false.
>
>
> >
> >
> > But if I simulate the graph with a program, and having for exemple
> > each gates represented by a function like "out = f(in)" each
> > functions of the simulated graph is in a library which is loaded
> > dynamically. I can record a run and then on new run I can
> > selectively replace each libraries/functions by another one with the
> > same function contract but which instead of computing the out value,
> > it takes the value from the record. I can do it like in the movie
> > graph for each gates/functions.
> >
> > Then it seems that means in the end the consciousness has to
> > supervene on the record...
>
> Why? Consciousness supervenes on the computation(s), not on his
> physical implementation, be it with record or with the original
> modules.
>
>
> > then it is the same conclusion than for physical supervenience. What
> > is wrong ?
>
> The physical supervenience. Consciousness does not supervene on any
> implementation "in particular" of a computation. It supervenes on all
> (immaterial) computations going through the (relevant) states. This is
> in Platonia.
>
> Tell me if I miss something, but it seems to me there is no problem
> here. It is just, again, a problem if you believe in some physical
> supervenience.
>
> Best,
>
> Bruno
>
> The problem I see is that the movie graph is used to show that phys-
> sup is wrong (having as condition that I know consciousness is
> turing-emulable, as we have a "conscious" graph which is the
> physical implementation), the argument shows that consciousness does
> not supervene on this physical implementation because we should be
> forced to accept it also supervene upon broken graph + movie. But
> what I think with my exemple is that it does not supervene on the
> particular simulation of the functionnal graph nor does it supervene
> on the non-functionnal lookup record sumulation of the graph.
>
> I understand the thing is that it supervene on all computations not
> a particular computation... but I don't see how then movie graph
> rules out phys sup and not any kind of supervenience.
Why would the movie graph rule out a notion of *computational*
supervenience. We can keep comp and abandon materialism. We can still
say yes to the digitalist doctor, by betting on our more probable
relative computational histories.
The absurdity with the movie graph is that it shows that associating
consciousness to the *physical* implementation leads us to attribute
consciousness to a description of a computation, and that is ridiculous.
(Well at least, once you understand what is a (mathematical)
computation, I think many are confused here, I will come back on this).
Computations and descriptions of computation are related, but differs
and are not of the same type, nor level. It is hard to be clearer
without going through computer science. Probably more in my next post
to Kim on the Seventh Step.
I am not really sure I get your "ruling out all kinds of supervenience".
Regards,
Bruno
http://iridia.ulb.ac.be/~marchal/
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups "Everything List" group.
To post to this group, send email to everything-list.domain.name.hidden
To unsubscribe from this group, send email to everything-list+unsubscribe.domain.name.hidden
For more options, visit this group at
http://groups.google.com/group/everything-list?hl=en
-~----------~----~----~----~------~----~------~--~---
Received on Thu Jan 29 2009 - 14:15:57 PST