Re: John Searle on consciousness

2014-07-30 Thread meekerdb

On 7/30/2014 11:36 AM, Russell Standish wrote:

On Wed, Jul 30, 2014 at 03:13:01PM +0200, Platonist Guitar Cowboy wrote:

Better than to keep reacting like monkey to his post, which I do, would be
imho for the list to focus on precise prerequisites, exercises, reading
lists to get firmer grasp of AUDA, and make that more universally
accessible than perhaps overemphasizing Step 7 and MGA.


I don't think step 7 and the MGA have been overemphasised at all -
although step 3 has been done to death it seems.

The MGA, in particular, is very subtle. I think I have now found a way
of coming to grips with it, and it is a little different to the usual
precis given here. Fundamentally, computational supervenience (which
requires counterfactual correctness, a factor often overlooked in the
summaries) is incompatible with physical supervenience, but only in a
single universe, not a multiverse. Since physical supervenience is
well supported empirically (something JC has banged on a bit about, as
well as Brent), the only way of rescuing computational supervenience
is to insist that we do, in fact, live in a multiverse. But that multiverse
entails the universal dovetailer, or at least enough of it to emulate
consciousness, which suffices to get the reversal result of step 7.


I hope your paper will elucidate those last two inferences. If computational superveniece 
is only compatible with physical supervenience in a multiverse (eternal inflation or 
Everett?) and physical supervenience is well supported empirically then it seems that a 
*physical* multiverse is necessary for computational supervenience.


Brent



I'm in process of writing this up as a paper, which I'll hopefully
post to this list in the next week or so to be shredded by the
denizens here.

On another note, I've done a calculation of the observer moment
measure given by the universal dovetailer, which shows that the
measure is indeed independent of the chosen reference machine, as we
widely suspected, and hopefully might be comparable with
Solomonoff-Levin's universal prior. More likely, it might be compared
with the Bayesian probability after an infinite number of updates.

Not sure if it belongs in the above paper, as it is necessarily more
technical, but I'll post that to this list in one form or other soon.

But I'm happy for there to me more discussion of the AUDA too :) The
underpinnings of that theory still seem rather weakly motivated for
me, as opposed to being mandated by computationalism.




--
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.


Book: Revolutions of Scientific Structure

2014-07-30 Thread ColinHales
 

Hi ,

My book is finally out.

Hales CG. 2014. “The Revolutions of Scientific Structure” 

Press release here 

http://www.worldscientific.com/page/pressroom/2014-07-11-01 

The book is here:

http://www.worldscientific.com/worldscibooks/10.1142/9211 

The Front-Matter (preface) and preamble (Chapter 1) are already accessible 
free from the publisher.

The deeply impoverished (like me!) might want a preprint PDF. If so... just 
let me know.

Enjoy.

Colin Hales, PhD

Researcher 

NeuroEngineering Laboratory, Department of Electrical and Electronic 
Engineering

University of Melbourne, Australia

 

-- 
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.


Re: CTM and the UDA (again!)

2014-07-30 Thread Kim Jones

> On 31 Jul 2014, at 8:47 am, Bruno Marchal  wrote:
> 
> CTM = Comp (to use with moderation when tired of the sound of comp).

Well, it's actuallyC   omputationalist   Theory (of)   M   ind.

Cheers,

Kim

-- 
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.


Re: John Searle on consciousness

2014-07-30 Thread LizR
On 31 July 2014 10:26, Russell Standish  wrote:

> On Thu, Jul 31, 2014 at 10:08:52AM +1200, LizR wrote:
> >
> > PS One problem I have with uncountable infinity not being a feature of
> the
> > world is that it appears to scupper eternal inflation, and even universes
> > expanding exponentially. Does anyone have any comments on that?
> >
>
> Why?
>

Because if space-time isn't an infinitely divisible continuum, it
presumably has some sort of granularity, and if it's blown up in size (or
squashed down) the grain size may become relevant. It's one of the "end of
the universe scenarios" mentioned by Max Tegmark in his recent book, that
the expansion of the universe makes the quantum granularity too large for
matter to continue to exist (in some way).

I suppose that if you blow up space-time exponentially, you will rapidly
reach any existing grain size. If inflation would have blown up Planck-cell
sized chunks to anything vaguely macroscopic, for example, we wouldn't
expect any detail to exist below the expanded size.

I'm not sure exactly how this works, but once you have a universe in which
some sort of structure size is defined, expanding it a lot might thereafter
mean that size can't be supported anymore by quantum physics.

(If you see what I mean...?)

-- 
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.


Re: John Searle on consciousness

2014-07-30 Thread Russell Standish
On Thu, Jul 31, 2014 at 10:08:52AM +1200, LizR wrote:
> 
> PS One problem I have with uncountable infinity not being a feature of the
> world is that it appears to scupper eternal inflation, and even universes
> expanding exponentially. Does anyone have any comments on that?
> 

Why?

-- 


