Hi Alberto, On 20 May 2009, at 13:08, Alberto G.Corona wrote: > On May 19, 7:37 pm, Bruno Marchal <marc...@ulb.ac.be> wrote: >> ....... UDA is an argument showing that the current >> paradigmatic chain MATTER => CONSCIOUSNESS => NUMBER is reversed: >> with >> comp I can explain too you in details (it is long) that the chain >> should be NUMBER => CONSCIOUSNESS => MATTER. Some agree already that >> it could be NUMBER => MATTER => CONSCIOUSNESS, and this indeed is >> more >> locally obvious, yet I pretend that comp forces eventually the >> complete reversal. > > Do you have any reference where this is developed?
I have often explain UDA on this list. There is a very older version in 15 steps, and a more recent in 8 steps. You could search in the archive of this list. Or look at my Sane04 paper: http://iridia.ulb.ac.be/~marchal/publications/SANE2004MARCHALAbstract.html You can print the slides. I refer now often to UDA-i with i from 0 to 8, which are the main step of the reasoning. PDF slide UDA is for Universal Dovetailer Argument. The UD provides a concrete base for a reasoning in line with the "everything" "or many worlder" open minded philosophy common on this list, especially for the "relativist" one (where proba are always conditional). UDA is provably available to Universal (in the theoretical computer science sense of Post, Turing, Kleene, Church, ... " machine, which leads to a machine version of UDA: AUDA (Arithmetical UDA). UDA is mainly an argument showing that, assuming comp, the mind body problem reduce to the body problem. And AUDA shows a natural path to extract the solution of the body problem by that "interview" of the universal machine. Much older versions are in French (my PhD actually, and more older paper). See my URL. > > I try to be as close to facts as possible, and the most plausible > explanation for me, trough natural selection, is that consciousness is > a processing device made by natural selection as an adaptation to the > physical environment, social environment included. This is plausible for most of the human and animal part of consciousness. It is a reasonable local description. But globally a dual version of this has the advantage of explaining how nature itself evolves, from sort of "competition and selection" of pieces of machine dreams, which are "easy" to define in arithmetic (assuming comp ...). It is normal that comp depends on the many non trivial results in computer science. A universal machine is itself a rather non obvious notion. > So I support > matter-> consciousness. I could explain why it has to look locally that way, but it can not work in the big picture, unless you make both matter and mind, not just infinite, but very highly infinite ... (just read UDA, I think I have make progress through those explanation on the list). > Dualism is the result of my subjective > experience, I doubt this can be. I would say it is a result of your experience together with a bet (instinctive or/and rational) in a independent reality. you cannot experience the independent reality. You can experience only the dependent reality, but not as a dependent one, for this you need to bet on the independent one. What makes this diificult is that we make that bet instinctively since birth and beyond. > and my subjective experience is the most objective fact > that I can reach. I see what you mean, but the subjective experience, although real and true, and undoubtable, is subjective. It exists as far as you cannot prove to an other that it exists. To communicate you have to bet on tools and on others, and other many doubtable (yet plausible) mind constructions. > > > I cannot support this Kantian notion consciousness -> matter. The problem is that if you are ready to attribute consciousness to a device, by its virtue of simulating digitally a conscious brain at some correct level of description, you will be forced to attribute that consciousness to an infinity of computations already defined by the additive and multiplicative structure of the numbers (by UDA). A quasi direct consequence is that if a machine look at herself below its substitution level, it will build indirect evidences of a flux of many (a continuum) of computational histories (a typical quantum feature, I mean for QM without wave collapse). But comp forces the structure of those many realities (or dreams) to be determined by specifiable number theoretical relations. Those relations are either extensional relations (like in number theory), or intensional relations (like in computer science, where number can also points toward other numbers, and effective set of numbers). It makes computationalism testable. The genral shape of QM confirm it, but cosmogenesis remains troubling ... > > > The final words that I can say about the "hard problem" of > consciousness is that any conversation with a robot, with the self- > module that I described in the previous post, will give answers about > qualia indistinguisable from the answers of any of you. He would > indeed doubt about if you are indeed robots and he is the only > conscious being on earth. Just as any of you may think. > > Its self module would not say "I perceive the green as green" because > he has this as an standard answer, like a fake Turing test program, > but because it can zoom in the details of every leaf, grass etc and > verify that the range of ligh frecuencies are in the range of > frequencias that a computer programmer assigned to green and a > trainer later told him to call it "green". He even can have its own > philosophical theories about qualia, the self etc. He even may ask > himself about the origins of moral and self determination, and even > all of this may force him to believe in God. So we must conclude that > he have its own qualia and all the attributes of consciousness. in no > less degree than I could believe in yours. A priori I have no problem, although I could pretend you have solved only the easy problem. The hard problem is: why do *we* (and not just a robot) have those qualia, if robot can have the same talk and behavior? You have still to explain the nature of the qualia, and why we have to experience them, given that a mechanical explanation seems to make them unnecessary, especially if you invoke Darwinian natural selection. And then, by UDA you have to (re)explain what is matter and how to relate them with the qualia. Eventually matter will appear to be a sort of sharable qualia (or comp is false). I do appreciate your willingness of not treating a self-referentially correct machine as a zombie, but providing a machine with the correct behavior and the relevant discourse does not yet explain the *meaning* of those discourses. Some could argue that on the contrary it makes those meaning illusory. Theories remains to be done, and if something is true and unexplainable, this has to be justified too. Amazingly you can extract both the communicable and incommunicable part of that discourse from an interview of the machine , and this has already be done (thanks to Gödel Post Turing ... and computer science/logic). It is the AUDA part: the (admittedly rough, concerning only ideally correct machines) translation of UDA in the language of a universal machine, like (Peano) Arithmetic. And given that physics is testable, this makes comp testable (well in AUDA the definition of the internal points of view are debatable, and better solution could be imaginable, I have used the old definition you can find in the Theaetetus of Plato. They work very well thanks to the subtleties of the Gödel-Löb self-reference logic. UDA is easy (except the step 7 and 8 which asks for more work). AUDA is difficult because you have to study Mathematical Logic to get the point, and Quantum Mechanics to believe it. UDA+AUDA leads to McGuin Mysterianism, as explained and justified by the "betting, praying" machine. There is a gap of explanation, which can be justified almost completely from the first person point of view. From the third person point of view there is no gap at all. Machines can already see this, and this should please you, if I understand you well. Matter then play a special role in the dreams, especially those "collective dreams", but it is part of the dreams. We are in the number matrix, if you want a short description. My point is not that this is true, but that this is Popper-refutable. It is not a question of liking it or not, but of making the math and the experiments. All in all, it makes many fundamental question less obvious that many think. 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@googlegroups.com To unsubscribe from this group, send email to everything-list+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/everything-list?hl=en -~----------~----~----~----~------~----~------~--~---