Re: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-10-13 Thread 1Z


David Nyman wrote:
> On Oct 13, 1:52 am, "1Z" <[EMAIL PROTECTED]> wrote:
>
> > > You know you can, of course. But what you are communicating is
> > > information derived from your 'seeing a square' in order for others to
> > > instantiate something analogous, as 1-person experiences of their own.I 
> > > disagree. Squareness is fully expressible in language.
>
> Make your mind up. You said 'see a square' not 'squareness'.
>
> > Squareness is fully expressinle, so instantiation
> > doesn't matter in that case.
>
> Yes, fine, no problem of course, so why discuss this example?

It shows that experiences had by persons are not
necessarily incommunicable. Thus, whatever
the pronblem is with qualia, it is not about personhood per se.

> I
> specifically said '1-person experience', and in the case of 'see a
> square' (your choice) let's try the hard one - i.e. communicate the
> experience of seeing a particular square, not the concept of
> squareness. So, for example, you can say 'look at that square', I look
> at it, I see the square, I instantiate it, I have an analogous 1-person
> experience. OK?
>
> Come to think of it, even in your example of squareness, I have to
> instantiate *something*, otherwise your explanation won't register with
> me.

Are you sure? mathematicians can comunicate higher-dimensional
spaces that they cannot visualise.

> And this something is *my* private something, as it happens
> *derived* from your communication - it isn't literally what you 'had in
> mind', because this is private to *you*.

You are playing on two senses of the "same". It may
be an exact duplicate, rather than the very same individual, but if
it is an *exact* duplicate,there is no incommunicability or
ineffability.

> Frankly, I think if you
> quibble about this, you must have some other notion of 1-person in
> mind. But will we ever know?
>
> David
>
> > David Nyman wrote:
> > > On Oct 11, 11:17 pm, "1Z" <[EMAIL PROTECTED]> wrote:
> >
> > > > > It may be impossible in principle (i.e. 1-person experience is
> > > > > ex-hypothesi incommunicable) and we certainly don't know how > to.So 
> > > > > if I see a square, I can't communicate it?
> >
> > > You know you can, of course. But what you are communicating is
> > > information derived from your 'seeing a square' in order for others to
> > > instantiate something analogous, as 1-person experiences of their own.I 
> > > disagree. Squareness is fully expressible in language.
> >
> > > Your 1-person experience per se is incommunicable,That's just my point. 
> > > It's not the fact that is
> > is an experience, or that it is had by a person that makes something
> > inexpressible.
> >
> > >  and consequently you
> > > have no direct evidence of (although you may be jusified in your
> > > beliefs concerning) what others have instantiated as a result of your
> > > communication.Squareness is fully expressinle, so instantiation
> > doesn't matter in that case.
> >
> > > David
> >
> > > > David Nyman wrote:
> > > > > On Oct 11, 5:11 am, Brent Meeker <[EMAIL PROTECTED]> wrote:
> >
> > > > > > > But it isn't possible to determine by inspection that they are
> > > > > > > conscious.Are you claiming it's impossible in principle, or just 
> > > > > > > that we don't know how?
> >
> > > > > It may be impossible in principle (i.e. 1-person experience is
> > > > > ex-hypothesi incommunicable) and we certainly don't know how to.So if 
> > > > > I see a square, I can't communicate it?
> >
> > > > Colours and Shapes: Exactly What Qualifies as a Quale ?
> > > > Because qualia are so often used to argue against physicalism (or at
> > > > least physical communicability), it is often assumed that they must be
> > > > mysterious by definition. However Lewis's original definition pins
> > > > qualia to the way external objects appear, and it least some of those
> > > > features are throughly unmysterious,such as the shapes of objects. A
> > > > red square seems to divide into a mysterious redness and an
> > > > unmysterious squareness. This does not by itself remove any of the
> > > > problems associated with qualia; the problem is that some qualia are
> > > > mysterious. not that some are not.. There is another, corresponding
> > > > issue; not all mysterious, mental contents are the appearances of
> > > > external objects. There a re "phenomenal feels" attached to emotions,
> > > > sensations and so on. Indeed, we often use the perceived qualaities of
> > > > objects as metaphors for them -- sharp pains, warm or cool feelings
> > > > towards another person, and so on. The main effect of this issue on the
> > > > argument is to hinder the physicalist project of reducing qualia to the
> > > > phsycally-defined properties of external objects, since in the case of
> > > > internal sensations and emotional feelings, there are not suitable
> > > > external objects.


--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 

Re: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-10-12 Thread David Nyman



On Oct 13, 1:52 am, "1Z" <[EMAIL PROTECTED]> wrote:

> > You know you can, of course. But what you are communicating is
> > information derived from your 'seeing a square' in order for others to
> > instantiate something analogous, as 1-person experiences of their own.I 
> > disagree. Squareness is fully expressible in language.

Make your mind up. You said 'see a square' not 'squareness'.

> Squareness is fully expressinle, so instantiation
> doesn't matter in that case.

Yes, fine, no problem of course, so why discuss this example? I
specifically said '1-person experience', and in the case of 'see a
square' (your choice) let's try the hard one - i.e. communicate the
experience of seeing a particular square, not the concept of
squareness. So, for example, you can say 'look at that square', I look
at it, I see the square, I instantiate it, I have an analogous 1-person
experience. OK?

Come to think of it, even in your example of squareness, I have to
instantiate *something*, otherwise your explanation won't register with
me. And this something is *my* private something, as it happens
*derived* from your communication - it isn't literally what you 'had in
mind', because this is private to *you*. Frankly, I think if you
quibble about this, you must have some other notion of 1-person in
mind. But will we ever know?

David

> David Nyman wrote:
> > On Oct 11, 11:17 pm, "1Z" <[EMAIL PROTECTED]> wrote:
>
> > > > It may be impossible in principle (i.e. 1-person experience is
> > > > ex-hypothesi incommunicable) and we certainly don't know how > to.So if 
> > > > I see a square, I can't communicate it?
>
> > You know you can, of course. But what you are communicating is
> > information derived from your 'seeing a square' in order for others to
> > instantiate something analogous, as 1-person experiences of their own.I 
> > disagree. Squareness is fully expressible in language.
>
> > Your 1-person experience per se is incommunicable,That's just my point. 
> > It's not the fact that is
> is an experience, or that it is had by a person that makes something
> inexpressible.
>
> >  and consequently you
> > have no direct evidence of (although you may be jusified in your
> > beliefs concerning) what others have instantiated as a result of your
> > communication.Squareness is fully expressinle, so instantiation
> doesn't matter in that case.
>
> > David
>
> > > David Nyman wrote:
> > > > On Oct 11, 5:11 am, Brent Meeker <[EMAIL PROTECTED]> wrote:
>
> > > > > > But it isn't possible to determine by inspection that they are
> > > > > > conscious.Are you claiming it's impossible in principle, or just 
> > > > > > that we don't know how?
>
> > > > It may be impossible in principle (i.e. 1-person experience is
> > > > ex-hypothesi incommunicable) and we certainly don't know how to.So if I 
> > > > see a square, I can't communicate it?
>
> > > Colours and Shapes: Exactly What Qualifies as a Quale ?
> > > Because qualia are so often used to argue against physicalism (or at
> > > least physical communicability), it is often assumed that they must be
> > > mysterious by definition. However Lewis's original definition pins
> > > qualia to the way external objects appear, and it least some of those
> > > features are throughly unmysterious,such as the shapes of objects. A
> > > red square seems to divide into a mysterious redness and an
> > > unmysterious squareness. This does not by itself remove any of the
> > > problems associated with qualia; the problem is that some qualia are
> > > mysterious. not that some are not.. There is another, corresponding
> > > issue; not all mysterious, mental contents are the appearances of
> > > external objects. There a re "phenomenal feels" attached to emotions,
> > > sensations and so on. Indeed, we often use the perceived qualaities of
> > > objects as metaphors for them -- sharp pains, warm or cool feelings
> > > towards another person, and so on. The main effect of this issue on the
> > > argument is to hinder the physicalist project of reducing qualia to the
> > > phsycally-defined properties of external objects, since in the case of
> > > internal sensations and emotional feelings, there are not suitable
> > > external objects.


--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~--~~~~--~~--~--~---



Re: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-10-12 Thread 1Z


David Nyman wrote:
> On Oct 11, 11:17 pm, "1Z" <[EMAIL PROTECTED]> wrote:
>
> > > It may be impossible in principle (i.e. 1-person experience is
> > > ex-hypothesi incommunicable) and we certainly don't know how > to.So if I 
> > > see a square, I can't communicate it?
>
> You know you can, of course. But what you are communicating is
> information derived from your 'seeing a square' in order for others to
> instantiate something analogous, as 1-person experiences of their own.

I disagree. Squareness is fully expressible in language.

> Your 1-person experience per se is incommunicable,

That's just my point. It's not the fact that is
is an experience, or that it is had by a person that makes something
inexpressible.

>  and consequently you
> have no direct evidence of (although you may be jusified in your
> beliefs concerning) what others have instantiated as a result of your
> communication.

Squareness is fully expressinle, so instantiation
doesn't matter in that case.

> David
>
> > David Nyman wrote:
> > > On Oct 11, 5:11 am, Brent Meeker <[EMAIL PROTECTED]> wrote:
> >
> > > > > But it isn't possible to determine by inspection that they are
> > > > > conscious.Are you claiming it's impossible in principle, or just that 
> > > > > we don't know how?
> >
> > > It may be impossible in principle (i.e. 1-person experience is
> > > ex-hypothesi incommunicable) and we certainly don't know how to.So if I 
> > > see a square, I can't communicate it?
> >
> > Colours and Shapes: Exactly What Qualifies as a Quale ?
> > Because qualia are so often used to argue against physicalism (or at
> > least physical communicability), it is often assumed that they must be
> > mysterious by definition. However Lewis's original definition pins
> > qualia to the way external objects appear, and it least some of those
> > features are throughly unmysterious,such as the shapes of objects. A
> > red square seems to divide into a mysterious redness and an
> > unmysterious squareness. This does not by itself remove any of the
> > problems associated with qualia; the problem is that some qualia are
> > mysterious. not that some are not.. There is another, corresponding
> > issue; not all mysterious, mental contents are the appearances of
> > external objects. There a re "phenomenal feels" attached to emotions,
> > sensations and so on. Indeed, we often use the perceived qualaities of
> > objects as metaphors for them -- sharp pains, warm or cool feelings
> > towards another person, and so on. The main effect of this issue on the
> > argument is to hinder the physicalist project of reducing qualia to the
> > phsycally-defined properties of external objects, since in the case of
> > internal sensations and emotional feelings, there are not suitable
> > external objects.


--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~--~~~~--~~--~--~---



Re: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-10-12 Thread David Nyman



On Oct 11, 11:17 pm, "1Z" <[EMAIL PROTECTED]> wrote:

> > It may be impossible in principle (i.e. 1-person experience is
> > ex-hypothesi incommunicable) and we certainly don't know how > to.So if I 
> > see a square, I can't communicate it?

You know you can, of course. But what you are communicating is
information derived from your 'seeing a square' in order for others to
instantiate something analogous, as 1-person experiences of their own.
Your 1-person experience per se is incommunicable, and consequently you
have no direct evidence of (although you may be jusified in your
beliefs concerning) what others have instantiated as a result of your
communication.

David

> David Nyman wrote:
> > On Oct 11, 5:11 am, Brent Meeker <[EMAIL PROTECTED]> wrote:
>
> > > > But it isn't possible to determine by inspection that they are
> > > > conscious.Are you claiming it's impossible in principle, or just that 
> > > > we don't know how?
>
> > It may be impossible in principle (i.e. 1-person experience is
> > ex-hypothesi incommunicable) and we certainly don't know how to.So if I see 
> > a square, I can't communicate it?
>
> Colours and Shapes: Exactly What Qualifies as a Quale ?
> Because qualia are so often used to argue against physicalism (or at
> least physical communicability), it is often assumed that they must be
> mysterious by definition. However Lewis's original definition pins
> qualia to the way external objects appear, and it least some of those
> features are throughly unmysterious,such as the shapes of objects. A
> red square seems to divide into a mysterious redness and an
> unmysterious squareness. This does not by itself remove any of the
> problems associated with qualia; the problem is that some qualia are
> mysterious. not that some are not.. There is another, corresponding
> issue; not all mysterious, mental contents are the appearances of
> external objects. There a re "phenomenal feels" attached to emotions,
> sensations and so on. Indeed, we often use the perceived qualaities of
> objects as metaphors for them -- sharp pains, warm or cool feelings
> towards another person, and so on. The main effect of this issue on the
> argument is to hinder the physicalist project of reducing qualia to the
> phsycally-defined properties of external objects, since in the case of
> internal sensations and emotional feelings, there are not suitable
> external objects.


--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~--~~~~--~~--~--~---



Re: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-10-11 Thread 1Z


David Nyman wrote:
> On Oct 11, 5:11 am, Brent Meeker <[EMAIL PROTECTED]> wrote:
>
> > > But it isn't possible to determine by inspection that they are
> > > conscious.Are you claiming it's impossible in principle, or just that we 
> > > don't know how?
>
> It may be impossible in principle (i.e. 1-person experience is
> ex-hypothesi incommunicable) and we certainly don't know how to.

So if I see a square, I can't communicate it?

Colours and Shapes: Exactly What Qualifies as a Quale ?
Because qualia are so often used to argue against physicalism (or at
least physical communicability), it is often assumed that they must be
mysterious by definition. However Lewis's original definition pins
qualia to the way external objects appear, and it least some of those
features are throughly unmysterious,such as the shapes of objects. A
red square seems to divide into a mysterious redness and an
unmysterious squareness. This does not by itself remove any of the
problems associated with qualia; the problem is that some qualia are
mysterious. not that some are not.. There is another, corresponding
issue; not all mysterious, mental contents are the appearances of
external objects. There a re "phenomenal feels" attached to emotions,
sensations and so on. Indeed, we often use the perceived qualaities of
objects as metaphors for them -- sharp pains, warm or cool feelings
towards another person, and so on. The main effect of this issue on the
argument is to hinder the physicalist project of reducing qualia to the
phsycally-defined properties of external objects, since in the case of
internal sensations and emotional feelings, there are not suitable
external objects.


--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~--~~~~--~~--~--~---



RE: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-10-11 Thread Colin Hales


> > unless you can eyeball it you're not being scientific).
> >
> > The subtlety with 'objective scientific evidence' is that ultimately it
> is
> > delivered into the private experiences of indiividual scientists. Only
> > agreement as to what is evidenced makes it 'objective'. So the privacy
> of
> > the experience individuals is and always will be an intrinsic and
> > unavoidable part of the whole process.
> >
> > If this is the case then there's a way around it - because in saying the
> > last sentence I have been implicitly assuming that a human is doing the
> > observing and therefore accepting tacitly all the limitations of that
> > circumstance. Relax that constraint and what do you get? Either another
> > biological life form is supplying evidence or a non-biological life-form
> > is giving evidence of consciousness somehow.
> 
> Why a "life form"?  Why not an instrument or a robot?

Call it what you want. AGI (artificial general intelligence) or artificial
scientist, George... its more like 'life' than any other artifact in that it
has experiences. That's all.

> 
> >
> > A non-biological life-form offers the only really flexible and fully
> > controllable and ethical option. How can this do the job, you ask? Isn't
> > this a circular arument? You have to know you;ve built a conscious life
> > form in oder that you get evidence to prove its consciousness?
> >
> > Not really... what it does is open up new options. In another world
> where
> > ethics are different you'd experiment by grafting scientist's heads
> > together so they could verify each other's experiences in some way.
> Plenty
> > of scientists! Why not?! ... erm...welll...not really gonna fly is it?
> 
> Don't we "graft scientists heads together" now by speech, papers,
> symposia,...
> 
> > So the viable alternative is 'grafting' putative artifiacts together in
> > 'cancellation bridges'
> 
> Huh??

There's an academic here who has a similar critical style. It sort of says
"I don't get it, so you must be wrong"  :-)

A very common method in electrical measurement is the formation of a
'bridge' structure in multiples of 4 measurement elements. At the moment of
relevance the 'control' and the 'probe' match each other. They are
intimately interrelated physically - for example a strain gauge. I am
working on a similar technique, only for phenomenal consciousness and all on
one chip and all physically interrelated electromagnetically. The same sort
of outcomes are possible  - I think - I can get a) the same behaviour with
and without phenomenality and also behaviour that can only have arisen
because phenomenality exists. I can compare two phenomenal quale, but I
can't experience either. It's better than nothing - a start.


> 
> >of one form or another and configure them in such a
> > way as to report unambiguously the presence or absense of the results of
> > the physics of experience doing its stuff. Merge 4 artificial scientists
> > and get them to compare/contrast... and report
> 
> So, for example, if we build a lot of different Mars rovers and they go to
> Mars and
> they report back similar things we'll have evidence that they are
> conscious?

I think you misunderstand... see the above yes there is a statistical
element to the experiment (numbers of chips, numbers of 'scientists'/chip)
but this is not the mechanism doing the reporting - the mechanism is the
physics on the individual 'merged scientist' chips. BTW the 'science' being
done by these 'scientists' is the sort of science that could be done by a
paramecium - :-) very very simple but science it is. It's just that several
scientists get to experience the one single experience and conversely each
individual scientist can experience any other scientist's experience. Mix
and match. One way or another there's a protocol towards and acceptable
'truth' in there.
===
Note:
The existence of successful science is proven by the existence of technology
that used the science outcomes. Science cannot have occurred without the
existence/reality of phenomenal consciousness. Hence the existence of
consciousness is already objectively/scientifically proven. All that is
really missing is specific mechanism and then a detailed ontology of
experiences related to the objectively observed physics. Then we'll be
cooking.

In the end, tho - the chips will be implantable (say in the occipital) I
think - so the human isn't entirely cut out of the loop in the long term. In
fact with any luck they'll be able to repair the "experientially-impaired".
Also there are visualisation options in a technological solution - where the
artifact's experiences can be directly converted to human-viewable
visualisation. The artifact could then also look at it's own internal life
and tune it to show the human what effects are happening.There's a bunch
of ways through this. I can't wait to play with it... anyone got $100
million? Call me. :-)

Colin Hales


--~--~-~--~~-

Re: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-10-11 Thread Brent Meeker