Prof Russell Standish  Phone 0425 253119 (mobile)
Principal, High Performance Coders
Visiting Professor of Mathematics  hpco...@hpcoders.com.au
University of New South Wales  http://www.hpcoders.com.au

 Latest project: The Amoeba's Secret 
 (http://www.hpcoders.com.au/AmoebasSecret.html)


-- 
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.


Re: CTM and the UDA (again!)

2014-07-30 Thread Bruno Marchal


On 27 Jul 2014, at 19:46, Jesse Mazer wrote:




On Sun, Jul 27, 2014 at 1:13 PM, David Nyman   
wrote:

On 27 July 2014 17:27, Jesse Mazer  wrote:

> I don't see why that should follow at all, as long as there are  
multiple
> infinite computations running rather than the UDA being the only  
one,


I may be missing some other point you're making, but I think this is
already dealt with after Step 8 of the UDA (universal dovetailer
argument). By this point in the argument, we have abandoned the notion
of a "primitively-physical universe".

But when you say "by this point in the argument", do you mean there  
was some earlier step that established some good *reasons* for why  
we should abandon the notion of a "primitively-physical  
universe" (or primitive universal computation), or is it just  
something that was posited at some point for the purposes of  
exploring the consequences, without any claim that this posit was  
implied by earlier steps in the argument? As I said, it seems that  
someone could accept everything in steps 1-6 of Bruno's argument but  
still posit that the measure of each observer-moment would be  
determined by its limit frequency in some unique universe- 
computation U.


At step 1-6. OK.

But this is why there is step 7 and 8. At step six, you are still at  
the middle of the argument.


At step seven, you can still save physicalism by assuming a unique  
small primitive physical universe. Small really means here FPI immune.







Given that we are assuming CTM,
we need some ontology to fix the notion of computation, and
arithmetical relations suffice for this purpose.


Sorry, what does "CTM" stand for? It doesn't appear anywhere in  
Bruno's "Comp (2013)" paper which I'm using for reference.


CTM = Comp (to use with moderation when tired of the sound of comp).



BTW, I suggested an ontology in the earlier comment to Bruno at http://www.mail-archive.com/everything-list@googlegroups.com/msg16244.html 
 -- basically using an axiomatic system which allows you to deduce  
the truth-value of various propositions about a computation,  
propositions equivalent to statements like "after N time steps, the  
read/write head of the Turing machine moves to space 1185 on the  
Turing tape, finds a 0 there, changes its internal state from #5 to  
#8 and changes the digit there to 1". Then, a given computation can  
be defined in terms of the logical relations between a set of  
propositions, so one computation A can "contain" an instance of  
another computation B if some subset of propositions about A have an  
isomorphic structure of logical relations to the logical relations  
between propositions about B.


Since the structure of arithmetic can also be defined in terms of a  
set of propositions with logical relations between them, and any  
statement about a particular computation can be decided by  
determining the truth-value of a corresponding statement about  
arithmetic, it may be that defining computations in terms of  
"arithmetical relations" would lead to all the same conclusions as  
the definition I suggest above, though I'm not sure.



Any sigma_1 complete theory, on arithmetic, or any other inductive  
collection of finite entities, will do.


But such system can be extended in much more powerful (in terms of  
proving large set of arithmetical, or theoretical computer science) by  
admitting stronger induction axioms.










Such a  Library must in particular contain "universal dovetailers"
that themselves generate every possible program and execute each of
them in sequence by means of dovetailing. This must include
recursively regenerating themselves in an infinitely "fractal" manner.
This characteristic implies a quite extraordinarily explosive
regenerative redundancy. Hence it seems plausible a priori, even
without a detailed calculus, that the resulting computational
structure (i.e. the infinite trace of the UD, or UD*) must completely
dominate any measure competition within the computational landscape
defined by arithmetical truth (or the small part of it needed for the
assumption).



That seems very handwavey to me, and while it might seem plausible  
initially I think it becomes less so when you think more carefully  
about how measure might actually be assigned. Do you disagree that  
if we use the particular definition of measure I suggest, in the  
example I gave with U and U' (both containing a universal dovetailer  
alongside a bunch of other computers churning out endless copies of  
me in Washington or me in Moscow) the UD will *not* dominate the  
"measure competition", in that U and U' will give very different  
answers to the relative likelihood that I find myself in Washington  
vs. Moscow in Bruno's thought-experiment?


The UD is just the base. The simplest basic ontology. With such thesis  
it defines effectively what is computable, and it defines the relative  
measures, which will not depend on which UD you start with.


But the view from 

Re: John Searle on consciousness

2014-07-30 Thread LizR
On 31 July 2014 06:36, Russell Standish  wrote:

> The MGA, in particular, is very subtle. I think I have now found a way
> of coming to grips with it, and it is a little different to the usual
> precis given here. Fundamentally, computational supervenience (which
> requires counterfactual correctness, a factor often overlooked in the
> summaries) is incompatible with physical supervenience, but only in a
> single universe, not a multiverse. Since physical supervenience is
> well supported empirically (something JC has banged on a bit about, as
> well as Brent), the only way of rescuing computational supervenience
> is to insist that we do, in fact, live in a multiverse. But that multiverse
> entails the universal dovetailer, or at least enough of it to emulate
> consciousness, which suffices to get the reversal result of step 7.
>

I always run aground on those counterfactuals - that is I can't see the
point of them. I hope your coming paper will help me out! I look forward to
it. :-)

-- 
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.


Re: John Searle on consciousness

