Bruno wrote:
On 29 Apr 2009, at 00:25, Jesse Mazer wrote: and I think it's also the idea behind Maudlin's Olympia thought experiment as well. >Maudlin's Olympia, or the Movie Graph Argument are completely different. Those >are arguments showing that computationalism is incompatible with the physical >supervenience thesis. They show that consciousness are not related to any >physical activity at all. Together with UDA1-7, it shows that physics has to >be reduced to a theory of consciousness based on a purely mathematical (even >arithmetical) theory of computation, which exists by Church Thesis.The movie >graph argument was originally only a tool for explaining how difficult the >mind-body problem is, once we assume mechanism. OK, I hadn't been able to find Maudlin's paper online, but I finally located a pdf copy in a post from this list at http://www.mail-archive.com/[email protected]/msg07657.html ...now that I read it I see the argument is distinct from Chalmers' "Does a Rock Implement Every Finite-State Automaton", although they are thematically similar in that they both deal with difficulties in defining what it means for a given physical system to "implement" a given computation. Chalmers' idea was that the idea of a rock implementing every possible computer program could be avoided if we defined an "implementation" in terms of counterfactuals, but Maudlin argues that this contradicts the "supervenience thesis" which says that "the presence or absence of inert, causally isolated objects cannot effect the presence or absence of phenomenal states associated with a system", since two systems may have different counterfactual structures merely by virtue of an inert subsystem in one which *would have* become active if the initial state of the system had been slightly different. It seems to me that there might be ways of defining "causal structure" which don't depend on counterfactuals, though. One idea I had is that for any system which changes state in a lawlike way over time, all facts about events in the system's history can be represented as a collection of propositions, and then causal structure might be understood in terms of logical relations between propositions, given knowledge of the laws governing the system. As an example, if the system was a cellular automaton, one might have a collection of propositions like "cell 156 is colored black at time-step 36", and if you know the rules for how the cells are updated on each time-step, then knowing some subsets of propositions would allow you to deduce others (for example, if you have a set of propositions that tell you the states of all the cells surrounding cell 71 at time-step 106, in most cellular automata that would allow you to figure out the state of cell 71 at the subsequent time-step 107). If the laws of physics in our universe are deterministic than you should in principle be able to represent all facts about the state of the universe at all times as a giant (probably infinite) set of propositions as well, and given knowledge of the laws, knowing certain subsets of these propositions would allow you to deduce others. "Causal structure" could then be defined in terms of what logical relations hold between the propositions, given knowledge of the laws governing the system. Perhaps in one system you might find a set of four propositions A, B, C, D such that if you know the system's laws, you can see that A&B imply C, and D implies A, but no other proposition or group of propositions in this set of four are sufficient to deduce any of the others in this set. Then in another system you might find a set of four propositions X, Y, Z and W such that W&Z imply Y, and X implies W, but those are the only deductions you can make from within this set. In this case you can say these two different sets of four propositions represent instantiations of the same causal structure, since if you map W to A, Z to B, Y to C, and D to X then you can see an isomorphism in the logical relations. That's obviously a very simple causal structure involving only 4 events, but one might define much more complex causal structures and then check if there was any subset of events in a system's history that matched that structure. And the propositions could be restricted to ones concerning events that actually did occur in the system's history, with no counterfactual propositions about what would have happened if the system's initial state had been different. Thinking in this way, it's not obvious that Maudlin is right when he assumes that the original "Olympia" defined on p. 418-419 of the paper cannot be implementing a unique computation that gives rise to complex conscious experiences. It's true that the armature itself is not responding in any way to the states of successive troughs it passes over, but there is an aspect of the setup that might give the system a nontrivial causal structure, namely the fact that certain troughs may be connected to other by pipes to other troughs in the sequence, so that as the armature empties or fills one it is also emptying or filling the one it's connected to (this is done to emulate the idea of a Turing machine's read/write head returning to the same memory address multiple times, even though Olympia's armature just steadily progresses down the line of troughs in sequence--troughs connected by pipes are supposed to represent a single memory address). If we represented the Olympia system as a set of propositions about the state of each trough and the position of the armature at each time-step, then the fact that the armature's interaction with one trough changes the state of another trough the armature won't visit until a later step may be enough to give different programs markedly different causal structures, in spite of the fact that the armature itself is just dumbly moving from one trough to the next. --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "Everything List" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/everything-list?hl=en -~----------~----~----~----~------~----~------~--~---