Colin Geoffrey Hales wrote:
>>On Oct 11, 5:11 am, Brent Meeker <[EMAIL PROTECTED]> wrote:
>>
>>
But it isn't possible to determine by inspection that they are
> 
> conscious.Are you claiming it's impossible in principle, or just that
> 
>>>we don't know how?
>>
>>It may be impossible in principle (i.e. 1-person experience is
>>ex-hypothesi incommunicable) and we certainly don't know how to.
>>
>>David
>>
> 
> 
> The fact that conscious experience is intrinsically privately
> presented/delivered can be regarded as key evidence in any proposition as
> to its physics. Any real solution must, by definition, explain why that is
> so.
> 
> Indeed if you imagine a world where consciousness is mundane they would
> expect it to be so. If this possibility exists what it means is that the
> attitude to scientific evidence has to change to suit the real world of
> scientific evidence... especially if consciousness in the form of
> observation by a scientist is to be demanded as the source of evidence on
> pain of being declared unscientific (which is what we currently do -
> unless you can eyeball it you're not being scientific).
> 
> The subtlety with 'objective scientific evidence' is that ultimately it is
> delivered into the private experiences of indiividual scientists. Only
> agreement as to what is evidenced makes it 'objective'. So the privacy of
> the experience individuals is and always will be an intrinsic and
> unavoidable part of the whole process.
> 
> If this is the case then there's a way around it - because in saying the
> last sentence I have been implicitly assuming that a human is doing the
> observing and therefore accepting tacitly all the limitations of that
> circumstance. Relax that constraint and what do you get? Either another
> biological life form is supplying evidence or a non-biological life-form
> is giving evidence of consciousness somehow.

Why a "life form"?  Why not an instrument or a robot?

> 
> A non-biological life-form offers the only really flexible and fully
> controllable and ethical option. How can this do the job, you ask? Isn't
> this a circular arument? You have to know you;ve built a conscious life
> form in oder that you get evidence to prove its consciousness?
> 
> Not really... what it does is open up new options. In another world where
> ethics are different you'd experiment by grafting scientist's heads
> together so they could verify each other's experiences in some way. Plenty
> of scientists! Why not?! ... erm...welll...not really gonna fly is it?

Don't we "graft scientists heads together" now by speech, papers, symposia,...

> So the viable alternative is 'grafting' putative artifiacts together in
> 'cancellation bridges' 

Huh??

>of one form or another and configure them in such a
> way as to report unambiguously the presence or absense of the results of
> the physics of experience doing its stuff. Merge 4 artificial scientists
> and get them to compare/contrast... and report

So, for example, if we build a lot of different Mars rovers and they go to Mars 
and 
they report back similar things we'll have evidence that they are conscious?

Brent Meeker

--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~--~~~~--~~--~--~---



Re: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-10-11 Thread Colin Geoffrey Hales

> On Oct 11, 5:11 am, Brent Meeker <[EMAIL PROTECTED]> wrote:
>
>> > But it isn't possible to determine by inspection that they are
conscious.Are you claiming it's impossible in principle, or just that
>> we don't know how?
>
> It may be impossible in principle (i.e. 1-person experience is
> ex-hypothesi incommunicable) and we certainly don't know how to.
>
> David
>

The fact that conscious experience is intrinsically privately
presented/delivered can be regarded as key evidence in any proposition as
to its physics. Any real solution must, by definition, explain why that is
so.

Indeed if you imagine a world where consciousness is mundane they would
expect it to be so. If this possibility exists what it means is that the
attitude to scientific evidence has to change to suit the real world of
scientific evidence... especially if consciousness in the form of
observation by a scientist is to be demanded as the source of evidence on
pain of being declared unscientific (which is what we currently do -
unless you can eyeball it you're not being scientific).

The subtlety with 'objective scientific evidence' is that ultimately it is
delivered into the private experiences of indiividual scientists. Only
agreement as to what is evidenced makes it 'objective'. So the privacy of
the experience individuals is and always will be an intrinsic and
unavoidable part of the whole process.

If this is the case then there's a way around it - because in saying the
last sentence I have been implicitly assuming that a human is doing the
observing and therefore accepting tacitly all the limitations of that
circumstance. Relax that constraint and what do you get? Either another
biological life form is supplying evidence or a non-biological life-form
is giving evidence of consciousness somehow.

A non-biological life-form offers the only really flexible and fully
controllable and ethical option. How can this do the job, you ask? Isn't
this a circular arument? You have to know you;ve built a conscious life
form in oder that you get evidence to prove its consciousness?

Not really... what it does is open up new options. In another world where
ethics are different you'd experiment by grafting scientist's heads
together so they could verify each other's experiences in some way. Plenty
of scientists! Why not?! ... erm...welll...not really gonna fly is it?

So the viable alternative is 'grafting' putative artifiacts together in
'cancellation bridges' of one form or another and configure them in such a
way as to report unambiguously the presence or absense of the results of
the physics of experience doing its stuff. Merge 4 artificial scientists
and get them to compare/contrast... and report

In other words we _humans_ relinquish the act of role of observation but
continue to be scientists. Then we can do it. We have to let go of a
seriously long term darling in order that we (humans and artifacts)
collectively have 'proof'. It's just that humans don't get to experience
all the evidence.

This, I believe is the cultural angst we have to endure in order that a
science of consciousness happen. Bitter medicine. We can eather sit around
and bitch about not solving it or we can take the medicine, solve the
problem, but not get all the thrills of the observation involved.

When I become a Dr that is the bitter pill I'll be prescribing for science.

cheers

colin hales



--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~--~~~~--~~--~--~---



Re: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-10-11 Thread David Nyman



On Oct 11, 5:11 am, Brent Meeker <[EMAIL PROTECTED]> wrote:

> > But it isn't possible to determine by inspection that they are
> > conscious.Are you claiming it's impossible in principle, or just that we 
> > don't know how?

It may be impossible in principle (i.e. 1-person experience is
ex-hypothesi incommunicable) and we certainly don't know how to.

David

> David Nyman wrote:
>
> > On Oct 10, 9:12 pm, Brent Meeker <[EMAIL PROTECTED]> wrote:
>
> >>Then
> >>a calculation of pi is picked out among all instantiations of all 
> >>computations - but
> >>it is still possible to calculate pi many different ways on many different 
> >>physical
> >>systems.  And it is possible by inspection of these systems to determine 
> >>whether they
> >>calculate pi.
>
> > But it isn't possible to determine by inspection that they are
> > conscious.Are you claiming it's impossible in principle, or just that we 
> > don't know how?
>
> >'Calculating pi' in the final analysis can be satisfied by
> > the system in question externalising its results (e.g. printing out the
> > value of pi). But it isn't so simple to test a system that is claimed
> > to be conscious. Be that as it may, would you be content with the
> > conclusion that the 'properties' of materialism claimed to be jointly
> > relevant to both computationalism and consciousness are purely
> > relational? In this case, we needn't argue further. But this conclusion
> > is, I think, why Bruno thinks that 'matter' has no real explanatory
> > role in the account of conscious experience. This isn't quite
> > equivalent to claiming that it can't be the primary reality, but rather
> > to claim that it adds nothing to the accounts of computationalism or
> > consciousness to do so, beyond the role of 'relational placeholder'.I would 
> > think that identifying the relata would be relevant to explaining a 
> > relation.
>   But I agree that computation is mostly a matter of relations.  What matter 
> adds is
> that it allows the computation to be instantied.  To dismiss it from the 
> explanation
> seems like dismissing hydrogen and oxygen from an explanation of water.
> 
> Brent Meeker


--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~--~~~~--~~--~--~---



Re: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-10-11 Thread 1Z


Bruno Marchal wrote:


> > That's a redundancy argument, not an incompatibility argument.
> 
> 
> Yes.

We somethigists have a redundancy argument of our own.


--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~--~~~~--~~--~--~---



Re: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-10-11 Thread 1Z


Bruno Marchal wrote:


> > That's a redundancy argument, not an incompatibility argument.
> 
> 
> Yes.

We somethigists have a redundancy argument of our own.


--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~--~~~~--~~--~--~---



Re: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-10-11 Thread 1Z


Bruno Marchal wrote:
> Le 10-oct.-06, à 16:08, 1Z a écrit :
>
>
>
> > If your Platonism is about truth, bot existence, you cannot show
> > that matter is redundant,
>
>
> Ah!  I am glad you see my argument is a redundancy argument. If comp is
> true we cannot rely on the hypothesis of primary matter to explain even
> just the physical laws (not to talk on consciousness).

Primary matter was never *supposed* to explain either of
those things. That is a straw-man version of materialism.

> > because if your UD doesn't exist
> > in Platonia,
>
>
> ... but the UD exists in Platonia. The ontological status of the UD is
> the same as the ontological status of the number 5.

Whatever that is. A purely mathematical argument can tell us they
have the same ontological status; it cannot tell us what that status
is. The question of what a mathematical existence-claim
means ontologically requires a philosophical argument.

> Peano Arithmetic
> can prove the existence of the UD.

The mathematical existence. Pure maths cannot prove anything
ontologically.

>
>
>
> >  it doesn't exist in the material world either, so it
> > doesn't exist at all, and therefore cannot replace anything that does
> > exist.
>
> Actually an instantiation of the UD exists in the "material world" too
> (as far as the material world exists of course). The UD is just a
> prgram. You can see its code here:
> http://iridia.ulb.ac.be/~marchal/bxlthesis/Volume4CC/
> 4%20GEN%20&%20DU.pdf

But it requires infinite time to run.


--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~--~~~~--~~--~--~---



Re: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-10-11 Thread 1Z


Bruno Marchal wrote:
> Le 10-oct.-06, à 16:08, 1Z a écrit :
>
>
>
> > If your Platonism is about truth, bot existence, you cannot show
> > that matter is redundant,
>
>
> Ah!  I am glad you see my argument is a redundancy argument. If comp is
> true we cannot rely on the hypothesis of primary matter to explain even
> just the physical laws (not to talk on consciousness).

Primary matter was never *supposed* to explain either of
those things. That is a straw-man version of materialism.

> > because if your UD doesn't exist
> > in Platonia,
>
>
> ... but the UD exists in Platonia. The ontological status of the UD is
> the same as the ontological status of the number 5.

Whatever that is. A purely mathematical argument can tell us they
have the same ontological status; it cannot tell us what that status
is. The question of what a mathematical existence-claim
means ontologically requires a philosophical argument.

> Peano Arithmetic
> can prove the existence of the UD.

The mathematical existence. Pure maths cannot prove anything
ontologically.

>
>
>
> >  it doesn't exist in the material world either, so it
> > doesn't exist at all, and therefore cannot replace anything that does
> > exist.
>
> Actually an instantiation of the UD exists in the "material world" too
> (as far as the material world exists of course). The UD is just a
> prgram. You can see its code here:
> http://iridia.ulb.ac.be/~marchal/bxlthesis/Volume4CC/
> 4%20GEN%20&%20DU.pdf

But it requires infinite time to run.


--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~--~~~~--~~--~--~---



Re: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-10-11 Thread Bruno Marchal


Le 10-oct.-06, à 22:41, <[EMAIL PROTECTED]> a écrit :

>
> Bruno:
> you wrote:
> "...I do believe that 5 is equal to 1+1+1+1+1, ..."
>
> Why not 1+1+1+1+1+1+1?


Because it is equal to six.



> you had a notion somewhere in your mathemaitcally
> instructed mind that you have to stop at exactly the 5th addition, 
> because
> there is a quantity (???) in the number '5' that made you stop there.

Exactly. It is part of the definition of 5.



> Now
> "quantity" is also expressed by numbers, lots of them in applying 
> 'rules',
> so don't we see here a circularity?


Yes. I am not explaining the mystery of numbers. I just say that if 
comp is true then mind and matter have to be explained from the mystery 
of numbers. Sometimes I explain that the natural numbers are a good 
starting point in the sense that we cannot recover them without 
assuming then. Somehow comp can justify why the natural numbers have to 
be mysterious.



> It looks as if the 'numbers' represent quantities?  how about algebra?


Well, the existence of a turing universal diophantine polynomial makes 
me realize that the fourth hypostases(*) is closer to a "theory of 
elementary particles" than I was hoping for. It has the form of a 
complex algebra. Apparently the first string theory (the bosonic one, 
which is not "super") is most probably a subtheory of the comp physics. 
This could help to extract the quantum physics more rapidly than by an 
exhaustive interview of the lobian machine. This gives only quanta, 
though, and the interview remains necessary for having the (non 
sharable) qualia as well.




> What "key" made you stop at the fifth '1'?
> (I wrote in a similar sense a post to Colin, an hour ago).
>
> You ended your reply with:
>>> "My" Platonism is the explicit or implicit standard platonism of most
> working mathematicians.<<
> Q: is there a way to reach an agreement between  the "working
> mathematicians" and the rest of the world (common sense people)?


I believe there is such a common agreement as far as they talk on 
numbers. Only sophisticated philosophers, or mathematicians during the 
week-end, like to doubt on that (but stop such doubt in front of they 
insurance taxes, etc.).
I would be already glad if working mathematicians (week) were able to 
agree with themselves during the wee-end 

Bruno

(*) Fourth hypostases = Plotinus "intelligible matter" = logic of 
certain observation in self-duplicating experiment = logic of Bp & Dp 
(which does split through the G* minus G difference). The two 4th 
hypostases have no Kripke multiverses, but more sophisticated 
topological one.

http://iridia.ulb.ac.be/~marchal/


--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~--~~~~--~~--~--~---



Re: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-10-11 Thread Bruno Marchal


Le 11-oct.-06, à 02:26, 1Z a écrit :

> David Nyman wrote:
>> But this conclusion
>> is, I think, why Bruno thinks that 'matter' has no real explanatory
>> role in the account of conscious experience. This isn't quite
>> equivalent to claiming that it can't be the primary reality, but 
>> rather
>> to claim that it adds nothing to the accounts of computationalism or
>> consciousness to do so, beyond the role of 'relational placeholder'.
>>
>> David


Yes.



>
> That's a redundancy argument, not an incompatibility argument.


Yes.


Bruno


http://iridia.ulb.ac.be/~marchal/


--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~--~~~~--~~--~--~---



Re: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-10-11 Thread Bruno Marchal


Le 10-oct.-06, à 16:08, 1Z a écrit :



> If your Platonism is about truth, bot existence, you cannot show
> that matter is redundant,


Ah!  I am glad you see my argument is a redundancy argument. If comp is  
true we cannot rely on the hypothesis of primary matter to explain even  
just the physical laws (not to talk on consciousness).





> because if your UD doesn't exist
> in Platonia,


... but the UD exists in Platonia. The ontological status of the UD is  
the same as the ontological status of the number 5. Peano Arithmetic  
can prove the existence of the UD.




>  it doesn't exist in the material world either, so it
> doesn't exist at all, and therefore cannot replace anything that does
> exist.

Actually an instantiation of the UD exists in the "material world" too  
(as far as the material world exists of course). The UD is just a  
prgram. You can see its code here:
http://iridia.ulb.ac.be/~marchal/bxlthesis/Volume4CC/ 
4%20GEN%20&%20DU.pdf





http://iridia.ulb.ac.be/~marchal/


--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~--~~~~--~~--~--~---



Re: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-10-10 Thread Brent Meeker

David Nyman wrote:
> 
> 
> On Oct 10, 9:12 pm, Brent Meeker <[EMAIL PROTECTED]> wrote:
> 
> 
>>Then
>>a calculation of pi is picked out among all instantiations of all 
>>computations - but
>>it is still possible to calculate pi many different ways on many different 
>>physical
>>systems.  And it is possible by inspection of these systems to determine 
>>whether they
>>calculate pi.
> 
> 
> But it isn't possible to determine by inspection that they are
> conscious. 

Are you claiming it's impossible in principle, or just that we don't know how?

>'Calculating pi' in the final analysis can be satisfied by
> the system in question externalising its results (e.g. printing out the
> value of pi). But it isn't so simple to test a system that is claimed
> to be conscious. Be that as it may, would you be content with the
> conclusion that the 'properties' of materialism claimed to be jointly
> relevant to both computationalism and consciousness are purely
> relational? In this case, we needn't argue further. But this conclusion
> is, I think, why Bruno thinks that 'matter' has no real explanatory
> role in the account of conscious experience. This isn't quite
> equivalent to claiming that it can't be the primary reality, but rather
> to claim that it adds nothing to the accounts of computationalism or
> consciousness to do so, beyond the role of 'relational placeholder'.

I would think that identifying the relata would be relevant to explaining a 
relation. 
  But I agree that computation is mostly a matter of relations.  What matter 
adds is 
that it allows the computation to be instantied.  To dismiss it from the 
explanation 
seems like dismissing hydrogen and oxygen from an explanation of water.

Brent Meeker


--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~--~~~~--~~--~--~---



Re: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-10-10 Thread 1Z


David Nyman wrote:
> But this conclusion
> is, I think, why Bruno thinks that 'matter' has no real explanatory
> role in the account of conscious experience. This isn't quite
> equivalent to claiming that it can't be the primary reality, but rather
> to claim that it adds nothing to the accounts of computationalism or
> consciousness to do so, beyond the role of 'relational placeholder'.
>
> David

That's a redundancy argument, not an incompatibility argument.


--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~--~~~~--~~--~--~---



Re: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-10-10 Thread Russell Standish

Ah yes - I was confusing my 'isms. Eliminative materialism is an extreme type
of physicalism, but physicalism is broader. What I meant was what you
just stated - COMP is incompatible with physicalism, but not with materialism.

As I understand it, physicalism denies any form of downward causation,
but materialism allows for the possibility. (I'm tending to use
Chalmers' classification here). The Strong Anthropic Principle is strictly
denied with physicalism, as the SAP is effectively a form of downward
causation. 

Actually, I suspect that physicalism is incompatible with the MWI -
hmm need to think about that more...

On Tue, Oct 10, 2006 at 02:18:15PM +0200, Bruno Marchal wrote:
> 
> 
> Le 10-oct.-06, à 03:52, Russell Standish a écrit :
> 
> >
> > On Mon, Oct 09, 2006 at 10:35:05AM -0700, 1Z wrote:
> >>
> >> The idea that materialism is not compatible with computationalism
> >> is a bold and startling claim.
> >
> > Materialism comes in a couple of different flavours. The one that COMP
> > is incompatible with is "eliminative materialism", also sometimes
> > known as physicalism.
> 
> 
> Comp has indeed be shown to be incompatible with physicalism (the 
> doctrine that physics is the fundamental science).
> But physicalism is not necessarily eliminativist. Most physicalist 
> believes in consciousness, even if they believe that consciousness 
> emerges from the behavior of some putative "matter".
> Eliminative materialist does not believe in consciousness or first 
> person at all. Some says this explicitly, others are unclear or just 
> incoherent.
> 
> Comp is not incompatible with the existence of primary or primitive 
> matter, but the UDA shows that comp has to be incompatible with any 
> relation between that matter and the *appearance* of matter or of 
> physical laws;  making matter and material universe(s) as useless as 
> invisible horse pulling cars.
> 
> 
> Bruno
> 
> 
> http://iridia.ulb.ac.be/~marchal/
> 
> 
> 
-- 
*PS: A number of people ask me about the attachment to my email, which
is of type "application/pgp-signature". Don't worry, it is not a
virus. It is an electronic signature, that may be used to verify this
email came from me if you have PGP or GPG installed. Otherwise, you
may safely ignore this attachment.


A/Prof Russell Standish  Phone 0425 253119 (mobile)
Mathematics  
UNSW SYDNEY 2052 [EMAIL PROTECTED] 
Australiahttp://parallel.hpc.unsw.edu.au/rks
International prefix  +612, Interstate prefix 02



--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~--~~~~--~~--~--~---



Re: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-10-10 Thread David Nyman



On Oct 10, 9:12 pm, Brent Meeker <[EMAIL PROTECTED]> wrote:

> Then
> a calculation of pi is picked out among all instantiations of all 
> computations - but
> it is still possible to calculate pi many different ways on many different 
> physical
> systems.  And it is possible by inspection of these systems to determine 
> whether they
> calculate pi.

But it isn't possible to determine by inspection that they are
conscious. 'Calculating pi' in the final analysis can be satisfied by
the system in question externalising its results (e.g. printing out the
value of pi). But it isn't so simple to test a system that is claimed
to be conscious. Be that as it may, would you be content with the
conclusion that the 'properties' of materialism claimed to be jointly
relevant to both computationalism and consciousness are purely
relational? In this case, we needn't argue further. But this conclusion
is, I think, why Bruno thinks that 'matter' has no real explanatory
role in the account of conscious experience. This isn't quite
equivalent to claiming that it can't be the primary reality, but rather
to claim that it adds nothing to the accounts of computationalism or
consciousness to do so, beyond the role of 'relational placeholder'.

David

> David Nyman wrote:
>
> > On Oct 10, 2:51 am, "1Z" <[EMAIL PROTECTED]> wrote:
>
> >> It's a claim of computationalism. I am just explaining how 
> >> computationalism is
> >> compatible with physicalism. You are complaining about circularity, not
> >> contradiction!
>
> > So you're saying that this variety of computationalism merely claims that 
> > whatever
> > 'physical properties' happen to be picked out by the 'right sort of 
> > computation'
> > must be the ones that are responsible for consciousness? But this is just 
> > dogma
> > masquerading as explanation.It's not dogma if it's just offered as a 
> > possibility; a possibility that refutes the
> claim that computationalism is incompatible with materialism.
>
>
>
>
>
> >> But remember that I have a narrowish view of what is a computer. And 
> >> remember
> >> that consciousness is not held to be any old computation.
>
> > Yes, but are you saying that *any old instantiation*, provided it 
> > implements to
> > your satisfaction the 'right sort of computation', must by that token be
> > conscious, whatever 'physical properties' it employs? If you are, then 
> > AFAICS
> > you're either claiming that *any old physical properties* that implement the
> > computation are fact doing the work of creating consciousness, or that 
> > *none* are.
> > Either option is effectively abandoning materialism as the explanation for 
> > why the
> >  computation is deemed to cause consciousness. If you aren't in fact 
> > claiming
> > this, then your appeal to 'computation' as picking out the relevant 
> > properties can
> > be valid only in the context of *specific*, not generalised, 
> > instantiations, and
> > thus becomes merely a shorthand for decribing tightly constrained 
> > activities of
> > just *those* physical systems. In this case, you retain your appeal to 
> > materialism
> > as causally relevant, but mere 'computational equivalence', in the
> > implementation-independent mathematical sense, ceases to predict which 
> > physical
> > systems will be conscious, and which not.Just replace "be conscious" and 
> > "consciousness" with "be a calculation of pi".  Then
> a calculation of pi is picked out among all instantiations of all 
> computations - but
> it is still possible to calculate pi many different ways on many different 
> physical
> systems.  And it is possible by inspection of these systems to determine 
> whether they
> calculate pi.
> 
> Brent Meeker


--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~--~~~~--~~--~--~---



Re: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-10-10 Thread David Nyman



On Oct 10, 8:31 pm, "1Z" <[EMAIL PROTECTED]> wrote:

> > In this case, I would have to agree with Bruno
> > that 'matter' is simply being deployed as a placeholder for relata,That's a 
> > feature, not a bug.
>
> > and
> > has no further explanatory role (except existence, of course - your
> > sticking point, I think).

> That would be a redundancy argument,. not an incompatibility
> (contradiction) argument.

OK - in the interests of getting somewhere, can we settle for that?
i.e. The 'properties' we have been debating are purely relational
(whatever that turns out to entail)?

David


> David Nyman wrote:
> > On Oct 10, 2:56 pm, "1Z" <[EMAIL PROTECTED]> wrote:
>
> > > >  If you aren't in fact
> > > > claiming this, then your appeal to 'computation' as picking out the
> > > > relevant properties can be valid only in the context of *specific*, not
> > > > generalised, instantiations, and thus becomes merely a shorthand for
> > > > decribing tightly constrained activities of just *those* physical
> > > > systems.
>
> > > I have no idea how you come to that conclusion.
>
> > I don't see how you can *avoid* this conclusion, unless you've landed
> > on some unexcluded middle position that I fail to grasp. If
> > computationalists claim the same set of properties as are picked out by
> > *any* instantiation of a computation are also responsible for a stable
> > state of consciousness, then they simply aren't being serious about the
> > 'physical' aspect of these 'properties'. Any relationship whatever
> > between the properties that support computation, and those putatively
> > reponsible for any 1-person state of the machine,The claim of 
> > computationalism is that the relationship
> between the properties that support (a particular kind of)
> computation , and those putatively reponsible for any 1-person state of
> the machine,
> are identical. ie, physical systems are conscious because of their
> cpmputional properties, and only
> indirectly because of the physical properties that support he
> computation.
>
> > is *irrelevant* to
> > the causal explanation of the computation (i.e. such a state could vary
> > wildly with the instantiation, but this would have no effect whatsover
> > on the computation *qua computation*).Some causation is required for 
> > computation, and *some*
> properties are required for causation. So far, everything
> is compatible with materialism (ie the claim that "material things are
> the only things").
>
> > However, it's precisely what
> > *must* be relevant if the internal state is to be determined by those
> > selfsame properties.If the computation that produces consciousness is 
> > "computation C",
> then "computation C" will not be produced by any set of properties,
> so in that sense the properties are relevant. Is that the problem?
>
> Or do you think that different sets of properties must
> produce different conscious states? That is not
> an implication of the supervenience of consciousness on
> the physical. Supervenience only requires that
> the same mental state is always
> associated with the same physical one.
> Of course the same physical state will
> produce the same computational state...
>
> >  To claim that the *same* 1-person state is
> > generated by wildly variable sets of properties, is precisely to say
> > that such 'properties' - i.e. whatever material aspects they are
> > supposed to pick out - are in effect *irrelevant* to the state.What is 
> > relevant is relations between the properties, ATC.
>
> That is the properties are neither irrelevant
> nor relevant in the way suggested by token-token identity (which is
> what you seem to be assuming).
>
> >  This
> > appears to be flatly contradictory, unless in effect the 'properties'
> > so picked out are not in any meaningful sense 'physical' - i.e. they
> > are purely relational.I am not clear why you would call that meaningless.
> That is still miles form Bruno-style non-physicalism,
> in which neither matter nor space nor time
> nor any physical property at all is needed.
>
> But I am not arguing that computationalism
> is compatible with physicalism I am arguing that computationalism
> is compatible with materialsim -- "matter exists".
>
> > In this case, I would have to agree with Bruno
> > that 'matter' is simply being deployed as a placeholder for relata,That's a 
> > feature, not a bug.
>
> > and
> > has no further explanatory role (except existence, of course - your
> > sticking point, I think).That would be a redundancy argument,. not an 
> > incompatibility
> (contradiction) argument.


--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~--~~~~--~--

Re: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-10-10 Thread Quentin Anciaux

Hi,

Le mardi 10 octobre 2006 22:41, [EMAIL PROTECTED] a écrit :
> Bruno:
> you wrote:
> "...I do believe that 5 is equal to 1+1+1+1+1, ..."
>
> Why not 1+1+1+1+1+1+1?  you had a notion somewhere in your mathemaitcally
> instructed mind that you have to stop at exactly the 5th addition, because
> there is a quantity (???) in the number '5' that made you stop there. Now
> "quantity" is also expressed by numbers, lots of them in applying 'rules',
> so don't we see here a circularity?

The successor axiom and the definition of addition make you stop there.
If you choose other axioms and/or operations definitions and/or another 
language to express it, it has of course another meaning ;)

> It looks as if the 'numbers' represent quantities?  how about algebra?
> What "key" made you stop at the fifth '1'?
> (I wrote in a similar sense a post to Colin, an hour ago).
>
> You ended your reply with:
> >>"My" Platonism is the explicit or implicit standard platonism of most
>
> working mathematicians.<<
> Q: is there a way to reach an agreement between  the "working
> mathematicians" and the rest of the world (common sense people)?
>
> John
>
>
> ----- Original Message -
> From: "Bruno Marchal" <[EMAIL PROTECTED]>
> To: 
> Sent: Tuesday, October 10, 2006 8:06 AM
> Subject: Re: The difference between a 'chair' concept and a 'mathematical
> concept' ;)
>
> Le 09-oct.-06, à 23:56, Colin Geoffrey Hales a écrit :
> > ...But it's not. Lets talk about the object with this property of five
> > in
> > platonia as <5>. Here in reality what we are doing is creating a label
> > I
> > and interpreting the label as a pointer to storage where the value in
> > the
> > storage (call it [I])  is not an integer, but a symbolic
> > representation of
> > property of five_ness as mapped from platonia to reality. What we are
> > doing is (very very metaphorically) shining a light (of an infinity of
> > possible numbers) on the object <5> in platonia and letting the
> > reflected
> > light inhabit [I]. We behave as if <5> was in there, but it's not.
>
> I think you are reifying number, or, put in another way, you put much
> more in "platonia" than I am using in both the UDA and the AUDA (the
> arithmetical UDA alias the interview of the lobian machine). Some
> people makes confusion here.
>
> All I say is that a reasoner is platonist if he believes, about
> *arithmetical* propositions, in the principle of excluded middle.
> Equivalently he believes that if you execute a program P, then either
> the program stop or the program does not stop.
>
> I don't believe at all that the number 5 is somewhere "there" in any
> sense you would give to "where" or "there".
> I do believe that 5 is equal to 1+1+1+1+1, and that for any natural
> number N either  N is a multiple of 5 or it is not. So platonism is
> just in opposition to ultra-intuitionnism. We know since Godel that
> about numbers and arithmetic, intuitionnism is just a terminological
> variant of platonism (where a platonist says (A or ~A), an
> intuitionnist will say ~~(A or ~A), etc.
>
> "My" Platonism is the explicit or implicit standard platonism of most
> working mathematicians.
>
> Bruno
>
>
>
>
> http://iridia.ulb.ac.be/~marchal/
>
>
>
>
>
> --
> No virus found in this incoming message.
> Checked by AVG Free Edition.
> Version: 7.1.407 / Virus Database: 268.13.1/466 - Release Date: 10/07/06
>
>
>
>

--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~--~~~~--~~--~--~---



Re: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-10-10 Thread jamikes

Bruno:
you wrote:
"...I do believe that 5 is equal to 1+1+1+1+1, ..."

Why not 1+1+1+1+1+1+1?  you had a notion somewhere in your mathemaitcally
instructed mind that you have to stop at exactly the 5th addition, because
there is a quantity (???) in the number '5' that made you stop there. Now
"quantity" is also expressed by numbers, lots of them in applying 'rules',
so don't we see here a circularity?
It looks as if the 'numbers' represent quantities?  how about algebra?
What "key" made you stop at the fifth '1'?
(I wrote in a similar sense a post to Colin, an hour ago).

You ended your reply with:
>>"My" Platonism is the explicit or implicit standard platonism of most
working mathematicians.<<
Q: is there a way to reach an agreement between  the "working
mathematicians" and the rest of the world (common sense people)?

John


- Original Message -----
From: "Bruno Marchal" <[EMAIL PROTECTED]>
To: 
Sent: Tuesday, October 10, 2006 8:06 AM
Subject: Re: The difference between a 'chair' concept and a 'mathematical
concept' ;)

Le 09-oct.-06, à 23:56, Colin Geoffrey Hales a écrit :

> ...But it's not. Lets talk about the object with this property of five
> in
> platonia as <5>. Here in reality what we are doing is creating a label
> I
> and interpreting the label as a pointer to storage where the value in
> the
> storage (call it [I])  is not an integer, but a symbolic
> representation of
> property of five_ness as mapped from platonia to reality. What we are
> doing is (very very metaphorically) shining a light (of an infinity of
> possible numbers) on the object <5> in platonia and letting the
> reflected
> light inhabit [I]. We behave as if <5> was in there, but it's not.

I think you are reifying number, or, put in another way, you put much
more in "platonia" than I am using in both the UDA and the AUDA (the
arithmetical UDA alias the interview of the lobian machine). Some
people makes confusion here.

All I say is that a reasoner is platonist if he believes, about
*arithmetical* propositions, in the principle of excluded middle.
Equivalently he believes that if you execute a program P, then either
the program stop or the program does not stop.

I don't believe at all that the number 5 is somewhere "there" in any
sense you would give to "where" or "there".
I do believe that 5 is equal to 1+1+1+1+1, and that for any natural
number N either  N is a multiple of 5 or it is not. So platonism is
just in opposition to ultra-intuitionnism. We know since Godel that
about numbers and arithmetic, intuitionnism is just a terminological
variant of platonism (where a platonist says (A or ~A), an
intuitionnist will say ~~(A or ~A), etc.

"My" Platonism is the explicit or implicit standard platonism of most
working mathematicians.

Bruno




http://iridia.ulb.ac.be/~marchal/





--
No virus found in this incoming message.
Checked by AVG Free Edition.
Version: 7.1.407 / Virus Database: 268.13.1/466 - Release Date: 10/07/06



--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~--~~~~--~~--~--~---



Re: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-10-10 Thread Brent Meeker

David Nyman wrote:
> 
> 
> On Oct 10, 2:51 am, "1Z" <[EMAIL PROTECTED]> wrote:
> 
> 
>> It's a claim of computationalism. I am just explaining how computationalism 
>> is
>> compatible with physicalism. You are complaining about circularity, not
>> contradiction!
> 
> 
> So you're saying that this variety of computationalism merely claims that 
> whatever
> 'physical properties' happen to be picked out by the 'right sort of 
> computation'
> must be the ones that are responsible for consciousness? But this is just 
> dogma
> masquerading as explanation.

It's not dogma if it's just offered as a possibility; a possibility that 
refutes the 
claim that computationalism is incompatible with materialism.

> 
>> But remember that I have a narrowish view of what is a computer. And 
>> remember 
>> that consciousness is not held to be any old computation.
> 
> 
> Yes, but are you saying that *any old instantiation*, provided it implements 
> to
> your satisfaction the 'right sort of computation', must by that token be
> conscious, whatever 'physical properties' it employs? If you are, then AFAICS
> you're either claiming that *any old physical properties* that implement the
> computation are fact doing the work of creating consciousness, or that *none* 
> are.
> Either option is effectively abandoning materialism as the explanation for 
> why the
>  computation is deemed to cause consciousness. If you aren't in fact claiming
> this, then your appeal to 'computation' as picking out the relevant 
> properties can
> be valid only in the context of *specific*, not generalised, instantiations, 
> and
> thus becomes merely a shorthand for decribing tightly constrained activities 
> of
> just *those* physical systems. In this case, you retain your appeal to 
> materialism
> as causally relevant, but mere 'computational equivalence', in the 
> implementation-independent mathematical sense, ceases to predict which 
> physical
> systems will be conscious, and which not.

Just replace "be conscious" and "consciousness" with "be a calculation of pi".  
Then 
a calculation of pi is picked out among all instantiations of all computations 
- but 
it is still possible to calculate pi many different ways on many different 
physical 
systems.  And it is possible by inspection of these systems to determine 
whether they 
calculate pi.

Brent Meeker


--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~--~~~~--~~--~--~---



Re: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-10-10 Thread jamikes

Colin:
I could not have expressed my similar doubts anyhow close to such full
clarity, did not even try.
About the conceptual (numerically expressed) essence of "5" :
recalling some words of Bruno, it may be that it should be expressed by lots
and lots of rules-including number expressions, as anything else. And, of
course,   A   the included 'numbers' to express "5" should have
similarly long and convoluted num-b-erical expressions as well. And so on.

Does this make sense? (Not to me).

John M


- Original Message -
From: "Colin Geoffrey Hales" <[EMAIL PROTECTED]>
To: 
Sent: Monday, October 09, 2006 5:56 PM
Subject: Re: The difference between a 'chair' concept and a 'mathematical
concept' ;)


>
> LZ:
> > Colin Hales wrote:
> >> I reached this position independently and you may think I'm nuts... I
> can't help what I see... is there something wrong with this way of
thinking?
> > I don't see what you think a non-ideal number is.
>
> This deficit of mine includes having trouble with ALL numbers. :-)
>
> For the life of me I cannot imagine what an 'object' is that has
> quintessential property of 'five' about it. Sitting in platonia somewhere
> is this object. Somewhere else in platonia sit the objects 'red' and 'sad'
> and 'big'. Here on the list we talk of integers and given them a label I
> and then speak of operations on I. We tend to think of I as 'being' an an
> integer..
>
> ...But it's not. Lets talk about the object with this property of five in
> platonia as <5>. Here in reality what we are doing is creating a label I
> and interpreting the label as a pointer to storage where the value in the
> storage (call it [I])  is not an integer, but a symbolic representation of
> property of five_ness as mapped from platonia to reality. What we are
> doing is (very very metaphorically) shining a light (of an infinity of
> possible numbers) on the object <5> in platonia and letting the reflected
> light inhabit [I]. We behave as if <5> was in there, but it's not.
>
> All the rules of integers act as-if <5> was there. At that moment the
> storage pointed to by I contains a symbolic rearrangment of matter such as
> binary 1001 implemented as the temporary state (an arrangement of charge
> in space) of logic gates. We logically interpret this artrangement of
> charge in space as having the effect of five_ness, which is property of we
> assign at the moment we use it (such as one more than 4).
>
> To me the actual numbers (things) don't exist at all. All I can really see
> here in reality is logical relations that behave as-if the platonic
> entities existed. This all may seem obvious to the rest of you. That's my
> problem! But to me here watching the industrial scale manipulations of
> symbols going on, I wonder why it is we think we are saying anything at
> all about reality - the computation that literally _is_ reality - which,
> again, I see as a pile of logical relations that sometimes lets the
> platonic light shine on them in useful ways - say in ways that enable a
> mathematical generalisation called an empirical law.
>
> As to what the non-ideal numbers are
>
> Well there aren't any. Not really. At least I can't conceive them. However
> the logical operations I see around us have the structure of numbers
> correponding to a rather odd plethora of bases. Quantity is implicit in
> any natural aggregation resulting from logical operations. One number
> might be:
>
> human.cell.molecule.atom.nucleus.proton.quark.fuzzy1.fuzzy2...fuzzyN
>
(fred.dandruffskincell.omega3.carbon.nucleus.3rd_proton.UP_quark1_string.loo
p_2.etc1.etc2.)
>
> If you work in base "atom" arithmetic you have and arithmetic where atoms
> associate with a remainder, say a unit in another base called .photon
> This is called chemistry.
>
> The human (and all the space that expresses it) is one single number
> consisting of 'digits' that are all the cells(and interstitial molecules)
> collected together according to affinities of fuzzyN, which acts in the
> above 'number' like the integer I does to the set of integers expressed in
> binary I mentioned above.
>
> There's no nice neat rows. No neat remainderless arithmetic.
>
> But it's all created with logical operators on an assumed elemental
> 'fuzzyN' (see above) primitive. '.fuzzyN' can be treated as an underlying
> structural primitive 'pseudo-object' as a fundamental 'thing'. But .fuzzyN
> can be just another logical relation between deeper primitives. There is
> no depth limi

Re: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-10-10 Thread 1Z


David Nyman wrote:
> On Oct 10, 2:56 pm, "1Z" <[EMAIL PROTECTED]> wrote:
>
> > >  If you aren't in fact
> > > claiming this, then your appeal to 'computation' as picking out the
> > > relevant properties can be valid only in the context of *specific*, not
> > > generalised, instantiations, and thus becomes merely a shorthand for
> > > decribing tightly constrained activities of just *those* physical
> > > systems.
> >
> > I have no idea how you come to that conclusion.
>
> I don't see how you can *avoid* this conclusion, unless you've landed
> on some unexcluded middle position that I fail to grasp. If
> computationalists claim the same set of properties as are picked out by
> *any* instantiation of a computation are also responsible for a stable
> state of consciousness, then they simply aren't being serious about the
> 'physical' aspect of these 'properties'. Any relationship whatever
> between the properties that support computation, and those putatively
> reponsible for any 1-person state of the machine,

The claim of computationalism is that the relationship
between the properties that support (a particular kind of)
computation , and those putatively reponsible for any 1-person state of
the machine,
are identical. ie, physical systems are conscious because of their
cpmputional properties, and only
indirectly because of the physical properties that support he
computation.


> is *irrelevant* to
> the causal explanation of the computation (i.e. such a state could vary
> wildly with the instantiation, but this would have no effect whatsover
> on the computation *qua computation*).

Some causation is required for computation, and *some*
properties are required for causation. So far, everything
is compatible with materialism (ie the claim that "material things are
the only things").

> However, it's precisely what
> *must* be relevant if the internal state is to be determined by those
> selfsame properties.

If the computation that produces consciousness is "computation C",
then "computation C" will not be produced by any set of properties,
so in that sense the properties are relevant. Is that the problem?

Or do you think that different sets of properties must
produce different conscious states? That is not
an implication of the supervenience of consciousness on
the physical. Supervenience only requires that
the same mental state is always
associated with the same physical one.
Of course the same physical state will
produce the same computational state...

>  To claim that the *same* 1-person state is
> generated by wildly variable sets of properties, is precisely to say
> that such 'properties' - i.e. whatever material aspects they are
> supposed to pick out - are in effect *irrelevant* to the state.

What is relevant is relations between the properties, ATC.

That is the properties are neither irrelevant
nor relevant in the way suggested by token-token identity (which is
what you seem to be assuming).


>  This
> appears to be flatly contradictory, unless in effect the 'properties'
> so picked out are not in any meaningful sense 'physical' - i.e. they
> are purely relational.

I am not clear why you would call that meaningless.
That is still miles form Bruno-style non-physicalism,
in which neither matter nor space nor time
nor any physical property at all is needed.

But I am not arguing that computationalism
is compatible with physicalism I am arguing that computationalism
is compatible with materialsim -- "matter exists".


> In this case, I would have to agree with Bruno
> that 'matter' is simply being deployed as a placeholder for relata,

That's a feature, not a bug.

> and
> has no further explanatory role (except existence, of course - your
> sticking point, I think).

That would be a redundancy argument,. not an incompatibility
(contradiction) argument.


--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~--~~~~--~~--~--~---



Re: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-10-10 Thread 1Z


David Nyman wrote:
> On Oct 10, 2:56 pm, "1Z" <[EMAIL PROTECTED]> wrote:
>
> > >  If you aren't in fact
> > > claiming this, then your appeal to 'computation' as picking out the
> > > relevant properties can be valid only in the context of *specific*, not
> > > generalised, instantiations, and thus becomes merely a shorthand for
> > > decribing tightly constrained activities of just *those* physical
> > > systems.
> >
> > I have no idea how you come to that conclusion.
>
> I don't see how you can *avoid* this conclusion, unless you've landed
> on some unexcluded middle position that I fail to grasp. If
> computationalists claim the same set of properties as are picked out by
> *any* instantiation of a computation are also responsible for a stable
> state of consciousness, then they simply aren't being serious about the
> 'physical' aspect of these 'properties'. Any relationship whatever
> between the properties that support computation, and those putatively
> reponsible for any 1-person state of the machine,

The claim of computationalism is that the relationship
between the properties that support (a particular kind of)
computation , and those putatively reponsible for any 1-person state of
the machine,
are identical. ie, physical systems are conscious because of their
cpmputional properties, and only
indirectly because of the physical properties that support he
computation.


> is *irrelevant* to
> the causal explanation of the computation (i.e. such a state could vary
> wildly with the instantiation, but this would have no effect whatsover
> on the computation *qua computation*).

Some causation is required for computation, and *some*
properties are required for causation. So far, everything
is compatible with materialism (ie the claim that "material things are
the only things").

> However, it's precisely what
> *must* be relevant if the internal state is to be determined by those
> selfsame properties.

If the computation that produces consciousness is "computation C",
then "computation C" will not be produced by any set of properties,
so in that sense the properties are relevant. Is that the problem?

Or do you think that different sets of properties must
produce different conscious states? That is not
an implication of the supervenience of consciousness on
the physical. Supervenience only requires that
the same mental state is always
associated with the same physical one.
Of course the same physical state will
produce the same computational state...

>  To claim that the *same* 1-person state is
> generated by wildly variable sets of properties, is precisely to say
> that such 'properties' - i.e. whatever material aspects they are
> supposed to pick out - are in effect *irrelevant* to the state.

What is relevant is relations between the properties, ATC.

That is the properties are neither irrelevant
nor relevant in the way suggested by token-token identity (which is
what you seem to be assuming).


>  This
> appears to be flatly contradictory, unless in effect the 'properties'
> so picked out are not in any meaningful sense 'physical' - i.e. they
> are purely relational.

I am not clear why you would call that meaningless.
That is still miles form Bruno-style non-physicalism,
in which neither matter nor space nor time
nor any physical property at all is needed.

But I am not arguing that computationalism
is compatible with physicalism I am arguing that computationalism
is compatible with materialsim -- "matter exists".


> In this case, I would have to agree with Bruno
> that 'matter' is simply being deployed as a placeholder for relata,

That's a feature, not a bug.

> and
> has no further explanatory role (except existence, of course - your
> sticking point, I think).

That would be a redundancy argument,. not an incompatibility
(contradiction) argument.


--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~--~~~~--~~--~--~---



Re: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-10-10 Thread David Nyman



On Oct 10, 2:56 pm, "1Z" <[EMAIL PROTECTED]> wrote:

> >  If you aren't in fact
> > claiming this, then your appeal to 'computation' as picking out the
> > relevant properties can be valid only in the context of *specific*, not
> > generalised, instantiations, and thus becomes merely a shorthand for
> > decribing tightly constrained activities of just *those* physical
> > systems.
>
> I have no idea how you come to that conclusion.

I don't see how you can *avoid* this conclusion, unless you've landed
on some unexcluded middle position that I fail to grasp. If
computationalists claim the same set of properties as are picked out by
*any* instantiation of a computation are also responsible for a stable
state of consciousness, then they simply aren't being serious about the
'physical' aspect of these 'properties'. Any relationship whatever
between the properties that support computation, and those putatively
reponsible for any 1-person state of the machine, is *irrelevant* to
the causal explanation of the computation (i.e. such a state could vary
wildly with the instantiation, but this would have no effect whatsover
on the computation *qua computation*). However, it's precisely what
*must* be relevant if the internal state is to be determined by those
selfsame properties. To claim that the *same* 1-person state is
generated by wildly variable sets of properties, is precisely to say
that such 'properties' - i.e. whatever material aspects they are
supposed to pick out - are in effect *irrelevant* to the state. This
appears to be flatly contradictory, unless in effect the 'properties'
so picked out are not in any meaningful sense 'physical' - i.e. they
are purely relational. In this case, I would have to agree with Bruno
that 'matter' is simply being deployed as a placeholder for relata, and
has no further explanatory role (except existence, of course - your
sticking point, I think).



David

> David Nyman wrote:
> > On Oct 10, 2:51 am, "1Z" <[EMAIL PROTECTED]> wrote:
>
> > > It's a claim of computationalism. I am just explaining how
> > > computationalism is compatible with physicalism. You
> > > are complaining about circularity, not contradiction!
>
> > So you're saying that this variety of computationalism merely claims
> > that whatever 'physical properties' happen to be picked out by the
> > 'right sort of computation' must be the ones that are responsible for
> > consciousness? But this is just dogma masquerading as explanation.Saying 
> > "X-ists claim Y" is not dogma. Saying "Y, because i say so" is
> dogma.
>
> > > But remember
> > > that I have a narrowish view of what is a computer. And remember
> > > that consciousness is not held to be any old computation.
>
> > Yes, but are you saying that *any old instantiation*, provided it
> > implements to your satisfaction the 'right sort of computation', must
> > by that token be conscious, whatever 'physical properties' it employs?I am 
> > saying that computationalists say that.
>
> > If you are, then AFAICS you're either claiming that *any old physical
> > properties* that implement the computation are fact doing the work of
> > creating consciousness, or that *none* are. Either option is
> > effectively abandoning materialism as the explanation for why the
> > computation is deemed to cause consciousness.It isn't abandoning 
> > "materialism" as the claim that matter exists.
>
> It *is* claiming that computation is a kind of shorthand for the
> sets of relevant physical properties. So what? Maybe
> all our current physics is an approximate, high-level
> rendition of something more fundamental. It's just a claim
> about what the right level of decription is. Most neuroscientists
> don't think you have t go down to the quantum level,
> even if they don't think the computational level
> is the right level of description.
>
> (It is also abandoning token-token identity theory. Are
> you getting that confused with materialism?)
>
> >  If you aren't in fact
> > claiming this, then your appeal to 'computation' as picking out the
> > relevant properties can be valid only in the context of *specific*, not
> > generalised, instantiations, and thus becomes merely a shorthand for
> > decribing tightly constrained activities of just *those* physical
> > systems.I have no idea how you come to that conclusion.
>
> > In this case, you retain your appeal to materialism as
> > causally relevant, but mere 'computational equivalence', in the
> > implementation-independent mathematical sense, ceases to predict which
> > physical systems will be conscious, and which not.No it doesn't. Any system 
> > that implements computation C will be
> conscious, According To Computationalism. The other
> factors aren't relevant. ATC.
> 
> > David


--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe 

Re: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-10-10 Thread David Nyman



On Oct 10, 2:56 pm, "1Z" <[EMAIL PROTECTED]> wrote:

> >  If you aren't in fact
> > claiming this, then your appeal to 'computation' as picking out the
> > relevant properties can be valid only in the context of *specific*, not
> > generalised, instantiations, and thus becomes merely a shorthand for
> > decribing tightly constrained activities of just *those* physical
> > systems.
>
> I have no idea how you come to that conclusion.

I don't see how you can *avoid* this conclusion, unless you've landed
on some unexcluded middle position that I fail to grasp. If
computationalists claim the same set of properties as are picked out by
*any* instantiation of a computation are also responsible for a stable
state of consciousness, then they simply aren't being serious about the
'physical' aspect of these 'properties'. Any relationship whatever
between the properties that support computation, and those putatively
reponsible for any 1-person state of the machine, is *irrelevant* to
the causal explanation of the computation (i.e. such a state could vary
wildly with the instantiation, but this would have no effect whatsover
on the computation *qua computation*). However, it's precisely what
*must* be relevant if the internal state is to be determined by those
selfsame properties. To claim that the *same* 1-person state is
generated by wildly variable sets of properties, is precisely to say
that such 'properties' - i.e. whatever material aspects they are
supposed to pick out - are in effect *irrelevant* to the state. This
appears to be flatly contradictory, unless in effect the 'properties'
so picked out are not in any meaningful sense 'physical' - i.e. they
are purely relational. In this case, I would have to agree with Bruno
that 'matter' is simply being deployed as a placeholder for relata, and
has no further explanatory role (except existence, of course - your
sticking point, I think).



David

> David Nyman wrote:
> > On Oct 10, 2:51 am, "1Z" <[EMAIL PROTECTED]> wrote:
>
> > > It's a claim of computationalism. I am just explaining how
> > > computationalism is compatible with physicalism. You
> > > are complaining about circularity, not contradiction!
>
> > So you're saying that this variety of computationalism merely claims
> > that whatever 'physical properties' happen to be picked out by the
> > 'right sort of computation' must be the ones that are responsible for
> > consciousness? But this is just dogma masquerading as explanation.Saying 
> > "X-ists claim Y" is not dogma. Saying "Y, because i say so" is
> dogma.
>
> > > But remember
> > > that I have a narrowish view of what is a computer. And remember
> > > that consciousness is not held to be any old computation.
>
> > Yes, but are you saying that *any old instantiation*, provided it
> > implements to your satisfaction the 'right sort of computation', must
> > by that token be conscious, whatever 'physical properties' it employs?I am 
> > saying that computationalists say that.
>
> > If you are, then AFAICS you're either claiming that *any old physical
> > properties* that implement the computation are fact doing the work of
> > creating consciousness, or that *none* are. Either option is
> > effectively abandoning materialism as the explanation for why the
> > computation is deemed to cause consciousness.It isn't abandoning 
> > "materialism" as the claim that matter exists.
>
> It *is* claiming that computation is a kind of shorthand for the
> sets of relevant physical properties. So what? Maybe
> all our current physics is an approximate, high-level
> rendition of something more fundamental. It's just a claim
> about what the right level of decription is. Most neuroscientists
> don't think you have t go down to the quantum level,
> even if they don't think the computational level
> is the right level of description.
>
> (It is also abandoning token-token identity theory. Are
> you getting that confused with materialism?)
>
> >  If you aren't in fact
> > claiming this, then your appeal to 'computation' as picking out the
> > relevant properties can be valid only in the context of *specific*, not
> > generalised, instantiations, and thus becomes merely a shorthand for
> > decribing tightly constrained activities of just *those* physical
> > systems.I have no idea how you come to that conclusion.
>
> > In this case, you retain your appeal to materialism as
> > causally relevant, but mere 'computational equivalence', in the
> > implementation-independent mathematical sense, ceases to predict which
> > physical systems will be conscious, and which not.No it doesn't. Any system 
> > that implements computation C will be
> conscious, According To Computationalism. The other
> factors aren't relevant. ATC.
> 
> > David


--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe 

Re: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-10-10 Thread 1Z


Bruno Marchal wrote:
> Le 09-oct.-06, à 23:56, Colin Geoffrey Hales a écrit :
>
>
> > ...But it's not. Lets talk about the object with this property of five
> > in
> > platonia as <5>. Here in reality what we are doing is creating a label
> > I
> > and interpreting the label as a pointer to storage where the value in
> > the
> > storage (call it [I])  is not an integer, but a symbolic
> > representation of
> > property of five_ness as mapped from platonia to reality. What we are
> > doing is (very very metaphorically) shining a light (of an infinity of
> > possible numbers) on the object <5> in platonia and letting the
> > reflected
> > light inhabit [I]. We behave as if <5> was in there, but it's not.
>
>
>
> I think you are reifying number, or, put in another way, you put much
> more in "platonia" than I am using in both the UDA and the AUDA (the
> arithmetical UDA alias the interview of the lobian machine). Some
> people makes confusion here.
>
> All I say is that a reasoner is platonist if he believes, about
> *arithmetical* propositions, in the principle of excluded middle.
> Equivalently he believes that if you execute a program P, then either
> the program stop or the program does not stop.
>
> I don't believe at all that the number 5 is somewhere "there" in any
> sense you would give to "where" or "there".
> I do believe that 5 is equal to 1+1+1+1+1, and that for any natural
> number N either  N is a multiple of 5 or it is not. So platonism is
> just in opposition to ultra-intuitionnism. We know since Godel that
> about numbers and arithmetic, intuitionnism is just a terminological
> variant of platonism (where a platonist says (A or ~A), an
> intuitionnist will say ~~(A or ~A), etc.
>
> "My" Platonism is the explicit or implicit standard platonism of most
> working mathematicians.

If your Platonism is about truth, bot existence, you cannot show
that matter is redundant, because if your UD doesn't exist
in Platonia, it doesn't exist in the material world either, so it
doesn't exist at all, and therefore cannot replace anything that does
exist.


--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~--~~~~--~~--~--~---



Re: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-10-10 Thread 1Z


Bruno Marchal wrote:
> Le 10-oct.-06, à 03:52, Russell Standish a écrit :
>
> >
> > On Mon, Oct 09, 2006 at 10:35:05AM -0700, 1Z wrote:
> >>
> >> The idea that materialism is not compatible with computationalism
> >> is a bold and startling claim.
> >
> > Materialism comes in a couple of different flavours. The one that COMP
> > is incompatible with is "eliminative materialism", also sometimes
> > known as physicalism.
>
>
> Comp has indeed be shown to be incompatible with physicalism (the
> doctrine that physics is the fundamental science).

I don't know who you think has shown this. Maudlins argument
relies on the Activity Thesis, which is an independent claim
from "physics is the fundamental science". Your argument
shows that phyics emerges from maths (given the existence of
an immaterial UD), making matter redundant;
but it is equally the case that maths emerges from
physics (given the existence of matter), making Platonia redundant.


--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~--~~~~--~~--~--~---



Re: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-10-10 Thread 1Z


David Nyman wrote:
> On Oct 10, 2:51 am, "1Z" <[EMAIL PROTECTED]> wrote:
>
> > It's a claim of computationalism. I am just explaining how
> > computationalism is compatible with physicalism. You
> > are complaining about circularity, not contradiction!
>
> So you're saying that this variety of computationalism merely claims
> that whatever 'physical properties' happen to be picked out by the
> 'right sort of computation' must be the ones that are responsible for
> consciousness? But this is just dogma masquerading as explanation.

Saying "X-ists claim Y" is not dogma. Saying "Y, because i say so" is
dogma.

> > But remember
> > that I have a narrowish view of what is a computer. And remember
> > that consciousness is not held to be any old computation.
>
> Yes, but are you saying that *any old instantiation*, provided it
> implements to your satisfaction the 'right sort of computation', must
> by that token be conscious, whatever 'physical properties' it employs?

I am saying that computationalists say that.

> If you are, then AFAICS you're either claiming that *any old physical
> properties* that implement the computation are fact doing the work of
> creating consciousness, or that *none* are. Either option is
> effectively abandoning materialism as the explanation for why the
> computation is deemed to cause consciousness.

It isn't abandoning "materialism" as the claim that matter exists.

It *is* claiming that computation is a kind of shorthand for the
sets of relevant physical properties. So what? Maybe
all our current physics is an approximate, high-level
rendition of something more fundamental. It's just a claim
about what the right level of decription is. Most neuroscientists
don't think you have t go down to the quantum level,
even if they don't think the computational level
is the right level of description.

(It is also abandoning token-token identity theory. Are
you getting that confused with materialism?)

>  If you aren't in fact
> claiming this, then your appeal to 'computation' as picking out the
> relevant properties can be valid only in the context of *specific*, not
> generalised, instantiations, and thus becomes merely a shorthand for
> decribing tightly constrained activities of just *those* physical
> systems.

I have no idea how you come to that conclusion.

> In this case, you retain your appeal to materialism as
> causally relevant, but mere 'computational equivalence', in the
> implementation-independent mathematical sense, ceases to predict which
> physical systems will be conscious, and which not.

No it doesn't. Any system that implements computation C will be
conscious, According To Computationalism. The other
factors aren't relevant. ATC.

> David


--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~--~~~~--~~--~--~---



Re: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-10-10 Thread Bruno Marchal


Le 10-oct.-06, à 03:52, Russell Standish a écrit :

>
> On Mon, Oct 09, 2006 at 10:35:05AM -0700, 1Z wrote:
>>
>> The idea that materialism is not compatible with computationalism
>> is a bold and startling claim.
>
> Materialism comes in a couple of different flavours. The one that COMP
> is incompatible with is "eliminative materialism", also sometimes
> known as physicalism.


Comp has indeed be shown to be incompatible with physicalism (the 
doctrine that physics is the fundamental science).
But physicalism is not necessarily eliminativist. Most physicalist 
believes in consciousness, even if they believe that consciousness 
emerges from the behavior of some putative "matter".
Eliminative materialist does not believe in consciousness or first 
person at all. Some says this explicitly, others are unclear or just 
incoherent.

Comp is not incompatible with the existence of primary or primitive 
matter, but the UDA shows that comp has to be incompatible with any 
relation between that matter and the *appearance* of matter or of 
physical laws;  making matter and material universe(s) as useless as 
invisible horse pulling cars.


Bruno


http://iridia.ulb.ac.be/~marchal/


--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~--~~~~--~~--~--~---



Re: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-10-10 Thread David Nyman



On Oct 10, 2:51 am, "1Z" <[EMAIL PROTECTED]> wrote:

> It's a claim of computationalism. I am just explaining how
> computationalism is compatible with physicalism. You
> are complaining about circularity, not contradiction!

So you're saying that this variety of computationalism merely claims
that whatever 'physical properties' happen to be picked out by the
'right sort of computation' must be the ones that are responsible for
consciousness? But this is just dogma masquerading as explanation.

> But remember
> that I have a narrowish view of what is a computer. And remember
> that consciousness is not held to be any old computation.

Yes, but are you saying that *any old instantiation*, provided it
implements to your satisfaction the 'right sort of computation', must
by that token be conscious, whatever 'physical properties' it employs?
If you are, then AFAICS you're either claiming that *any old physical
properties* that implement the computation are fact doing the work of
creating consciousness, or that *none* are. Either option is
effectively abandoning materialism as the explanation for why the
computation is deemed to cause consciousness. If you aren't in fact
claiming this, then your appeal to 'computation' as picking out the
relevant properties can be valid only in the context of *specific*, not
generalised, instantiations, and thus becomes merely a shorthand for
decribing tightly constrained activities of just *those* physical
systems. In this case, you retain your appeal to materialism as
causally relevant, but mere 'computational equivalence', in the
implementation-independent mathematical sense, ceases to predict which
physical systems will be conscious, and which not.

David

> David Nyman wrote:
> > 1Z wrote:
>
> > > Whatever properties are picked out by a computation
> > > will be relevant to it as a computation.
>
> > Yes, of course. But how are these properties supposed to simultaneously
> > produce a state of consciousness stably linked to the 'computation'
> > when this self-same computation could have been instantiated in
> > arbitrarily many physically distinct ways?Why not? A ordinary numerical 
> > computation can be instantiated
> in arbitrarily many physical ways, and still produce the same result.
>
> >  The computations would be
> > equivalent, but you appear to be claiming that however they are
> > implemented, arbitrarily many distinct physical properties somehow
> > become equally 'relevant' to generating the same state of
> > consciousness.I still don't see why you think this is a problem. If 
> > different
> physical states always produced different mental states, there
> would be no mental commonalities between people,
> since all brains are physcially different. Mutiple realisability is a
> feature,
> not a bug!
>
> > > There is no requirement that
> > > the same connscious state is implemented
> > > by the same physical state, so the multiple
> > > reliasability of computations is not a problem
>
> > So you say, but just *what* physical properties are supposed to be
> > relevant and *how* do they contrive always to manifest equivalently
> > within totally different implementations of a computation?How do they for a 
> > non-conscious computation?
> That is no a mystery, it is computer engineering.
>
> > Is this just
> > supposed to be a mystery?The mystery is which computations are conscious.
>
> > My point is that under materialism,
> > 'computation' is just a metaphor and what is directly relevant is the
> > activity of the physical substrate in producing the results that we
> > interpret in this way.Under physicalism, *all* the activity is relevant.
> Under computationalism, a subset is.
>
> > What's critical to computational equivalence is
> > not the internal states of the physical substrate, but the consistency
> > of the externalised results thus produced.That's a broad definition of 
> > equivalence.
> Running the same algorithm -- rather than producing the same results --
> is generally more relevant.
>
> > But with consciousness, it's precisely the internal states that are
> > relevant.Yes.
>
> > And here your reasoning appears to become circular - a
> > particular set of physical properties can be construed as
> > 'externalising' a particular set of computational results at a given
> > point in time (fair enough) so, whatever these properties happen to be,
> > they're must also be 'relevant' in generating a specific internal
> > conscious state - and so must any arbitrary alternative set of
> > properties that externalise the same computational results. Only
> > because you say so, AFAICS.It's a claim of computationalism. I am just 
> > explaining how
> computationalism is compatible with physicalism. You
> are complaining about circularity, not contradiction!
>
> It's not an argument that computationalism is actually true,
> nor meant to be.
>
> >  By making the rationale for supervention of
> > consciousness on physical activity completely arbitrary in thi

Re: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-10-10 Thread Bruno Marchal


Le 09-oct.-06, à 23:56, Colin Geoffrey Hales a écrit :


> ...But it's not. Lets talk about the object with this property of five 
> in
> platonia as <5>. Here in reality what we are doing is creating a label 
> I
> and interpreting the label as a pointer to storage where the value in 
> the
> storage (call it [I])  is not an integer, but a symbolic 
> representation of
> property of five_ness as mapped from platonia to reality. What we are
> doing is (very very metaphorically) shining a light (of an infinity of
> possible numbers) on the object <5> in platonia and letting the 
> reflected
> light inhabit [I]. We behave as if <5> was in there, but it's not.



I think you are reifying number, or, put in another way, you put much 
more in "platonia" than I am using in both the UDA and the AUDA (the 
arithmetical UDA alias the interview of the lobian machine). Some 
people makes confusion here.

All I say is that a reasoner is platonist if he believes, about 
*arithmetical* propositions, in the principle of excluded middle. 
Equivalently he believes that if you execute a program P, then either 
the program stop or the program does not stop.

I don't believe at all that the number 5 is somewhere "there" in any 
sense you would give to "where" or "there".
I do believe that 5 is equal to 1+1+1+1+1, and that for any natural 
number N either  N is a multiple of 5 or it is not. So platonism is 
just in opposition to ultra-intuitionnism. We know since Godel that 
about numbers and arithmetic, intuitionnism is just a terminological 
variant of platonism (where a platonist says (A or ~A), an 
intuitionnist will say ~~(A or ~A), etc.

"My" Platonism is the explicit or implicit standard platonism of most 
working mathematicians.

Bruno




http://iridia.ulb.ac.be/~marchal/


--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~--~~~~--~~--~--~---



Re: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-10-10 Thread 1Z


Russell Standish wrote:
> On Mon, Oct 09, 2006 at 10:35:05AM -0700, 1Z wrote:
> >
> > The idea that materialism is not compatible with computationalism
> > is a bold and startling claim.
>
> Materialism comes in a couple of different flavours. The one that COMP
> is incompatible with is "eliminative materialism", also sometimes
> known as physicalism.

That's hardly surprising. EM says consciousness doesn't exist,
computationalism says it does. Just about everything contradicts EM.


--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~--~~~~--~~--~--~---



Re: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-10-09 Thread Russell Standish

On Mon, Oct 09, 2006 at 10:35:05AM -0700, 1Z wrote:
> 
> The idea that materialism is not compatible with computationalism
> is a bold and startling claim.

Materialism comes in a couple of different flavours. The one that COMP
is incompatible with is "eliminative materialism", also sometimes
known as physicalism.


-- 
*PS: A number of people ask me about the attachment to my email, which
is of type "application/pgp-signature". Don't worry, it is not a
virus. It is an electronic signature, that may be used to verify this
email came from me if you have PGP or GPG installed. Otherwise, you
may safely ignore this attachment.


A/Prof Russell Standish  Phone 0425 253119 (mobile)
Mathematics  
UNSW SYDNEY 2052 [EMAIL PROTECTED] 
Australiahttp://parallel.hpc.unsw.edu.au/rks
International prefix  +612, Interstate prefix 02



--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~--~~~~--~~--~--~---



Re: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-10-09 Thread 1Z


David Nyman wrote:
> 1Z wrote:
>
> > Whatever properties are picked out by a computation
> > will be relevant to it as a computation.
>
> Yes, of course. But how are these properties supposed to simultaneously
> produce a state of consciousness stably linked to the 'computation'
> when this self-same computation could have been instantiated in
> arbitrarily many physically distinct ways?

Why not? A ordinary numerical computation can be instantiated
in arbitrarily many physical ways, and still produce the same result.

>  The computations would be
> equivalent, but you appear to be claiming that however they are
> implemented, arbitrarily many distinct physical properties somehow
> become equally 'relevant' to generating the same state of
> consciousness.

I still don't see why you think this is a problem. If different
physical states always produced different mental states, there
would be no mental commonalities between people,
since all brains are physcially different. Mutiple realisability is a
feature,
not a bug!

> > There is no requirement that
> > the same connscious state is implemented
> > by the same physical state, so the multiple
> > reliasability of computations is not a problem
>
> So you say, but just *what* physical properties are supposed to be
> relevant and *how* do they contrive always to manifest equivalently
> within totally different implementations of a computation?

How do they for a non-conscious computation?
That is no a mystery, it is computer engineering.

> Is this just
> supposed to be a mystery?

The mystery is which computations are conscious.

> My point is that under materialism,
> 'computation' is just a metaphor and what is directly relevant is the
> activity of the physical substrate in producing the results that we
> interpret in this way.

Under physicalism, *all* the activity is relevant.
Under computationalism, a subset is.

> What's critical to computational equivalence is
> not the internal states of the physical substrate, but the consistency
> of the externalised results thus produced.

That's a broad definition of equivalence.
Running the same algorithm -- rather than producing the same results --
is generally more relevant.

> But with consciousness, it's precisely the internal states that are
> relevant.

Yes.


> And here your reasoning appears to become circular - a
> particular set of physical properties can be construed as
> 'externalising' a particular set of computational results at a given
> point in time (fair enough) so, whatever these properties happen to be,
> they're must also be 'relevant' in generating a specific internal
> conscious state - and so must any arbitrary alternative set of
> properties that externalise the same computational results. Only
> because you say so, AFAICS.

It's a claim of computationalism. I am just explaining how
computationalism is compatible with physicalism. You
are complaining about circularity, not contradiction!

It's not an argument that computationalism is actually true,
nor meant to be.

>  By making the rationale for supervention of
> consciousness on physical activity completely arbitrary in this way

It's not completely arbitrary. I don't subsribe to
the idea that every physical system implements every computation.
I don't even think computer-like systems are particularly common.

> (it
> just *somehow* tracks a 'computation' however instantiated), you've
> effectively abandoned it as a materialist explanation. Didn't
> Hofstadter use this sleight of intuition to conjure consciousness from
> anthills and books - or was he perhaps just joking?

Well, there *may* be too much multiple realisability. But remember
that I have a narrowish view of what is a computer. And remember
that consciousness is not held to be any old computation.


--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~--~~~~--~~--~--~---



Re: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-10-09 Thread David Nyman

1Z wrote:

> Whatever properties are picked out by a computation
> will be relevant to it as a computation.

Yes, of course. But how are these properties supposed to simultaneously
produce a state of consciousness stably linked to the 'computation'
when this self-same computation could have been instantiated in
arbitrarily many physically distinct ways? The computations would be
equivalent, but you appear to be claiming that however they are
implemented, arbitrarily many distinct physical properties somehow
become equally 'relevant' to generating the same state of
consciousness.

> There is no requirement that
> the same connscious state is implemented
> by the same physical state, so the multiple
> reliasability of computations is not a problem

So you say, but just *what* physical properties are supposed to be
relevant and *how* do they contrive always to manifest equivalently
within totally different implementations of a computation? Is this just
supposed to be a mystery? My point is that under materialism,
'computation' is just a metaphor and what is directly relevant is the
activity of the physical substrate in producing the results that we
interpret in this way. What's critical to computational equivalence is
not the internal states of the physical substrate, but the consistency
of the externalised results thus produced.

But with consciousness, it's precisely the internal states that are
relevant. And here your reasoning appears to become circular - a
particular set of physical properties can be construed as
'externalising' a particular set of computational results at a given
point in time (fair enough) so, whatever these properties happen to be,
they're must also be 'relevant' in generating a specific internal
conscious state - and so must any arbitrary alternative set of
properties that externalise the same computational results. Only
because you say so, AFAICS. By making the rationale for supervention of
consciousness on physical activity completely arbitrary in this way (it
just *somehow* tracks a 'computation' however instantiated), you've
effectively abandoned it as a materialist explanation. Didn't
Hofstadter use this sleight of intuition to conjure consciousness from
anthills and books - or was he perhaps just joking?

David

> David Nyman wrote:
> > On Oct 9, 6:35 pm, "1Z" <[EMAIL PROTECTED]> wrote:
> >
> > > What is a "computation itself"? A process? And algorithm?
> >
> > Bruno covers what he means by 'comp' pretty comprehensively in his
> > various posts and papers.
>
>
> Almost all my discussions with him are attempts to clarify it.
>
> > > Using supplementary assumptions -- such as "only activity counts".
> >
> > Not sure what you're getting at - do you mean that, under materialism,
> > the mere existence (not specific activity) of physical properties
> > suffices to generate conscious experience?
>
> I mean the Activity Thesis
>
> http://tigger.uic.edu/~cvklein/papers/maudlin%20on%20comp.pdf
>
> > If so, I don't follow. I
> > assume (see below) that, under materialism, experience -> psychological
> > activity -> physical activity.
>
> > > Yes, but it is still quite possible that a class of phsyical
> > > systems picked out by some computational(but ultimately physical)
> > > set of properties are conscious/cognitive in veirtue of those
> > > proeprties -- ie computationalism is a sort of convenient
> > > shorthand or shortcut to the physically relevant properties.
> >
> > But this is the very nub. And it may be dead wrong, so would you
> > address this directly?
>
> What is the alternative? Computaitonalism is just dead wrong, as a
> thesis
> about consciousness ?
> That is possible. Computation is an extra factor,
> a ghost in the machine? I don't think that is woth entertaining.
>
> >  What is being claimed (in this form, a general
> > appeal to the class of arguments referred to by the UDA 8th step) is
> > that under materialism, 'computationalism' (i.e. the 1st variety in my
> > taxonomy) precisely *can't* 'pick out' a set of 'physically relevant
> > properties' in any stable way, because the physical instantiation of
> > any given 'computation' is essentially arbitrary, and can extend to any
> > number of diverse physical properties, to choice.
>
> Whatever properties are picked out by a computation
> will be relevant to it as a computation.
>
> >  Under materialism,
> > specific conscious experiences should presumably map, or reduce, to the
> > activity of an equivalently stable set of physical properties (in an
> > analogous sense to, say, specific neurological processes reducing
> > stably downwards through the physical substrate). And this can't be the
> > case if I can change the physical properties of the computational
> > substrate at will, from step to step of the program if necessary.
>
> It can't be done if you can change the relevant properties.
> But then it would not be the same computation.
> You can do what you like with the irrelevant ones.
>
> > So
> > the claim

Re: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-10-09 Thread 1Z


Colin Geoffrey Hales wrote:
> LZ:
> > Colin Hales wrote:
> >> I reached this position independently and you may think I'm nuts... I
> can't help what I see... is there something wrong with this way of thinking?
> > I don't see what you think a non-ideal number is.
>
> This deficit of mine includes having trouble with ALL numbers. :-)
>
> For the life of me I cannot imagine what an 'object' is that has
> quintessential property of 'five' about it. Sitting in platonia somewhere
> is this object. Somewhere else in platonia sit the objects 'red' and 'sad'
> and 'big'. Here on the list we talk of integers and given them a label I
> and then speak of operations on I. We tend to think of I as 'being' an an
> integer..
>
> ...But it's not. Lets talk about the object with this property of five in
> platonia as <5>. Here in reality what we are doing is creating a label I
> and interpreting the label as a pointer to storage where the value in the
> storage (call it [I])  is not an integer, but a symbolic representation of
> property of five_ness as mapped from platonia to reality. What we are
> doing is (very very metaphorically) shining a light (of an infinity of
> possible numbers) on the object <5> in platonia and letting the reflected
> light inhabit [I]. We behave as if <5> was in there, but it's not.
>
> All the rules of integers act as-if <5> was there.

None of them change if it isn't.

> At that moment the
> storage pointed to by I contains a symbolic rearrangment of matter such as
> binary 1001 implemented as the temporary state (an arrangement of charge
> in space) of logic gates. We logically interpret this artrangement of
> charge in space as having the effect of five_ness, which is property of we
> assign at the moment we use it (such as one more than 4).
>
> To me the actual numbers (things) don't exist at all. All I can really see
> here in reality is logical relations that behave as-if the platonic
> entities existed. This all may seem obvious to the rest of you. That's my
> problem! But to me here watching the industrial scale manipulations of
> symbols going on, I wonder why it is we think we are saying anything at
> all about reality - the computation that literally _is_ reality - which,
> again, I see as a pile of logical relations that sometimes lets the
> platonic light shine on them in useful ways - say in ways that enable a
> mathematical generalisation called an empirical law.

If empirical reality isn't necessarily mathematical, how can it be
necessarily computational.

> As to what the non-ideal numbers are
>
> Well there aren't any.

But you said there were. That's why I asked.

> Not really. At least I can't conceive them. However
> the logical operations I see around us have the structure of numbers
> correponding to a rather odd plethora of bases. Quantity is implicit in
> any natural aggregation resulting from logical operations. One number
> might be:
>
> human.cell.molecule.atom.nucleus.proton.quark.fuzzy1.fuzzy2...fuzzyN
> (fred.dandruffskincell.omega3.carbon.nucleus.3rd_proton.UP_quark1_string.loop_2.etc1.etc2.)
>
> If you work in base "atom" arithmetic you have and arithmetic where atoms
> associate with a remainder, say a unit in another base called .photon
> This is called chemistry.

Hmm. Well, we have a way of mathematising the world. It is called
physics, and it bases don't have much to do with it. Real numbers
symmetry, and smooth funciton do.

> The human (and all the space that expresses it) is one single number

Didn't you just say numbers odn't exist? Do you mean "representation
of a number", or something like that?

> consisting of 'digits' that are all the cells(and interstitial molecules)
> collected together according to affinities of fuzzyN, which acts in the
> above 'number' like the integer I does to the set of integers expressed in
> binary I mentioned above.
>
> There's no nice neat rows. No neat remainderless arithmetic.

How do you know?

> But it's all created with logical operators on an assumed elemental
> 'fuzzyN' (see above) primitive. '.fuzzyN' can be treated as an underlying
> structural primitive 'pseudo-object' as a fundamental 'thing'. But .fuzzyN
> can be just another logical relation between deeper primitives. There is
> no depth limit to it.

How do you know?

> As to computation - I have already described what we do here in maths and
> computation - all the same, really - all manipulating 'as-if' labeled
> entities. At the instant we lose sight of the logical/relational nature of
> what we are doing then we can delude ourselves that the symbols denote
> real 'objects' such as those in platonia and - especially - if you happen
> to 'be' a collection of these logical operations the rest of the logical
> operations going on around you look very lumpy and thingy indeed! It looks
> even more compellingly so when you it appears to obey empirical laws like
> quantum mechanics and the Nernst equation when perception - made of the
> same logica

Re: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-10-09 Thread Colin Geoffrey Hales

LZ:
> Colin Hales wrote:
>> I reached this position independently and you may think I'm nuts... I
can't help what I see... is there something wrong with this way of thinking?
> I don't see what you think a non-ideal number is.

This deficit of mine includes having trouble with ALL numbers. :-)

For the life of me I cannot imagine what an 'object' is that has
quintessential property of 'five' about it. Sitting in platonia somewhere
is this object. Somewhere else in platonia sit the objects 'red' and 'sad'
and 'big'. Here on the list we talk of integers and given them a label I
and then speak of operations on I. We tend to think of I as 'being' an an
integer..

...But it's not. Lets talk about the object with this property of five in
platonia as <5>. Here in reality what we are doing is creating a label I
and interpreting the label as a pointer to storage where the value in the
storage (call it [I])  is not an integer, but a symbolic representation of
property of five_ness as mapped from platonia to reality. What we are
doing is (very very metaphorically) shining a light (of an infinity of
possible numbers) on the object <5> in platonia and letting the reflected
light inhabit [I]. We behave as if <5> was in there, but it's not.

All the rules of integers act as-if <5> was there. At that moment the
storage pointed to by I contains a symbolic rearrangment of matter such as
binary 1001 implemented as the temporary state (an arrangement of charge
in space) of logic gates. We logically interpret this artrangement of
charge in space as having the effect of five_ness, which is property of we
assign at the moment we use it (such as one more than 4).

To me the actual numbers (things) don't exist at all. All I can really see
here in reality is logical relations that behave as-if the platonic
entities existed. This all may seem obvious to the rest of you. That's my
problem! But to me here watching the industrial scale manipulations of
symbols going on, I wonder why it is we think we are saying anything at
all about reality - the computation that literally _is_ reality - which,
again, I see as a pile of logical relations that sometimes lets the
platonic light shine on them in useful ways - say in ways that enable a
mathematical generalisation called an empirical law.

As to what the non-ideal numbers are

Well there aren't any. Not really. At least I can't conceive them. However
the logical operations I see around us have the structure of numbers
correponding to a rather odd plethora of bases. Quantity is implicit in
any natural aggregation resulting from logical operations. One number
might be:

human.cell.molecule.atom.nucleus.proton.quark.fuzzy1.fuzzy2...fuzzyN
(fred.dandruffskincell.omega3.carbon.nucleus.3rd_proton.UP_quark1_string.loop_2.etc1.etc2.)

If you work in base "atom" arithmetic you have and arithmetic where atoms
associate with a remainder, say a unit in another base called .photon  
This is called chemistry.

The human (and all the space that expresses it) is one single number
consisting of 'digits' that are all the cells(and interstitial molecules)
collected together according to affinities of fuzzyN, which acts in the
above 'number' like the integer I does to the set of integers expressed in
binary I mentioned above.

There's no nice neat rows. No neat remainderless arithmetic.

But it's all created with logical operators on an assumed elemental
'fuzzyN' (see above) primitive. '.fuzzyN' can be treated as an underlying
structural primitive 'pseudo-object' as a fundamental 'thing'. But .fuzzyN
can be just another logical relation between deeper primitives. There is
no depth limit to it.

As to computation - I have already described what we do here in maths and
computation - all the same, really - all manipulating 'as-if' labeled
entities. At the instant we lose sight of the logical/relational nature of
what we are doing then we can delude ourselves that the symbols denote
real 'objects' such as those in platonia and - especially - if you happen
to 'be' a collection of these logical operations the rest of the logical
operations going on around you look very lumpy and thingy indeed! It looks
even more compellingly so when you it appears to obey empirical laws like
quantum mechanics and the Nernst equation when perception - made of the
same logical operations - presents you with a representation of it all
using that special logical aggregate called a brain.


In terms of the thread subject line, then, a chair is literally
mathematics going on. There's an infinity of other mathematics that can
symbolically fiddle with entities in an arithmetical base
linguistic_token_for_chair or perhaps linguistic_token_la_chaise, but in
coming into existence in the minds of humans we instantly lose the native
maths of which the chair is an expression - a computation - an unfolding
neverending proof - a theorem pushed along by the drive of the master
mathematician - the 2nd law of thermodynamics (= natural propens

Re: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-10-09 Thread 1Z


David Nyman wrote:
> On Oct 9, 6:35 pm, "1Z" <[EMAIL PROTECTED]> wrote:
>
> > What is a "computation itself"? A process? And algorithm?
>
> Bruno covers what he means by 'comp' pretty comprehensively in his
> various posts and papers.


Almost all my discussions with him are attempts to clarify it.

> > Using supplementary assumptions -- such as "only activity counts".
>
> Not sure what you're getting at - do you mean that, under materialism,
> the mere existence (not specific activity) of physical properties
> suffices to generate conscious experience?

I mean the Activity Thesis

http://tigger.uic.edu/~cvklein/papers/maudlin%20on%20comp.pdf

> If so, I don't follow. I
> assume (see below) that, under materialism, experience -> psychological
> activity -> physical activity.

> > Yes, but it is still quite possible that a class of phsyical
> > systems picked out by some computational(but ultimately physical)
> > set of properties are conscious/cognitive in veirtue of those
> > proeprties -- ie computationalism is a sort of convenient
> > shorthand or shortcut to the physically relevant properties.
>
> But this is the very nub. And it may be dead wrong, so would you
> address this directly?

What is the alternative? Computaitonalism is just dead wrong, as a
thesis
about consciousness ?
That is possible. Computation is an extra factor,
a ghost in the machine? I don't think that is woth entertaining.

>  What is being claimed (in this form, a general
> appeal to the class of arguments referred to by the UDA 8th step) is
> that under materialism, 'computationalism' (i.e. the 1st variety in my
> taxonomy) precisely *can't* 'pick out' a set of 'physically relevant
> properties' in any stable way, because the physical instantiation of
> any given 'computation' is essentially arbitrary, and can extend to any
> number of diverse physical properties, to choice.

Whatever properties are picked out by a computation
will be relevant to it as a computation.

>  Under materialism,
> specific conscious experiences should presumably map, or reduce, to the
> activity of an equivalently stable set of physical properties (in an
> analogous sense to, say, specific neurological processes reducing
> stably downwards through the physical substrate). And this can't be the
> case if I can change the physical properties of the computational
> substrate at will, from step to step of the program if necessary.

It can't be done if you can change the relevant properties.
But then it would not be the same computation.
You can do what you like with the irrelevant ones.

> So
> the claim is that, under materialism, some other schema than
> computationalism must ultimately be deployed to explain any stable
> *general* mapping from consciousness to physics.

I don't see the problem. Materialism
(specifically, supervenience) only requires that
the same physical state must produce the same
consious state. There is no requirement that
the same connscious state is implemented
by the same physical state, so the multiple
reliasability of computations is not a problem
per se.

> I agree that this is a
> bold claim, but it does appear to stem from a basic dislocation in the
> supervention scheme consciousness -> computation -> physicalism. Its
> consequence is that if we wish to claim that consciousness does in fact
> supervene stably on computation, as opposed to the physical itself,

Computation isn't "other" than physical.
It just means there is a 1-N relationship between states
and realisations.

> then such computation must itself be defined in a manner unconstrained
> to specific *physical* properties.

It can be and often is. we define a NAND gate as having certain outputs
in relation to its inputs. What they are in non-relational
terms is left open, and so can be (and in fact is) multiply
realised.

> This is a reductio devised to show
> the consequences of the starting assumptions. You pays your money.
>
> > The point is that computationalists can continue to believe in matter
> > so long as they don't believe in numbers.
>
> But if I'm right, they can't also believe that 'computation' - which is
> only arbitrarily constrained physically - is an adequate explanatory
> schema for consciousness.

Or that it is a unexplained-but-true brute fact?

> It's just a metaphor, and metaphors per se
> (as opposed to their instantiations) aren't 'real in the sense that I
> am real'.
>
> David
>
>
> > David Nyman wrote:
> > > On Oct 8, 6:29 pm, "1Z" <[EMAIL PROTECTED]> wrote:
> >
> > > Yes. But he says he isn't assuming Platonism, although he must be.
> >
> > > Well, if he is, so what? If we allow him this, what then follows -
> > > isn't this more interesting?
> >
> > > He claims that computationalism is incompatible with
> > > > materialism. That is not modest (or correct AFAICS)
> >
> > > I think the 'modesty' part is meant more to relate to provability
> > > vs.believability, per Goedel/Lob - that we must live with doubt (i.e.
> > > empiricism 

Re: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-10-09 Thread Brent Meeker

David Nyman wrote:
> 
> 
> On Oct 9, 6:35 pm, "1Z" <[EMAIL PROTECTED]> wrote:
> 
> 
>>What is a "computation itself"? A process? And algorithm?
> 
> 
> Bruno covers what he means by 'comp' pretty comprehensively in his
> various posts and papers.
> 
> 
>>Using supplementary assumptions -- such as "only activity counts".
> 
> 
> Not sure what you're getting at - do you mean that, under materialism,
> the mere existence (not specific activity) of physical properties
> suffices to generate conscious experience? If so, I don't follow. I
> assume (see below) that, under materialism, experience -> psychological
> activity -> physical activity.
> 
> 
>>Yes, but it is still quite possible that a class of phsyical
>>systems picked out by some computational(but ultimately physical)
>>set of properties are conscious/cognitive in veirtue of those
>>proeprties -- ie computationalism is a sort of convenient
>>shorthand or shortcut to the physically relevant properties.
> 
> 
> But this is the very nub. And it may be dead wrong, so would you
> address this directly? What is being claimed (in this form, a general
> appeal to the class of arguments referred to by the UDA 8th step) is
> that under materialism, 'computationalism' (i.e. the 1st variety in my
> taxonomy) precisely *can't* 'pick out' a set of 'physically relevant
> properties' in any stable way, because the physical instantiation of
> any given 'computation' is essentially arbitrary, and can extend to any
> number of diverse physical properties, to choice. Under materialism,
> specific conscious experiences should presumably map, or reduce, to the
> activity of an equivalently stable set of physical properties (in an
> analogous sense to, say, specific neurological processes reducing
> stably downwards through the physical substrate). And this can't be the
> case if I can change the physical properties of the computational
> substrate at will, from step to step of the program if necessary. So
> the claim is that, under materialism, some other schema than
> computationalism must ultimately be deployed to explain any stable
> *general* mapping from consciousness to physics. I agree that this is a
> bold claim, but it does appear to stem from a basic dislocation in the
> supervention scheme consciousness -> computation -> physicalism. Its
> consequence is that if we wish to claim that consciousness does in fact
> supervene stably on computation, as opposed to the physical itself,
> then such computation must itself be defined in a manner unconstrained
> to specific *physical* properties. This is a reductio devised to show
> the consequences of the starting assumptions. You pays your money.
> 
> 
>>The point is that computationalists can continue to believe in matter
>>so long as they don't believe in numbers.
> 
> 
> But if I'm right, they can't also believe that 'computation' - which is
> only arbitrarily constrained physically - is an adequate explanatory
> schema for consciousness. It's just a metaphor, and metaphors per se
> (as opposed to their instantiations) aren't 'real in the sense that I
> am real'.
> 
> David

But I think they can.  The "basic dislocation" arises from supposing that 
computation 
can exist without a physical process; an invalid inference from computation 
being 
able to exist independent of each particular physical process.  So you can 
suppose 
that consciousness supervenes on computation and computation supervenes on 
physical 
processes.  Of course that brings us back to the question of whether every 
physical 
process implements every possible computation.

Brent Meeker

--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~--~~~~--~~--~--~---



Re: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-10-09 Thread David Nyman



On Oct 9, 6:35 pm, "1Z" <[EMAIL PROTECTED]> wrote:

> What is a "computation itself"? A process? And algorithm?

Bruno covers what he means by 'comp' pretty comprehensively in his
various posts and papers.

> Using supplementary assumptions -- such as "only activity counts".

Not sure what you're getting at - do you mean that, under materialism,
the mere existence (not specific activity) of physical properties
suffices to generate conscious experience? If so, I don't follow. I
assume (see below) that, under materialism, experience -> psychological
activity -> physical activity.

> Yes, but it is still quite possible that a class of phsyical
> systems picked out by some computational(but ultimately physical)
> set of properties are conscious/cognitive in veirtue of those
> proeprties -- ie computationalism is a sort of convenient
> shorthand or shortcut to the physically relevant properties.

But this is the very nub. And it may be dead wrong, so would you
address this directly? What is being claimed (in this form, a general
appeal to the class of arguments referred to by the UDA 8th step) is
that under materialism, 'computationalism' (i.e. the 1st variety in my
taxonomy) precisely *can't* 'pick out' a set of 'physically relevant
properties' in any stable way, because the physical instantiation of
any given 'computation' is essentially arbitrary, and can extend to any
number of diverse physical properties, to choice. Under materialism,
specific conscious experiences should presumably map, or reduce, to the
activity of an equivalently stable set of physical properties (in an
analogous sense to, say, specific neurological processes reducing
stably downwards through the physical substrate). And this can't be the
case if I can change the physical properties of the computational
substrate at will, from step to step of the program if necessary. So
the claim is that, under materialism, some other schema than
computationalism must ultimately be deployed to explain any stable
*general* mapping from consciousness to physics. I agree that this is a
bold claim, but it does appear to stem from a basic dislocation in the
supervention scheme consciousness -> computation -> physicalism. Its
consequence is that if we wish to claim that consciousness does in fact
supervene stably on computation, as opposed to the physical itself,
then such computation must itself be defined in a manner unconstrained
to specific *physical* properties. This is a reductio devised to show
the consequences of the starting assumptions. You pays your money.

> The point is that computationalists can continue to believe in matter
> so long as they don't believe in numbers.

But if I'm right, they can't also believe that 'computation' - which is
only arbitrarily constrained physically - is an adequate explanatory
schema for consciousness. It's just a metaphor, and metaphors per se
(as opposed to their instantiations) aren't 'real in the sense that I
am real'.

David


> David Nyman wrote:
> > On Oct 8, 6:29 pm, "1Z" <[EMAIL PROTECTED]> wrote:
>
> > Yes. But he says he isn't assuming Platonism, although he must be.
>
> > Well, if he is, so what? If we allow him this, what then follows -
> > isn't this more interesting?
>
> > He claims that computationalism is incompatible with
> > > materialism. That is not modest (or correct AFAICS)
>
> > I think the 'modesty' part is meant more to relate to provability
> > vs.believability, per Goedel/Lob - that we must live with doubt (i.e.
> > empiricism is ineliminable). As to computationalism, there seems to be
> > some confusion on the list (and elsewhere) between (at least) two
> > varieties.At least four!
>
> > The first might I suppose be characterised as minimalist
> > comp, dealing with programs as instantiated in (as one might say) real
> > - i.e. material - computers. Clearly it would make no sense to say that
> > this kind of computationalism is incompatible with materialism - i.e
> > that physical processes can 'compute'.
>
> > So how does he get "computationalism is incompatible with
> > > materialism" out of such interviews?
>
> > >From the 8th step of the UDA argument. This attempts to show that if
> > one (but not you, I think?) starts with the much stronger assumption
> > that *consciousness supervenes on computation itself*,What is a 
> > "computation itself"? A process? And algorithm?
>
> > then it can't
> > also supervene on the physical.Using supplementary assumptions -- such as 
> > "only activity counts".
>
> > AFAICS, this stems fundamentally from
> > the inability to stabilise the instantiation of a computation, given
> > the lack of constraint on the material substrates that can be construed
> > as implementing equivalent computations. Given materialism, in other
> > words, 'computation' is just a metaphor - it's the physics that does
> > the work.Yes, but it is still quite possible that a class of phsyical
> systems picked out by some computational(but ultimately physical)
> set o

Re: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-10-09 Thread 1Z


David Nyman wrote:
> On Oct 8, 6:29 pm, "1Z" <[EMAIL PROTECTED]> wrote:
>
> Yes. But he says he isn't assuming Platonism, although he must be.
>
> Well, if he is, so what? If we allow him this, what then follows -
> isn't this more interesting?
>
> He claims that computationalism is incompatible with
> > materialism. That is not modest (or correct AFAICS)
>
> I think the 'modesty' part is meant more to relate to provability
> vs.believability, per Goedel/Lob - that we must live with doubt (i.e.
> empiricism is ineliminable). As to computationalism, there seems to be
> some confusion on the list (and elsewhere) between (at least) two
> varieties.

At least four!

> The first might I suppose be characterised as minimalist
> comp, dealing with programs as instantiated in (as one might say) real
> - i.e. material - computers. Clearly it would make no sense to say that
> this kind of computationalism is incompatible with materialism - i.e
> that physical processes can 'compute'.
>
> So how does he get "computationalism is incompatible with
> > materialism" out of such interviews?
>
> >From the 8th step of the UDA argument. This attempts to show that if
> one (but not you, I think?) starts with the much stronger assumption
> that *consciousness supervenes on computation itself*,

What is a "computation itself"? A process? And algorithm?

> then it can't
> also supervene on the physical.

Using supplementary assumptions -- such as "only activity counts".

> AFAICS, this stems fundamentally from
> the inability to stabilise the instantiation of a computation, given
> the lack of constraint on the material substrates that can be construed
> as implementing equivalent computations. Given materialism, in other
> words, 'computation' is just a metaphor - it's the physics that does
> the work.

Yes, but it is still quite possible that a class of phsyical
systems picked out by some computational(but ultimately physical)
set of properties are conscious/cognitive in veirtue of those
proeprties -- ie computationalism is a sort of convenient
shorthand or shortcut to the physically relevant properties.

> I have to say that I think this may really point to a fatal
> flaw in any assumption - within materialism - that consciousness can
> supervene on the physical *per computation* in the standard AI sense.
> However, consciousness may of course still be shown to supervene on
> some physically stabilisable material process (e.g. at the neurological
> or some other consistently materially-reducible level of explanation).
>
> Bruon's empirical prediction require a UD to exist. That
> > is an assumption beyond computationalism.
>
> But not beyond 'comp', which is a horse of a different colour.

A Trojan horse with Plato in its belly...

> The UDA
> argument attempts to establish, and show the consequences of, a 'comp'
> constrained to CT, AR, and the 'modest empiricism' of 'yes doctor'. It
> *assumes* that putative stable conscious experiences are associated
> with certain types of machine thus defined. From this stems the claim
> that the consciousness of such machines can't simultaneously supervene
> on an unstabilisable externally-defined 'material' substrate - in fact,
> the 'material' also has to be an emergent from the computational in
> this view.

You are presenting the conclusions, not the argument.

> Comp and materialism start from radically different
> assumptions, and have diametrically opposed explanatory directions.

The idea that materialism is not compatible with computationalism
is a bold and startling claim.

If comp is not "standard" computationalism, the fact that it is
incompatible with materalism may be a lot less impactive.
comp might simply beg the question.

> However, I don't think they treat the *observables* in any essential
> way as less 'real', but differ radically as to the source - and here
> its does get difficult, because one can no longer simply appeal
> directly to those observables - as Johnson failed to note in stubbing
> his toe on the stone.

The Johnsonian argument can be used as a wayof establishing the meaning
of "exist". It answers the question "what definition of existence
is there other than the mathematical one".

> How can he come to conclusions about the uneality
> > of matter without assuming the reality of something
> > to take its place?
>
> Well, in the end we can only believe that whatever it is must be 'real
> in the sense that I am real', or where are we?

The point is that computationalists can continue to believe in matter
so long as they don't believe in numbers.

> No, it's really easy. I am real, or I would not
> > be writing this. What you mean is to
> > establish it by abstract argumentation is difficult.
> > Well, it is. That is why empiricists prefer empiricisim.
>
> Well, as you know, I've also had some discomfort with aspects of
> platonic or other possibly implicit assumptions in this approach, but I
> think now that it's interesting and fruitful enough to susp

Re: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-10-08 Thread David Nyman



On Oct 8, 6:29 pm, "1Z" <[EMAIL PROTECTED]> wrote:

Yes. But he says he isn't assuming Platonism, although he must be.

Well, if he is, so what? If we allow him this, what then follows -
isn't this more interesting?

He claims that computationalism is incompatible with
> materialism. That is not modest (or correct AFAICS)

I think the 'modesty' part is meant more to relate to provability
vs.believability, per Goedel/Lob - that we must live with doubt (i.e.
empiricism is ineliminable). As to computationalism, there seems to be
some confusion on the list (and elsewhere) between (at least) two
varieties. The first might I suppose be characterised as minimalist
comp, dealing with programs as instantiated in (as one might say) real
- i.e. material - computers. Clearly it would make no sense to say that
this kind of computationalism is incompatible with materialism - i.e
that physical processes can 'compute'.

So how does he get "computationalism is incompatible with
> materialism" out of such interviews?

>From the 8th step of the UDA argument. This attempts to show that if
one (but not you, I think?) starts with the much stronger assumption
that *consciousness supervenes on computation itself*, then it can't
also supervene on the physical. AFAICS, this stems fundamentally from
the inability to stabilise the instantiation of a computation, given
the lack of constraint on the material substrates that can be construed
as implementing equivalent computations. Given materialism, in other
words, 'computation' is just a metaphor - it's the physics that does
the work. I have to say that I think this may really point to a fatal
flaw in any assumption - within materialism - that consciousness can
supervene on the physical *per computation* in the standard AI sense.
However, consciousness may of course still be shown to supervene on
some physically stabilisable material process (e.g. at the neurological
or some other consistently materially-reducible level of explanation).

Bruon's empirical prediction require a UD to exist. That
> is an assumption beyond computationalism.

But not beyond 'comp', which is a horse of a different colour. The UDA
argument attempts to establish, and show the consequences of, a 'comp'
constrained to CT, AR, and the 'modest empiricism' of 'yes doctor'. It
*assumes* that putative stable conscious experiences are associated
with certain types of machine thus defined. From this stems the claim
that the consciousness of such machines can't simultaneously supervene
on an unstabilisable externally-defined 'material' substrate - in fact,
the 'material' also has to be an emergent from the computational in
this view. Comp and materialism start from radically different
assumptions, and have diametrically opposed explanatory directions.
However, I don't think they treat the *observables* in any essential
way as less 'real', but differ radically as to the source - and here
its does get difficult, because one can no longer simply appeal
directly to those observables - as Johnson failed to note in stubbing
his toe on the stone.

How can he come to conclusions about the uneality
> of matter without assuming the reality of something
> to take its place?

Well, in the end we can only believe that whatever it is must be 'real
in the sense that I am real', or where are we?

No, it's really easy. I am real, or I would not
> be writing this. What you mean is to
> establish it by abstract argumentation is difficult.
> Well, it is. That is why empiricists prefer empiricisim.

Well, as you know, I've also had some discomfort with aspects of
platonic or other possibly implicit assumptions in this approach, but I
think now that it's interesting and fruitful enough to suspend
judgement on this pending further (preferably empirically refutable)
results, without fully committing as a believer - but then that is not
what is demanded. However, I acknowledge the robustness of your
Johnsonian approach to refutation!

David

> David Nyman wrote:
> > On Oct 7, 1:16 pm, "1Z" <[EMAIL PROTECTED]> wrote:
>
> > Numbers that haven't been reified in any sense,
> > > don't exist in any way and therefore don't behave in any
> > > way.
>
> > Forgive me for butting in again, but is there not some way to stop this
> > particular disagreement from going round in circles interminably,
> > entertaining though it may be? For what it's worth, it seems to me that
> > Bruno has been saying that you get a number of interesting (and
> > unexpected) results when you start from a certain minimum set of
> > assumptions involving numbers and their relations.Yes. But he says he isn't 
> > assuming Platonism, although he must be.
>
> >  As he often
> > reiterates, this is a 'modest' view, making no claim to exclusive
> > explanatory truth,He claims that computationalism is incompatible with
> materialism. That is not modest (or correct AFAICS)
>
> > and - dealing as it does in 'machine psychology' -
> > limiting its claims to the consequences of 'inte

Re: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-10-08 Thread 1Z


Colin Geoffrey Hales wrote:

> I reached this position independently and you may think I'm nuts... I
> can't help what I see... is there something wrong with this way of
> thinking? 

I don't see what you think a non-ideal number is.


--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~--~~~~--~~--~--~---



Re: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-10-08 Thread 1Z


David Nyman wrote:
> On Oct 7, 1:16 pm, "1Z" <[EMAIL PROTECTED]> wrote:
>
> Numbers that haven't been reified in any sense,
> > don't exist in any way and therefore don't behave in any
> > way.
>
> Forgive me for butting in again, but is there not some way to stop this
> particular disagreement from going round in circles interminably,
> entertaining though it may be? For what it's worth, it seems to me that
> Bruno has been saying that you get a number of interesting (and
> unexpected) results when you start from a certain minimum set of
> assumptions involving numbers and their relations.

Yes. But he says he isn't assuming Platonism, although he must be.

>  As he often
> reiterates, this is a 'modest' view, making no claim to exclusive
> explanatory truth,

He claims that computationalism is incompatible with
materialism. That is not modest (or correct AFAICS)

> and - dealing as it does in 'machine psychology' -
> limiting its claims to the consequences of 'interviewing' such machines
> and discovering their povs.

So how does he get "computationalism is incompatible with
materialism" out of such interviews?

> In achieving these results, AFAICS, no
> claims need be made about the fundamental 'ontic realism' of numbers:
> rather one is doing logic or mathematics from an axiomatic basis in the
> normal way.

How can he come to conclusions about the uneality
of matter without assuming the reality of something
to take its place?

> The question of which set of 'ontic prejudices' we in fact employ as we
> go about our daily affairs is of course another issue.

And yet antoher issue is whether the conclusions of
a valid arguiment must be contained in its premises.

> It may of course
> eventually turn out that theoretical or, preferably empirically
> disconfirmable, results derived from comp become so compelling as to
> force fundamental re-consideration of even such quotidian assumptions -
> e.g. the notorious 'yes doctor' proposition.

Bruon's empirical prediction require a UD to exist. That
is an assumption beyond computationalism.

> But as Bruno is again at
> pains to point out, this won't be based on 'sure knowledge'. It will
> always entail some 'act of faith'.
>
> To establish what is in some ultimate sense 'real' - as opposed to
> knowable or communicable - is extraordinarily difficult,

No, it's really easy. I am real, or I would not
be writing this. What you mean is to
establish it by abstract argumentation is difficult.
Well, it is. That is why empiricists prefer empiricisim.

> and perhaps at
> root incoherent. The debate, for example, over whether the
> computational supervenes on the physical doesn't hinge on the 'ontic
> reality' of the fundamental assumptions of physicalism or
> computationalism. Rather, it's about resolving the explanatory
> commensurability (or otherwise) of the sets of observables and
> relations characteristic of these theoretical perspectives. Indeed what
> else could it possibly be for humans (or machines) with only such data
> at our disposal?
>
> David
>
> > Bruno Marchal wrote:
> > > There is no need to reify the numbers.[...]
> >
> > > I don't think so. Once you accept that the number theoretical truth is
> > > independent of you (which I take as a form of humility), then it can be
> > > explained quite precisely why "numbers" (in a third person view-view)
> > > are bounded to believe in a physical (third person sharable) reality
> > > and in a unnameable first person reality etc.Numbers that haven't been 
> > > reified in any sense,
> > don't exist in any way and therefore don't behave in any
> > way.


--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~--~~~~--~~--~--~---



Re: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-10-07 Thread Colin Geoffrey Hales


> The debate, for example, over whether the
> computational supervenes on the physical doesn't hinge on the 'ontic
reality' of the fundamental assumptions of physicalism or
> computationalism. Rather, it's about resolving the explanatory
> commensurability (or otherwise) of the sets of observables and
> relations characteristic of these theoretical perspectives. Indeed what
else could it possibly be for humans (or machines) with only such data at
our disposal?
>
> David
>

I got overwhelmed by work and dropped the other thread... apologies...

I have realised I have a fundamentally different view to 'computational'
and 'physical' and 'number'. On reflection it seems to be that when most
of the folk on this list think of 'number' they think of it as the
idealised numbers - numbers that are perfect. There are no fuzzy edges or
'remainders' in these numbers. We can use them to represent quantities of
notional objects and the behaviour of the objects follows the rules of the
idealised numbers. All good.

But what numbers are used in the construction of the 'physical'? My
particular ontic prejudice :-) all along has been that the physical is
simply a reified computation, but not on idealised numbers. I suppose all
number comes down to logical operations whetween types... but the
'numbers' underlying the mathematics can be any arbitrary event( as a
type) any instance(s) of a type. A collection of such instances operating
together literally become the mathematics.

In this approach the 'chair', to me, literally is a computational outcome.
The 'proof' process has no end and the mathematics automatically enacts
proofs (this is the 2nd law of thermodynamics at work). The chair is a
continually unfolding proof within the mathematics of these
'numbers_that_are_not'. The fact that we are also proofs within the same
mathematics means that we, in having perceptual faculties, get to label
whatever it is we are in as 'physical'. This does not mean that there is
no such thing as 'real'. What it means is that the computation that we are
is the only reified computation. That computation is just not one done on
the idealised numbers.

To me, saying that computation on idealised numbers is the only 'real
computation' ( = distingishing between chair and math) is like choosing
one isotope of carbon and declaring it to be the 'real' carbon
(mathematics)...When in fact all the isotopes are carbon(mathematics),
just on different bases. Or perhaps that the only 'real' colour
representation is RGB, not CMYK or any of the others equivalents.

Choosing a perfect number set to perform mathematics and do computing and
formal proofs works really well and we have been able to use it to great
effect.

However, I find I cannot distinguish between a 'chair' and a 'mathematical
concep' and a 'mathematical proof' and a 'computation' and 'the physical'
and the 'real'. They are all the same thing. In fact in this particular
case it's a damned nuiscance we have different words forcing us to make
the distinction and have predispositions to regard them as such.

I reached this position independently and you may think I'm nuts... I
can't help what I see... is there something wrong with this way of
thinking? I seemed to have reached it naturally and only recently realised
that I was thinking very diffrerently to everyone else... or maybe I'm
not, but just misunderstand... hard for me to tell. Perhaps you can help!

regards

Colin Hales



--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~--~~~~--~~--~--~---



Re: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-10-07 Thread markpeaty

Johnathan,
Nice one!  :-)

As far as I can see there is nothing a-priori which would make these
two hypotheses mutually exclusive; one 'cause' is predator related, the
other is resource related.

I await with interest, but not bated breath, for an ecologist to tell
us of any empirical evidence supporting or refuting either.

Of equal interest is the question of how the creatures keep count of
the passing years and 'know' when their species's lucky number has come
up! Presumably *something* grows a bit with each passing year and
reaches a threshold size/shape/consentration at the right time.
Alternatively something is formed in the first year, which could be the
overall size/volume of the grub or the total amount of stored energy,
and this thing or substance decreases with each passing year so that
emergence is triggered by that key feature or substance reaching its
minimum amount needed for survival in the next life stage.

Upon reflection I think the latter mechanism is more likely. I can see
more easily how it could evolve from a system under a selfective
pressure which extended the dormancy period but originally allowed a
significant spread of the dormancy period over several years.

Cheers, 
Mark


--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~--~~~~--~~--~--~---



Re: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-10-07 Thread David Nyman



On Oct 7, 1:16 pm, "1Z" <[EMAIL PROTECTED]> wrote:

Numbers that haven't been reified in any sense,
> don't exist in any way and therefore don't behave in any
> way.

Forgive me for butting in again, but is there not some way to stop this
particular disagreement from going round in circles interminably,
entertaining though it may be? For what it's worth, it seems to me that
Bruno has been saying that you get a number of interesting (and
unexpected) results when you start from a certain minimum set of
assumptions involving numbers and their relations. As he often
reiterates, this is a 'modest' view, making no claim to exclusive
explanatory truth, and - dealing as it does in 'machine psychology' -
limiting its claims to the consequences of 'interviewing' such machines
and discovering their povs. In achieving these results, AFAICS, no
claims need be made about the fundamental 'ontic realism' of numbers:
rather one is doing logic or mathematics from an axiomatic basis in the
normal way.

The question of which set of 'ontic prejudices' we in fact employ as we
go about our daily affairs is of course another issue. It may of course
eventually turn out that theoretical or, preferably empirically
disconfirmable, results derived from comp become so compelling as to
force fundamental re-consideration of even such quotidian assumptions -
e.g. the notorious 'yes doctor' proposition. But as Bruno is again at
pains to point out, this won't be based on 'sure knowledge'. It will
always entail some 'act of faith'.

To establish what is in some ultimate sense 'real' - as opposed to
knowable or communicable - is extraordinarily difficult, and perhaps at
root incoherent. The debate, for example, over whether the
computational supervenes on the physical doesn't hinge on the 'ontic
reality' of the fundamental assumptions of physicalism or
computationalism. Rather, it's about resolving the explanatory
commensurability (or otherwise) of the sets of observables and
relations characteristic of these theoretical perspectives. Indeed what
else could it possibly be for humans (or machines) with only such data
at our disposal?

David

> Bruno Marchal wrote:
> > There is no need to reify the numbers.[...]
>
> > I don't think so. Once you accept that the number theoretical truth is
> > independent of you (which I take as a form of humility), then it can be
> > explained quite precisely why "numbers" (in a third person view-view)
> > are bounded to believe in a physical (third person sharable) reality
> > and in a unnameable first person reality etc.Numbers that haven't been 
> > reified in any sense,
> don't exist in any way and therefore don't behave in any
> way.


--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~--~~~~--~~--~--~---



Re: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-10-07 Thread 1Z


Bruno Marchal wrote:

> There is no need to reify the numbers.

[...]


> I don't think so. Once you accept that the number theoretical truth is
> independent of you (which I take as a form of humility), then it can be
> explained quite precisely why "numbers" (in a third person view-view)
> are bounded to believe in a physical (third person sharable) reality
> and in a unnameable first person reality etc.

Numbers that haven't been reified in any sense,
don't exist in any way and therefore don't behave in any
way.


--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~--~~~~--~~--~--~---



Re: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-10-06 Thread Bruno Marchal

Hi Mark,

Le 05-oct.-06, à 20:49, markpeaty a écrit :

>
> Bruno,
> I started to read [the English version of] your discourse on Origin of
> Physical Laws and Sensations. I will read more later. It is certainly
> very interesting and thought provoking. It makes me think of 'Reasons
> and Persons' by Derek Parfitt. His book is very dry in places but
> mostly very well worth the effort of ploughing through it.

Parfit is good. I stop to follow him when he insists that we are token. 
I paraphrase myself sometimes by the slogan MANY TYPES NO TOKEN.
BTW I like very much Hofstadter (mentionned by David) too except that 
he could have said much more on the "universal machine", and he could 
have make clearer the relation between logic and computer science, and 
also I would suggest people read an easier (less diluted) introduction 
to Godel's theorem before embarking on the golden braid ... if only to 
extract more juice 


>
> As a non-mathematician I can only argue using my form of 'common sense'
> plus general knowledge. [En passant - I am happy to see that your
> French language discourse features a debate between Jean Pierre
> Changeaux and a mathematician. Changeaux's book 'Neuronal Man' was a
> major influence in setting me off on my quest to understand the nature
> of consciousness. He helped me to find a very reasonable understanding
> which makes a lot of sense of the world. Merci beacoup a JPC. :-]



OK, but note that when Alain Connes explained Quantum Mechanics to JPC, 
JPC concludes QM must be wrong. Actually, even just current empirical 
tiny quantum computations support Alain Connes and not JPC.
I think JPC is really not convincing in "l'homme neuronal", he buries 
all the interesting questions, not only about mind, but above all about 
matter. In the dialogs with Connes, he is not really listening  
(imo).



>
> I dispute the assumption that we can consider and reify number/s and/or
> logic apart from its incarnation.

There is no need to reify the numbers. You need only to believe that 
proposition like "571 is a prime number" or "all natural numbers can be 
represented by the sum of 4 squares" are either true or false 
independently of you or me.


> It is like the 'ceteris paribus' so
> beloved of economists; it is a conceptual tool not a description of the
> world.


I don't think so. Once you accept that the number theoretical truth is 
independent of you (which I take as a form of humility), then it can be 
explained quite precisely why "numbers" (in a third person view-view) 
are bounded to believe in a physical (third person sharable) reality 
and in a unnameable first person reality etc. All this is an 
sufficiently precise way so as to be testable.

I am super busy until the end of october. In november I will come back 
to the "roadmap". I continue to read the conversations anyway, and 
perhaps make short comments. (I should also come back about thinking to 
do that english version of my thesis but I have not yet solved the 
interdisciplinar-pedago-diplomatico problems ... :O(.

Bruno


http://iridia.ulb.ac.be/~marchal/


--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~--~~~~--~~--~--~---



Re: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-10-05 Thread Johnathan Corgan

On Thu, October 5, 2006 11:49, markpeaty wrote:

> That said, I read with interest a year or two ago about certain kinds
> of insects [I think they are in North America somewhere] which lie
> dormant in the earth in some pre-adult stage for a PRIME number of
> years, 11, 13, were chosen by different species. Apparently the payoff
> for this strategy is that few predator species can match this length of
> time, and repeating cycles of shorter periods cannot 'resonate' so as
> to launch a large cohort of predators when the prey species produces
> its glut after waiting for the prime number of years.

An alternative hypothesis put forth, equally plausible to me, is that
different species co-evolved to be dormant different prime numbers of
years.  This would  create the minimum competition for environmental
resources as they came out of their dormant period; prime numbers having
the largest least common multiple.

Of course they didn't do this with any intention or awareness; natural
selection on random variations in dormancy period length would favor this
kind of outcome.

-Johnathan

--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~--~~~~--~~--~--~---



Re: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-10-05 Thread markpeaty

Bruno,
I started to read [the English version of] your discourse on Origin of
Physical Laws and Sensations. I will read more later. It is certainly
very interesting and thought provoking. It makes me think of 'Reasons
and Persons' by Derek Parfitt. His book is very dry in places but
mostly very well worth the effort of ploughing through it.

As a non-mathematician I can only argue using my form of 'common sense'
plus general knowledge. [En passant - I am happy to see that your
French language discourse features a debate between Jean Pierre
Changeaux and a mathematician. Changeaux's book 'Neuronal Man' was a
major influence in setting me off on my quest to understand the nature
of consciousness. He helped me to find a very reasonable understanding
which makes a lot of sense of the world. Merci beacoup a JPC. :-]

I dispute the assumption that we can consider and reify number/s and/or
logic apart from its incarnation. It is like the 'ceteris paribus' so
beloved of economists; it is a conceptual tool not a description of the
world.



Bruno Marchal wrote:
> Le 02-oct.-06, à 18:03, markpeaty a écrit :
>
<>
>
> So you assume a primitive world. From this I can already infer you have
> to distrust the computationalist hypothesis in the cognitive science.
>
>
> <>
> I agree. That is what makes the human mind "turing universal". When it
> lacks memory space it extends itself through the use of pebble, wall,
> etc.

There are practical and in-principle limits to what can be achieved
computationally. Any computational device, however much it might seem
to be divine, has to BE somewhere, instantiated in some form. This
means that no computer is ever going to fully emulate a system in the
real world. Problems preventing total emulation include, truncation of
numbers in calculation, arbitrary cut-offs in the accuracy of
measurements, and entropy. [The latter will manifest as 'Murphy's Law'
.]

> Now, are you really saying that mathematical truth (not the
> mathematical expression that humans have developed to talk about that
> mathematical truth) is a human's construct.

MP: Yes. To assume otherwise is to believe in a 'Truth' or 'Truths'
beyond that which we can sense, feel or think. That is OK, as long as
it is seen for the religious practice that it is. But in reality [I say
:-] we are limited to asserting the existence of self and world,
although we are very safe to do so due to the contradictions involved
in denying the existence of either self or world. All the rest is
descriptions of one sort or another.

Would you say that the
> number 17 was not a prime number at the time of the dinosaurs?
> In which case you distrust the "Arithmetical realism" part of comp, and
> you are remarkably coherent.
>

If dinosaurs could count and think with sufficient levels of
abstraction, presumably they would have come across prime numbers in
their spare time. Otherwise, like trees falling in the forests of the
early carboniferous which made very little 'sound', prime numbers would
have been very thin on the ground, so to speak.

That said, I read with interest a year or two ago about certain kinds
of insects [I think they are in North America somewhere] which lie
dormant in the earth in some pre-adult stage for a PRIME number of
years, 11, 13, were chosen by different species. Apparently the payoff
for this strategy is that few predator species can match this length of
time, and repeating cycles of shorter periods cannot 'resonate' so as
to launch a large cohort of predators when the prey species produces
its glut after waiting for the prime number of years.

I suspect that this could have started happening way back in the
Cretaceous or whenever.

> >
> > That so much of what occurs in 'the world' CAN be represented by
> > numbers and other mathematical/logical objects and processes, is better
> > expained by assuming that the great 'IT' of noumenal nature is actually
> > made up of many simple elements [taken firstly in the general sense].
> > This underlying simplicity which yet combines and permutates itself
> > into vast complexity, is something we infer with good reason - it
> > works!
>
> This would make sense if you can specify those simple elements.
> Have you heard about Bell, Kochen and Specker and other weird facts
> predicted and verified from quantum mechanics. I am afraid such simple
> elements are already rule out empirically, even, with the Many World
> assumptions.

I fail to see what is the problem here. You cannot separate number from
that which is numbered, except as a mental trick, but within the brain
mathematical objects are instantiated within neural networks.

> Now even mentioning quantum mechanics, I refer to my work (see the URL)
> for an argument showing that the hypothesis that we are turing emulable
> at some level (whatever that level) entails the laws of physics have to
> be explained without assuming a physical primitive world.
> Of course this refutes the current Aristotelian Naturalistic paradi

Re: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-10-03 Thread Bruno Marchal


Le 02-oct.-06, à 18:03, markpeaty a écrit :

>
> I hope you will excuse my butting in here, but I was passing through on
> a different mission
> and became disturbed by reading some earlier posts of this thread.


You are welcome.

>
> My 2 cents worth:
> I tend to think that David Nyman has the more sceptically acceptable
> slant on this. Mathematics and logic are constructions of the human
> brain. They are extremely useful, in appropriate contexts, because they
> allow effective, efficient and economical representations of processes
> in the world.


So you assume a primitive world. From this I can already infer you have 
to distrust the computationalist hypothesis in the cognitive science.



>
> There is no particularly good reason however to think that mathematical
> objects exist outside of human brains or phenotypic extensions such as
> computers. I think it IS fair to say though that, for example, numbers
> and formulae written on a page or blackboard are literal extenstions of
> the constructs within the active mathematical mind.


I agree. That is what makes the human mind "turing universal". When it 
lacks memory space it extends itself through the use of pebble, wall, 
etc.
Now, are you really saying that mathematical truth (not the 
mathematical expression that humans have developed to talk about that 
mathematical truth) is a human's construct. Would you say that the 
number 17 was not a prime number at the time of the dinosaurs?
In which case you distrust the "Arithmetical realism" part of comp, and 
you are remarkably coherent.



>
> That so much of what occurs in 'the world' CAN be represented by
> numbers and other mathematical/logical objects and processes, is better
> expained by assuming that the great 'IT' of noumenal nature is actually
> made up of many simple elements [taken firstly in the general sense].
> This underlying simplicity which yet combines and permutates itself
> into vast complexity, is something we infer with good reason - it
> works!

This would make sense if you can specify those simple elements.
Have you heard about Bell, Kochen and Specker and other weird facts 
predicted and verified from quantum mechanics. I am afraid such simple 
elements are already rule out empirically, eve, with the Many World 
assumptions.
Now even mentioning quantum mechanics, I refer to my work (see the URL) 
for an argument showing that the hypothesis that we are turing emulable 
at some level (whatever that level) entails the laws of physics have to 
be explained without assuming a physical primitive world.
Of course this refutes the current Aristotelian Naturalistic paradigm, 
but does rehabilitate Plato and the neoplatonist conception of matter 
(Plotinus).



> But you cannot DEDUCE from it that numbers and other
> mathematical objects exist 'out there', except in those particular
> regions of space time that happen now to be mathematically active
> brains.

I do not believe that a number can exist "somewhere".  It can be 
implemented or incarnate somewhere, like a chess game, but that is 
different.
Also, this is assumed in the comp hyp, nobody pretends that we can 
deduce that number exist. Actually it can be proved about the natural 
number in particular that no theories at all can prove that they exist. 
All theories enough rich to talk about numbers have to assume them 
explicitly or implicitly.
But they does not need to exist out there or elsewhere: this is a 
category error. Numbers are not located in time or space, nor are they 
eternal. Poetically we could say that numbers and their relations are 
beyond time and space. But I recall, this is among the comp assumption. 
What we discussed is the fact that if we take comp seriously enough 
then physics can be derived from number theory/ computer science.

Bruno

http://iridia.ulb.ac.be/~marchal/


--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~--~~~~--~~--~--~---



Re: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-10-02 Thread markpeaty

I hope you will excuse my butting in here, but I was passing through on
a different mission
and became disturbed by reading some earlier posts of this thread.

My 2 cents worth:
I tend to think that David Nyman has the more sceptically acceptable
slant on this. Mathematics and logic are constructions of the human
brain. They are extremely useful, in appropriate contexts, because they
allow effective, efficient and economical representations of processes
in the world.

There is no particularly good reason however to think that mathematical
objects exist outside of human brains or phenotypic extensions such as
computers. I think it IS fair to say though that, for example, numbers
and formulae written on a page or blackboard are literal extenstions of
the constructs within the active mathematical mind.

That so much of what occurs in 'the world' CAN be represented by
numbers and other mathematical/logical objects and processes, is better
expained by assuming that the great 'IT' of noumenal nature is actually
made up of many simple elements [taken firstly in the general sense].
This underlying simplicity which yet combines and permutates itself
into vast complexity, is something we infer with good reason - it
works! But you cannot DEDUCE from it that numbers and other
mathematical objects exist 'out there', except in those particular
regions of space time that happen now to be mathematically active
brains.

Regards
Mark Peaty

[EMAIL PROTECTED] wrote:
> David Nyman wrote:
>
> > I fail to see any 'knock-down' character in this argument. Peter says
> > that mathematical concepts don't refer to anything 'external', and on
> > one level I agree with him. But they are surely derived from the
> > contingent characteristics of experience, and AFAICS experience in this
> > context reduces to the contents of our brains. So 'infinite sets' is
> > just a model (brain material at another level of description) which IMO
> > counts as a 'physical notion' unless you start off as an idealist. Put
> > simply, you can't think mathematical thoughts without using your brain
> > to instantiate them - and you don't literally have to instantiate an
> > 'infinite set' in the extended sense in order to manipulate a model
> > with the formal characteristics you impute to this concept. In fact,
> > the inability to convert infinite and transfinite sets into physical
> > notions is excellent empirical evidence that they *don't* exist in any
> > literal sense -  they don't need to, as their usefulness is as limit
> > cases within models, not as literal existents (nobody has ever
> > literally deployed an infinite set).
>
> A particular concrete (brain) instantiation of a mathematical concept
> can't be equivalent to the math concept itself.  I pointed out that
> many different physical processes can implement the *same* algorithm -
> this shows that the mathematical concept of the algorithm can't be
> identified with any particular physical instantiation of it.  Read up
> on the failure of simple Identity theories of mind.  Surely you
> understand the difference between a *Class* (an abstract actegory) and
> an *Object* (a particular instance of the concept).?  The Class is not
> the object
>
> That's the first part of the argument for platonism. (1)   The second
> part of the argument is the argument from indispensibility - you can't
> remove mathematical concepts from theories of reality because some
> concepts (like inifnite sets for example) can't be converted into
> physical notions. (2)  It's the combination of (1) and (2) that
> clinches it.
>
>
> >
> > This is a thoroughgoing contingentist position, and I don't see that it
> > can be refuted except by rejecting contingentism and starting from
> > idealism. But then you've begged what you're trying to prove.
>
> Aren't you guilty of the same thing?  You're simply assuming that
> materialism is the ultimate metaphysics and trying to reduce everything
> to that.  You do this because the human brain is only capable of
> representing *physical* things in conscious experience.
>
> But what is a *physical* thing really?  For instance is the *length* of
> the computer screen in front of you an objective value?  Someone moving
> close to light speed perpendicular to your computer screen would record
> a quite different value for the length of your computer screen than you
> would.  This suggests that the physical form is not objectively real.
> What *is* objectively out, is a 4-dimensional world-time for your
> computer screen as described by general relativity but this 4-d
> world-time is a *mathematical* concept.
>
> One could imagine an alien race or a super-intelligence which had no
> consciousness of physical things, but *sensed* everything purely in
> *mathematical* terms.  For instance imagine if they a way to *directly
> sense* 4-d world-lines.  Then it might be 'obvious' to alien
> philosophers that mathematical things were objevtively real.
>
>
>
>
> >
> > >  'If according t

Re: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-09-13 Thread marc . geddes


David Nyman wrote:

> I fail to see any 'knock-down' character in this argument. Peter says
> that mathematical concepts don't refer to anything 'external', and on
> one level I agree with him. But they are surely derived from the
> contingent characteristics of experience, and AFAICS experience in this
> context reduces to the contents of our brains. So 'infinite sets' is
> just a model (brain material at another level of description) which IMO
> counts as a 'physical notion' unless you start off as an idealist. Put
> simply, you can't think mathematical thoughts without using your brain
> to instantiate them - and you don't literally have to instantiate an
> 'infinite set' in the extended sense in order to manipulate a model
> with the formal characteristics you impute to this concept. In fact,
> the inability to convert infinite and transfinite sets into physical
> notions is excellent empirical evidence that they *don't* exist in any
> literal sense -  they don't need to, as their usefulness is as limit
> cases within models, not as literal existents (nobody has ever
> literally deployed an infinite set).

A particular concrete (brain) instantiation of a mathematical concept
can't be equivalent to the math concept itself.  I pointed out that
many different physical processes can implement the *same* algorithm -
this shows that the mathematical concept of the algorithm can't be
identified with any particular physical instantiation of it.  Read up
on the failure of simple Identity theories of mind.  Surely you
understand the difference between a *Class* (an abstract actegory) and
an *Object* (a particular instance of the concept).?  The Class is not
the object

That's the first part of the argument for platonism. (1)   The second
part of the argument is the argument from indispensibility - you can't
remove mathematical concepts from theories of reality because some
concepts (like inifnite sets for example) can't be converted into
physical notions. (2)  It's the combination of (1) and (2) that
clinches it.


>
> This is a thoroughgoing contingentist position, and I don't see that it
> can be refuted except by rejecting contingentism and starting from
> idealism. But then you've begged what you're trying to prove.

Aren't you guilty of the same thing?  You're simply assuming that
materialism is the ultimate metaphysics and trying to reduce everything
to that.  You do this because the human brain is only capable of
representing *physical* things in conscious experience.

But what is a *physical* thing really?  For instance is the *length* of
the computer screen in front of you an objective value?  Someone moving
close to light speed perpendicular to your computer screen would record
a quite different value for the length of your computer screen than you
would.  This suggests that the physical form is not objectively real.
What *is* objectively out, is a 4-dimensional world-time for your
computer screen as described by general relativity but this 4-d
world-time is a *mathematical* concept.

One could imagine an alien race or a super-intelligence which had no
consciousness of physical things, but *sensed* everything purely in
*mathematical* terms.  For instance imagine if they a way to *directly
sense* 4-d world-lines.  Then it might be 'obvious' to alien
philosophers that mathematical things were objevtively real.




>
> >  'If according to the simplest explanation, an entity is complex and
> > autonomous, then that entity is real.' ('The Fabric Of Reality', Pg 91)
>
> Autonomous of what precisely? In what sense is a mathematical concept
> autonomous of your brain, or the collection of brains and other
> recording devices that instantiate it? Remember that we're talking
> about mathematical *concepts* - i.e. things we can grasp - it's merely
> a metaphor to claim that these models *refer* to autonomously existing
> platonic realities. Either a metaphor, or the presumption of such
> platonic reality, not its proof.


See (1) and (2) above.  If the postulation of some entity *simplifies*
our explanations of reality, then this provides (probabilistic)
evidence that the postulated eneity exists.  (Occams razor).  The
evidence for the existence of platonic entities is that they simplfiy
our models of reality.

>
> > As Detusch points out, mathematical entities do appear to match the
> > criteria for reality: 'Abstract entities that are complex and
> > autonomous exist objectively and are part of the fabric of reality.
> > There exist logically necessary truths about these entities, and these
> > comprise the subject-matter of mathematics.'
>
> Truths are only equivalent to 'existents' for an idealist. Fair enough,
> but then this has to be accepted axiomatically, or not at all. I can't
> honestly see why this is so hard to grasp.
>
> David

I certainly wouldn't equate Platonism with Idealism!   We don't seem to
accept anything 'axiomatically'.  Instead we look to see which
postulated entities simplify our 

Re: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-09-13 Thread John M

Peter;

I try to keep out from the ongoing discussions lately
(no succes to report) but sometimes I get carried
away. I will barge in with 2 remarks into your text
below 
 John M

--- 1Z <[EMAIL PROTECTED]> wrote:

> 
> 
> David Nyman wrote:
> > [EMAIL PROTECTED] wrote:
> >
> > > I did point out in my last post that there
> appears to be no simple way
> > > to make such reductions (between math concepts
> and classes of specific
> > > things).  For instance no one has yet succeeded
> in showing how math
> > > concepts such as infinite sets and transfinite
> sets (which are precise
> > > math concepts) could be converted into physical
> notions.  A also
> > > pointed to David Deutsch's excellent 'Criteria
> For Reality':
> >
> > I fail to see any 'knock-down' character in this
> argument. Peter says
> > that mathematical concepts don't refer to anything
> 'external', and on
> > one level I agree with him. But they are surely
> derived from the
> > contingent characteristics of experience, and
> AFAICS experience in this
> > context reduces to the contents of our brains. So
> 'infinite sets' is
> > just a model (brain material at another level of
> description) which IMO
> > counts as a 'physical notion' unless you start off
> as an idealist.
> 
> If something is "derived from " experience , that
> does not
> mean it is necessarily a "model of" experience. The
> derivation
> might transofrm it into (a concept of ) something
> which does not
> matches expereince.
> Unicorns re derived from horses (or rhinos) but do
> not
> exist as such.
> 
> 
> > Put
> > simply, you can't think mathematical thoughts
> without using your brain
> > to instantiate them -
> > and you don't literally have to instantiate an
> > 'infinite set' in the extended sense in order to
> manipulate a model
> > with the formal characteristics you impute to this
> concept.
> 
> However, we should not conclude that mathematical
> entities
> exist as ptterns of neural firing. The neural firing
> realises the concept, ...
JM:
Neural firing can refer to 'concept' if you have
either 
1.) topically (conceptually) marked neurons (like: the
1,000 for my poppylove, 2000 for your nosebleeding) -
or
2.) distinguished type firings related to topical,
within those even ceptually characterised electrical
(or else - still unknown?) variations - and/or
3.) there is a topical/conceptual homunculus (organ?)
registering the 'meaning' of each firing of THOSE
topically marked and distinguished neurons. 
Otherwise the 'firing' is a physiological process,
well measurable in its electrical behavior, but
conceptually meaningless as far as we know today. The
area of the brain where a certain activity is causing
physiological activity is not 'generating' ideas. No
indication so far to the generation of such mental
authoritative thinking in any bunch of neurons. It is
well assumed by the 'neurons only' crowd as a belief. 
(In congruence with your continuing statement on
math).
>
>... the mathematical entity is what
> the concept is "about". The concept is not about
> neural
> firings (so long as what we are conceptualsiing is
> maths and not neurology!).
> 
> ***The mathematical entity  does not exist "as" a
> neural pattern.*** It does
> not exist at all. It is what the concept (which
> *does* exist as a neural pattern)[]
> is about. But concepts can be about things which
> don't exist, like unicorns.
JM:
Could you describe the 'neural pattern' meaning a
unicorn? (or simply: a corn?)

John M


--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~--~~~~--~~--~--~---



Re: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-09-13 Thread 1Z


David Nyman wrote:
> [EMAIL PROTECTED] wrote:
>
> > I did point out in my last post that there appears to be no simple way
> > to make such reductions (between math concepts and classes of specific
> > things).  For instance no one has yet succeeded in showing how math
> > concepts such as infinite sets and transfinite sets (which are precise
> > math concepts) could be converted into physical notions.  A also
> > pointed to David Deutsch's excellent 'Criteria For Reality':
>
> I fail to see any 'knock-down' character in this argument. Peter says
> that mathematical concepts don't refer to anything 'external', and on
> one level I agree with him. But they are surely derived from the
> contingent characteristics of experience, and AFAICS experience in this
> context reduces to the contents of our brains. So 'infinite sets' is
> just a model (brain material at another level of description) which IMO
> counts as a 'physical notion' unless you start off as an idealist.

If something is "derived from " experience , that does not
mean it is necessarily a "model of" experience. The derivation
might transofrm it into (a concept of ) something which does not
matches expereince.
Unicorns re derived from horses (or rhinos) but do not
exist as such.


> Put
> simply, you can't think mathematical thoughts without using your brain
> to instantiate them -
> and you don't literally have to instantiate an
> 'infinite set' in the extended sense in order to manipulate a model
> with the formal characteristics you impute to this concept.

However, we should not conclude that mathematical entities
exist as ptterns of neural firing. The neural firing
realises the concept,  the mathematical entity is what
the concept is "about". The concept is not about neural
firings (so long as what we are conceptualsiing is maths and not
neurology!).

The mathematical entity  does not exist "as" a neural pattern. It does
not exist at all. It is what the concept (which *does* exist as a
neural pattern)
is about. But concepts can be about things which don't exist, like
unicorns.


--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~--~~~~--~~--~--~---



Re: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-09-13 Thread David Nyman

[EMAIL PROTECTED] wrote:

> I did point out in my last post that there appears to be no simple way
> to make such reductions (between math concepts and classes of specific
> things).  For instance no one has yet succeeded in showing how math
> concepts such as infinite sets and transfinite sets (which are precise
> math concepts) could be converted into physical notions.  A also
> pointed to David Deutsch's excellent 'Criteria For Reality':

I fail to see any 'knock-down' character in this argument. Peter says
that mathematical concepts don't refer to anything 'external', and on
one level I agree with him. But they are surely derived from the
contingent characteristics of experience, and AFAICS experience in this
context reduces to the contents of our brains. So 'infinite sets' is
just a model (brain material at another level of description) which IMO
counts as a 'physical notion' unless you start off as an idealist. Put
simply, you can't think mathematical thoughts without using your brain
to instantiate them - and you don't literally have to instantiate an
'infinite set' in the extended sense in order to manipulate a model
with the formal characteristics you impute to this concept. In fact,
the inability to convert infinite and transfinite sets into physical
notions is excellent empirical evidence that they *don't* exist in any
literal sense -  they don't need to, as their usefulness is as limit
cases within models, not as literal existents (nobody has ever
literally deployed an infinite set).

This is a thoroughgoing contingentist position, and I don't see that it
can be refuted except by rejecting contingentism and starting from
idealism. But then you've begged what you're trying to prove.

>  'If according to the simplest explanation, an entity is complex and
> autonomous, then that entity is real.' ('The Fabric Of Reality', Pg 91)

Autonomous of what precisely? In what sense is a mathematical concept
autonomous of your brain, or the collection of brains and other
recording devices that instantiate it? Remember that we're talking
about mathematical *concepts* - i.e. things we can grasp - it's merely
a metaphor to claim that these models *refer* to autonomously existing
platonic realities. Either a metaphor, or the presumption of such
platonic reality, not its proof.

> As Detusch points out, mathematical entities do appear to match the
> criteria for reality: 'Abstract entities that are complex and
> autonomous exist objectively and are part of the fabric of reality.
> There exist logically necessary truths about these entities, and these
> comprise the subject-matter of mathematics.'

Truths are only equivalent to 'existents' for an idealist. Fair enough,
but then this has to be accepted axiomatically, or not at all. I can't
honestly see why this is so hard to grasp.

David

> >But why can't it be reduced to classes of specific physical things? How
> >can you show that it is necessary for anything corresponding to this
> >description to 'exist' apart from its instantiations as documented
> >procedures and actual occurrences of their application?
> >David
>
> I did point out in my last post that there appears to be no simple way
> to make such reductions (between math concepts and classes of specific
> things).  For instance no one has yet succeeded in showing how math
> concepts such as infinite sets and transfinite sets (which are precise
> math concepts) could be converted into physical notions.  A also
> pointed to David Deutsch's excellent 'Criteria For Reality':
>
>  'If according to the simplest explanation, an entity is complex and
> autonomous, then that entity is real.' ('The Fabric Of Reality', Pg 91)
>
>
> As Detusch points out, mathematical entities do appear to match the
> criteria for reality: 'Abstract entities that are complex and
> autonomous exist objectively and are part of the fabric of reality.
> There exist logically necessary truths about these entities, and these
> comprise the subject-matter of mathematics.'
>
>
> >Language, logic, and math are human inventions just as chair is, c.f. 
> >William S.
> Cooper "The Evolution of Reason".
> >That chair would continue to exist even if all
> humans were wiped off the Earth - but the concept of 'chairs' wouldn't
> and neither
> would '2'.
> >Ontology is invented too.
> >Brent Meeker
>
> I distinguish between two kinds of abstract concepts - abstract
> concepts of universal applicability, which I think are objectively real
> and abstract concepts of limited applicability, which are clearly human
> inventions.  You don't accept the distinction.  But I pointed out that
> for abstract concepts of universal applicability, there appears to be
> no difference between cognitive and ontological categories, where as
> for abstract concepts of limited applicability, there clearly is a
> difference between cognitive and ontologic categories.
>
> So I would tend to say that the concept of '2' is clearly 'out there',
> where as the concept of 'ch

Re: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-09-13 Thread 1Z


[EMAIL PROTECTED] wrote:
> >But why can't it be reduced to classes of specific physical things? How
> >can you show that it is necessary for anything corresponding to this
> >description to 'exist' apart from its instantiations as documented
> >procedures and actual occurrences of their application?
> >David
>
> I did point out in my last post that there appears to be no simple way
> to make such reductions (between math concepts and classes of specific
> things).  For instance no one has yet succeeded in showing how math
> concepts such as infinite sets and transfinite sets (which are precise
> math concepts) could be converted into physical notions.  A also
> pointed to David Deutsch's excellent 'Criteria For Reality':

That doesn't mean math concepts refer to non-physical things.
They might not refer at all.

Indispensability arguments are dispensable:

http://plato.stanford.edu/entries/mathphil-indis/

> Math concepts are super-classes or abstract classes being used to
> classify *other* astract classes.  I pointed out three different
> ontological catgories:
>
> (1)  Abstract entities of universal applicability (like math concepts)
> (2)  Abstract entities of limited applicability (human constructs like
> alphabets or a chair concept)
> (3) Concrete instances (like a particular example of a chair)
>
> I'd say you can make a good case that the entities in (1) are the only
> real objective reality.  It's (2) and (3) that are actually 'in our
> heads'!

I don't have a chair in my head.


--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~--~~~~--~~--~--~---



Re: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-09-13 Thread marc . geddes

>But why can't it be reduced to classes of specific physical things? How
>can you show that it is necessary for anything corresponding to this
>description to 'exist' apart from its instantiations as documented
>procedures and actual occurrences of their application?
>David

I did point out in my last post that there appears to be no simple way
to make such reductions (between math concepts and classes of specific
things).  For instance no one has yet succeeded in showing how math
concepts such as infinite sets and transfinite sets (which are precise
math concepts) could be converted into physical notions.  A also
pointed to David Deutsch's excellent 'Criteria For Reality':

 'If according to the simplest explanation, an entity is complex and
autonomous, then that entity is real.' ('The Fabric Of Reality', Pg 91)


As Detusch points out, mathematical entities do appear to match the
criteria for reality: 'Abstract entities that are complex and
autonomous exist objectively and are part of the fabric of reality.
There exist logically necessary truths about these entities, and these
comprise the subject-matter of mathematics.'


>Language, logic, and math are human inventions just as chair is, c.f. William 
>S.
Cooper "The Evolution of Reason".
>That chair would continue to exist even if all
humans were wiped off the Earth - but the concept of 'chairs' wouldn't
and neither
would '2'.
>Ontology is invented too.
>Brent Meeker

I distinguish between two kinds of abstract concepts - abstract
concepts of universal applicability, which I think are objectively real
and abstract concepts of limited applicability, which are clearly human
inventions.  You don't accept the distinction.  But I pointed out that
for abstract concepts of universal applicability, there appears to be
no difference between cognitive and ontological categories, where as
for abstract concepts of limited applicability, there clearly is a
difference between cognitive and ontologic categories.

So I would tend to say that the concept of '2' is clearly 'out there',
where as the concept of 'chair' is 'in our heads' and quite possibly
even the concrete instances of a 'chair' is 'in our heads' as well!
After all, is it really the case that a chair is an object 'out there'
with definite objective physical dimensions like length?  Isn't it
actually the case that all that's 'out there' is a 4-dimensional
'chair' world-time? - which I point out to you as really a
*mathematical construct* ;)



>Actually, it's an arguement against doing so. If mathematical
>terms referred to particular things, they would not be universally
>applicable.
>They are universally applicable because they don't refer to anything.

>1Z

Math concepts are super-classes or abstract classes being used to
classify *other* astract classes.  I pointed out three different
ontological catgories:

(1)  Abstract entities of universal applicability (like math concepts)
(2)  Abstract entities of limited applicability (human constructs like
alphabets or a chair concept)
(3) Concrete instances (like a particular example of a chair)

I'd say you can make a good case that the entities in (1) are the only
real objective reality.  It's (2) and (3) that are actually 'in our
heads'!


--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~--~~~~--~~--~--~---



Re: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-09-12 Thread 1Z


[EMAIL PROTECTED] wrote:

> Mathematical concepts are quite different.  The key difference is that
> we *cannot* in fact dispense with mathematical descriptions and replace
> them with something else.  We cannot *eliminate* mathematical concepts
> from our theories like we can with say 'chair' concepts.  And this is
> the argument for regarding mathematical concepts as existing 'out
> there' and not just in our heads.


Actually, it's an arguement against doing so. If mathematical
terms referred to particular things, they would not be universally
applicable.
They are universally applicable because they don't refer to anything.


--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~--~~~~--~~--~--~---



Re: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-09-12 Thread Brent Meeker

[EMAIL PROTECTED] wrote:
>>But this only shows that mathematical objects exist in the sense that chair 
>>exists;
>>as a abstraction from chairs.  So chair isn't identical with any particular 
>>chair.
>>
>>Brent Meeker
> 
> 
> 
> What follows is actually a very important and profound metaphysical
> point, absolutely fundamental for understanding platonism and reality
> theory.
> 
> Both the *concept* of a chair and mathematical concepts are *abstract*
> things.  But there's a big difference.  In the case of the chair
> concept, it's simply a human creation - it's simply a word we humans
> use to summarize high-level properties of physical arrangements of
> matter.  There are no 'chairs' in reality, only in our heads.  We can
> see this by noting the fact that we can easily dispense with the 'chair
> concept' and simply use physics descriptions instead.  So in the case
> of the 'chair' concept, we're obviously dealing with a human construct.
> 
> 
> Critical point:  The 'chair' concept is only a (human) cognitive
> category NOT a metaphysical or ontological categories.
> 
> Mathematical concepts are quite different.  The key difference is that
> we *cannot* in fact dispense with mathematical descriptions and replace
> them with something else.  We cannot *eliminate* mathematical concepts
> from our theories like we can with say 'chair' concepts.  And this is
> the argument for regarding mathematical concepts as existing 'out
> there' and not just in our heads.  There are two steps to the argument
> for thinking that mathematical entities are real:
> 
> (1)  A general mathematical category is not the same as any specific
> physical thing
> AND
> (2)  Mathematical entities cannot be removed from our descriptions and
> replaced with something else ( the argument from indispensibility).
> 
> It's true that both 'chair' concepts (for example) and math concepts
> are *abstract*, but the big difference is that for a 'chair' concept,
> (1) is true, but not (2).  For mathematical concepts both (1) AND (2)
> are true.
> 
> There's another way of clarifying the difference between the 'chair'
> concept and math concepts.  Math concepts are *universal* in scope
> (applicable everywhere - we cannot remove them from our theories) where
> as the 'chair' concept is a cultural construct applicable only in human
> domains.
> 
> To make this even clearer, pretend that all of reality is Java Code.
> It's true that both a 'chair' *concept* and a 'math' concept is an
> abstraction, and therfore a *class* , but the difference between a
> 'chair' concept and a 'math' concept is this:  'Math' is a *public
> class* (an abstract category which can be applied everywhere in
> reality), where as a 'chair' concept is *private* class, applicable
> only in specific locations inside reality (in this case inside human
> heads).
> 
> Reality Java Code for a math concept:
> PUBLIC CLASS MATH  ()
> 
> Reality Java Code a chair concept:
> PRIVATE CLASS CHAIR ()
> 
> Big difference!
> 
> The critical and profound point if we accept this argument, is this:
> 
> *There is NO difference between *epistemological* and *metaphysical*
> categories in the cases where we are dealing with cognitive categories
> which are universal in scope.  Math concepts of universal applicability
> are BOTH epistemological tools AND metaphysical or ontological
> categories.  One needs to think about this carefully to realize just
> how important this is.

It is an interesting point, but it's not so fundamental as you seem to think.  
We can 
do without 'chair' and 'table' etc.  But we can't do wihtout 'this' and 'that'. 
Without distinguishing objects we couldn't count and we wouldn't have the 
integers. 
Language, logic, and math are human inventions just as chair is, c.f. William 
S. 
Cooper "The Evolution of Reason".  Probably they are nomologically necessary in 
the 
sense that any sentient species that evolves would have to invent them. But 
just 
because mathematics and logic are built into our language and are necessary to 
any 
language that we could recognize, does not show they are "out there" like the 
object 
we call 'that chair' is out there.  That chair would continue to exist even if 
all 
humans were wiped off the Earth - but the concept of 'chairs' wouldn't and 
neither 
would '2'.

Ontology is invented too.  Most ontologies put the chair 'out there' and math 
'in our 
heads'.  Some put the chair 'out there' and math in 'Mathematica' (I don't like 
to 
use 'Platonia' because Plato put chair in there too).  Java has it's own 
ontology; 
that we invented to reflect an idea of instances and classes.  There's nothing 
necessary about that as is easily seen from the fact that anything Java can do 
can 
also be done in Fortran or assembly or by a Turing machine.

Brent Meeker
The sciences do not try to explain, they hardly even try to  interpret, they 
mainly 
make models. By a model is meant a  mathematical construct which, with the 
addition 
of certain ver

Re: The difference between a 'chair' concept and a 'mathematical concept' ;)

2006-09-12 Thread David Nyman

[EMAIL PROTECTED] wrote:

> (1)  A general mathematical category is not the same as any specific
> physical thing

But why can't it be reduced to classes of specific physical things? How
can you show that it is necessary for anything corresponding to this
description to 'exist' apart from its instantiations as documented
procedures and actual occurrences of their application? In this case:

(2)  Mathematical entities cannot be removed from our descriptions and
> replaced with something else ( the argument from indispensibility).

would be false, though such removal would be inconvenient (as would
'chair' for that matter). A 'mathematical entity' would then merely
refer to the classes of all descriptions, and all actual occurrences of
the application, of a given procedure - i.e. a human cognitive category
like 'chair', although as you say of greater generality.

David

> >But this only shows that mathematical objects exist in the sense that chair 
> >exists;
> >as a abstraction from chairs.  So chair isn't identical with any particular 
> >chair.
> >
> >Brent Meeker
>
>
> What follows is actually a very important and profound metaphysical
> point, absolutely fundamental for understanding platonism and reality
> theory.
>
> Both the *concept* of a chair and mathematical concepts are *abstract*
> things.  But there's a big difference.  In the case of the chair
> concept, it's simply a human creation - it's simply a word we humans
> use to summarize high-level properties of physical arrangements of
> matter.  There are no 'chairs' in reality, only in our heads.  We can
> see this by noting the fact that we can easily dispense with the 'chair
> concept' and simply use physics descriptions instead.  So in the case
> of the 'chair' concept, we're obviously dealing with a human construct.
>
>
> Critical point:  The 'chair' concept is only a (human) cognitive
> category NOT a metaphysical or ontological categories.
>
> Mathematical concepts are quite different.  The key difference is that
> we *cannot* in fact dispense with mathematical descriptions and replace
> them with something else.  We cannot *eliminate* mathematical concepts
> from our theories like we can with say 'chair' concepts.  And this is
> the argument for regarding mathematical concepts as existing 'out
> there' and not just in our heads.  There are two steps to the argument
> for thinking that mathematical entities are real:
>
> (1)  A general mathematical category is not the same as any specific
> physical thing
> AND
> (2)  Mathematical entities cannot be removed from our descriptions and
> replaced with something else ( the argument from indispensibility).
>
> It's true that both 'chair' concepts (for example) and math concepts
> are *abstract*, but the big difference is that for a 'chair' concept,
> (1) is true, but not (2).  For mathematical concepts both (1) AND (2)
> are true.
>
> There's another way of clarifying the difference between the 'chair'
> concept and math concepts.  Math concepts are *universal* in scope
> (applicable everywhere - we cannot remove them from our theories) where
> as the 'chair' concept is a cultural construct applicable only in human
> domains.
>
> To make this even clearer, pretend that all of reality is Java Code.
> It's true that both a 'chair' *concept* and a 'math' concept is an
> abstraction, and therfore a *class* , but the difference between a
> 'chair' concept and a 'math' concept is this:  'Math' is a *public
> class* (an abstract category which can be applied everywhere in
> reality), where as a 'chair' concept is *private* class, applicable
> only in specific locations inside reality (in this case inside human
> heads).
>
> Reality Java Code for a math concept:
> PUBLIC CLASS MATH  ()
>
> Reality Java Code a chair concept:
> PRIVATE CLASS CHAIR ()
>
> Big difference!
>
> The critical and profound point if we accept this argument, is this:
>
> *There is NO difference between *epistemological* and *metaphysical*
> categories in the cases where we are dealing with cognitive categories
> which are universal in scope.  Math concepts of universal applicability
> are BOTH epistemological tools AND metaphysical or ontological
> categories.  One needs to think about this carefully to realize just
> how important this is.


--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~--~~~~--~~--~--~---