2014-07-30 Thread LizR
On 31 July 2014 04:43, John Clark  wrote:

>
> On Tue, Jul 29, 2014 at 5:51 PM, LizR  wrote:
>
> > Suppose for the sake of argument that in order to be conscious, people
>> needed a Descartes-style spirit to be attached to their brains.
>>
>
> Then changes in the Descartes-style spirit changes the material world and
> changes in the material world changes the Descartes-style spirit; so why do
> you call this thing a "spirit"? What exactly makes it more unmaterial than
> an electron or a photon or even a baseball?
>

Not necessarily. We could assume consciousness is an epiphenomenon, just
along for the ride. A p-zombie would act the same way, by hypothesis. Note
that this is all just for the sake of argument, to see where it leads (if
anywhere).

>
> > Then materialism would explain the experiences that this spirit had, but
>> not the existence of consciousness itself, which by hypothesis requires
>> this supernatural extra.
>>
>
> The sequence of "what explains that?" questions either comes to a end or
> it does not. If it does come to a end then we might as well stop with
> consciousness because the God hypothesis adds nothing new and is just a
> useless complication, therefore we conclude that consciousness is
> fundamental and thus after saying that consciousness is the way data feels
> like when it is being processed there is simply nothing more that can be
> said on the subject.
>

It's true that explanatory chains have to start and end somewhere, which is
why I gave up arguing with Brent, since he claimed (via a circular
explanatory diagram) that he doesn't think this is so. I'm not sure where
you got God from, though. So if we stop with consciousness, and
consciousness is data being processed, then we need to take seriously any
consequences of this, which takes us back to comp, the UDA and so on
(unless we can prove otherwise).

>
> On the other hand if the sequence of "what explains that? questions never
> comes to a end then the next element in the sequence is obviously "what
> explains God?". Either way the God hypothesis adds nothing.
>
>  >> I can't comment on that, "comp" means whatever Bruno wants it to mean,
>>> and that changes from day to day.
>>>
>>
>> > Here I respectfully disagree, he seems more or less consistent to me,
>> give or take the odd ambiguity due to English not being his first language.
>>
>
> If Bruno is not fluent in English then he has no business inventing a new
> English word. Bruno claims that "comp" is just short for computationalism
> but I don't think even Bruno really believes that, if he did he could avoid
> all this by simply adding a few extra letters but he knows he can't do that
> because he is constantly saying things like "according to comp X is true"
> when computationalism is saying nothing of the sort. Therefore Bruno has
> no choice but to invent a new word in a unfamiliar language that means
> whatever he wants it to mean.
>

Well, he gives the arguments for why X is true according to comp. That is,
it's a consequence of computationalism, not one of its assumptions.

>
>
>> > But I have to admit that I have yet to grok comp in its entirety.
>>
>
> That is to your credit because there is no there there to grok
>

Eventually I hope to grok that for myself, if it is in fact the case.

-- 
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.


Re: John Searle on consciousness

2014-07-30 Thread LizR
On 31 July 2014 00:36, David Nyman  wrote:

> On 30 July 2014 09:03, Bruno Marchal  wrote:
>
> I think (maybe pace David) that materialism explains well consciousness,
>> by using comp. The problem is that such explanation makes *matter*
>> incomprehensible.
>
>
> Well I must confess I'm not entirely pacified yet. Surely the whole point
> is that if the second sentence is true it contradicts the first! If the
> assumption that materialism can use comp to explain consciousness in fact
> leads to the absurd conclusion you describe, then materialism *cannot* use
> comp to explain consciousness, well or otherwise.
>

Ah, yes, although I tend to get confused about this I think (when I think)
that the bottom lines are ...

Comp assumes that consciousness can be explained at some level as a digital
computation. This would at least seem to accord with quantum mechanics,
which hints that things go awry when we try to construct the world from
continua and uncountable infinities, as relativity suggests. Based on that
assumption, it then purports to show that materialism is incapable of
providing the relevant substrate to support those computations, and that
the only available source for these is in arithmetic, assumed to exist
independently of us, at least in a simple form (since QM indicates there
are no continua etc in the real world, I guess "arithmetical realism" isn't
obliged to include real numbers).

Is that right so far?

PS One problem I have with uncountable infinity not being a feature of the
world is that it appears to scupper eternal inflation, and even universes
expanding exponentially. Does anyone have any comments on that?

-- 
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.


Re: John Searle on consciousness

2014-07-30 Thread meekerdb

On 7/30/2014 5:36 AM, David Nyman wrote:

On 30 July 2014 09:03, Bruno Marchal mailto:marc...@ulb.ac.be>> wrote:

I think (maybe pace David) that materialism explains well consciousness, by 
using
comp. The problem is that such explanation makes *matter* incomprehensible.


Well I must confess I'm not entirely pacified yet. Surely the whole point is that if the 
second sentence is true it contradicts the first! If the assumption that materialism can 
use comp to explain consciousness in fact leads to the absurd conclusion you describe, 
then materialism *cannot* use comp to explain consciousness, well or otherwise.


