On 28 Jun 2015, at 09:45, Bruno Marchal wrote:
Bruce Kellett wrote:
But the alternative does not establish the required result either.
If the brain ceases to be conscious as the connections are removed
-- either gradually or with the loss of some critical number of
connections -- then the hypothesis of physical supervenience is
substantiated.
As much as computationalism.
If it remains conscious (even though simply replaying a previous
conscious experience) even when only the recording playback
remains, then physical supervenience is still substantiated,
Making the physical supervenience thesis ridiculous, given that the
recording does no more compute anything related to the original
experience. This is why we have to abandon physical supervenience
thesis: consciousness is in the abstract computations, not in any of
its particular implementation (but then we will need to take all of
them below the substitution level, and thus get an interesting
problem, partially solved.
because the recording is every bit as physical as the original
brain connections. In the "Yes, Doctor" argument, you are agreeing
to have your brain replaced by an emulation on a physical computer.
For the sake of the reasoning, yes.
I doubt that even you would agree for the doctor to remove your
brain and replace it with a universal number tattooed
on your forehead.
You might need to study how we program a computer. Tattooing the code
on their front-head might not been enough, indeed.
Then, for finishing step 8, remind yourself that "universal numbers",
"emulation" are arithmetical relation.
Even, if, technically the heroin is
0 ≠ s(x)
s(x) = s(y) -> x = y
x = 0 v Ey(x = s(y))
x+0 = x
x+s(y) = s(x+y)
x*0=0
x*s(y)=(x*y)+x
+ the infinity of axioms: (F(0) & Ax(F(x) -> F(s(x))) -> AxF(x)
I never need to assume more, and in some sense, I don't assume more
than:
0 ≠ s(x)
s(x) = s(y) -> x = y
x = 0 v Ey(x = s(y))
x+0 = x
x+s(y) = s(x+y)
x*0=0
x*s(y)=(x*y)+x
I hope you agree with them, for the natural numbers. The fact that it
is a TOE is not obvious, but it follows from UDA. And AUDA shows how
to use it to test it with physics.
We can test machine's classical theology through its physical branch.
Bruno
http://iridia.ulb.ac.be/~marchal/
--
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
