At 21:44 16/06/04 -0400, Stephen Paul King wrote:
Giving that the Comp, through the UDA (for exemple) , leads to Monistic idealism, I think the use of the word "epiphenomenon" could be misleading (it is used more in the non interactive dualist approach of the mind body problem, as far as I know). It is better to to talk about simply phenomena, and I guess you pretend I don't address them (which imo is a little bit unfair as I will try to explain).
[SPK] No, Bruno, Comp does not "lead to Monistic idealism", it is based on it! One must assume Monistic Idealism in order to accept the notion that Arithmetic realism and that this "Truth" is independent of physicality, as you have written previously:
"By Arithmetic Realism I mean that Arithmetical Truth is independent of me, you, and the rest of humanity."
"if we take comp seriously (comp = AR + TC + "yes doctor") then
physics is eventually a branch of machine's psychology (itself a branch
of computer science" itself a branch of number theory."
But your very quote of what I said confirms what I was saying. I don't understand.
When I say IF comp is true THEN physics is a branch of machine psychology, it is part of the prood that comp will imply monistic idealism. This comes from the UD Argument. You have not yet tell me at which steps you disagree (cf
I could simplify my presentation by postulating what i call sometime Pythagorean COMP,
which postulates Arithmetical Realism AND NO MORE (but in my thesis that "pyth"
is a consequence, i have worked hard enough for not postulating it :)).
>We cannot dismiss physicality!
Why? We can certainly dismiss it in the hypothesis once we explain its appearance. That is the point of the technical part of my thesis. Wait perhaps a little bit I provide more explanation.
I just don't need the physicalist hypothesis, and besides I show it incompatible with comp (UDA).
One thing that I have always been attracted by in science and mathematics is that I was not required to blindly believe some statement. What you are asking of me is not different from the "blind faith" (unjustified belief) that I was raised in by Fundamentalist Christian parents. You must understand that I have a severe allergy to postulations that cannot be justified.
I do not ask you to believe in anything! I do just prove the following two things:
1) IF comp is correct THEN indeed a machine must make an act of faith to PRACTICE it.
(Put in another way : if COMP is correct, then if a doctor tells you that science implies comp, then you KNOW he is a lier).
As an analogy (which will run deeper latter) it is like CONSISTENCY for a machine:
IF a machine is consistent THEN the machine cannot prove it. With Godel + comp, you can guess that even just self-consistency need a sort of "blind faith".
On The Other Hand (OTOH), I agree with your statement about GŲdel theorem: If I am a machine I will be unable to "prove" that I am. That is not my problem. My problem is in finding a falsifiable justification for the belief that "I am a Machine".
But this is exactly what I provide: I show (simplifying a little bit for reason of shortness, giving that is what I am suppose to explain, but it *is* "my thesis"):
IF comp is true then physics is given by the propositions which are
1) true in all our consistent extensions
2) true in at least one consistent extension
(By Godel, 1 does not imply 2 !)
3) accessible par the universal dovetailer.
This is translated by
observable(p) = p & <>p, with p sigma_1.
I showed: 1) the logic of "observable(p)" obeys a sort of quantum logic.
2) that logic is sufficiently constrained to derive the whole physical probailities.
To evaluate comp, it is enough to compare those probabilities with the empirically evaluated probabilities.
You say that again. Perhaps you are right. I would be please to know some references.
In the case of monistic idealist theory I do think "phenomena" or "appearances" are less misleading terms.
The difference is purely semantical. The Problem is not!
"Until the present century the duality of mind and brain was never in question except, that is, to the adherents of various Idealist or Phenomenalist doctrines which, in defiance of common sense, insisted that matter was just a construction of mind and had no ontological independence. What was at issue was whether the brain was self-sufficient and operated on a purely physical basis or whether mind could intervene in its operations so as to ensure one overt action rather than another. Determinists insisted that the brain was a machine and so mental events could have no influence on behaviour, they were mere 'epiphenomena.' "
Another term related to this Problem, as it occurs of Monistic Materialism is "conscious inessentialism".
"What this basically means is that, in principle, all the actions we perform can be performed without consciousness. Walking, eating, sleeping and talking are all things that our bodies can do. They donít, in principle, require consciousness in order to do them. It should be noted that in discussions about zombies, consciousness is considered to be qualia of any kind. Weíre not just talking about being able to think abstractly here. For something not to be conscious, it must not be able to feel anything. Zombies donít experience anything at all. Itís not like anything to be a zombie. Now, weíre left with the question: if consciousness isnít required for the things we do, could beings exist which perform these things without being conscious (i.e. could philosophical zombies exist)? Now, if such beings could exist, itís very important to stress that they would be capable of doing everything we are capable of. Therefore, there could be a bunch of zombies sitting in a classroom discussing the merits of conscious inessentialism. There could be a zombie who refuses to go on a plane and says heís afraid of heights. There could be a zombie acting angry at the fact that he didnít win the lottery."
Your quotations illustrate well what I was saying.
Basically, the Problem, as I see it in your thought, boils down to the fact that all examples of "physicality" are mere "appearances" that should have no "causal efficacy", e.g. that any appearance that physical state X "causes" physical state Y is merely some numerical relation. The "Physical World" is just a 1st person "appearance". I have no problem that that IFF we only considered a single Observer. When we consider many observers, each with their own 1st person "world of appearance", How can we recover any coherent notion of a 3rd person view? Somehow, the "appearances" have to mesh together and be synchronized!
I agree it looks impossible, but then tell me where I am wrong.
Be carefull to distinguish clearly (especially for the benefit of the others, what I do postulate at the beginning, and what I pretend (at least) having deduce from the postulates).
Leibniz considered such a situation in his Monadology and argued that the synchrony of appearances where due to a "pre-ordained harmony".
I am arguing that such a "pro-ordained harmony" is impossible because it would require the computation of all possible interactions between all possible observers and find, among these, the one that, to use the physics term, has the "least action". I assume that your Universal Dovetailer could do such a computation, but have a serious problem with the claim that the mere a priori existence of a numerical representation of that computation is sufficient to derive all of our 1st person appearances.
Show it, and you will refute comp. My attempt to show it has lead me toward QM, so
I conclude it is premature (at least) to conclude comp is incorrect.
My claim is that such a computation requires at least one "step" and that for it do have such it has to be "implemented" somehow. If the computation has to be "implemented" in order to account for appearances, could we not consider that the "physicality" that we experience is the "implementation" itself?
This idea seems to argue for a kind of dualism, doesn't it?
Perhaps, but then you should be able to either find an error in my deduction, or to
abandon the comp hyp (no problem with that).
Then you will need to explain me what is matter, what is mind and how they are related.
(With comp we do not need the materialist hypothesis.)
But you must admit that "anticipation" implies the existence of "temporal transitivity" in that an anticipated event is one that is predicted to be experienced somehow but such an event has not yet occurred. This takes me right back to my question about how it is that we can recover the experience of time from COMP. There is no "time" in Platonia! All that exists is co-present, there is no meaningful notion of "delay" or "duration". How do we fit "at least one computational step" in this?
This is an important question, but I told you before to wait I show how to extract the "temporal/intuitionistic" logic S4Grz.
Please remind me what means "OTOH" I always forget this one!
It is not sufficient to make that act of faith to solve the mind-body problem, I agree. Although it is sufficient for surviving the digital brain transplantation (if comp is correct).
But I'm afraid the (epi)phenomena are addressed. I can even sum the technics up in one short sentence: just apply the Theaetetus' definition of knowledge from opinion with opinion defined by machine's formal provability.
Bruno, this looks like circular reasoning! COMP assumes digital substitution, thus we have to "believe" in digital substitution to believe COMP! The question, for me, is: How could we Falsify COMP?
I see Digital brain transplantation as the falsifiable aspect of your theory and thus most of my questions are pointed at it. ;-)
I really try to do that! Comp asks for an act of faith IF TRUE, but if false then it is falsifiable by comparing the comp-physics and the empirical physics.
I will not answer your last questions because it anticipates on what I feel the need to still explain for the technical part of the thesis, and I want to avoid too much repetitions. My general feeling is that you do have a sort of (blind?) faith in matter or physicalities. But then just abandon comp or tell at which step of the UDA you are stuck. OK?
Have you bought the book "forver undecided" by Smullyan? It can help a lot.