The trouble is, there are a lot of nuances that tend to obscure the logical steps of the 
argument, particularly in assumptions about the scope of "reasonable" explanation. Brent 
and others point to parallel accounts of neural activity and conscious self-reporting 
and ask "what more could be required in the way of explanation?". AUDA may indeed give a 
clue to the direction in which explanation could be extended, beyond ostensive 
parallelism of this kind, particularly with respect to the central logical puzzles of 
mutual reference between 1p and 3p regimes. But this would require us to relinquish any 
prior commitment to primitive materialist assumptions.


There are no such commitments - just requests that other theories meet the same standards 
of empirical prediction.




My recent forays into thought experiment have been an attempt to articulate my own 
(still persisting) intuitions about the intrinsic limitations of reductionist 
explanation under strictly materialist assumptions (i.e. without either tacit or 
explicit reliance on supernumerary posits). ISTM that one of the problems in reaching 
any kind of stable agreement (or even disagreement) on these issues is equivocation over 
the terms of reference. Consequently I've tried to make my own view of the reductionist 
assumption clear: i.e. that explanation of phenomena at any level whatsoever can in 
principle be reduced without loss to accounts of the action of a finite class of 
"primitive" physical entities and relations. Of course, this tends to lead to 
disputation over the sense of "without loss", but I'll come to that in due course.


But you assume a cartoon version of reduction to "primitive physical entitities".  You 
seem to envision the atoms of Democritus.  If you read some modern physics you'll find 
that (as Bruno sometimes points out) primitive physical matter is never defined or even 
mentioned. Many physicists hope to base their theories on information.  Some on 'strings' 
in very abstract, 11 dimensionsal spacetime.  Some propose to make spacetime a derivative 
phenomena.  So you need to think about what exactly you are attacking as "reductionism".  
ISTM that it's any theory that doesn't take consciousness as primitive.




Stated thus baldy and strictly eschewing equivocation, reductionism entails that it is 
misleading to consider any derivative phenomenon, above the level of the chosen 
explanatory basement, as having "independent existence".


But only in a narrow sense of "independent".

Strictly speaking (and strictness is essential for the succes of the argument) such 
phenomena are both explanatorily and ontologically dispensable.


?? A good explanation must always be in terms of something understood.  We understand our 
perceptions and we infer a material world.  I think you must have some restricted concept 
of "explanatory" in mind and I think it is implicitly "explanation in terms of physical 
causation."


It's just that in extenso the proofs are a little longer! I've offered analogies in 
terms of such things as societies and football teams (you can easily supplement these 
with your own) in terms of which this consequence of reductionism is rather obvious.


But for some reason it stops being "obvious" in the matter of matter itself. On 
reflection, the reason is not so elusive: i.e. we "directly experience" such 
higher-level phenomena in an unreduced form. Hence none of us (and that includes 
Professor Dennett) can avoid the fact of encountering, and discoursing in terms of, a 
"reality" in unreduced high-level terms, even though our "best" explanations actually 
rule out the other-than-metaphorically-independent significance of any such levels.


Now you mix in "significance" - having value or standing in place of something?

If you doubt the degree of cognitive dissonance this engenders, consider the general 
tenor of disputes over "free will".


