Hi Günther,
> unfortunately I can't participate a lot at the moment because I'm quite > busy, but I try to follow some of the discussion, and would like to > pose > a question (to Bruno): > >>> Which is why I think philosophical zombies >>> are impossible. > > I also think they are impossible, and you (Bruno) have already hinted > once that you do not think them impossible, I don't think them impossible because I have seen such zombies! Indeed I have seen a false policeman on some road, they are for slowing down some cars. I don't attribute consciousness to cartoon policeman, so that they are zombies, at least when I am a failed by them. More exactly: I can conceive fake policemen in paper are not conscious, and that is all I need to accept I can be fail by some zombie. Thus I can conceive zombies. Developing this argument makes zombies logically conceivable, even, if I would refute the claim that a zombie acting exactly like I would act in any situation can exist. Accidental zombie can exist. It could depend what we put exactly in the term zombie. I criticize sometimes Bohm Quantum mechanics by invoking the fact that the "wave without particles" is full of zombies. > and here you clarify: > >> If this were true, then the movie graph (step 8 without occam) would >> not been needed. Arithmetical truth is provably full of philosophical >> zombies if comp is true and step 8 false. > > Which arithemetical truths would correspond to philosophical zombies? I > don't get this. This is different. If I am a digital machine, the complete description and even emulation of the computations leading to my mental state, at the right level (which exists once we assume the comp hyp of course) is entirely encoded into prove of statement like the machine described by the number 43554500901655 (say) on imput 4545665450098987 (say) go to the state 67567689043. Such a description constitute a provable arithmetical truth (it is a typical Sigma_1 truth, actually a Sigma_0 truth, meaning just it decidable. So it is just a theorem in computer science: computations are encodable (and thus encoded) in the (additive+multiplicative) relations existing between numbers. So, someone who does not believe in philosophical zombies, does not need the step 8 (the Movie Graph Argument MGA), because arithmetical truth does contains the computation describing, well, for example this very discussion we have here and now. For me the MGA is needed because I don't want to rely on the non existence of zombie. > > I follow you that 1st person is recoverable by a 3rd person number > theoretic description - or better, OMs are - but how would a zombie > come > about? Can you give an example? Just consider the computation which correspond to your actual real life. That computation is encoded (indeed an infinity of times) in the Universal Deploiement, which is itself encoded (indeed an infinity of times) in the set of all arithmetical truth. All right? Such a computation would define an arithmetical version of you, and would constitute a phisophical (indeed arithmetical) zombies. If you define the zombies as having a "material" body, then it is different (again we should then better define zombie). But this move is irrelevant *after* the MGA. Best regards, Bruno Marchal 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 [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 -~----------~----~----~----~------~----~------~--~---