On 21 Jun 2016, at 04:08, Bruce Kellett wrote:
On 21/06/2016 3:14 am, Bruno Marchal wrote:
On 20 Jun 2016, at 04:00, Bruce Kellett wrote:
On 20/06/2016 4:09 am, Brent Meeker wrote:
The alternative, which Bruno actually suggested once but disowns,
is for explanations to form a "virtuous circle" in which
everything is explained in terms of other things ultimately
forming loops: NUMBERS -> "MACHINE DREAMS" -> PHYSICAL -> HUMANS -
> PHYSICS -> NUMBERS I call this "virtuously circular" if it is
comprehensive so that everything is somewhere in the circle.
The thing about such a loop is that you can start at any point --
for instance, PHYSICAL, HUMANS, PHYSICS, or anywhere else. The
question then is whether this actually achieves you anything?
Just stop on the simplest theory.
"Simple" is an undefined term. You might think the integers are
simple, I might think that physics is simple. No-one is right in any
absolute sense.
Why? We can define a theory to be simpler than another if it has less
assumptions.
Ig you can explain QM and consciousness from elementary arithmetic,
you make a gain compared to starting from physicalist QM, which
assumes Matter, QM (and thus arithmetic, as QM already assumes
arithmetic).
Well, you should formalize your theory so that we can at least
compare.
My theory is that the external objective physical world exists,
independently of you or me, or even of consciousness. Consciousness
is a property of certain forms of matter, and matter achieves those
forms, and hence consciousness, by the process of evolution.
OK. So your theory asks for an ontological commitment in some Nature
or Matter, being independent of us.
Then you know my point: you can't say yes to the doctor or you need to
refute Church Thesis.
Mind (and consciousness) is a property of brains and other
configurations of matter that have similar functionality.
If the functionality is Turing emulable, then your theory cannot work,
without involving some non-Turing emulable element paying some role in
mind and matter to assure the identity link.
We learn about these things, and about the basis of consciousness,
empirically, by applying the scientific method in our study. There
is no "hard problem" of consciousness, because once we have
understood the functionality, we have understood all that there is
to it.
The contrary happens. Once we understand the functionality, it looks
like if consciousness is no more needed, but then why would evolution
endows us with it?
That is the hard problem: solving the describable easy part of it
makes the harder part only more harder, ... until you get the
Theatetus point, and remind that a brain is supposed to have some
relation with truth.
Your "Yes, doctor" thought experiment is actually saying much the
same thing: the functionality is all that matters -- once you
have understood the function, you have understood consciousness.
The doctor doesn't have to transfer "your consciousness" once he has
replaced your brain with a functionally equivalent computer. There
is no duality.
Indeed, but there is still a sense in saying that the consciousness
has been preserved.
And this will work if we accept that the brain does not produce
consciousness, it makes only possible for a consciousness (a person)
to manifest itself relatively to some computations shared with other
persons. But this eventually is what will make physics a dream-sharing
theory, if we do get the right relative measure when solving the
measure problem.
I have already give three equivalent version of "my" theory, which
is probably the same of yours minus assuming mind and matter and a
mysterious link between, as far as I understand.
As I understand it, your theory assumes the existence of numbers, or
at least of the integers. Your base ontology can be used to support
axioms, giving RA, PA and so on. Once you have some axioms and rules
of inference, you can prove theorems. You then identify "existence"
with the existential quantifier of mathematics -- if we can prove
Ex(x = y), then you say that y is also part of the ontology.
I would say only that if the machine M can prove Ex(x = y), the
machine will believe in the existence of y. Then it happens that all
humans believe in RA and PA, at least all those willing to give sense
to "digital mechanism", so if M proves Ex(x=y), we can take it as true.
But without assuming the numbers to start with, you can never get to
theorems and the existential quantifier.
That is why I assume x + 0 = x, etc.
The existential quantifier is not then a definition of what
"existence" consists in.
It is the simplest one, as I can explain in very simple conceptual
term the theological and the physical existence (notably by the simple
arithmetical modal [i]Ex[i]P(x), and [i]<i>Ex[i]<i>x.
If physicall real atoms are supposed as fiundamental, I might need to
define the numbers by brain configuration of apes, and get the
definition of zero with a many volumes book reducing the ape's brain
to superstring theory, and this in a version of superstring theory
never assuming natural or integers.
Your ontology is assumed before you get that far, before you have
arithmetic even.
?
So you are actually no better off than the physicalist -- you still
have to assume a primitive ontology:
Yes. Without some theory, we don't have a theory. We need to agree on
somethings. But my theory is just elementary arithmetic. It is
believed by everybody (except sunday philosophers), and it is assumed
by physicists too.
this might form a model for arithmetic,
The (standard) model is the well known structure (N, 0, +, *). It was
taught in high school explcitly sometimes ago.
but then so does the physical universe.
To assume an ontologically physical universe at the start is no
better, for me, than to say God made it.
Anyway, I thought naively for a long time that all scientists knew
that as long as the mind-body problem is not solved, we should be open
to change our mind of what is more fundamental (number, matter, mind,
etc.)
The physical has the property of containing distinct objects --
hence already has an ontology of integers, but in addition, things
exist in the physical universe without the superstructure of axioms
and theorems -- we just look and see! Physicalism is actually simpler!
Grandmother theory of gravitation (everything falls down if not
supported) is simpler than Einstein's theory. Then.
The goal is the search of the truth.
And my point is just that mechanism is incompatible with materialism,
and that we can test them experimentally.
I don't defend any truth anywhere.
I provide a reasoning only. Then I explain that QM (without collapse)
provides evidence for mechanism, and thus again (weak) materialism.
That is why I like computationalism: it makes a large part of
philosophy, metaphysics and theology experimentally testable.
Bruno
Bruce
--
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 https://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
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 https://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