This is the point at which the parallel with any other reductionist analogy breaks down. 
Nobody would seriously claim, beyond a manner of speaking, that football teams amount to 
anything other than the aggregate action of the persons that constitute them. But on the 
other hand almost everyone (pace Daniel Dennett) would claim direct access to a reality 
that is something (even if we can't agree exactly what) that is, at least, categorica

Re: New study confirms importance of astrocytes a type of glial cells in the formation of object memories.

2014-07-30 Thread 'Chris de Morsella' via Everything List
For those interested in new developments in brain science.

In a study published July 28 in the Proceedings of the National Academy of 
Sciences, Salk Institute for Biological Sciences researchers have found that 
brain cells called astrocytes — not neurons — can control the brain’s gamma 
waves.



Abstract from PNAS paper
Glial cells are an integral part of functional communication in the brain. Here 
we show that astrocytes contribute to the fast dynamics of neural circuits that 
underlie normal cognitive behaviors. In particular, we found that the selective 
expression of tetanus neurotoxin (TeNT) in astrocytes significantly reduced the 
duration of carbachol-induced gamma oscillations in hippocampal slices. These 
data prompted us to develop a novel transgenic mouse model, specifically with 
inducible tetanus toxin expression in astrocytes. In this in vivo model, we 
found evidence of a marked decrease in electroencephalographic (EEG) power in 
the gamma frequency range in awake-behaving mice, whereas neuronal synaptic 
activity remained intact. The reduction in cortical gamma oscillations was 
accompanied by impaired behavioral performance in the novel object recognition 
test, whereas other forms of memory, including working memory and fear 
conditioning, remainedunchanged.
 These results  support a key role for gamma oscillations in recognition 
memory. Both EEG alterations and behavioral deficits in novel object 
recognition were reversed by suppression of tetanus toxin expression. These 
data reveal an unexpected role for astrocytes as essential contributors to 
information processing and cognitive behavior.

-- 
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.


Re: John Searle on consciousness

2014-07-30 Thread Russell Standish
On Wed, Jul 30, 2014 at 03:13:01PM +0200, Platonist Guitar Cowboy wrote:
> 
> Better than to keep reacting like monkey to his post, which I do, would be
> imho for the list to focus on precise prerequisites, exercises, reading
> lists to get firmer grasp of AUDA, and make that more universally
> accessible than perhaps overemphasizing Step 7 and MGA.
> 

I don't think step 7 and the MGA have been overemphasised at all -
although step 3 has been done to death it seems.

The MGA, in particular, is very subtle. I think I have now found a way
of coming to grips with it, and it is a little different to the usual
precis given here. Fundamentally, computational supervenience (which
requires counterfactual correctness, a factor often overlooked in the
summaries) is incompatible with physical supervenience, but only in a
single universe, not a multiverse. Since physical supervenience is
well supported empirically (something JC has banged on a bit about, as
well as Brent), the only way of rescuing computational supervenience
is to insist that we do, in fact, live in a multiverse. But that multiverse
entails the universal dovetailer, or at least enough of it to emulate
consciousness, which suffices to get the reversal result of step 7.

I'm in process of writing this up as a paper, which I'll hopefully
post to this list in the next week or so to be shredded by the
denizens here.

On another note, I've done a calculation of the observer moment
measure given by the universal dovetailer, which shows that the
measure is indeed independent of the chosen reference machine, as we
widely suspected, and hopefully might be comparable with
Solomonoff-Levin's universal prior. More likely, it might be compared
with the Bayesian probability after an infinite number of updates.

Not sure if it belongs in the above paper, as it is necessarily more
technical, but I'll post that to this list in one form or other soon.

But I'm happy for there to me more discussion of the AUDA too :) The
underpinnings of that theory still seem rather weakly motivated for
me, as opposed to being mandated by computationalism.


-- 


Prof Russell Standish  Phone 0425 253119 (mobile)
Principal, High Performance Coders
Visiting Professor of Mathematics  hpco...@hpcoders.com.au
University of New South Wales  http://www.hpcoders.com.au

 Latest project: The Amoeba's Secret 
 (http://www.hpcoders.com.au/AmoebasSecret.html)


-- 
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.


Re: John Searle on consciousness

2014-07-30 Thread John Clark
On Wed, Jul 30, 2014 at 4:05 AM, Bruno Marchal  wrote:

 > you confuse comp and its consequence.
>

And you confuse your made-up word "comp" with the English word
"computationalism".

> a rather systematic confusion of first person and third person.
>

Oh yes, the world is full of people who are confused by the extremely
subtle difference between the words "I" and "him".

  John K Clark

-- 
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.


Re: John Searle on consciousness

2014-07-30 Thread John Clark
On Wed, Jul 30, 2014 at 12:22 AM, Kim Jones  wrote:

> Comp is obviously going to mean different things to different people
>

Yes and that's exactly the trouble!  In contrast computationalism means the
same thing for everybody, a useful property for a word to have if it is to
be used for communication.  Computationalism means that thinking is a form
of computing. But as you said nobody knows what "comp" means, therefore all
we know for certain is that "comp" is NOT short for computationalism.

  John K Clark

-- 
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.


Re: John Searle on consciousness

2014-07-30 Thread John Clark
On Tue, Jul 29, 2014 at 5:51 PM, LizR  wrote:

> Suppose for the sake of argument that in order to be conscious, people
> needed a Descartes-style spirit to be attached to their brains.
>

Then changes in the Descartes-style spirit changes the material world and
changes in the material world changes the Descartes-style spirit; so why do
you call this thing a "spirit"? What exactly makes it more unmaterial than
an electron or a photon or even a baseball?

> Then materialism would explain the experiences that this spirit had, but
> not the existence of consciousness itself, which by hypothesis requires
> this supernatural extra.
>

The sequence of "what explains that?" questions either comes to a end or it
does not. If it does come to a end then we might as well stop with
consciousness because the God hypothesis adds nothing new and is just a
useless complication, therefore we conclude that consciousness is
fundamental and thus after saying that consciousness is the way data feels
like when it is being processed there is simply nothing more that can be
said on the subject.

On the other hand if the sequence of "what explains that? questions never
comes to a end then the next element in the sequence is obviously "what
explains God?". Either way the God hypothesis adds nothing.

>> I can't comment on that, "comp" means whatever Bruno wants it to mean,
>> and that changes from day to day.
>>
>
> > Here I respectfully disagree, he seems more or less consistent to me,
> give or take the odd ambiguity due to English not being his first language.
>

If Bruno is not fluent in English then he has no business inventing a new
English word. Bruno claims that "comp" is just short for computationalism
but I don't think even Bruno really believes that, if he did he could avoid
all this by simply adding a few extra letters but he knows he can't do that
because he is constantly saying things like "according to comp X is true"
when computationalism is saying nothing of the sort. Therefore Bruno has no
choice but to invent a new word in a unfamiliar language that means
whatever he wants it to mean.


> > But I have to admit that I have yet to grok comp in its entirety.
>

That is to your credit because there is no there there to grok

  John K Clark

-- 
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.


Re: CTM and the UDA (again!)

2014-07-30 Thread David Nyman
On 29 July 2014 18:41, Bruno Marchal  wrote:

It is thought as a reductio ad absurdum. If consciousness supervenes on the
> physical activity, then it supervenes on the movie, But there is no
> computation in the movie, only a description of a computation, so
> consciousness does not supervene on the physical activity of the brain, it
> supervenes "directly" on the "abstract self-referential number relation
> with themselves and with respect to their most probable universal
> neighbors, from your laptop to gravitation and many others.


Yes, that is the only possible move to salvage CTM. But one isn't forced to
take this second step. One could claim that, since there is no computation
in the movie, CTM is thereby falsified. But, since Alice's overt behaviour
and hence her relation to her environment are by assumption unchanged, it
might not be unreasonable to suppose that her consciousness continued to
supervene on the physical activity. Of course a claim of that sort could no
longer be "qua computatio", but in some sense "qua materia". It's unclear
how such a position could be distinguished from eliminativism about
consciousness (at least, pace Brent, elimination of the possibility of
*explanation* beyond physical parallelism), but it isn't prima facie
incoherent.

That apart, at this point in the argument, assuming one accepts the
reversal and salvages CTM, some things are still not quite clear (at least
to me). For example let's now assume that Alice remains conscious at the
conclusion of the thought experiment, qua computatio. What is the nature of
the relation between her observable brain processes and the computations
that are supposed to be associated with her consciousness? And what is the
relation between what is observable in general and any deeper level we may
suppose to be reponsible for it? I tried to develop some intuition about
this latter point with an analogy based on the distinction between an LCD
screen and the movies that could be presented on it (though unfortunately
it seems as if this may have got mixed up in your response with the movie
in the MGA).

In any case, in my analogy, all the characters and action at the level of
the movie are of course generated at the deeper level of a rendering engine
(which I rather inaccurately called the level of the screen). Now let's
assume that this movie is some futuristic, fully-immersive,
self-interpreting presentation. For the analogy to hold, the "physical
constitution" of the embedded characters and environments must be fully
consistent both with the action at the level of the movie and the
self-interpretation of the characters. Nonetheless all these internal
"observations" and "observables" are a consequence of a deeper level of
"rendering", which itself has no necessity of isomorphism with anything at
the level of observation. Does the idea of such a level (which must of
course be "noumenal" or unobservable in principle with respect to the
"level of internal observation") still make any sense in comp terms?

David

-- 
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.


Re: John Searle on consciousness

2014-07-30 Thread Platonist Guitar Cowboy
On Wed, Jul 30, 2014 at 10:20 AM, Quentin Anciaux 
wrote:

>
>
>
> 2014-07-29 16:30 GMT+02:00 John Clark :
>
> On Mon, Jul 28, 2014 at 7:22 PM, LizR  wrote:
>>
>>  >>> whatever a computer does is "just" the movement of electrons around
> circuits
>

 >> And whatever a human brain does is "just" the movement of molecules
 and ions around neurons. That word  "just"  sure covers a lot!

>>>
>>> > Hence the quote marks. Don't worry I "just" love being quoted out of
>>> context.
>>>
>>
>> I wasn't trying to criticize you, I understand that you were using the
>> word "just" in the same way I was.
>>
>>  > If that proves a computer can't be conscious then it also proves that
 humans aren't conscious; and except for me maybe that's the case.

>>>
>>> > It supposedly proves that the materialist paradigm doesn't explain
>>> consciousness
>>>
>>
>> Then it also explains why a human being can never be conscious, but I
>> know for a fact that at least one human being is. And if changing the
>> material in my brain changes my consciousness (and it most certainly does)
>> and changes in consciousness changes the material in my brain (and it most
>> certainly does) then in what sense does materialism fail to explain
>> consciousness?
>>
>> > according to comp
>>>
>>
>> I can't comment on that, "comp" means whatever Bruno wants it to mean,
>> and that changes from day to day.
>>
>>
> Sure Liar Clark... as said a million times now, comp is a shorthand for
> *computationalism* and it has always meant that... and always will... the
> only retarded changing the meaning day to day is you.
>

I applaud your firmness on this as his tireless repetition has the same
effect as spam/advertising sensationalism... regardless of the vacuity, you
just start singing the jingle in your head. The leaders of the chart on
this list are:

1) Wow, calling a guy known for disliking religion religious, never heard
that one before, at least I never heard it before I was 12.

2) There is nothing in step 3  to understand.

