THE APHORISMS
We do not see the mind, we see *through* the mind.
What we see through the mind - its contents - is mind-stuff: dreams.
Hence dream content - i.e. whatever is capable of being present to us
- can't be our ontology - this would be circular (the eye can't see
itself).
So the brain (i.e. what the eye can see) can't be the mind; but the
intuition remains that mind and brain might be correlated by some
inclusive conception that would constitute our ontology: Kant's great
insight stands.
It is similarly obvious that 'identity' theories and the like are
non-sense: it would indeed be hard to think of two descriptions less
'identical' than brain-descriptions and mind-descriptions: hence
again, any such identification could only be via some singular
correlative synthesis.
Hence any claim that the mind is literally identical with, or
'inside', the brain can be shown to be false by the simple - if messy
- expedient of a scalpel; or else can be unmasked as implicitly
dualistic: i.e. the claim is really that 'inside' and 'outside' are
not merely different descriptions, but different ontologies.
By extension of our individual introspecting, a plurality of minds,
and the 'external world' that includes brains, can be conceived as
correlated in some way - to be elucidated - in a universal synthesis
or context: that context being our mutual ontology.
Such a universal context, or in common terms 'what exists', cannot be
fully known (i.e. can't be exhausted by description) although - or
rather because - it constitutes what we are, and by extension what
*everything* is.
Nonetheless we may seek a logic of dreaming so far as it goes, and
this will indeed be as far as anything goes in the way of knowledge
claims.
Mathematics may be deployed as a dream-logic: but mathematical
physics, restricted to 'physical heuristics', prototypically gets
stuck at the level of describing the content and behaviour of dreams,
not their genesis.
To go further and deeper we need an explicit mathematical
specification of dreamers and their dreams, and of generative
mechanisms by which dreamers and their dream contents can be
constructed.
Such a schema will by its nature form an analysis of how we come to
believe that we and our world are real, and in what terms: i.e. how we
come to know a world in a present and personal manner.
Consequently such a schema must subsume within its universe of
discourse: being, knowing, perceiving, acting and intending - as the
foundations of what it means to be real: i.e. it must be capable of
invoking the Cheshire Cat *to the life*, not merely leave its grin
hanging in the void.
Moving beyond bare analysis and description, any move to universalise
and 'realise' the axioms of such a schema is to make a claim on
ontological finality. It has not been completely clear (to me)
whether COMP necessarily makes such a stipulation on realisation, in
the sense of a claim that its axioms *literally are* what is present
and personal (i.e. RITSIAR).
However I'm coming to suspect that it does not in fact make such a
claim, although it allows any one of us to take this as a personal
leap of faith, specifically through the acid test of saying yes to the
doctor.
COMP may turn out to be false in its specific predictions - i.e. empirical tests
could rule out the possibility of our being finite machines; or
perhaps we can never be sure one way or the other.
Nonetheless, the inescapable implication is that any alternative
schema must from the outset explicitly and fearlessly address the same
problem space or else run foul of the same intractable 0-1-3 person
ontological and epistemological issues.
This has profound implications for virtually all current cosmological
TOEs: i.e. a view from nowhere turns out to be nobody's view. As has
been observed in other writings, our understanding remains profoundly
obscured and distorted unless we restore the personal to the view from
nowhere. Only then can we conceive why indeed there is somewhere
rather than nowhere.
Thanks to everyone who responded to my initial sally on dreams and machines. Naturally I have arrogated the right to plagiarise your helpful comments in what follows, which is an aphoristic synthesis of my understanding of the main points that have emerged thus far. I hope this will be helpful for future discussion. THE APHORISMS We do not see the mind, we see *through* the mind. What we see through the mind - its contents - is mind-stuff: dreams. Hence dream content - i.e. whatever is capable of being present to us - can't be our ontology - this would be circular (the eye can't see itself).
The UDA is a reasoning which shows that once we postulate an
"ontological" physical universal, it is impossible to recover the
first person from it.
>
>
> To go further and deeper we need an explicit mathematical
> specification of dreamers and their dreams, and of generative
> mechanisms by which dreamers and their dream contents can be
> constructed.
Once comp is assumed, and UDA understood, including step 8, we get an
explicit mathematical specification of the dreamers (which will be the
universal numbers---to be (re)explained later) and the explanation of
the appearance of the dreams: self-referential gluing (sigma_1)
arithmetical relations.
>
>
> Such a schema will by its nature form an analysis of how we come to
> believe that we and our world are real, and in what terms: i.e. how we
> come to know a world in a present and personal manner.
Except for the mystery of numbers, which has to remain intact
(mysterious). The first person arise from the difference of the logics
of the points of view. Each point of view is just a different modality
of the self reference. I recall (or anticipate):
p
Bp
Bp & p
Bp & Dp
Bp & Dp & p
With p any arithmetical sentences, Bp the arithmetical sentence of
Gödel (Beweisbar(Godel number of p)), etc. Note that "p" = 0-person.
Bp = 3 person, Bp & p = first person, Bp & Dp = "3-person matter", Bp
& Dp & p = first person matter. This makes 8 hypostases, due to the G/
G* splitting.
The first person view arise from the discrepancy between the logic of
Bp and Bp & p (mainly).
>
>
> Consequently such a schema must subsume within its universe of
> discourse: being, knowing, perceiving, acting and intending - as the
> foundations of what it means to be real: i.e. it must be capable of
> invoking the Cheshire Cat *to the life*, not merely leave its grin
> hanging in the void.
It is here that we may differ. All what needs to be subsumed is 0, and
successor axioms, together with addition and multiplication. Assuming
comp (which is a statement about RITSIAR, and in that sense you are
correct), everything (that is: every dreams and the way they glue
together) has to be derived from the way universal numbers reflects
each other.
>
>
> Moving beyond bare analysis and description, any move to universalise
> and 'realise' the axioms of such a schema is to make a claim on
> ontological finality. It has not been completely clear (to me)
> whether COMP necessarily makes such a stipulation on realisation, in
> the sense of a claim that its axioms *literally are* what is present
> and personal (i.e. RITSIAR).
Comp could be a little more than RITSIAR: it is the fact that RITSIAR
is preserved through a substitution of my parts done at some level.
Comp assumes "yes" for the question, will I *stay* as real as I am
here and now, once I say yes to the doctor and after he has proceeded.
>
>
> However I'm coming to suspect that it does not in fact make such a
> claim, although it allows any one of us to take this as a personal
> leap of faith, specifically through the acid test of saying yes to the
> doctor.
OK then.
>
>
> COMP may turn out to be false in its specific predictions - i.e.
> empirical tests
> could rule out the possibility of our being finite machines; or
> perhaps we can never be sure one way or the other.
>
> Nonetheless, the inescapable implication is that any alternative
> schema must from the outset explicitly and fearlessly address the same
> problem space or else run foul of the same intractable 0-1-3 person
> ontological and epistemological issues.
This is tackled by the modality of self-reference.
>
>
> This has profound implications for virtually all current cosmological
> TOEs: i.e. a view from nowhere turns out to be nobody's view. As has
> been observed in other writings, our understanding remains profoundly
> obscured and distorted unless we restore the personal to the view from
> nowhere. Only then can we conceive why indeed there is somewhere
> rather than nowhere.
OK. You will have to judge comp, in that respect, by yourself.
Bruno
> Hi Kim,
>
> RITSIAR means real in the sense that I am real.
>
> Cheers
> Brian
>
> Kim Jones wrote:
>>
>> Could somebody kindly tell me/explain to me what "RITSIAR" means? I
>> cannot find any explanation of this in the threads which mention it.
>>
>> Sorry to be dumb,
>>
>> Kim
>>
Much obliged to you Brian. Hopefully, by the end of this "conversation
without end" I will know in what sense I am real!!
cheers,
Kim
>
> On 27 July, 09:31, Bruno Marchal <marc...@ulb.ac.be> wrote:
>
>> The UDA is a reasoning which shows that once we postulate an
>> "ontological" physical universal, it is impossible to recover the
>> first person from it
>
> Do you mean to say that we can't recover the 1-person from a physical
> universe on the assumption that the mind is a 'computation' executed
> by elements of a physical brain, or that it can't be recovered *in any
> manner* on the assumption of 'physical ontology'? I've always assumed
> the former - which is the one attacked in your thought experiments;
> the latter would be a much stronger and more startling claim, to say
> the least.
It is the former. Typical counter-example are provided by most dualist
religions, but they have to be anti-comp.
Even with comp, you can always add a physical ontology, but you cannot
use it to explain any correlation between consciousness and what
happen in that physical ontological universe. Comp makes the
physicalist assumption devoid of any explanation power. I think you
have correct intuition about this.
>
>
>>> Nonetheless, the inescapable implication is that any alternative
>>> schema must from the outset explicitly and fearlessly address the
>>> same
>>> problem space or else run foul of the same intractable 0-1-3 person
>>> ontological and epistemological issues.
>>
>> This is tackled by the modality of self-reference.
>
> Yes, I should have said 'otherwise intractable' - meaning intractable
> for any schema that doesn't explicitly generate the dreamers and their
> many viewpoints as well as their dream contents. This is the problem
> space that must be confronted - as COMP does. My point is that any
> approach to the mind-body issues that doesn't tackle this must fail at
> the outset. Agreed?
Agreed.
>
>
>>> This has profound implications for virtually all current
>>> cosmological
>>> TOEs: i.e. a view from nowhere turns out to be nobody's view. As
>>> has
>>> been observed in other writings, our understanding remains
>>> profoundly
>>> obscured and distorted unless we restore the personal to the view
>>> from
>>> nowhere. Only then can we conceive why indeed there is somewhere
>>> rather than nowhere.
>>
>> OK. You will have to judge comp, in that respect, by yourself.
>
> I'm still trying! I must say that the more I think about your
> arguments in detail (some of the basic ones - like the teleportation
> examples - have direct counterparts in my own intuitive history) the
> more they exercise my intuitions in helpful directions. I feel that
> there is something intuitively necessary in this generative approach,
> and specifically in the way it seeks to resolve the 0-1-3-person
> conundrums that - even if it turns out to be unsupportable as a whole
> - would remain a core feature of any successor theory.
I think so.
Bruno
It's more than an intuition. There's lots of evidence the mind and brain are
correlated: from getting drunk, concusions, neurosurgery, mrfi,...
>>
>> It is similarly obvious that 'identity' theories and the like are
>> non-sense: it would indeed be hard to think of two descriptions less
>> 'identical' than brain-descriptions and mind-descriptions: hence
>> again, any such identification could only be via some singular
>> correlative synthesis.
>>
>> Hence any claim that the mind is literally identical with, or
>> 'inside', the brain can be shown to be false by the simple - if messy
>> - expedient of a scalpel; or else can be unmasked as implicitly
>> dualistic: i.e. the claim is really that 'inside' and 'outside' are
>> not merely different descriptions, but different ontologies.
That's a bit of a straw man you're refuting. I've never heard anyone claim that
the mind is the brain. The materialist claim is that the mind is what the
brain does, i.e. the mind is a process. That's implicit in COMP, the idea that
functionally identical units can substituted for parts of your brain without any
untoward effects.
Brent
The difficulty I have with COMP is in step 8, where some measure is invoked to
make sense out of a computation that computes everything.
What is this measure?
and what does it actually predict.
As I said before, an *everything*
hypothesis is a cheap way to explain anything - unless you can explain why this
rather than that. Bruno promises to be able to do that - so I'm waiting to see.
>
> On Mon, Jul 27, 2009 at 11:40 PM, Brent
> Meeker<meek...@dslextreme.com> wrote:
>>
>> I think that's a misuse of "ontology". When we discuss the atomic
>> theory of
>> matter the ontology is a set of elementary particles, including
>> their couplings
>> and dynamics.
>
>
> I think most of us are using "ontology" in the sense of definition 1,
> below. But you keep introducing the term in the sense of definition
> 2. I'd noticed it before on David's previous "dream" thread.
>
> Ontology
>
> 1. That department of the science of metaphysics which investigates
> and explains the nature and essential properties and relations of all
> beings, as such, or the principles and causes of being.
>
> 2. A systematic arrangement of all of the important categories of
> objects or concepts which exist in some field of discourse, showing
> the relations between them.
Good point. I use always "ontology" in the first sense.
Bruno
What do you make of Hume's observation, "When I enter most intimately into what
I call myself, I always stumble on some particular perception or other, of heat
or cold, light or shade, love or hatred, pain or pleasure. I can never catch
myself at any time without a perception, and never can observe anything but the
perception. When my perceptions are removed for any time, as by sound sleep, so
long am I insensible of myself, and may truly be said not to exist." ?
Brent
It seems to me that the primary meaning of "to exist" is "to be conscious".
But what causes conscious experience? Well, I'm beginning to think
that nothing causes it. Our conscious experience is fundamental,
uncaused, and irreducible.
Why do we think that our conscious experience must be caused? Maybe
this isn't a valid assumption. Maybe we are being led astray by the
apparent nature of the macroscopic material world that we perceive?
So on the surface this view of consciousness as fundamental may sound
a bit off-putting, but I think it's not so radical compared to
competing theories.
From a materialist perspective, what caused the universe (or
multiverse) to exist?
From a religious perspective, what caused God to exist?
From a platonic perspective, what caused the Numbers to exist?
And, of course, if anyone offers an answer to the above, the obvious
next question would be "what caused THAT to exist?".
This drive to reduce our consciousness into smaller parts, I think is
maybe misguided.
I think that there may be a problem with the idea that we must explain
conscious experience in terms of the things that we perceive, or
things that we infer from what we perceive. Consciousness is the
conduit through which we experience the world, BUT I think it's a
mistake to conclude that consciousness is a product of what is
experienced.
Maybe consciousness is fundamental, uncaused, and irreducible.
However, what we are conscious OF is reducible and representable. A
crucial difference.
Take the brain. I haven't verified it myself, but I'm willing to
believe that the structure and function of the brain is closely
correlated with the mind. My brain represents the contents of my
conscious experience. The activity of the brain over time maps to the
the contents of my conscious experience over time. Fine. But the brain
is not the cause of my conscious experience. A brain is something that
one is conscious OF, and thus has a secondary, derivative type of
existence.
I can think about my brain, so it is something that I am conscious of,
and so it exists in that sense. To the extent that I can examine and
experiment on someone else's brain, that is also a perceived
experience. But again, all of these things could happen in a dream, or
hallucination, or to a brain-in-a-vat, or to someone in a computer
simulation.
That something is perceived is no guarantee that it has an existence
on par with, or superior to, that which does the perceiving.
Similarly, science. I'm willing to believe that quantum mechanics and
relativity both describe my observations very well. But this is just
the fitting of various mathematical formulas and narratives to what we
are conscious of. There's no deeper meaning to science than that. It
doesn't tell us about what fundamentally exists. It provides us with
stories that fit what our experiences: "IF you were made from
subatomic particles in a physical universe, THIS system of particles
and forces is consistent with your current observations."
Science is basically us trying to make sense of a dream.
So in this view, consciousness is very simple. What's complicated is
fitting "explanatory" scientific theories to what is observed, and
identifying and understanding causal structures (e.g., a brain, a
machine, whatever) whose evolving state can be interpreted as
representing a series of "connected" or "related" instances of
consciousness. But the observed physical system is NOT conscious, it
just represents the contents of someone's conscious experience.
So initially this view seems somewhat...solipsistic (?), but
ultimately I think it really isn't much more radical than any other
theory on the table. For instance, any deterministic scientific theory
entails that we have the experience of making choices without making
actual choices (in the free will sense). And so does any
indeterminstic theory that is based on bottom-up causation.
Beyond that, all theories eventually boil down to having to having to
take some set of fundamental entities and laws as unexplained,
unsupported brute facts. So whether it's one level down or twelve
levels down, at some point they end up saying "and these things just
exist, created from nothing, supported by nothing".
So, no matter which way we go, reality doesn't match our common-sense
expectations. I think this view makes the fewest assumptions, and
ultimately seems no more fantastical than any other theory on offer.
On 27 July, 18:17, Bruno Marchal <marc...@ulb.ac.be> wrote:On 27 Jul 2009, at 14:57, David Nyman wrote:On 27 July, 09:31, Bruno Marchal <marc...@ulb.ac.be> wrote:The UDA is a reasoning which shows that once we postulate an"ontological" physical universal, it is impossible to recover thefirst person from itDo you mean to say that we can't recover the 1-person from a physicaluniverse on the assumption that the mind is a 'computation' executedby elements of a physical brain, or that it can't be recovered *in anymanner* on the assumption of 'physical ontology'? I've always assumedthe former - which is the one attacked in your thought experiments;the latter would be a much stronger and more startling claim, to saythe least.It is the former. Typical counter-example are provided by most dualistreligions, but they have to be anti-comp.Even with comp, you can always add a physical ontology, but you cannotuse it to explain any correlation between consciousness and whathappen in that physical ontological universe.
Yes you can:
the physical brain executes the computation, so naturally
the consciousness resulting from the computation and the brain
activity
are correlated.
As usual, when you say "comp" you mean "comp+plat".
> But you haven't said what the problem is in the emergence of the
> mental
> from the physical
It is usually called the mind-body problem. There are many good book
on the subject.
My own work is partially a reformulation of that problem (and
partially a beginning of a solution), when taking Mechanism seriously
into account.
Tell us which step in UDA you have a problem of understanding with.
Give us a number between 1 and 8, and a justification. OK?
Bruno
On 31 July, 10:03, Bruno Marchal <marc...@ulb.ac.be> wrote:On 31 Jul 2009, at 10:32, 1Z wrote (to David):But you haven't said what the problem is in the emergence of thementalfrom the physicalIt is usually called the mind-body problem. There are many good bookon the subject.
There are many bad solutions too. Finding a good solution
means having an exat grasp of the problem, not saying in some
vague way that mind and matter are different things.
My own work is partially a reformulation of that problem (andpartially a beginning of a solution), when taking Mechanism seriouslyinto account.Tell us which step in UDA you have a problem of understanding with.Give us a number between 1 and 8, and a justification. OK?
I don't have a problem in understanding anything. I have a problem
in granting Platonism. Without Platonism, there is no UDA "just
there".
wihout a UDA there are no generated minds, without generated minds
there is no illusory matter.
At best you have an alternative to
materalism-realism,
not a disproof of it.
If it isn;t RITSIAR, it cannot be generating me. Mathematical
proofs only prove mathematical "existence", not onltolgical
existence. For a non-Platonist , 23 "exists" mathematically,
but is not RITSIAR. The same goes for the UD
wihout a UDA there are no generated minds, without generated mindsthere is no illusory matter.Sure. But the UD exists, like prime number exists.
Which for a non-Platononists is not at all
in the relevant sense.
How can a conlusion that the material world doesn't exist
be neutrral about Platonism?
If Platonism is false,
the mathematical world doesn';t exist either. and
there is nowhere for the UD to exist at all.
So I'm willing to believe that there might be "something that it's
like" to be an electron, that electrons may in some way have some sort
of subjective experience.
BUT, as you say, that all happens in a different part of the forest.
I don't see that the electron's experiential aspect contributes in any
way to my experience of electrons. And, in a easier to visualize
vein, the same goes for chairs. Maybe there's something that it's
like to be a chair, but this is irrelevant to my conscious experience
of chairs. How could the chair's experience of its existence affect
my experience of the chair?
So in addition to conscious experience being uncaused, I take it to
also be acausal.
Conscious experience only does one thing: exist. Consciousness just
is. There's nothing else to it. No other purpose for it. No deeper
meaning in it. No additional role that it plays in some larger
process.
I take it to be acausal even to the extent that my current subjective
experience is not caused by my previous experiences. Each moment of
consciousness stands alone, connected to it's predecessors and
successors only by the similarity of their content.
You can find all sorts of causal-structure models, in physics or in
COMP, that can be fit to the contents of your conscious experience,
but these are just descriptive, not proscriptive.
> As to 'first' causes, I think
> we've reached the end of the semantic road. If you want, you can can
> elect to be a mathematical Prospero and conjure us from the deep by
> tautological force majeure, or you can accept the mystery of our
> contingent 'necessity'. Take your pick.
It does seem likely to me that our conscious experience exists
necessarily. Though for it to be a mystery would imply a hidden,
unknown cause. But consciousness is uncaused, it just exists
(necessarily), so there can be no mystery.
BTW, the quality of your posts are very high, it surprises me that you
can write them so quickly. Well done!
>
> 2009/7/30 Rex Allen <rexal...@gmail.com>:
>
>> It seems to me that the primary meaning of "to exist" is "to be
>> conscious".
Hmm.. I do not completely disagree, because I can prove (with the AUDA
definition of belief and knowledge, that what Rex says is indeed true,
from the first person point of view. But taking this 100% seriously
leads to solipism. If only to pursue this discussion I bet on the
existence of some others, which consciousness I am currently
disconnected from (thankfully, the net provides a way to share third
person little pieces of things between us to supply that non first
person apparent sharing).
>>
>>
>> But what causes conscious experience? Well, I'm beginning to think
>> that nothing causes it.
OK. I rather clearly disagree. Arithmetical relations "cause" it. They
are clearly responsible for numbers introspection and numbers
chatting, and their discovery of the gap between.
>> Our conscious experience is fundamental,
>> uncaused, and irreducible.
Uncaused, OK, like any property of number can be said to be uncaused.
>>
>>
>> Why do we think that our conscious experience must be caused? Maybe
>> this isn't a valid assumption. Maybe we are being led astray by the
>> apparent nature of the macroscopic material world that we perceive?
Well, we search not necessarily a cause, but still an explanation. And
that explanation has to fit with what we can prove, can know, can
feel, can observe, and can infer.
To say consciousness is fundamental does not explain many thing. It is
a bit like saying matter is fundamental, except that in this case it
is helped in some methodological way for some time.
>>
>>
>> So on the surface this view of consciousness as fundamental may sound
>> a bit off-putting,
And as, you seem to be aware, it leads to solipsism.
>> but I think it's not so radical compared to
>> competing theories.
Hmm... It is a bit like David, you put to much emphasis, to say the
least, on the first person, which is the subject of consciousness.
Comp saves the first person from its materialistic elimination, but
comp does not eliminate mathematics, nor physics. It provides a very
precise theory which supplies the absence of matter and explain its
appearance, and which I like to call "machine or number theology", if
only because it provides a clean purely arithmetical interpretation
(AUDA) of Plotinus neoplatonist theory.
The ONE is "just" arithmetical truth. But I am not sanguine about
this, analytical truth works the same.
The INTELLECT is "arithmetical provability"
The KNOWER (alias the first person, alias the universal soul) is
provability in case of truth.
INTELLIGIBLE MATTER is "arithmetical provability in case of
arithmetical consistency".
SENSIBLE MATTER is "arithmetical provability in case of arithmetical
consistency and truth".
This makes 8 (meta)theories, which capture the same part of
arithmetic, but have quite different modal logics, which correspond to
different types of point of view. 8 because three of them are split
into provable and unprovable parts by the incompleteness phenomena.
To put it roughly: consciousness is a Goddess, sure, but it has seven
Sisters.
If we follow Plotinus, those correspond to the degree of "falling" of
the soul.
>> David answered:
>
> Of course I'm in sympathy with what you say here.
I am not astonished :)
OK. With some reserves.
> Rex:
>
>> Take the brain. I haven't verified it myself, but I'm willing to
>> believe that the structure and function of the brain is closely
>> correlated with the mind. My brain represents the contents of my
>> conscious experience. The activity of the brain over time maps to the
>> the contents of my conscious experience over time. Fine.
OK.
>> But the brain
>> is not the cause of my conscious experience.
OK. But is an evidence of having a deep and long computational
history. And in a sense, the brain is the "cause" of my consciousness
"filtration" in a vast subset of future computational histories.
>> A brain is something that
>> one is conscious OF, and thus has a secondary, derivative type of
>> existence.
OK.
>> David:
>
> Very well put. I've mentioned David Bohm's model of a video game,
> which actually got him thinking about the relationships inherent in
> the above scenario, thus: there's a game taking place on a screen
> (explicate order) being acted on by (but not itself acting on) a
> program (implicate order), which in turn is being acted on by (but not
> acting on) the feedback from a player (super-implicate order). In
> this analogy, the brain-body-world is akin to the on-screen
> representation, which in fact emerges from, and is under the control
> of, an underlying set of orderings that seamlessly incorporate both
> player and game. Subject and object then emerge as a heuristic
> distinction in the guise of complementary poles abstracted from
> feedback relationships.
I will have to reread that.
> Rex:
>
>> I can think about my brain, so it is something that I am conscious
>> of,
>> and so it exists in that sense. To the extent that I can examine and
>> experiment on someone else's brain, that is also a perceived
>> experience. But again, all of these things could happen in a dream,
>> or
>> hallucination, or to a brain-in-a-vat, or to someone in a computer
>> simulation.
>
> Yes, it could, but this may not be the version most conducive to
> sanity!
>
>> But the brain
>> is not the cause of my conscious experience. A brain is something
>> that
>> one is conscious OF, and thus has a secondary, derivative type of
>> existence.
>
> Yes, and this 'secondary' existence is just a category of
> existence-for-oneself.
Here you talk about the 'brain' which is in your 'brain'. the physical
brain is most plausibility a completely definable "object". Its
physics, as we can observe it, relies eventually on infinite histories.
> The contents of consciousness are precisely
> what we are taking personally, else they couldn't exist for us. We
> co-habit with them. But they don't just sit there: they connect
> seamlessly beyond our personal horizons, which is how we get to
> justify the belief that they refer to something - as we tend to say -
> outside our selves. But that 'outside' of course isn't outside at
> all; it's just as 'inside' as we are, taking things just as personally
> as it needs to exist, just like us. The external world we see so
> clearly is a reflection of the inside-out surfaces of our mindworlds.
OUR, the Löbian machines. OK.
OUR, the Humans. Not OK.
>
>
>> Similarly, science. I'm willing to believe that quantum mechanics and
>> relativity both describe my observations very well. But this is just
>> the fitting of various mathematical formulas and narratives to what
>> we
>> are conscious of. There's no deeper meaning to science than that. It
>> doesn't tell us about what fundamentally exists.
I recall that theology has been keep out of science and academies
since 1500 years, and has still not really come back.
Due to this unfortunate situation, "science" is confused as being a
sort of theology by itself, which it cannot be.
The least I have try to do is to illustrate that we can reason and
proceed "scientifically" (= proposing modest refutable theories on
consciousness, souls, person, identity and various "god-
like"mathematical and non mathematical entities).
Science is half-blind since a long time, but it is not the fault of
the science spirit, it is the fault of the human spirit which abuse of
the ten thousand authority arguments around those fundamental
questions, and, as consequence, that the spirit of science is
forbidden there.
>> It provides us with
>> stories that fit what our experiences: "IF you were made from
>> subatomic particles in a physical universe, THIS system of particles
>> and forces is consistent with your current observations."
Science will never provide more than IF this then THAT. Even theology.
To defend theology as a science consists in admitting to propose
theory (IF this), and then derive consequences in that theory (then
THAT). And test it, directly, indirectly up to the refutation, and
amelioration, correction, publication, etc.
>>
>
> Yes, and of course WERE you thus made you wouldn't find anybody there
> to take things personally. The great value of COMP, I think, is that
> it pumps the intuition that we can't take persons for granted: they
> don't just map directly onto our representations, which I guess we
> should have expected, because god knows they don't look like anything
> that could be us. Of course a computational narrative may turn out
> not to be the way to go, but I strongly suspect that we still await a
> revolution in - well not physics, but..what? being-science? (gawd) -
> that will be in a primary sense generative of persons prior to the
> generation of appearances.
The theology of numbers. What they can feel and dream, about
themselves and each others, relatively to each one.
> IOW, there probably has to be some sort of
> fundamentally implicate-explicate-superexplicate thingamijig going on
> out there - er, I mean in here.
Sure.
>
>
>> Science is basically us trying to make sense of a dream.
>>
>> So in this view, consciousness is very simple. What's complicated is
>> fitting "explanatory" scientific theories to what is observed, and
>> identifying and understanding causal structures (e.g., a brain, a
>> machine, whatever) whose evolving state can be interpreted as
>> representing a series of "connected" or "related" instances of
>> consciousness.
Numbers do that.
>> But the observed physical system is NOT conscious, it
>> just represents the contents of someone's conscious experience.
>
> Very well put.
>
>> So initially this view seems somewhat...solipsistic (?),
Not necessarily, yet. You could have talk about "universal
consciousness", which does make sense with comp, although I am not
entirely sure. Universal consciousness is the consciousness of the
virgin universal machine, which is rare to find those days (when you
buy a computer it is already full of non universal programs). A
particular consciousness is when the universal consciousness forget
its origin. But this, to be sure, has not yet been asked to the
universal machine (it is beyond AUDA, I mean).
>> but
>> ultimately I think it really isn't much more radical than any other
>> theory on the table. For instance, any deterministic scientific
>> theory
>> entails that we have the experience of making choices without making
>> actual choices (in the free will sense). And so does any
>> indeterminstic theory that is based on bottom-up causation.
>
> Well, of course it's solipsistic, but that's its strength.
?
> You can
> only know yourself: but that 'self', properly understood, extends
> beyond merely perspectival horizons, to everything that is.
You are a billion times too much quick here.
> This is
> the perennial philosophy, and in this case, perennial because
> unavoidable.
OK.
> And as for 'deterministic', if we want to deploy
> causation in our narratives - and I don't see why we shouldn't - then
> existence-for-self gives you a conveniently monistically-collapsed
> version of the causal nexus that indivisibly unites perception,
> intention and action. Since they're indivisible, they only work in
> concert, and hence you can't get causal closure until the sense
> necessary in context gains expression. As to 'first' causes, I think
> we've reached the end of the semantic road.
I disagree. For any rational people betting their brain is a machine,
addition and multiplication are very good first cause. Equivalent one
are abstraction and application. There are many other equivalent one,
for the theology. They are not equivalent with respect to engineering,
though.
> If you want, you can can
> elect to be a mathematical Prospero and conjure us from the deep by
> tautological force majeure, or you can accept the mystery of our
> contingent 'necessity'. Take your pick.
>
>> Beyond that, all theories eventually boil down to having to having to
>> take some set of fundamental entities and laws as unexplained,
>> unsupported brute facts. So whether it's one level down or twelve
>> levels down, at some point they end up saying "and these things just
>> exist, created from nothing, supported by nothing".
Yes, that's right. But some theories are elegant, does not eliminate
person, are more fun, than others.
>>
>>
>> So, no matter which way we go, reality doesn't match our common-sense
>> expectations.
Right, but common-sense change all the time. Somehow, it is a provable
promise that it never really stabilize, unless it remember its origin.
In that case it can perhaps contemplate the big thing, but can no more
play in it. (Again I am beyond AUDA).
>> I think this view makes the fewest assumptions, and
>> ultimately seems no more fantastical than any other theory on offer
>
> This is what my mother used to call 'having the courage of your lack
> of convictions'. I like it.
I am not sure I understand that remark. To sum up you have the
current paradigm:
MATTER => CONSCIOUSNESS => NUMBER
comp forces the reversal:
NUMBER => CONSCIOUSNESS => MATTER (followed by => HUMAN
CONSCIOUSNESS => HUMAN NUMBER)
Rex proposes something like:
CONSCIOUSNESS => ?
It is radical, and it is difficult to say if it explains anything. I
suspect the goal could be personal enlightnment instead of a search in
a communicable theory which should or could explain the observable and
non observable (but "feelable", like pain) phenomena.
Bruno
On Thu, Jul 30, 2009 at 4:34 PM, David Nyman<david...@gmail.com> wrote:
>
> Of course a computational narrative may turn out
> not to be the way to go, but I strongly suspect that we still await a
> revolution in - well not physics, but..what? being-science? (gawd) -
> that will be in a primary sense generative of persons prior to the
> generation of appearances. IOW, there probably has to be some sort of
> fundamentally implicate-explicate-superexplicate thingamijig going on
> out there - er, I mean in here.
So if you describe a process that generates persons, how will you
explain the existence of the generating process?
So if something produces consciousness, what produces the producer?
So yes, I've no doubt that one can "explain" consciousness by pointing
to some more fundamental process that you infer from the contents of
our conscious experience.
But since this more fundamental substrate in turn requires an
explanation, your net explanatory gain is ZERO.
The only thing we have direct access to is our conscious experience.
Trying to explain the existence of this conscious experience in terms
of what is experienced inevitably leads to vicious circularity.
So one arbitrary solution is to cut the circle at some preferred point
and declare what's found at that point to be "fundamental" and
everything else flows from it.
To me a better solution is to start at the start, and just accept that
consciousness exists first, uncaused and fundamental. The contents of
our conscious experiences exist second, and derivatively.
Where and how do these secondary things exist? In the same place and
in the same way that the things that we perceive in our dreams exist.
AND
On Sat, Aug 1, 2009 at 2:19 AM, Brent Meeker<meek...@dslextreme.com> wrote:
>>
>> The only thing we have direct access to is our conscious experience.
>> Trying to explain the existence of this conscious experience in terms
>> of what is experienced inevitably leads to vicious circularity.
>
> If you explain the existence of a pain in your tooth by a cavity the experience may lead
> to a dentist - and less pain in your experience.
I am proposing, I suppose:
CONSCIOUSNESS => EVERYTHING ELSE
So obviously it seems useful to postulate the existence of things like
quarks and electrons, which we then use to make predictions about what
will happen if we do this, that, or the other. However, I think there
is good reason to believe that this only holds true in our own
relatively well-behaved part of what is actually a vast experiential
wilderness.
Any proposal that has our consciousness as being "caused", whatever
the causal mechanism, is open to the possibility that we are caused to
experience something that is not reflective of the reality that
produced the experience. Dreams, delusions, hallucinations,
brains-in-vats, and computer simulations of brains all offer real or
conceivable examples of scenarios where what is experienced might lead
one astray in trying to determine the underlying nature of things.
If our conscious experience is caused, then for all we know we're
giant amorphous blobs floating in 12 dimensional space, but with just
the right internal causal structure to produce the conscious
experience of being humans in 3-dimensional space. Or we could be
"Boltzmann Brains", produced by the random fluctuations of particles
in just the right way to produce the illusion of our current
experiences. Given enough time, exactly our experience would be
produced, regardless of the underlying physics of the Boltzmann
Universe that we actually inhabit, just through a brute random search
of the space of possibilities, combination and recombination of all
possible configurations. OR (per Bruno) we could be mathematical
algorithms existing only in some immaterial platonic sense.
Or identical experiences, plus all variations, of being Brent or Bruno
might be caused by each of the above mechanisms at different times and
in different places. An infinite number of universes, or a universe
of infinite size, or with an infinite amount of time, or a quantum
mechanical multiverse with infinite branches, or a platonic Plenitude
containing all possible mathematical/algorithmic structures, would all
seem to be possibilities, and not even mutually exclusive ones.
BUT, I don't think so.
All causal explanations for consciousness (even Bruno's) ultimately
rely on fiat assertions that "this causes conscious experience",
without providing any convincing explanation for why this should be.
It's not so much causation as correlation, as far as I can see.
As I mentioned, I'm sure that the brain can be viewed as representing
the contents of my experience. And I'm sure that a computer program
could also be written that would represent the contents of my
conscious experience and whose representational state would evolve as
the program ran so that it continued to match what I experience over
time. But this would not mean that the program was conscious, or that
my brain is conscious.
The living brain and the executing computer program both just
represent the contents of my conscious experience, in the same way
that a map represents the actual terrain.
However, I question the need to push the explanation down to a
separate layer. So we are at the top of your ontological stack, I
assume. And we look below us to see what supports us. But then we
have to look below that level to see what supports it, and below that
level to see what supports it, and so on. Infinite regress. Turtles
all the way down.
But instead why not look at our own experience, which is the only
thing we know directly, as the foundation of the ontological stack.
Everything that exists rests on the foundation of our conscious
experience? In this view, the stack goes up for as far as our
intellect can reach. And as our intellectual capacity expands, the
our view of the existential landscape above us also expands.
This, I think, makes more sense.
You are using the identity thesis. It is inconsistent for any rational
agent who believe that its own consciousness is invariant for a local
functional substitution.
> Or we could be
> "Boltzmann Brains", produced by the random fluctuations of particles
> in just the right way to produce the illusion of our current
> experiences.
Same remark. If we are machine, Boltzmann brain does not work, unless
they have the right relative statistics, but then they are no more BBs.
> Given enough time, exactly our experience would be
> produced, regardless of the underlying physics of the Boltzmann
> Universe that we actually inhabit, just through a brute random search
> of the space of possibilities, combination and recombination of all
> possible configurations. OR (per Bruno) we could be mathematical
> algorithms existing only in some immaterial platonic sense.
No we aren't. There are no such identifty thesis consistent with the
comp hyp.
Comp makes consciosusness more fundamental, than usual identifty
theses permit.
>
>
> Or identical experiences, plus all variations, of being Brent or Bruno
> might be caused by each of the above mechanisms at different times and
> in different places. An infinite number of universes, or a universe
> of infinite size, or with an infinite amount of time, or a quantum
> mechanical multiverse with infinite branches, or a platonic Plenitude
> containing all possible mathematical/algorithmic structures, would all
> seem to be possibilities, and not even mutually exclusive ones.
This is slightly less wrong, but consciousness is distributed on such
multi-realities. It defines them in the limit.
>
>
> BUT, I don't think so.
>
> All causal explanations for consciousness (even Bruno's) ultimately
> rely on fiat assertions that "this causes conscious experience",
I permanently avoid the notion of causality in search of the
fundamentals. Causlaity is like free-will, it is something which
emerge at some high level, of description.
Comp is not "brain produces consciousness". It is the assertion of the
existence of la level of description of my "body" such that I will not
experience anything usual in the case my "body" is substituted by an
equivalent , for that level, digital device.
That is the "yes doctor". It does not presuppose that the brain causes
consciousness or thing like that.
>
> without providing any convincing explanation for why this should be.
With comp, such explanation cannot be given. If a doctor shows any
such beliefs in the completeness of such an explanation, you better
run away, and search for a more modest doctor.
But we can have convincing evidences that comp makes sense. Today's
physics implies comp, today biology implies comp, today's
neurophysiology implies comp. Non-comp needs to speculate about many
things we have no evidences at all. But despite this, few realize that
comp is incompatible with the aristotelian idea that there is a
physical universe operating primitively. Comp shows that Plato's
theory is more coherent than Aristotle theory.
Even yours is more coherent, yet quite vague.
>
> It's not so much causation as correlation, as far as I can see.
Sure. And the point is that such a correlation cannot be one-one. You
can attach consciousness to a body (your friend's body, for example),
but if you say "yes to the doctor", you can understand that you cannot
attach your experience to any body (nor physical, mathematical, etc.).
On the contrary, bodies should be said to be "caused" by, or emerging
from, consciousness.
And then computer science suggest a definition of consciousness as a
state of true belief in a reality.
>
>
> As I mentioned, I'm sure that the brain can be viewed as representing
> the contents of my experience. And I'm sure that a computer program
> could also be written that would represent the contents of my
> conscious experience and whose representational state would evolve as
> the program ran so that it continued to match what I experience over
> time. But this would not mean that the program was conscious, or that
> my brain is conscious.
Exactly, that is even a key point.
>
>
> The living brain and the executing computer program both just
> represent the contents of my conscious experience, in the same way
> that a map represents the actual terrain.
This is ambiguous. If you agree that this does not force you to say
"no" to the doctor, despite he will handle only those "map-like"
representations, then I am OK with you.
>
>
> However, I question the need to push the explanation down to a
> separate layer.
Because to put consciousness as primitive does not explain neither
consciousness, nor matter, nor their relation.
You may be right, but then we are waiting for the theory, and the
explanation.
By the way, what is the status of your theory with respect to comp?
> So we are at the top of your ontological stack, I
> assume. And we look below us to see what supports us. But then we
> have to look below that level to see what supports it, and below that
> level to see what supports it, and so on. Infinite regress. Turtles
> all the way down.
If you accept the structure (N, + x) we can use beautiful method to
solve infinite regress. That is what does "recursion theory" all the
times.
If you don't accept (N, +, x), how will you explain the fact that we
are consciously talking about (N, +, x)?
>
>
> But instead why not look at our own experience, which is the only
> thing we know directly, as the foundation of the ontological stack.
You can try. Good luck. I can agree that we know our experiences, and
even better that anything else. But as such, those are the things we
cannot communicate to others, at all. That is why only great artist,
poet and musician dare to try.
That is why some scientist does the mistake of putting those
incommunicable things under the rug. They are mistaken because they
confuse "non communicable", with "non existence". Eventually they will
eliminate the person.
>
> Everything that exists rests on the foundation of our conscious
> experience?
The problem is "our". What do you mean by that? If by "our" you mean
"us" the universal machine, I can interpret favorably (with respect to
the comp theory) that everything that exists rests on the foundation
of our consciousness.
And this includes "consciousness", in a circular way, bur which
circularity can be eliminated by theorems in computer science. Then
consciousness appears to be a logical descendant of the instinctive
bet that there is a reality. It provides a relative self-speeding
power which has no bound.
> In this view, the stack goes up for as far as our
> intellect can reach. And as our intellectual capacity expands, the
> our view of the existential landscape above us also expands.
>
> This, I think, makes more sense.
You should appreciate comp and its consequences, because it is closer
to this view than you seem to realize. But you have to tell us what
you mean by "our" to evaluate the degree of adequation between your
insight, and what can be derived from computer science and self-
reference logics.
Bruno
On 06 Aug 2009, at 19:09, 1Z wrote:
>
>
>
> On 31 July, 18:55, Bruno Marchal <marc...@ulb.ac.be> wrote:
>> On 31 Jul 2009, at 18:05, 1Z wrote:
>>
>>
>>
>>> If it isn;t RITSIAR, it cannot be generating me. Mathematical
>>> proofs only prove mathematical "existence", not onltolgical
>>> existence. For a non-Platonist , 23 "exists" mathematically,
>>> but is not RITSIAR. The same goes for the UD
>>
>> Is an atom RITSIAR? Is a quark RITSIAR?
>
> If current physics is correct.
Then it is not "RITSIAR" in the sense of the discussion with David.
Real in the sense that "I" am real. is ambiguous.
Either the "I" refers to my first person, and then I have ontological
certainty.
As I said on FOR, I can conceive that I wake up and realize that
quark, planet, galaxies and even my body were not real. I cannot
conceive that I wake up and realize that my consciousness is not real.
Ontological first person does not need an "IF this or that theory is
correct".
You are reifying theoretical constructions.
>
>
>> The point is just that IF you survive "in the RITSIAR" sense, with a
>> digital (even material, if you want) brain, then materiality has to
>> be
>> retrieved by coherence or gluing property of immaterial computation,
>> or there is an error in the UD Argument.
>
>
> It is not clear what you mean by that. If I am transferred from a
> phsycial
> brain into a physcial computer, physicalism is unscathed. Your
> argument
> against physcialism is that is unnecessary because something else
> is doing the work --
My argument is not that. From what you say, I infer that you
understand the seven first steps of the UD-Argument.
You seem to have a problem with the 8th step, which is the step
showing that no "work" is needed at all. The usual number relations do
the work, and this without any need to reify them.
> that I could be running on some immaterial UDA.
> But you have to assume Platonism to get your UDA, so you have to
> assume Platonism to refute physicalism. Without that assumption, the
> rest doesn't follow.. It is step 0.
Do I need platonism to believe in the existence of prime numbers? I
need only the amount of arithmetical realism for saying that the
(mathematical) machine x stop or doesn't stop on input y. This is
enough for the computational supervenience. And physical supervenience
does not work, as the step 8 of UDA shows.
>
>
>>>>> wihout a UDA there are no generated minds, without generated minds
>>>>> there is no illusory matter.
>>
>>>> Sure. But the UD exists, like prime number exists.
>>
>>> Which for a non-Platononists is not at all
>>> in the relevant sense.
>>
>> Again, if that is true, there must be something wrong in the UD
>> Argument. Which one?
>
> The *implict* assumption of Platonism. Step 0.
It is a relief for me to see that you did look at the papers, and
realise I do not postulate platonism, only realism. So now you have to
attribute this assumption as an implicit assumption. I'm afraid that
such an implicit assumption exists only in your imagination.
You reify a physical primitive reality to instantiate consciousness,
and you attribute me a reification of the numbers to get the same, but
the point of step 8 is to show that such a reification, be it with
matter or number, cannot work.
You don't have a problem with step zero (the real one in the papers).
I think that you have a problem with step 8.
In step seven the UD running is still primitively material, and the
step 8 shows that such an ontological materiality does not help,
*cannot* help.
>
>
>>> How can a conlusion that the material world doesn't exist
>>> be neutrral about Platonism?
>>
>> The point is that Platonism is in the conclusion, not in the
>> hypothesis.
>
> It has to be in the hypothesis. Otherwise you need to show
> that your UDA is a phsycal entity floating in space somwhere.
A physical UD does not change anything, by step 8.
>
> In fact, you have explictly said that the UDA has Platonic existence:
> "But the UD exists, like prime number exists".
I said this to explain that the existence of the UD is of the same
mathematical nature as the existence of the prime number. No need to
double the mathematical ontology.
>
>
>>> If Platonism is false,
>>> the mathematical world doesn';t exist either. and
>>> there is nowhere for the UD to exist at all.
>>
>> Why do you want the UD to exist somewhere?
>
> Because I exist somewhere, and I can;t be generated out
> of shear non-existence.
You talk like if mathematical existence = non existence. I think
Quentin made a similar remark.
But I believe in elementary arithmetic. I can prove that prime numbers
and UDs exist, and by step 8 that is enough. No need to reify such
existence. And step 8 shows that this entails that reification of the
physical objects is a red herring too.
>
>
>> Does prime numbers need to
>> exist somewhere to exist at all?
>
> I say hey don't.
So you believe in the mathematical existence of prime numbers. Good.
>
>
> You say they do.:
>
> "But the UD exists, like prime number exists".
... meaning that the UD, and its mathematical running, mathematically
exist. UD exists in the same mathematical sense than the prime
numbers, and step 8 shows this is all we can use, once we assume
digital mechanism.
>
>
>> Does the physical universe exist somewhere?
>
> Something does. You can't eliminate the phys. uni. AND Plato's heaven.
> Then there is nothing left at all.
By mathematical (arithmetical) realism, the prime numbers and the
mathematical machine continue to exist. By step 8, physical
supervenience is wrong, and the mathematical existence of computation
forces us to restrict the supervenience thesis on those mathematical
computations, which have to exist in the mathematical sense. No need
to reify Plato's heaven. I don't do that, either explicitly nor
implicitly (or show me where).
>
>
>> The UDA reasoning is, in a short way: Comp -> Platonism. (In your
>> sense of platonism).
>
> No,. its Platonism->Comp -> Platonism.
No, it is Comp -> Platonism. Comp includes realism for the
mathematical existence.
>
>
>> If you believe Platonism is false, then by the UD Argument, you
>> believe that comp (i.e. YD + CT) is false, or you believe that there
>> is something wrong in UDA.
>
>> What?
>
> The assumption of Platonism you need to give the UD
> some sort of existence.
I need some sort of existence indeed. Arithmetical existence is enough
by step 8.
>
>
>> Let me ask you that question precisely.
>>
>> Is it a problem with the first person indeterminacy and its
>> invariance
>> properties? That is, is it a problem in the first sixth steps: UDA
>> 1--6.
>> Is it a problem with UDA-7. Where the indeterminacy domain, still
>> material, is infinite?
>> Is it a problem with UDA-8. Where the indeterminacy field become
>> (sigma_1) arithmetical?
>
> I have already answered that. THere is an *implicit* assumption
> of Platonism before you even get on to the rest of it.
Could you show me at which step I am using that *implicit* assumption?
Well, it cannot be in the seven first steps, given that we are free,
there, to reify materiality and imagine the UD as a concrete material
machine.
So it can only be in the 8th step. But the point of step 8 consists
precisely in showing that a physical or even just ontological reality
is pointless.
You talk like if we knew that a primitive physical ontology exists,
but we don't know that, and the seven first step are neutral on that.
You are the one insisting that for consciousness to exist, we need a
physical ontology. But the step 8 shows that with comp such a physical
ontology, or any special ontology is spurious.
You make me regret to have put the step 8 at the end of UDA. Note that
in all my older french version of UDA, I begin by step 8, to make
clear the very essence of the mind body problem once we assume comp.
Consciousness is a purely mathematical phenomenon which makes us
believe in such ontology when digital mechanism forces us to admit
that the simple mathematical existence is enough, and is all we can
really use to attach consciousness to computations.
My diagnostic: you have a problem with step 8. The problem you have
with step 0 comes from the fact that you introduce an implicit
assumption which is not there, or you are playing with the word by 1)
reifying a non mathematical ontology for shear existence, 2) forcing
me to to the same with mathematical existence. But the point is that
such reification does not work (by step 8), unless you identify
mathematical existence with inexistence. But then you should say
"prime numbers do not exist", "UDs do not exist".
You should show where in step 8 the *implicit assumption* has been used.
Bruno
When I woke up this morning, I realized that my consciousness was not
real...
--
Torgny Tholerus
>
> Hi,
>
> 2009/8/7 Torgny Tholerus <tor...@dsv.su.se>:
>>
>> Bruno Marchal skrev:
>>>
>>> Then it is not "RITSIAR" in the sense of the discussion with David.
>>> Real in the sense that "I" am real. is ambiguous.
>>> Either the "I" refers to my first person, and then I have
>>> ontological
>>> certainty.
>>> As I said on FOR, I can conceive that I wake up and realize that
>>> quark, planet, galaxies and even my body were not real. I cannot
>>> conceive that I wake up and realize that my consciousness is not
>>> real.
>>>
>>
>> When I woke up this morning, I realized that my consciousness was not
>> real...
>
> Like before... If you are a zombie, the sentence above has no
> meaning... (there exists no 'I') and if you're not, either you're
> deluded or you 're lying ;)
Or you have a good sense of humor.
The idea of a dreaming zombie, waking up to realize that he was
dreaming being conscious, is rather funny.
Bruno
But as Bertrand Russell, David Hume and many mystics have pointed out you can wake up and
realize there is consciousness but the "I" that possesses it is a fiction.
Brent
> But as Bertrand Russell, David Hume and many mystics have pointed out you can wake up and
> realize there is consciousness but the "I" that possesses it is a fiction.
There are also many common reports of what is colloquially called "ego
loss" in the hallucinogenic literature. Users report the experience of
being "conscious" in that they are awake, perceiving sensory data, and
performing motor functions, but they have no sense of self or "I".
Johnathan Corgan
Absolutely so. It corresponds to the "ego-death" that most people can
live after consuming some entheogen. The so-called "breakthrough"
after consuming some amount of concentrated extract of Salvia
Divinorum is often described in term of ego-death or ego annihilation,
but I think that it is more aptly described as a dissociation between
the first person and the other hypostases with a feeling to remember
who "you" really are, and which is not related to memories or bodies.
That is why some describe this instead as an expansion of the "I", or
an expansion of consciousness. It is related to the second form of
comp-immortality I was talking about some month ago.
Even in the case of the ideal self-referentially correct machine,
there is a sort of competition between many (eight ?) "I". In post-
Plotinus neoplatonist term, the soul "falls" when the "I" identifies
itself with the material hypostases. It is the passage from an "I"
defined in term of truth and/or provability only to an "I" which
includes an attachment to self-consistency (Dt, or ~B~t).
Assuming comp, and extending the arithmetical interpretation of the
Plotinus hypostases, this seems to be the "real" logical origin of
Matter and physical sensations. Much work remains to confirm this.
Bruno
>>>> If it isn;t RITSIAR, it cannot be generating me. Mathematical
>>>> proofs only prove mathematical "existence", not onltolgical
>>>> existence. For a non-Platonist , 23 "exists" mathematically,
>>>> but is not RITSIAR. The same goes for the UD
>>>
>>> Is an atom RITSIAR? Is a quark RITSIAR?
>>
>> If current physics is correct.
>
>
> Then it is not "RITSIAR" in the sense of the discussion with David.
> Real in the sense that "I" am real. is ambiguous.
> Either the "I" refers to my first person, and then I have ontological
> certainty.
> As I said on FOR, I can conceive that I wake up and realize that
> quark, planet, galaxies and even my body were not real. I cannot
> conceive that I wake up and realize that my consciousness is not real.
> Ontological first person does not need an "IF this or that theory is
> correct".
> You are reifying theoretical constructions.
I think need to take a hard line on RITSIAR. I feel that the key lies
in what Bruno terms the certainty of the ontological first person
(OFP): i.e. the sine qua non of reality as it is uniquely available to
us. Since this is inescapably the foundation of any and all
judgements whatsoever, it is simultaneously both the both point of
departure and the 'what-is-to-be-explained' of RITSIAR. In this light
it becomes self-evident that any and all explanatory entities -
physical, computational, or whatever - are severely restricted to the
domain of epistemology. IOW - as Bruno says above - they are
theoretical constructions.
So far so obvious. But - as has again been recognised immemorially -
solipsism is a dead-end and hence we seek a theory to capture the
relation between the OFP and its environment. But immediately we are
faced with the notorious 'explanatory gap', and it seems to me that
its most precise expression is in the gap between ontology and
epistemology. Indeed, what conceivable strategy could raise these
theoretical constructions - to which the OFP uniquely lends existence
- to the ontological certainty of their host? Is there a coherent way
to conceive what it could mean to *be* a theoretical entity (as
opposed to postulating or observing one)? There is something
quintessential that stubbornly eludes capture, because epistemological
access never tells us what an entity *is* - only what can be
ascertained of its 'externalised' properties. And lest we be tempted
to accept the sum of these properties as exhausting 'existence', we
need only turn to the self-evident corrective of the OFP.
So the gap must remain, and I think that now I see why Bruno appeals
simply to the 'ordinary' mathematical sense of existence - because
COMP, under this analysis, is an epistemological schema, and its
entities are theoretical constructions. Hence the question of jumping
the ontological gap is in abeyance, perhaps permanently, but in any
case in the realm of faith. And if this is true for COMP, then
mutatis mutandis it is true for physics. It's no use appealing to
notions of 'what it's like to be a brain' - nor what it's like to be a
COMP-quale - because we can never say that it is 'like anything to be'
the stuff of epistemology. Hence we must see our theorising and
observing - in physical, computational, or whatever terms - *in
relation* to ontological certainty, not as constitutive of it. This
necessarily weakens what can be ascertained by theory or by
observation, but at least keeps us honest.
The unavoidable consequence of the foregoing is that atoms, quarks and
numbers cannot be RITSIAR. Rather, they stand in some theoretical
relation to RITSIAR, but strictly on the epistemological side of the
explanatory gap. They are 'real as far as theory takes us', or if
further jargon is unavoidable: RAFATTU.
>>> The point is just that IF you survive "in the RITSIAR" sense, with a
>>> digital (even material, if you want) brain, then materiality has to
>>> be
>>> retrieved by coherence or gluing property of immaterial computation,
>>> or there is an error in the UD Argument.
>>
>>
>> It is not clear what you mean by that. If I am transferred from a
>> phsycial
>> brain into a physcial computer, physicalism is unscathed. Your
>> argument
>> against physcialism is that is unnecessary because something else
>> is doing the work --
>
> My argument is not that. From what you say, I infer that you
> understand the seven first steps of the UD-Argument.
> You seem to have a problem with the 8th step, which is the step
> showing that no "work" is needed at all. The usual number relations do
> the work, and this without any need to reify them.
See above.
>> But you have to assume Platonism to get your UDA, so you have to
>> assume Platonism to refute physicalism. Without that assumption, the
>> rest doesn't follow.. It is step 0.
>
> Do I need platonism to believe in the existence of prime numbers? I
> need only the amount of arithmetical realism for saying that the
> (mathematical) machine x stop or doesn't stop on input y. This is
> enough for the computational supervenience. And physical supervenience
> does not work, as the step 8 of UDA shows.
And again.
> It is a relief for me to see that you did look at the papers, and
> realise I do not postulate platonism, only realism. So now you have to
> attribute this assumption as an implicit assumption. I'm afraid that
> such an implicit assumption exists only in your imagination.
> You reify a physical primitive reality to instantiate consciousness,
> and you attribute me a reification of the numbers to get the same, but
> the point of step 8 is to show that such a reification, be it with
> matter or number, cannot work.
My argument against the *physical* instantiation of a computational
mind (i.e. in any non-eliminative sense) rests on the claim that the
very arbitrariness of possible physical instantiations of a given
computation (cf Hofstadter) violates the criterion of direct
supervention on *specific* physical entities and relations from which
a class of emergent phenomena inherits physical - as opposed to merely
mental (and hence egregiously question-begging) - stability.
Naturally, all this is per physics as ordinarily understood.
Tolerating such a violation is tantamount to accepting (and this is
notoriously claimed by Hofstadter et al) that *any* arbitrarily
assembled set of physical entities deemed to be in the required
'functional' relation (e.g. - famously - in an anthill) necessarily
stabilises exactly the same 'mental state'. AFAICS this is by itself
quite sufficient to reveal such a 'mind' as intrinsically unphysical -
and a fortiori un-RITSIAR.
My argument assumes, however, that - per physicalism - a running
computation (as opposed to its specification) necessarily requires
*some* physical activity to transform inputs to outputs (e.g. in terms
of logic gates). Step 8, however, seems to take a step beyond this by
proposing that a running computation can take the form of (as opposed
to merely being described by) a machine *state*: i.e. without the
requirement of activity. But in precisely what sense can such a
'stopped' state (i.e. still within purely physical terms of reference)
be regarded as a 'running' computation, and hence - per computational
theory of mind - as evocative of temporal experience? And in any
case, in what way is step 8 intended to extend intuition beyond my own
argument, which - as I have tried to show - also elicits the insight
that the direct supervention of 'functional' relations on functions
themselves - not on their arbitrarily-defined physical tokens - is
central to the recovery of 'mind' from computation.
> You talk like if we knew that a primitive physical ontology exists,
> but we don't know that, and the seven first step are neutral on that.
> You are the one insisting that for consciousness to exist, we need a
> physical ontology. But the step 8 shows that with comp such a physical
> ontology, or any special ontology is spurious.
And again, the onto-epistemological gap.
David
>
> 2009/8/7 Bruno Marchal <mar...@ulb.ac.be>:
>
>>>>> If it isn;t RITSIAR, it cannot be generating me. Mathematical
>>>>> proofs only prove mathematical "existence", not onltolgical
>>>>> existence. For a non-Platonist , 23 "exists" mathematically,
>>>>> but is not RITSIAR. The same goes for the UD
>>>>
>>>> Is an atom RITSIAR? Is a quark RITSIAR?
>>>
>>> If current physics is correct.
>>
>>
>> Then it is not "RITSIAR" in the sense of the discussion with David.
>> Real in the sense that "I" am real. is ambiguous.
>> Either the "I" refers to my first person, and then I have ontological
>> certainty.
>> As I said on FOR, I can conceive that I wake up and realize that
>> quark, planet, galaxies and even my body were not real. I cannot
>> conceive that I wake up and realize that my consciousness is not
>> real.
>> Ontological first person does not need an "IF this or that theory is
>> correct".
>> You are reifying theoretical constructions.
>
> I think need to take a hard line on RITSIAR. I feel that the key lies
> in what Bruno terms the certainty of the ontological first person
> (OFP): i.e. the sine qua non of reality as it is uniquely available to
> us.
I thought you were using "RITSIAR" in this 1-person way. But it seems
that
Peter Jones was using in in a 3-person way. But all the 3-things
belong to the realm of the dubitable, and none can be real in the
sense I am real.
I can know that I am real, but I cannot *know* for sure that I have
fingers, or that I am made of atom, or that my hair are brown. This
"knowledge" is of the conjectural, theoretical type.
> Since this is inescapably the foundation of any and all
> judgements whatsoever, it is simultaneously both the both point of
> departure and the 'what-is-to-be-explained' of RITSIAR.
"to-be-explained" means to be explained in a theory. I show that comp
leads to a simple theory for the ontology (any universal machine, like
a tiny fragment of arithmetic will do), and a slightly less simple
epistemology (arithmetic + the induction axiom, so that we get the
self-awareness theorem: Bp -> BBp (if I believe p, I believe that I
believe p).
> In this light
> it becomes self-evident that any and all explanatory entities -
> physical, computational, or whatever - are severely restricted to the
> domain of epistemology.
I don't see why. I would not put arithmetic in epistemology, or only
in a very large sense of epistemology, the epistemology of the 0-
person views!. It seems clearer to accept them ontologically like in
the usual practice of math. Could be only a vocabulary problem here.
> IOW - as Bruno says above - they are
> theoretical constructions.
Yes, but this does not mean those construction does not refer to
something real independently of us, and this is what I assume for
comp. Even if the whole existence get annihilated, 17 would still be
prime.
>
>
> So far so obvious. But - as has again been recognised immemorially -
> solipsism is a dead-end and hence we seek a theory to capture the
> relation between the OFP and its environment. But immediately we are
> faced with the notorious 'explanatory gap', and it seems to me that
> its most precise expression is in the gap between ontology and
> epistemology. Indeed, what conceivable strategy could raise these
> theoretical constructions - to which the OFP uniquely lends existence
> - to the ontological certainty of their host? Is there a coherent way
> to conceive what it could mean to *be* a theoretical entity (as
> opposed to postulating or observing one)?
It is the point of saying "yes" to the doctor. You don't say yes
because the new brain is a good modelisation of your brain, but
because you bet it will enact yourself completely, relatively to the
neighborhood.
> There is something
> quintessential that stubbornly eludes capture, because epistemological
> access never tells us what an entity *is* - only what can be
> ascertained of its 'externalised' properties. And lest we be tempted
> to accept the sum of these properties as exhausting 'existence', we
> need only turn to the self-evident corrective of the OFP.
>
> So the gap must remain, and I think that now I see why Bruno appeals
> simply to the 'ordinary' mathematical sense of existence - because
> COMP, under this analysis, is an epistemological schema, and its
> entities are theoretical constructions.
You may confuse the reality of number, and the reality of machine/
theories talking about those numbers. Numbers are not viewed as
theoretical construction. The theoretical construction are our
theories on the numbers. It simplifies things.
> Hence the question of jumping
> the ontological gap is in abeyance, perhaps permanently, but in any
> case in the realm of faith.
All theories demands faith, but the faith needed for understanding
that 17 is prime is not comparable to the act of faith needed to say
yes to the doctor.
> And if this is true for COMP, then
> mutatis mutandis it is true for physics.
This is hard for many people, because our faith in a physical worlds
relies on billions years of prejudice. Only the greeks, from -500 to
+500, have dare to doubt it, and this gave rise to science, including
theology. But Aristotle, and mainly its middle age disciples have
reintroduced the naturalist dogma.
> It's no use appealing to
> notions of 'what it's like to be a brain' - nor what it's like to be a
> COMP-quale - because we can never say that it is 'like anything to be'
> the stuff of epistemology.
Assuming comp we can still say that it is like you feel right now.
Only zombie cannot understand, but if they are good zombie, they will
have no problem to fake that they understand.
> Hence we must see our theorising and
> observing - in physical, computational, or whatever terms - *in
> relation* to ontological certainty, not as constitutive of it.
That's right.
> This
> necessarily weakens what can be ascertained by theory or by
> observation, but at least keeps us honest.
>
> The unavoidable consequence of the foregoing is that atoms, quarks and
> numbers cannot be RITSIAR.
I thought this was obvious.
> Rather, they stand in some theoretical
> relation to RITSIAR, but strictly on the epistemological side of the
> explanatory gap. They are 'real as far as theory takes us', or if
> further jargon is unavoidable: RAFATTU.
Well frankly this will depend of the first "T" of RAFATTU. It depends
of the theory.
With the comp theory, quarks, electrons, planet and galaxies are not
ontologically real.
With string theory, they may be real.
I think that this what the movie graph argument makes necessary.
>
> Naturally, all this is per physics as ordinarily understood.
> Tolerating such a violation is tantamount to accepting (and this is
> notoriously claimed by Hofstadter et al) that *any* arbitrarily
> assembled set of physical entities deemed to be in the required
> 'functional' relation (e.g. - famously - in an anthill) necessarily
> stabilises exactly the same 'mental state'. AFAICS this is by itself
> quite sufficient to reveal such a 'mind' as intrinsically unphysical -
> and a fortiori un-RITSIAR.
Hmm... things are more subtle, but in a first approximation this can
be useful.
Once you say yes to the digital surgeon, you can undersatnd that you
are immaterial, in the sense you can change body everyday, like you
can buy a new car. The movie graph shows that comp makes this
immateriality contagious on the environment.
>
>
> My argument assumes, however, that - per physicalism - a running
> computation (as opposed to its specification)
It is important to distinguish a program (immaterial static object)
and a computation (an immaterial "dynamic" object, which can be finite
or infinite, but is best handled when accepting it is infinite,
because in that case a dynamic can be defined by a function from N to
anything: it is a sequence of things). If not, people get troubled by
the existence of running computation in platonia/arithmetical truth.
> necessarily requires
> *some* physical activity to transform inputs to outputs (e.g. in terms
> of logic gates). Step 8, however, seems to take a step beyond this by
> proposing that a running computation can take the form of (as opposed
> to merely being described by) a machine *state*: i.e. without the
> requirement of activity.
No, activity is required. But activity is just a function from N to
set of states. The movie graph show that a machine cannot distinguish
physical activity from such an arithmetical activity. A computation is
an infinite set of numbers such that there is a universal number
generating that sequence.
> But in precisely what sense can such a
> 'stopped' state (i.e. still within purely physical terms of reference)
> be regarded as a 'running' computation, and hence - per computational
> theory of mind - as evocative of temporal experience?
By the invocation of a universal machine/number.
The problem, well the white rabbit problem, is that if a universal
machine makes a sequence s1 s2 s" ... a computation, then there will
be an infinity of such universal machine and computations, and from
the first person point of view the person belongs to all those
computations at once.
> And in any
> case, in what way is step 8 intended to extend intuition beyond my own
> argument, which - as I have tried to show - also elicits the insight
> that the direct supervention of 'functional' relations on functions
> themselves - not on their arbitrarily-defined physical tokens - is
> central to the recovery of 'mind' from computation.
See above.
>
>
>> You talk like if we knew that a primitive physical ontology exists,
>> but we don't know that, and the seven first step are neutral on that.
>> You are the one insisting that for consciousness to exist, we need a
>> physical ontology. But the step 8 shows that with comp such a
>> physical
>> ontology, or any special ontology is spurious.
>
> And again, the onto-epistemological gap.
All the edges in the graph of the arithmetical hypostases represents
gap from the machine point of views. 8 gaps. In details: 8 + infinity
of gaps, because the material hypostases are graded and multiplied.
But I don't want to use AUDA too much, if some people have still
trouble with UDA.
The discovery of the universal machine is the creative bomb which
makes comp possible and plausible. Universal machine, like computers
and brains, are not trivial mathematical object at all. To study comp
without computer science, is like doing cosmology without QM and GR.
Of course we can have the deepest intuition right, by experience, but
to make a sharble verifiable theory, I am afraid we cannot dismiss
some math ...
>
> 2009/8/10 Bruno Marchal <mar...@ulb.ac.be>:
>
> Bruno, I'm broadly in agreement with your comments, and merely
> re-emphasise a few points below on which I'm being a stickler.
All right.
> Also,
> I have some further comments and questions on step 8.
Good.
>
>
>>> In this light
>>> it becomes self-evident that any and all explanatory entities -
>>> physical, computational, or whatever - are severely restricted to
>>> the
>>> domain of epistemology.
>>
>> I don't see why. I would not put arithmetic in epistemology, or only
>> in a very large sense of epistemology, the epistemology of the 0-
>> person views!. It seems clearer to accept them ontologically like in
>> the usual practice of math. Could be only a vocabulary problem here.
>
> Yes, I normally wouldn't dispute this point, but but I'm being a
> stickler here. In the strictest sense the ontological equivalence of
> anything whatsoever to the indexical OFP can only be an assumption -
> albeit one that might be justifiable in the case of the best theory.
OFP, OFP, ... ? Ah Ontological First Person.
Actually in "indexical OFP" I could argue that "indexical and
ontological" are just reminders on point where we already agree (and
agree with the universal machine discourse, after some definition and
theorems ...).
But with comp, the first person does not necessarily identifies with
any representation, like we don't have to identify ourselves with a
body, but we can bet on "staying the same person in the sense that I
stay the same person after drinking a cup of coffe" (SSPSSSPDCC, if
you want :) for some digital body transformation.
The 1-I, the 1-person, does not need to identify itself to any body,
or representation (actually: the 1-person cannot do that, it can
identify itself only to itself as a person).
So the 1-person bet on some 3-person (the body, the code relatively to
its most probable universal computation), and on its invariance for
some (digital) body transformation.
Assuming comp, the reasoning leads to make consciousness a larger
invariant (and then you have more choice and latitude in the
transformation, for example with amnesia, or false souvenirs, etc.).
But strictly speaking (I am also a stickler), the first person can
never identify herself to *any* representation, she share this with
the 0-person ONE, or the non differentiate (arithmetical) truth. The
knower does not know who he is. Relatively to probable histories, he
makes bets "all the time".
>
> Beyond this, that the unique qualitative nature of the OFP *is* as it
> appears, is in principle outside the scope of explanation itself.
No! This is the "miracle" of comp. Machine cannot not discover the
incommunicable part of their experience, but they can, assume of bet
on comp, and justify that why it has to be so. That is AUDA. The gap
is justified from inside. It is a consequence from the fact that
machine can prove their own incompleteness theorems, and even study
the geometry of their ignorance. The ultimate gap remains unavoidable,
so you are right saying that the unique qualitative nature of the OFP
is outside the scope of the explanation, but that fact, is an "easy"
theorem on and by the machine which introspect herself.
To sum up:
The unique qualitative nature of the OFP *is* beyond the scope of the
explanation-comp theory. But that very fact *is* in the scope of the
theory.
>
>
>>> IOW - as Bruno says above - they are
>>> theoretical constructions.
>>
>> Yes, but this does not mean those construction does not refer to
>> something real independently of us, and this is what I assume for
>> comp
>
> I agree, as above that it is the whole point of our endeavours to say
> that the construction *refers* to something real. But I think perhaps
> that the something thus referenced is not best characterised as being
> real *independently* of us, but rather *constitutive* of us and our
> (most general) environment.
I agree with you, but this can be said among enlightened people who
understand the whole stuff.
Before the reasoning, you could be suspected to put the horse behind
the car.
With comp, numbers, or finite things like combinators etc. have
clearly a relation with us, but a priori it is simpler to state their
laws without referring to us.
A number is even if and only its square is even. This is a law about
numbers. Those are the type of truth which we have to state as not
depending on us <here and now>, even if it depends on us, or are us,
"there".
>
>
>> Even if the whole existence get annihilated, 17 would still be
>> prime.
>
> I understand that it is justifiable to take this as your point of
> departure and don't really wish to make an argumentative point out of
> it. Nonetheless, in passing, perhaps I have a more radical intuition
> of annihilation than you. One can waste a lot of breath speculating
> on 'nothing' because, strictly I guess, there can be nothing at all it
> can refer to.
This I do not understand. There are many nothing everywhere, and other
absence, and I am open that absolute nothingness could be conceivable,
a bit like theories having no models. It seems you just point here on
a difficult open question.
> I could demonstrate this, given infinite time, simply
> by flatly rejecting *any* survivor of such annihilation that you or
> anyone cared to propose, to the crack of doom. On this basis, even
> '17 is prime' is a goner.
I still don't see why or how you could do that, except by convincing
me that Peano Arithmetic is inconsistent.
>
>
>>> So far so obvious. But - as has again been recognised
>>> immemorially -
>>> solipsism is a dead-end and hence we seek a theory to capture the
>>> relation between the OFP and its environment. But immediately we
>>> are
>>> faced with the notorious 'explanatory gap', and it seems to me that
>>> its most precise expression is in the gap between ontology and
>>> epistemology. Indeed, what conceivable strategy could raise these
>>> theoretical constructions - to which the OFP uniquely lends
>>> existence
>>> - to the ontological certainty of their host? Is there a coherent
>>> way
>>> to conceive what it could mean to *be* a theoretical entity (as
>>> opposed to postulating or observing one)?
>>
>> It is the point of saying "yes" to the doctor. You don't say yes
>> because the new brain is a good modelisation of your brain, but
>> because you bet it will enact yourself completely, relatively to the
>> neighborhood.
>
> Yes indeed, this is my point. There is no way to *conceive* in
> advance what it would mean to *be* such an enactment (i.e. to be
> *sure*) so you can only bet that saying yes will not affect the state
> of the indexical OFP.
Yes, thanks to the "(i.e. to be *sure*). Yes. Of course we can
conceive in advance what it could mean to be such an enactement. It
would be like me or you but with souvenirs of going to the digital
hospital and coming back, or like using teleportation, and
communicating themselves at the speed of light in the neighborhood,
like those very words.
>
>
>> You may confuse the reality of number, and the reality of machine/
>> theories talking about those numbers. Numbers are not viewed as
>> theoretical construction. The theoretical construction are our
>> theories on the numbers. It simplifies things.
>
> I agree that this assumption simplifies things, and as you say it is
> one shared by all mathematicians. But again, in the final analysis,
> numbers can only be 'viewed' as ontologically real, not *known* to be.
> But this is true of any assumption whatever, and I freely concede
> your points about the simplicity of the assumptions in the case of
> comp.
Ah :)
>
>
>> All theories demands faith, but the faith needed for understanding
>> that 17 is prime is not comparable to the act of faith needed to say
>> yes to the doctor.
>
> Agreed.
>
>>> It's no use appealing to
>>> notions of 'what it's like to be a brain' - nor what it's like to
>>> be a
>>> COMP-quale - because we can never say that it is 'like anything to
>>> be'
>>> the stuff of epistemology.
>>
>> Assuming comp we can still say that it is like you feel right now.
>> Only zombie cannot understand, but if they are good zombie, they will
>> have no problem to fake that they understand.
>
> Yes, *assuming* comp. We cannot *know* what it is like to be a
> comp-quale, but we may have sufficient faith to bet that it's like
> 'what you feel right now'.
Yes. Actually this is even a problem for real practitioners of comp,
they may come to believe they know that comp is true, and then they
will be inconsistent. Comp entails the existence of sort of possible
future "delusion", it may already be a way to keep alive the past
delusion. There is a sort of paradox here a machine clever enough to
understand or bet on an artificial brain can understand the artificial
brain is not needed. The problem is that you don't need to understand
the implication of saying "yes doctor" for saying "yes" to the doctor.
A common problem with technologies, already related to their
duplicabilities.
>
>
>>> Hence we must see our theorising and
>>> observing - in physical, computational, or whatever terms - *in
>>> relation* to ontological certainty, not as constitutive of it.
>>
>> That's right.
>
> Hooray!
>
>> I thought this was obvious.
>
> You may have heard the following story. A professor of mathematics
> enters the lecture room with a sheaf of papers and writes a complex
> theorem on the blackboard. He turns to the students and says "ladies
> and gentlemen, this of course is obvious". He then shuffles his
> papers, looks at the board again and continues more doubtfully "at
> least, I think it is obvious". Then he stares fixedly at the board
> for ten minutes without speaking, looking increasingly uncomfortable.
> Finally, he rubs out the theorem and leaves the room. The students
> are nonplussed, but remain in their seats. Thirty minutes later, the
> professor re-enters the room, looking disheveled but happy. He writes
> exactly the same theorem on the blackboard with a flourish, turns to
> his audience and announces triumphantly "ladies and gentlemen, I was
> right - it IS obvious!"
I guess it was obvious, but not obviously obvious :)
Yes in math there is the obvious (that nobody understand)
Then there is what is obviously obvious (for those who still does not
understand).
And so forth.
Normally "obvious" means, assuming a non sadistic teacher:
- it follows in one step from the definition or from the last theorem.
Making it a very relative notion.
>
>
>>> Rather, they stand in some theoretical
>>> relation to RITSIAR, but strictly on the epistemological side of the
>>> explanatory gap. They are 'real as far as theory takes us', or if
>>> further jargon is unavoidable: RAFATTU.
>>
>> Well frankly this will depend of the first "T" of RAFATTU. It depends
>> of the theory.
>> With the comp theory, quarks, electrons, planet and galaxies are not
>> ontologically real.
>> With string theory, they may be real.
>
> Yes, real in the relative sense we have been discussing.
OK. And number are real in that sense, too.
Usually, even physicists, have less doubt about the existence of even
numbers than on the standard modal of elementary particles.
Actually I do disagree with this, and Peter Jones made good point
here. If you were true, UDA could be simplified a lot. Physicalism
does not prevent dualism form/matter at all, like immaterial software
and physical hardware. Physicalism can still explained the existence
of the many immaterial being like nations, countries, persons (being
fuzzy on the 1-3 distinction), games, music, etc.
But comp, pushed on its logical conclusion prevent physicalism to
explain the 1-person stable observations. We have to explain the
appearances of all observables protagonists from the relation between
numbers. There is a problem of vocabulary deciding if matter disappear
or not. It is easier to say that physicalism is shown inconsistent or
epistemologically empty. But this is not an entirely trivial
proposition to demonstrate; it is full of traps, and without QM, nor
Post or Turing, I would never have believed this, nor find the
argument. UDA needs the universal machine concept.
> Consequently, I agree that the
> reversal of ontological primacy you stipulate is necessary to save
> comp.
Comp doesn't let much choice: like biology got an evolutionary aspect,
physics got an evolutionary aspect in logic and arithmetic. Comp just
show that things are far more complex than physicalist, or even some
mathematicalist, tend to think.
Comp provides a relatively easy theory of mind (computer science, self-
reference logics and their intensional nuances) but present a big
problem : extracting the qubits from a relative dreaming property of
numbers.
>
>
> Your argument however seems to be based not on the physical
> implementation but the 'immaterial' computation to which it is
> postulated - per standard comp - to be equivalent. Is this right?
> (More on this below.)
This is unclear. UDA1-7 can be based on the physical implementation of
the devices presented in the protocol of the thought experiment. UDA-8
eliminates that assumption.
>
>
>>> necessarily requires
>>> *some* physical activity to transform inputs to outputs (e.g. in
>>> terms
>>> of logic gates). Step 8, however, seems to take a step beyond
>>> this by
>>> proposing that a running computation can take the form of (as
>>> opposed
>>> to merely being described by) a machine *state*: i.e. without the
>>> requirement of activity.
>>
>> No, activity is required. But activity is just a function from N to
>> set of states. The movie graph show that a machine cannot distinguish
>> physical activity from such an arithmetical activity. A computation
>> is
>> an infinite set of numbers such that there is a universal number
>> generating that sequence.
>
> When you say that "activity is just a function from N to set of
> states", you again seem to refer to 'immaterial activity'. It seems
> to me that what you are saying amounts to this:
>
> If it is the case that, per comp, it is the 'immaterial' activity of
> the running program, regardless of specific implementation,
Careful: the mind needs specific implementations, but below its
substitution level, all implementations acts simultaneously, from its
perspective (in case it decides to take a look below its level, he
should see this).
Once the reversal is done the word "physical" is reduced to something
very specific, which includes a (perhaps to high) first person
indeterminacy.
> that
> implements the function and hence the mind, then this is
> indistinguishable by the machine from it simply *being* the function
> and hence the mind.
The mind (the 1-mind, not the numbers) is distributed in the set of
all computations, you cannot really attach it in any single
computation, unless you have reasons to think it is correlated to your
own histories. Remember that at UDA-8 we abandon the physical
supervenience for a comp supervenience, which is hard to describe
without the minimum amount of math I was talking about.
I may insist that the 1-person, nor its consciousness, is never
attached to any thing which can be represented. Only its third person
vehicles are, and the person can make relative and local bets on those
vehices and their relative stabilities.
This is recover and made consistent by the nuance between the prover
Bp and the knower Bp & p (and the feeler, Bp & p & Dt); which by
construction are the same, yet they cannot know that.
> Standard comp is then seen to refute - or at
> least make irrelevant - its own basis in materiality. Is this right?
comp + physicalism is either contradictory or epistemologically
empty (person eliminativist).
The proof is constructive. It gives the place where you can studied
where the appearance of physics come from.
This will provide jobs for mathematicians of the next millenia.
>
>
>>> And in any
>>> case, in what way is step 8 intended to extend intuition beyond my
>>> own
>>> argument, which - as I have tried to show - also elicits the insight
>>> that the direct supervention of 'functional' relations on functions
>>> themselves - not on their arbitrarily-defined physical tokens - is
>>> central to the recovery of 'mind' from computation.
>>
>> See above.
>
> Have I succeeded in answering my own question?
I let you judge.
>
>
>> The discovery of the universal machine is the creative bomb which
>> makes comp possible and plausible. Universal machine, like computers
>> and brains, are not trivial mathematical object at all. To study comp
>> without computer science, is like doing cosmology without QM and GR.
>> Of course we can have the deepest intuition right, by experience, but
>> to make a sharble verifiable theory, I am afraid we cannot dismiss
>> some math ...
>
> Vous avez raison cher maitre, j'en suis sur.
You mean "Vous avez raison cher maître, j'en suis sûr."
Stickler in French is "pointilleux", which means literaly asking for
the correct accents!
I cannot wait for your questions on step 8 :)
Bruno
>>
>> I cannot wait for your questions on step 8 :)
>
> I cannot wait for your answers :-)
Asap. I am busy. Too much things to do. Hope I will find some
windows ...
Best,
Bruno
>
> 2009/8/10 Bruno Marchal <mar...@ulb.ac.be>:
>
>> But strictly speaking (I am also a stickler), the first person can
>> never identify herself to *any* representation, she share this with
>> the 0-person ONE, or the non differentiate (arithmetical) truth. The
>> knower does not know who he is. Relatively to probable histories, he
>> makes bets "all the time".
>
> Yes, I agree with this. This is why I've always said that the One is
> 'personal' to some minimum but not-eliminable degree (0-personal in
> your terminology). The first person inherits the "I" from the One:
> this is essential to make sense of duplicability and teleportation.
You know, in the "machine theology", that is, in the interview of the
Löbian machine (AUDA), the role of the ONE is aptly done by the notion
of truth, as conceived in mathematical logic, and which is rather
clear about arithmetical sentences. It is important to mention Tarski
theorem, and to remember that no correct machine can ever even name
its own truth predicate, so that such a ONE satisfy already a first
"axiom" of Plotinus, which is that the ONE has no name.
You may be right attributing a personhood to "truth", like Plotinus
could be right in attributing a will. I don't know. What is clearer is
that any singular first person (which is never really singular
actually) inherited its soul from "the universal soul" which is the
knower, and the one defined by Bp & p. But the "p" of "Bp & p" is
inherit from the ONE (truth), like Bp is inherit
is inherit from Intellect. This makes consistent many assertion by
Plotinus, and is basically what the machine can say and/or infer from
its "self-searching".
But we are really in AUDA here, and I feel like using authoritative
argument, at this stage.
>
>
>>> Beyond this, that the unique qualitative nature of the OFP *is* as
>>> it
>>> appears, is in principle outside the scope of explanation itself.
>>
>> No! This is the "miracle" of comp. Machine cannot not discover the
>> incommunicable part of their experience, but they can, assume of bet
>> on comp, and justify that why it has to be so. That is AUDA. The gap
>> is justified from inside. It is a consequence from the fact that
>> machine can prove their own incompleteness theorems, and even study
>> the geometry of their ignorance.
>
> Apparently we don't agree :-(
>
>> The ultimate gap remains unavoidable,
>> so you are right saying that the unique qualitative nature of the OFP
>> is outside the scope of the explanation, but that fact, is an "easy"
>> theorem on and by the machine which introspect herself.
>> To sum up:
>> The unique qualitative nature of the OFP *is* beyond the scope of the
>> explanation-comp theory. But that very fact *is* in the scope of the
>> theory.
>
> Apparently we DO agree :-)
OK.
>
>
>>>>> IOW - as Bruno says above - they are
>>>>> theoretical constructions.
>>>>
>>>> Yes, but this does not mean those construction does not refer to
>>>> something real independently of us, and this is what I assume for
>>>> comp
>>>
>>> I agree, as above that it is the whole point of our endeavours to
>>> say
>>> that the construction *refers* to something real. But I think
>>> perhaps
>>> that the something thus referenced is not best characterised as
>>> being
>>> real *independently* of us, but rather *constitutive* of us and our
>>> (most general) environment.
>>
>> I agree with you, but this can be said among enlightened people who
>> understand the whole stuff.
>> Before the reasoning, you could be suspected to put the horse behind
>> the car.
>
> Or "put the horse before the cart", in our delightfully archaic
> phrase. I am doing this, would you say?
>
>> With comp, numbers, or finite things like combinators etc. have
>> clearly a relation with us, but a priori it is simpler to state their
>> laws without referring to us.
>
> I agree that simpler is better as long as we are clear on what is
> being assumed.
The difficulty of the UDA could come from that at step 0, we somehow
ask a question, independently of the ontology.
You can say "yes" to the doctor without having any definite opinion
about the existence of primitive matter or not. You have to believe in
some amount of consensual reality (which people do when sending a mail
to a mailing list, usually).
The reasoning leads then to an extraction of a "theory of everything".
That theory does not postulate matter, but explain, actually by
postulating number + addition and multiplication, why universal
machine exists and observe eventually matter, and why primitive matter
cannot interfere with it (so that by Occam, it is as useless as ether
and phlogiston).
Well this concern many more things than just computationalism, like
(different restaurant, same price). here are many immaterial pattern
in invariant in nature, even waves in general can be see in this way
when you add a dynamic. Quantum field makes particles already
immaterial in that sense I would say. The only newness in
computationalism is the presume digitalness. But OK.
>
> under inumerable different physical reductions (i.e. it is defined
> functionally); and yet any such state of affairs (again excluding mere
> 3-descriptions) is asserted somehow to evoke an *identical* - and
> moreover completely *novel* - ontological category.
I am not sure I follow this. Once you say yes to the doctor, you
"know" that you are a number which moves itself, of you course you
know just that you are a person who bet on its survival for digital
annihilation-reconstitution. But this is already true for books and
electronic mailings. I am not sure what is new. WE just get numerical,
like say a symphony by Sibelius available from a numerical CD.
>
>
> Consequently IMO the foregoing criteria make the computational theory
> of mind a mere dogma under the criterion of strict physicalism,
> although the restrictiveness of this criterion usually passes
> unrecognised precisely in consequence of this dogmatic blindness.
?
>
> Indeed it is precisely the contradiction implicit in the conjunction
> of strict physicalism with the computational theory of mind that step
> 8 seeks to expose and correct.
Yes. The epistemological contradiction.
> The reversal of number and physics, by
> contrast, privileges as efficacious the precise number relations upon
> which computational invariance depends. In so doing it justifies comp
> as an ontological category, and thereby eludes this criticism.
It justifies there is no sense to add any form of existence beyond
arithmetical existence. It makes arithmetic the theory of everything,
and it explains what is matter from the point of view of the universal
numbers.
Comp does not introduce any new ontology. It uses the fact that
computer science is embedded in "truth". It exploits the necessary gap
between computer science and computer's computer science. The gap
contains what universal machine can hope and fear.
>
>
> BTW, when you refer to "dualism form/matter" I assume you aren't
> appealling to mind-matter dualism in any literal sense,
I was, locally, in defense of physicalism against your argument. Once
the implication of comp is understood, this takes another sense, of
course.
> although this
> is IMO actually implied by any (non-3-description) computational
> theory of mind that uniquely privileges physical entities and
> relations as ontologically efficacious.
Yes. It is even the reason why materialist does not succeed to solve
the mind-body problem. They introduce a notion of matter which
eventually can be shown to be nonsensical. With comp, matter can still
explains the mind (which explains why comp is the favorite theory of
the atheist and the materialist), the problem is that, with comp,
matter can no more explain matter, or more precisely: the postulation
of matter acn no more justifies the appearance of matter in the mind
of any universal machine. Physics become ultimately the study of the
border of the ignorance of the universal person. This can be studied
with math, and up to now, it seems to work.
>
>
> I'd like to dispose of this issue definitively, if possible. Either
> I'm wrong in some point of the analysis (which I would be happy to
> concede if clearly demonstrated), or something is being missed here.
>
>> But comp, pushed on its logical conclusion prevent physicalism to
>> explain the 1-person stable observations. We have to explain the
>> appearances of all observables protagonists from the relation between
>> numbers. There is a problem of vocabulary deciding if matter
>> disappear
>> or not. It is easier to say that physicalism is shown inconsistent or
>> epistemologically empty. But this is not an entirely trivial
>> proposition to demonstrate; it is full of traps, and without QM, nor
>> Post or Turing, I would never have believed this, nor find the
>> argument. UDA needs the universal machine concept.
>
>> UDA1-7 can be based on the physical implementation of
>> the devices presented in the protocol of the thought experiment.
>> UDA-8
>> eliminates that assumption.
>
> When you say "physical implementation" here, do you mean in terms of
> ontologically-primary physicalism?
As you want. The seven first step work with comp, or with comp +
physicalism. It is really like you prefer.
The assumption of physicalism is almost never use in the practice of
science. It is just in the background.
The idea that physicalism is part of the science of today is an
oversimplification. It belongs to the religious background more or
less inherit from years of oversimplification of Aristotle Platonism.
A real scientist does just not commit itself ontologically at all,
except for the local referents of the terms appearing in its theory.
> Does this assume in this case that
> UDA1-7 could still be coherent per *some* theory of mind, but *not*
> under the assumption that "I am a machine", as step 8 seeks to
> demonstrate?
You may clarify. UDA1-7 needs "I am a machine", so I have no idea of
what could be UDA1-7 without "I am a machine".
UDA1-7 is UDA0-7 with UDA-0 = "I am a machine" (material or not, it
does change anything).
UDA-8, which is really independent, just shows that once we attach the
mind to a computation, we cannot attach the mind to the physical
activity incarnating that computation. UDA1-7 do a sort of contrary:
if we attach a physical activity to a mind, then the mind itself can
attach itself only to an infinity of (primarily physical) computation.
With both, you can, well, you must (to remain epistemologically
coherent) drop "primarily physical".
>
>
>>> When you say that "activity is just a function from N to set of
>>> states", you again seem to refer to 'immaterial activity'. It seems
>>> to me that what you are saying amounts to this:
>>>
>>> If it is the case that, per comp, it is the 'immaterial' activity of
>>> the running program, regardless of specific implementation,
>>
>> Careful: the mind needs specific implementations, but below its
>> substitution level, all implementations acts simultaneously, from its
>> perspective (in case it decides to take a look below its level, he
>> should see this).
>>
>> Once the reversal is done the word "physical" is reduced to something
>> very specific, which includes a (perhaps to high) first person
>> indeterminacy.
>
> Yes, I know, but at this point (i.e. before the reversal) I was
> referring to the fact that because a computation is deemed invariant
> in the face of different valid implementations its implicit 'ontology'
> is immaterial as contrasted with an assumption of a basically material
> ontology.
OK.
>
>
>>> that
>>> implements the function and hence the mind, then this is
>>> indistinguishable by the machine from it simply *being* the function
>>> and hence the mind.
>>
>> The mind (the 1-mind, not the numbers) is distributed in the set of
>> all computations, you cannot really attach it in any single
>> computation, unless you have reasons to think it is correlated to
>> your
>> own histories. Remember that at UDA-8 we abandon the physical
>> supervenience for a comp supervenience, which is hard to describe
>> without the minimum amount of math I was talking about.
>> I may insist that the 1-person, nor its consciousness, is never
>> attached to any thing which can be represented. Only its third person
>> vehicles are, and the person can make relative and local bets on
>> those
>> vehices and their relative stabilities.
>>
>> This is recover and made consistent by the nuance between the prover
>> Bp and the knower Bp & p (and the feeler, Bp & p & Dt); which by
>> construction are the same, yet they cannot know that.
>
> Yes, forget 'mind', it's inessential to the argument here. How about:
>
> If it is the case that, per comp, it is the 'immaterial' activity of
> the running program, invariantly under different implementations,
This is ambiguous. But frankly, I think I will be able to say much
more when the seventh step will be completed.
The notion of implementation, like computation are typical
mathematical notion, completely neutral about the existence of a
physical world, or what what would be the ultimate implementation.
Comp does not prevent relative implementations to play some key role,
like when we share computational histories.
> that
> implements the function,
"we" are more program or number than function, and our implementations
count. Indeed, from the first person point of view, physical
appearance is really a sum on all implementations.
> then this is indistinguishable by the machine
> from it simply *being* the (equally immaterial) function.
I can agree.
> Standard
> comp is then seen to refute - or at least make irrelevant - its own
> basis in materiality.
>
> Is this acceptable?
I would say it is much more than making the material basis irrelevant,
it makes it deductible. It explains exactly how the physical laws
emerge, and unlike physics, it explains exactly why it can hurt.
Matter remains relevant, but it is no more a primitive thing.
Comp gives a new physics. And this makes comp empirically testable.
Just extract physics from comp, and compare to what we can observe. At
first sight the comp physics seems to be completely exuberant, but
computer science shows that its exuberance is already very quantum
like. So it is too early to say if comp is refuted or not.
I provide a practical tool to measure our degree of non
computationalism (but this statement is very weak, because, as I said,
super-machines and other "gods" have the same physics. Only *very*
near the ONE, physics begin to change, apparently.
Bruno
... but then comp is false. OK? And thus comp implies "2".
>
> 2) or it is the case that consciousness supervenes on computation
> itself independent of physical activity (the conclusion that you in
> fact draw from the MGA).
>
> In the second case - i.e. the reversal of number and matter - I agree
> that you can save any role for primitive matter only at the cost of
> rendering it dualistically epiphenomenal in the sense sometimes
> attributed (IMO incoherently) to consciousness in materialist
> accounts.
But then by UDA1-7, not only "stuffy matter" would be epiphenomenal,
but it would have absolutely no relationship with any observation,
making it entirely spurious.
>
>
> As to UDA1-7, I think I see now that of course you assume mechanism,
> but that you reserve the argument for number-matter reversal until
> UDA-8. Perhaps this order might better be reversed?
Like in my theses? May be. MGA is far more subtle than UDA1-7, that is
why I have eventually decide to put it at the end.
Bruno
Note that what you describe here as MGA is Maudlin's later and
different argument. MGA is also immune to an objection made by
Russell, which is that QM does "realize" the couterfactuals. Maudlin's
argument can be saved from this with a version where Olympia simulates
classicaly the quantum evolution of the brain. So MGA is more simple
and direct. Anyway, the conclusions are the same, comp forces the
abandon of the physical supervenience thesis. So comp forces to
restrict the supervenience thesis on the mathematical computations
(computationalist supervenience).
>
> 2009/8/12 Bruno Marchal <mar...@ulb.ac.be>:
>
>>> The solution then seems obviously to be to throw one or other of
>>> these
>>> supposed causal principles out, i.e.:
>>>
>>> 1) either it is the case that consciousness simply supervenes on
>>> particular physical activities whose computational status is
>>> irrelevant;
>>
>> ... but then comp is false. OK? And thus comp implies "2".
>
> Yes, absolutely Definitely. No question.
>
> 1) is what I always believed, for the reasons I've given, but I hadn't
> taken 2) to be a serious possibility. Now I'm prepared to entertain
> computational supervenience, because I'm intrigued by where it might
> lead us. It's genuinely illuminating.
I think it is.
But, with Church thesis, it is even more so. We get the class of
computable functions, which appears to be close for the most
transcendental operation in the whole of mathematics, diagonalization.
It is a arguably a "bit" more than "causally closed". And enough
equivalence theorems makes computational supervenience a precise
mathematical phenomenon.
The seventh step of UDA, and indeed the Universal dovetailing itself,
makes sense only through the assumed existence of universal machines.
(Church thesis asserts that Lambda Calculus, Lisp, fortran, c++, game
of life, quantum topology, are name of such universal machine/word/
number).
>
>
>>> 2) or it is the case that consciousness supervenes on computation
>>> itself independent of physical activity (the conclusion that you in
>>> fact draw from the MGA).
>>>
>>> In the second case - i.e. the reversal of number and matter - I
>>> agree
>>> that you can save any role for primitive matter only at the cost of
>>> rendering it dualistically epiphenomenal in the sense sometimes
>>> attributed (IMO incoherently) to consciousness in materialist
>>> accounts.
>>
>> But then by UDA1-7, not only "stuffy matter" would be epiphenomenal,
>> but it would have absolutely no relationship with any observation,
>> making it entirely spurious.
>
> Agreed. In any case, for me, epiphenomenal and spurious are hardly
> distinguishable.
I will not stickle on that point :)
Can we say that?
>
>
>> Note that what you describe here as MGA is Maudlin's later and
>> different argument. MGA is also immune to an objection made by
>> Russell, which is that QM does "realize" the couterfactuals.
>> Maudlin's
>> argument can be saved from this with a version where Olympia
>> simulates
>> classicaly the quantum evolution of the brain. So MGA is more simple
>> and direct. Anyway, the conclusions are the same, comp forces the
>> abandon of the physical supervenience thesis. So comp forces to
>> restrict the supervenience thesis on the mathematical computations
>> (computationalist supervenience).
>
> Yes, the argument is an explicit reductio ad absurdum, which is
> contained within my own version by default. Intuition is of course
> somewhat personal, but the form of the argument against physical
> supervenience I presented - which I think first arose from the mix of
> fascination and horror produced by reading Hofstadter, Dennett et al -
> has always seemed obvious to me, and the defences against it just
> wrong-headed. The belief in comp + physical supervenience strikes me
> as the most arbitrary and incoherent form of dualism out there, and
> why its proponents just don't get this is a complete mystery, as far
> as I'm concerned. But then life is full of mystery. Fortunately :-)
The problem is that many materialists use "physicalist comp" to hide,
somehow, the mind body problem. We would be "mere machine."
But if we are "mere digital machine", and if we don't eliminate
consciousness and person, we have to justify the apparent
computability of the sharable neighborhood from a sum on the whole
universal dovetailing, which is a tiny (Sigma_1) part of arithmetic.
We live in the "natural" matrix that you get with any universal
system, be it the game of life or numbers with succession, addition
and multiplication. The matrix is infinite, and, by first person
indeterminacy, "we" are dense on its border (like the mandelbrot set).
It remains to explain why, from inside, that infinite sum takes the
shape of a quantum sum. The quantum sum does eliminate the white
rabbits (WR), but with comp we have to show why in appearance the
quantum WR-hunters win on all possible comp WR-hunters.
The second "crazy", but """"obvious"""", fact: is that we can already
have a chat with the universal machine, on that question. AUDA. But
alas, this is obvious only through an understanding of some theorems:
Gödel, Löb, Solovay and some others, which themselves requires some
knowledge in mathematical logic. Comp, as it should be expected, gives
a prominent role to computer science, logic and mathematics. And
question concerning "I" and selves gives a prominent role to the
mathematical theory of self-reference.
Now, is the ONE a person? I still don't know if that make sense (in
"machine's theology"). Who knows?
>> CMT has next to nothng to say on the issue
>> of phenomenal consciousness and so
>> does Brouno's "comp"
>
> Yes, I agree. One must be careful not to conflate the PM+CTM debate
> with the status of phenomenal consciousness. Bruno says that comp is
> able to situate the quale, but that of course is a world away from
> explaining it.
With UDA alone, of course not.
But AUDA does provides a a theory of qualia which explains why no 1-
person can and will ever explain the qualitative feature of its qualia.
And AUDA is "just" a translation of UDA in the language of a universal
machine. It provides a complete precise mathematical theory of both
quanta and qualia themselves related and surrounded by 6 other
hypostases.
AUDA gives the universal machine's theory of consciousness and matter,
among things.
When I talk on consciousness it means always what Ned Block calls
phenomenal consciousness. Consciousness is a quale. It is a quale
related to the instinctive bet on a reality, or on (self) consistency
and intensional variants. The Solovay G/G* splitting, or the
terrestrial/heaven splitting, inherited by the material hypostases
explains very well the qualia, including why we have the correct 1-
feeling that we cannot explain them in any 3-ways.
Roughly speaking:
UDA explains the comp reversal to humans.
AUDA: the universal machine explains the comp reversal to herself or
any universal machine which can hear.
AUDA can be weakened in the transfinite: "alpha-AUDA", where "alpha-
universal machine" can explain their alpha-comp reversal, and this
means AUDA applies to a very much larger class of entities that the
usual omega-machine.
The math for UDA is high school math.
The math for AUDA is usually called "advanced mathematical logic,
recursion or computability theory, modal logic".
I am aware that I am a scientist wandering on philosophical,
theological, ideological territories, but comp, once assumed and taken
seriously, makes possible to translate many questions in those "human"
fields in arithmetical exact problem.
And don't make any misunderstanding here: it makes us more ignorant
and modest, and necessarily.
That's what I like there, that the "theology of the machine" we get is
non normative. She gives almost a constructive warning like "As far as
I am consistent, I will defeat all your complete or total theories",
or "You can't know who I am, can you?".
I love that being.
Bruno
That's an interesting question and one that I think relates to the
importance of context. A scan of your brain would capture all the
information in the Shannon/Boltzman sense, i.e. it would determine which
of the possible configurations and processes were realized. However,
those concerned about the "hard problem", will point out that this
misses the fact that the information represents or "means" something.
To know the meaning of the information would require knowledge of the
world in which the brain acts and perceives, including a lot of
evolutionary history. Image scanning the brain of an alien found in a
crash at Roswell. Without knowledge of how he acts and the evolutionary
history of his species it would be essentially impossible to guess the
meaning of the patterns in his brain. My point is that it is not just
computation that is consciousness or cognition, but computation with
meaning, which means within a certain context of action.
Brent
In fact the fact that we can't see the workings of consciousness is
inherent it it. We see through it. It is notorious that thoughts come
into consciousness with no discernible cause - as in the Poincare effect.
Brent
>
> Flammarion wrote:
>>
>> Do you think that if you scanned my brain right down to the atomic
>> level,
>> you still wouldn't have captured all the information?
>>
>
> That's an interesting question and one that I think relates to the
> importance of context. A scan of your brain would capture all the
> information in the Shannon/Boltzman sense, i.e. it would determine
> which
> of the possible configurations and processes were realized. However,
> those concerned about the "hard problem", will point out that this
> misses the fact that the information represents or "means" something.
> To know the meaning of the information would require knowledge of the
> world in which the brain acts and perceives, including a lot of
> evolutionary history. Image scanning the brain of an alien found
> in a
> crash at Roswell. Without knowledge of how he acts and the
> evolutionary
> history of his species it would be essentially impossible to guess the
> meaning of the patterns in his brain. My point is that it is not just
> computation that is consciousness or cognition, but computation with
> meaning, which means within a certain context of action.
If the context, or even the whole physical universe, is needed, it is
part of the "generalized" brain. Either the "generalized" brain is
Turing emulable, and the reversal reasoning will proceed, or it is
not, and the digital mechanist thesis has to be abandoned.
Humans, and actually, any mechanical entity cannot understand their
own patterns in their brains, but we don't need to do that to be able
to "use" our brain and be conscious. If the crash at Roswell has not
demolished the brain of E.T., or if the scan of his brain his
faithful, so that his brain can be reconstituted, nobody has to
understand the brain pattern for the E.T. himself to have an
experience of his consciousness.
> In fact the fact that we can't see the workings of consciousness is
> inherent it it. We see through it.
Exactly, and this can related to what I say above.
> It is notorious that thoughts come
> into consciousness with no discernible cause - as in the Poincare
> effect.
That is most plausible, and there are evidence that life (notably the
heart and the brain) exploits the so called deterministic chaos (like
in Verhulst bifurcation, and the Mandelbrot set).
Bruno
>
> Bruno Marchal wrote:
>>
>>
>>
>>
>> If the context, or even the whole physical universe, is needed, it is
>> part of the "generalized" brain. Either the "generalized" brain is
>> Turing emulable, and the reversal reasoning will proceed, or it is
>> not, and the digital mechanist thesis has to be abandoned.
>
> That's what makes the point interesting. Many, even most,
> materialists suppose that a brain can be replaced by functionally
> identical elements with no dimunition of consciousness and that a
> brain is Turing-emulable BUT the "generalized brain" may not be
> Turing-emulable. I personally would say no to a doctor who proposed
> to replace the whole physical universe (and me) with an emulation.
OK.
Do you agree that this, not only entails the falsity of CTM
(computationalist theory of mind), but also on any computationalist
theory of matter.
Your consciousness has to be related to a non computable physical
process, in actuality. Quantum computer would not be universal in
Deutsch sense.
I am OK, with this. My point is not to convince people that comp is
correct, but only that comp makes physics "coming from number dreams",
to be short.
Saying "no" to the doctor, is your right (even your comp justifiable
right), but relatively to the reasoning it is equivalent with stopping
at step zero.
So now, your mind is free to look if the reasoning is valid. No worry
with the uncomfortable consequences, given that you don't believe in
the initial axiom. Right?
Well, you may be not interested in the consequence of a theory in
which you don't believe, but you may be intrigued.
Unless you believe the comp hypothesis is inconsistent? I don't think
you believe this either.
Bruno
Yes, so long as by "computation" you mean only the Church-Turing
definitions of computation.
>
> Your consciousness has to be related to a non computable physical
> process, in actuality. Quantum computer would not be universal in
> Deutsch sense.
>
> I am OK, with this. My point is not to convince people that comp is
> correct, but only that comp makes physics "coming from number dreams",
> to be short.
>
> Saying "no" to the doctor, is your right (even your comp justifiable
> right), but relatively to the reasoning it is equivalent with stopping
> at step zero.
>
> So now, your mind is free to look if the reasoning is valid. No worry
> with the uncomfortable consequences, given that you don't believe in
> the initial axiom. Right?
>
> Well, you may be not interested in the consequence of a theory in
> which you don't believe, but you may be intrigued.
I am interested. I don't believe or disbelieve. Maybe the
"generalized brain" is Turing emulable. I'm just not nearly so
confident that it is as I am that my brain is emulable.
>
> Unless you believe the comp hypothesis is inconsistent? I don't think
> you believe this either.
Not inconsistent; but I have considerable empathy with Peter's view.
My general attitude is that "exist" is just a word to name a concept
we invent and we can invent different kinds of existence: physical
it-kicks-back existence, mathematical it's-provable-from-axioms
existence, etc. I may not agree that arithmetic is what's really
real, but I regard your theory as an interesting model and I hope it
leads to predicting something we don't know.
Brent
>
> Bruno
>
>
> http://iridia.ulb.ac.be/~marchal/
> That's an interesting question and one that I think relates to the
> importance of context. A scan of your brain would capture all the
> information in the Shannon/Boltzman sense, i.e. it would determine which
> of the possible configurations and processes were realized. However,
> those concerned about the "hard problem", will point out that this
> misses the fact that the information represents or "means" something.
> To know the meaning of the information would require knowledge of the
> world in which the brain acts and perceives, including a lot of
> evolutionary history. Image scanning the brain of an alien found in a
> crash at Roswell. Without knowledge of how he acts and the evolutionary
> history of his species it would be essentially impossible to guess the
> meaning of the patterns in his brain. My point is that it is not just
> computation that is consciousness or cognition, but computation with
> meaning, which means within a certain context of action.
You wouldn't be able to guess what the alien is thinking by scanning
his brain, but you could then run a simulation, exposing it to various
environmental stimuli, and it should behave the same way as the
original brain (if weak AI is true) and have the same experiences as
the original brain (if strong AI is true).
--
Stathis Papaioannou
True. But the point was directed at the MGA. Part of the simulation
must be outside the brain - and possibly are very great deal. So
while it seems intuitively clear that the brain can be emulated, it's
not so clear that the brain + enough environment can be.
Brent
> In the example of the alien brain, as has been pointed out, the
> context of meaning is to be discovered only in the its own local
> embodiment of its history and current experience. In Stathis' example
> of *our* hypothesized observation of the alien's behaviour - whether
> simulated or 'real' - any meaning to be found is again recoverable
> exclusively in the context of either its, or our, historic and current
> context of experience and action. It is obvious, under this analysis,
> that information taken-out-of-context is - in that form - literally
> meaningless. The function of observable information is to stabilise
> relational causal configurations against their intelligible
> reinstantiation in some context of meaning and action. Absent such
> reembodiment, all that remains is noise.
Wouldn't the meaning (to the alien) still be there if the brain did
its thing without us understanding it, creating its own context? You
can divide it into two interacting parts, one the brain proper, the
other the virtual environment. The brain finds meaning in and
interacts with the environment, but to an outside observer it all just
looks like noise.
--
Stathis Papaioannou
> Having said all this, it is interesting to reconsider your formulation
> "the brain did its thing without us understanding it, creating its own
> context". What is it about *being* the brain that causes this context
> to be self-referentially available, but hides it beyond possibility of
> recovery from 'observation'?
Whether it can be hidden beyond the *possibility* of recovery is an
interesting question. Certainly it would be very difficult to figure
out what an alien brain is thinking about from observation, like
cracking a very difficult code, but could it be made so that it's
impossible to figure out? We would be able to figure out something
about an alien code, such as a written language, by observing various
regularities, but we would be unable to figure out the actual meaning
of words unless we had some extra-language information; that is, we
could figure out the syntax, but not the semantics. Similarly with the
brain, we might be able to figure out certain patterns and
regularities, but without further information obtained by connecting
I/O devices or perhaps by obtaining the instruction manuals, we would
have no idea what the brain activity means, let alone what it feels
like from the brain's point of view. But would it be possible for the
brain's activity to be deliberately obscured such that not even the
syntax can be guessed at, the equivalent of encryption using a
one-time pad?
--
Stathis Papaioannou