3) (Some final personal attack to distract from discussion closing the
post, like:) Bruno Marchal is not a logician.

The repetition is low resolution brainwash.

I appreciate a lot John Clark's contributions on astrophysics and that he
engages UDA up to step 3 however, but I think everybody can see why his
"arguments" always culminate in personal attack.

Better than to keep reacting like monkey to his post, which I do, would be
imho for the list to focus on precise prerequisites, exercises, reading
lists to get firmer grasp of AUDA, and make that more universally
accessible than perhaps overemphasizing Step 7 and MGA.

Yes, I know everybody comes at it from differing background, but AUDA with
more generalized, clear sequence of pedagogical felicity conditions would
be cool. I know it's out there in bits and pieces in different threads; but
to bundle and focus it would be nice.

It would be a fine step forward, if the list and Bruno could advance on
sharing these kinds of questions, "just do it" style, instead of servicing
the meta spam and droning on about UDA, Step 7 and MGA. Maybe resurrecting
an old thread that I haven't seen could stop having to start from scratch.
Just my virtual 2 cents. Apologies for length, but not much time :-) PGC

-- 
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.


Re: One in the eye for Hoyle?

2014-07-30 Thread David Nyman
On 30 July 2014 00:26, LizR  wrote:

And there I was worrying about CERN destroying the world


Yeah, I was careful to take this shot on a long lens!

David

-- 
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.


Re: John Searle on consciousness

2014-07-30 Thread David Nyman
On 30 July 2014 09:03, Bruno Marchal  wrote:

I think (maybe pace David) that materialism explains well consciousness, by
> using comp. The problem is that such explanation makes *matter*
> incomprehensible.


Well I must confess I'm not entirely pacified yet. Surely the whole point
is that if the second sentence is true it contradicts the first! If the
assumption that materialism can use comp to explain consciousness in fact
leads to the absurd conclusion you describe, then materialism *cannot* use
comp to explain consciousness, well or otherwise.

The trouble is, there are a lot of nuances that tend to obscure the logical
steps of the argument, particularly in assumptions about the scope of
"reasonable" explanation. Brent and others point to parallel accounts of
neural activity and conscious self-reporting and ask "what more could be
required in the way of explanation?". AUDA may indeed give a clue to the
direction in which explanation could be extended, beyond ostensive
parallelism of this kind, particularly with respect to the central logical
puzzles of mutual reference between 1p and 3p regimes. But this would
require us to relinquish any prior commitment to primitive materialist
assumptions.

My recent forays into thought experiment have been an attempt to articulate
my own (still persisting) intuitions about the intrinsic limitations of
reductionist explanation under strictly materialist assumptions (i.e.
without either tacit or explicit reliance on supernumerary posits). ISTM
that one of the problems in reaching any kind of stable agreement (or even
disagreement) on these issues is equivocation over the terms of reference.
Consequently I've tried to make my own view of the reductionist assumption
clear: i.e. that explanation of phenomena at any level whatsoever can in
principle be reduced without loss to accounts of the action of a finite
class of "primitive" physical entities and relations. Of course, this tends
to lead to disputation over the sense of "without loss", but I'll come to
that in due course.

Stated thus baldy and strictly eschewing equivocation, reductionism entails
that it is misleading to consider any derivative phenomenon, above the
level of the chosen explanatory basement, as having "independent
existence". Strictly speaking (and strictness is essential for the succes
of the argument) such phenomena are both explanatorily and ontologically
dispensable. It's just that in extenso the proofs are a little longer! I've
offered analogies in terms of such things as societies and football teams
(you can easily supplement these with your own) in terms of which this
consequence of reductionism is rather obvious.

But for some reason it stops being "obvious" in the matter of matter
itself. On reflection, the reason is not so elusive: i.e. we "directly
experience" such higher-level phenomena in an unreduced form. Hence none of
us (and that includes Professor Dennett) can avoid the fact of
encountering, and discoursing in terms of, a "reality" in unreduced
high-level terms, even though our "best" explanations actually rule out the
other-than-metaphorically-independent significance of any such levels. If
you doubt the degree of cognitive dissonance this engenders, consider the
general tenor of disputes over "free will".

This is the point at which the parallel with any other reductionist analogy
breaks down. Nobody would seriously claim, beyond a manner of speaking,
that football teams amount to anything other than the aggregate action of
the persons that constitute them. But on the other hand almost everyone
(pace Daniel Dennett) would claim direct access to a reality that is
something (even if we can't agree exactly what) that is, at least,
categorically distinct from any description of the aggregate action of the
material processes of the brain. The same distinction, however, can't be
claimed for "computation", on the assumption of material reduction. Just as
in the case of the football team no instance of computation can escape
reduction to material tokens that have been contrived, under suitable
interpretation, to embody the necessary physical action.

There isn't even the saving grace that we directly perceive computation in
unreduced form. What we actually perceive are macroscopic physical devices
that, by assumption, produce all their effects entirely in terms of basic
material processes that are fully subject to reductive explanation. Every
explanation we give in terms of computation can in principle be replaced
without loss by a description of a physical process. This is the underlying
reason that Alice's net behaviour can persist unaltered even after
disruption of any putatively "computational" organisation of her brain.
Under physicalist assumptions, Alice is first, last and always a physical
device. Indeed, were that not the case, it would be difficult to see how
any "physical computer" could ever be manufactured! On this analysis then,
it can hardly be coherent to claim that any 

Re: John Searle on consciousness

2014-07-30 Thread Quentin Anciaux
2014-07-29 16:30 GMT+02:00 John Clark :

> On Mon, Jul 28, 2014 at 7:22 PM, LizR  wrote:
>
>  >>> whatever a computer does is "just" the movement of electrons around
 circuits

>>>
>>> >> And whatever a human brain does is "just" the movement of molecules
>>> and ions around neurons. That word  "just"  sure covers a lot!
>>>
>>
>> > Hence the quote marks. Don't worry I "just" love being quoted out of
>> context.
>>
>
> I wasn't trying to criticize you, I understand that you were using the
> word "just" in the same way I was.
>
> > If that proves a computer can't be conscious then it also proves that
>>> humans aren't conscious; and except for me maybe that's the case.
>>>
>>
>> > It supposedly proves that the materialist paradigm doesn't explain
>> consciousness
>>
>
> Then it also explains why a human being can never be conscious, but I know
> for a fact that at least one human being is. And if changing the material
> in my brain changes my consciousness (and it most certainly does) and
> changes in consciousness changes the material in my brain (and it most
> certainly does) then in what sense does materialism fail to explain
> consciousness?
>
> > according to comp
>>
>
> I can't comment on that, "comp" means whatever Bruno wants it to mean, and
> that changes from day to day.
>
>
Sure Liar Clark... as said a million times now, comp is a shorthand for
*computationalism* and it has always meant that... and always will... the
only retarded changing the meaning day to day is you.

Quentin


>   John K Clark
>
>
>  --
> You received this message because you are subscribed to the Google Groups
> "Everything List" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to everything-list+unsubscr...@googlegroups.com.
> To post to this group, send email to everything-list@googlegroups.com.
> Visit this group at http://groups.google.com/group/everything-list.
> For more options, visit https://groups.google.com/d/optout.
>



-- 
All those moments will be lost in time, like tears in rain. (Roy
Batty/Rutger Hauer)

-- 
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.


Re: John Searle on consciousness

2014-07-30 Thread Bruno Marchal


On 29 Jul 2014, at 16:30, John Clark wrote:


On Mon, Jul 28, 2014 at 7:22 PM, LizR  wrote:

>>> whatever a computer does is "just" the movement of electrons  
around circuits


>> And whatever a human brain does is "just" the movement of  
molecules and ions around neurons. That word  "just"  sure covers a  
lot!


> Hence the quote marks. Don't worry I "just" love being quoted out  
of context.


I wasn't trying to criticize you, I understand that you were using  
the word "just" in the same way I was.


> If that proves a computer can't be conscious then it also proves  
that humans aren't conscious; and except for me maybe that's the case.


> It supposedly proves that the materialist paradigm doesn't explain  
consciousness


Then it also explains why a human being can never be conscious, but  
I know for a fact that at least one human being is. And if changing  
the material in my brain changes my consciousness (and it most  
certainly does) and changes in consciousness changes the material in  
my brain (and it most certainly does) then in what sense does  
materialism fail to explain consciousness?


> according to comp

I can't comment on that, "comp" means whatever Bruno wants it to  
mean, and that changes from day to day.


Comp has the same meaning since day one on this list. I told you  
already that you confuse comp and its consequence. It is up to you to  
explain why you think we can avoid those consequences. Up to now, your  
"refutation" is based on a rather systematic confusion of first person  
and third person. You have not replied to my last detailed explanation  
of this.


Bruno





  John K Clark



--
You received this message because you are subscribed to the Google  
Groups "Everything List" group.
To unsubscribe from this group and stop receiving emails from it,  
send an email to everything-list+unsubscr...@googlegroups.com.

To post to this group, send email to everything-list@googlegroups.com.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.


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



--
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.


Re: John Searle on consciousness

2014-07-30 Thread Bruno Marchal


On 29 Jul 2014, at 01:22, LizR wrote:


On 29 July 2014 02:35, John Clark  wrote:
On Sun, Jul 27, 2014 at 5:55 PM, LizR  wrote:

> I think he falls into the same camp as Fred Hoyle - someone who  
manages to get something completely wrong


Fred Hoyle's Steady State Theory started out as a perfectly  
respectable scientific idea, it turned out to be false but that's  
OK, it happens to the best of us.


However he also stuck to it even when the evidence to the contrary  
was completely overwhelming. But I don't think the cosmologists and  
astrophysicists interviewed by Nigel Calder were ONLY talking about  
the Steady State. The "prove Fred wrong" meme involved a number of  
ideas - and "Violent Universe" was published in the early 70s, or  
around then, so it was most likely to do with other cosmological  
ideas, since I'm pretty sure that was before Sir Fred decided AIDS  
came from space and evolution was like a typhoon in a junkyard, and  
so on. (And it was when he was still writing decent SF.)


> whatever a computer does is "just" the movement of electrons  
around circuits


And whatever a human brain does is "just" the movement of molecules  
and ions around neurons. That word  "just"  sure covers a lot!


Hence the quote marks. Don't worry I "just" love being quoted out of  
context.


If that proves a computer can't be conscious then it also proves  
that humans aren't conscious; and except for me maybe that's the case.


It supposedly proves that the materialist paradigm doesn't explain  
consciousness, according to comp. Personally I have yet to be  
convinced (hence those damn quote marks.)



I think (maybe pace David) that materialism explains well  
consciousness, by using comp. The problem is that such explanation  
makes *matter* incomprehensible. The problem is that with comp,  
materialism is no more able to explain matter. Even assuming matter  
(making it primitive) do no more work. Matter can only be explained by  
a measure on all computations, and this, when translated in math,  
seems to lead to the quantum, making the quantum a conceptual  
confirmation of comp. The quantum appears as a the digital seen by the  
machine internal to arithmetic.


Bruno






--
You received this message because you are subscribed to the Google  
Groups "Everything List" group.
To unsubscribe from this group and stop receiving emails from it,  
send an email to everything-list+unsubscr...@googlegroups.com.

To post to this group, send email to everything-list@googlegroups.com.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.


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



--
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.