Re: Memes are Interactors - Long

John Wilkins (wilkins@wehi.edu.au)
Wed, 15 Apr 1998 12:50:05 +1000

Date: Wed, 15 Apr 1998 12:50:05 +1000
From: John Wilkins <wilkins@wehi.edu.au>
Subject: Re: Memes are Interactors - Long
To: memetics@mmu.ac.uk

NOTE TO THE READER: Attributions are getting hard to follow, not helped by
my inability to properly format. I've snipped heavily on the assumption
that anyone still interested will know the context or can look it up. This
is very long, but don't worry, I'll return to lurking after this and we can
all get back to real discussions. In what follows, I'm JSW, and he's AL
(Aaron Lynch).

| From: Aaron Lynch <aaron@mcs.net>
| Date: Sun, 12 Apr 1998 17:37:43 -0500
| Subject: Re: Memes are Interactors
|

JSW
| >So, you agree with me that (as I first said, correcting for a typo) "the
| >physical systems in which information is stored degrade as a function of
| >thermodynamic entropy", that is, the systems degrade due to a
| >thermodynamic effect. This is not a different point but a restating of
| >the same point. Note that I do not specify what sort of entropic change.
|
AL
| If you are going to use the quantity entropy (S), and refer to "a
function
| of entropy," then you should define that function, which you cannot do
| without specifying the system under study. (You should also specify how
| entropy is added or removed from a system.) The comments you make do not
| even characterize whether error rates or "degradations" increase or
| decrease with entropy at the entropy level of 100 Joules/Kelvin for some
| particular system. Bear in mind that separating all the elements in your
| microprocessor into pure crystals of elements at nearly absolute zero
| temperature is a vast reduction in entropy in the processor's matter, but
| most people would consider this to be a functional "degradation." If you
| cannot use the quantity S properly, I suggest dropping the term "entropy"
| from your discussion instead of using it in a vague, almost meaningless
| manner. (I already disregarded the typo.) If we start accepting vague
| misuses of the term "entropy," then we are unwittingly supporting similar
| fallacies by the "scientific creationists," and others.
|
OK, I'll restate my view once more without the term. Changes in information
content of messages - memetic or otherwise - are an inevitable result of
physical processes, including thermodynamic agitation [which is a function
of entropic change, according to Brillouin]. This is distinct from intropy.
Noise introduced into the information channel creates novel variation on
which selection can act.

AL
| You are clearly one who prefers a rewriting the definition of "meme"
| >in a
| >| way directly contradictory to Dawkins and others. To my thinking, the
| >way
| >| you have done this is akin to rewriting the definition of "gene" to
| >refer
| >| to information stored and transcribed in all sorts of physical systems
| >| other than nucleic acid, (or, more generally, whatever an organism's
| >| "genetic material" may be.) This being the case, it is worth noting
| >that a
| >| great enough reduction in the thermodynamic entropy of your computer
| >will
| >| also wipe out all of the information that makes the device useful to
| >you.

JSW
| >Is this a rewriting of Dawkins? In his "Replicators and Vehicles" (1982)
| >he states, in response to Gould's criticism of the selfish gene
| >metaphor, that
| >
| > A replicator may be defined as any entity of which copies are made. ...
<snip>
| > the basis of their selection. [1984 version: 163, 164]
| >
| >Now here we have all the elements of my own definition implicitly or
| >explicitly stated back in 1982. Dawkins says that replicator size is
| >arbitrary, replicators are information not nucleotides, the Williams
| >definition is the basis for memes, behaviour/artifact (note: not just
| >brain structures store memes, a point made by Brillouin 25 years
| >earlier) is the phenotype.
|
| Dawkins treats genes as information whose instantiation locus is (on this
| planet) nucleic acids. They are information, not nucleotides, but they
are
| defined not as just any information, but information whose physical
| substrate (instantiation locus) is nucleic acids. Thus, a videocassette
of
| "Titanic" does not contain "genes." Dawkins (1982) is also explicit that
| the instantiation locus of the information called "memes" is the brain.
He
| uses the term "replicator" as a more general term than either "genes" or
| "memes."

Yes it obviously is, and that is how I used it, I believe. You introduced
the claim that I make genes non-nucleotidal, but all I was doing was
showing that Dawkins makes replicators a superset of nucleotides (have you
read Jablonka and Lamb's attempt to reintroduce non-nuclear inheritance,
BTW? If it is faux biology it is very well presented faux biology.). Of
course memes are not genes, nor are genes anything but nucleotide polymers
of some kind.

But it was Williams who makes *evolutionary* genes cybernetic abstractions,
and in this Dawkins is explicitly following him, and so am I. For instance,
this is why Ghiselin's recent attack on Dawkins is wrong, I think, when he
complains that Dawkins is faced with a reductio over deletions being genes
(Ghiselin 1997: 144-147). If the selective context is the background of the
functionality of genes in a population, then a deletion is information
relative to that context, not a loss of information (although it can be
that as well). A nonbiological example: I remove the rule that one can
castle in chess. That has all sorts of ramifications for defensive
strategies, and will favour those players who do not rely on it, at least
in the 'burbs. The *loss* of a permitted move is information about the
game.

JSW
| >Apart from my insistence in a forthcoming Biology and Philosophy paper
| >that some memes at any rate are particulately inherited, Dawkins and I
| >are saying exactly the same thing. That is not revisionism but
| >explication.

AL
| Disagreed, with respect to the instantiation locus (by definition) of
| memes. See The Extended Phenotype, p. 109.

The Dawkins quote I gave explicitly introduces artifacts. Dawkins
prevaricated a bit early on over replicator substrates. Hull, Plotkin,
Cziko, RJ Richards, and a number of others (but not Dennett, in a talk I
attended) have accepted that selection occurs not on naked memes but on
their effects and so did Dawkins. Whether they are instantiated wholly in a
given central nervous system (CNS) or not is irrelevant. Why can a meme not
be distributed over a number of CNSs? And if it can be stored there, why
not in the relations between CNSs? And if there, why not in intermediate
physical objects (such as books, recordings or a particularly fine example
of Ming dynasty porcelain)? If, and I have given reasons why I do not think
he does, but if Dawkins restricts memes to brain states (as Delius 1991
did), then he is wrong, in my view. Information can be stored in a number
of systems and not all of them are hydrocarbon-based dissipative structures
:-)

<snip>
AL
| >| The main pseudoscientists and charlatans I allude to, of course, are
| >the
| >| ones who attempt to invoke the second law of thermodynamics as an
| >argument
| >| against biological evolution. Naturally, I would rather not see
| >erroneous
| >| "second law" arguments emerging in memetics.
JSW
| >
| >I entirely agree with this. I'm a talk.origins denizen, and can testify
| >to the ubiquity of thermodynamic mumbo-jumbo by anti-evolutionists.
| >However, that's entirely different from stating the truism that
| >thermodynamics introduces noise. I never made any claim about novelty
| >being the result of either an increase or decrease in entropy. Novelty
| >is the result of changes in entropy relative to the prior state.
AL
|
| Unless you define a quantity "novelty" for some system and explain its
| relationship to the to the entropy of that system, I recommend leaving
the
| term out of your discussion. The term "entropy" may sound sophisticated,
| and may even cause "physics envy" in social scientists, but I do not yet
| see any scientific advantage to the above usage. We need to set the best
| possible examples for the talk.origins crowd.

Do I need to do this a priori, or can I have some time to formulate it? As
it happens, I do have a conception of novelty as the degrees of freedom
permitted to a system that it has not yet attained. The relevant reference
is M Boden's 1991 book on creativity (I do not have the full ref to hand
right now). Anyway, the last thing I want to do is excite physics envy.
It's enough that social scientists have rarely attempted to assuage their
biology envy, or even acquire it in the first place.

AL
| >| Section 12 of my paper does mention that full ordering systems are
| >easily
| >| constructed for texts and nucleic acids. But in [order] to ever
| >consider
| >| brain-stored information (memory items) as memes, you would need a
| >full
| >| ordering system for them before incorporating a "least units" phrase
| >in the
| >| definition.

JSW
| >Why "for them", that is, for brain states?

AL
| The full ordering system is, of course, needed for any medium for which
you
| wish to identify "least units" of sociocultural information. My above
| sentence is intended to call attention specifically to brain-stored
| information.

JSW
| > ...How information is stored is
| >not relevant - how information is expressed and transmitted is. That's
| >what makes a replicator. There is a category error in identifying brain
| >states with concepts that is well known in the philosophy of mind. Apart
| >from anything else, how a brain state is located in a context determines
| >its meaning.

AL
| I was discussing brain-stored information rather than offering an
| identification of brain states with concepts. Nevertheless, how
information
| is stored is relevant to many things. For those interested in
| thermodynamics (for instance), it is worth noting that the thermodynamics
| of storage in an "active" system such as vacuum tube or CMOS flip flops,
or
| a system of neurons, is quite different from the thermodynamics of
storage
| in a "passive" system like a diskette. You yourself use differing
| terminology for information stored in nucleic acids versus socioculture.
| Within categories, there are also consequential differences between media
| of storage. Storage of information in a cell's RNA has different
| consequences from storage in the cell's DNA. Just when a difference of
| medium warrants a difference in nouns is perhaps partly a matter of
taste,
| but Dawkins coined "meme" to refer to information in a specific kind of
| medium--namely, brains. Scientists do have a right to name subclasses of
| phenomena, including subclasses of cultural information.

And they - or at least charlatan pseudoscientist philosophy writers - have
a right to revise or extend them, or should "gene" still be restricted to
Mendelian factors, or better, should "allelomorph" ("allele") still refer
to _acquired_ hereditary information?

Information that cannot be expressed and implemented is not information but
mere structure or organisation. By the same token, if cultural information
can be stored in a number of heterogenous physical systems from CNSs to
networked computer systems, we cannot either identify that information with
any given physical instantiation, or expect to find some common way to
compare that diversely stored and expressed information at any level *other
than* the level it gets expressed at.

What counts as a meme is what gets differentially transmitted in some
common language or conventional protocol. "Meme" is a supervenient property
(or entity, I'm vascilating), not a reductive property. So all (!) we must
do, to track memes, is find some way to represent that information that
allows us to measure the selection coefficient (and of course drift). I do
not attempt to specify that ordering system because I expect that there
will not be just one.

AL
| The inter-medium transfer of information (e.g., brain to paper, paper to
| brain) is of course important in replication. This does not, however,
mean
| that there needs to be a complete instantiation of a replicator in
multiple
| media. Even using a medium-neutral definition for a computer virus, for
| instance, does not mean that a cable connecting two computers can ever
hold
| an entire copy of the virus, (unless the cable is very long and/or the
data
| rate very high). Likewise, a telephone wire generally will not contain an
| entire instantation of a spoken word, even taking a medium-neutral sense
of
| the term "word" into account.

If I understand you, you are saying that memes need not be stored in a
single brain. Which was to be demonstrated...

<snip>

AL
| >| As for finding competitors, contrary beliefs are often good examples
| >of
| >| memes that compete in a population. Beliefs that "abortion is murder"
| >and
| >| "abortion is a right," for instance, propagate as contrary
| >competitors.

JSW
| >
| >It is circular to argue that we can identify alleles in order to find
| >alleles.
|

AL
| Fortunately, I do not do this. Unlike the medium of nucleic acids, the
| medium of brain storage allows for certain pieces of information to be
| "contrary" to other pieces. Definitions of "meme," for instance. The
brain
| is not isomorphic to the gene-locus scheme of chromosomes, nor to
plasmids
| for that matter.

No, and I do not expect that they will be, but I do think that there is a
heterogenous class of phenomena - replicators - that get replicated in ways
that are dynamically similar. Some are nucleotides, and some of those are
nonnuclear, while others are messages transmitted between and among CNSs.
[Before a reader asks, a heterogenous class is like a polythetic set in
taxonomy or a cluster concept in philosophy of language... (qv "family
resemblance").]

JSW
| That these things propagate in competition is something you can
| >only find out if you can first individuate them, and you cannot assume
| >that this is unproblematic, as your definition seems to do. This is
| >analogous to the same problem in systematics between phenetics and
| >cladistics. The choice of phenotypic traits ("phenes") was quite
| >subjective in phenetics if it wasn't based on theroretical
| >considerations, and that's what sank it in the end, although many of the
| >techniques survive.

AL
| There are various empirical ways to observe that the belief that
"abortion
| is a right" propagates in competition to the belief that "abortion is
| murder." A very low frequency of simultaneous instantiation (mainly in
| those who view murder--not just killing--as a right), coupled with data
| showing inversely related fluctuations in adherent populations would
| constitute significant evidence.

And you are observing what? Behavioural regularities or semantic
equivalences. If the former, you are in the behaviourist dilemma unless you
can specify what behaviour signifies something relevant, and if the latter
you are in Quine's "gavagai" dilemma for the same reason. Radical
underdetermination of the significance of behaviour and language means that
you have *already* assumed some common way to identify the "propositions"
that count as memes if you are doing this. To say that there are
"empirical" ways is just to say that you have made your (subjective, or at
best relative and still question-begging) decision as to how to represent
those memes.

Think about a simple case: the observance of a solstice like Easter
(apropos the season, and the reason why I can wax so prolix - from today
it's back to short snippets). When is the observance of the spring solstice
the "same" memeplex? When there is some influence shared by two cultures
(identity of descent) I would suggest. If the pre-Columbian Incas observed
it, that counts as convergence not homology. But what "empirical" features
of either festival show this? Not the season, nor even the crop rituals
(which tend to be similar the world over), but the cultural content, which
you must already be able to individuate.

AL
| >| I do not see you offering any method to distinguish a "size"
| >difference
| >| between (for example) the the idea that people represent with the
| >phrase
| >| "abortion is murder" and the idea that people represent with the
| >phrase
| >| "abortion is mortal sin" even within a single brain, let alone between
| >| brains. Nothing you say below solves this problem either. You need to
| >| develop the ordering system not just for textual information, but also
| >for
| >| brain information before treating information unit sizes as knowable
| >within
| >| a definition of "meme." It would also help if you could choose a
| >| non-arbitrary ordering system, which for text would include such
| >| possibilities as letter counting or binary magnitudes of concatenated
| >ASCII
| >| byte values. Other reasons for not going with "size" restrictions
| >appear in
| >| my paper.
|
JSW
| >I must read it in detail. I read the draft you had on the web but
| >haven't had time to get to the full version. However, you appear to be
| >hung up on the word "size". I mean "least" in the sense of
| >"nonredundant", which was the point of the S and P example left in
| >below.

AL
| The discussion of S and P looks seriously confused, so I did not comment
on
| it before--but added just a few comments now. It seems as though you
might
| be attempting to mix the notations of set theory, prepositional calculus,
| and metric spaces, but I am not sure. I have degrees in mathematics and
| philosophy, (as well as physics), and have taken courses specifically on
| set theory, metric spaces, and symbolic logic. But I do not see a
| well-formed argument in the passage about S and P. Reasonable books on
| these subjects are "Set Theory and Metric Spaces" by Irving Kaplanski,
| University of Chicago Press, 1972; and "Symbolic Logic" by Irving M.
Copi,
| Macmillan, 1973. (Section 12 of my paper does not require all of this as
| background.)

I've read Copi, and I'll get a copy of Kaplanski some time. However, I have
no degrees in mathematics - it's one of my deepest regrets. If the argument
is not well formed, then I must rework it, sometime when I get the chance.

AL
| If you wish to discuss non-redundancy, you would probably to make
yourself
| more clear by not attempting to identify it with "least units." There are
| already others who write about least or greatest units in a sense not
based
| on redundancy. The S and P discussion does not seem to explain the
| redundancies you have in mind, however.
|
JSW
| Something is redundant if it is expressed in numerous different
| >ways.
|
AL
| I'm not sure how you plan to identify the most non-redundant units of
| sociocultural information in general (including in the brain).

It depends on the coding scheme, and would be an iterative refinement
process. I guess - and it is nothing more than a guess - that it would
start with an instance matrix of presence or absence of features (like a
cladistic instance matrix), and the coding would be varied to take into
account features encountered for the first time. In medical social research
this is called grounded theory method.

JSW
| Nonarbitrary is nice, but in the end all metrics are arbitrary in
| >the sense that an infinite number of alternate metrics are possible,
| >parsimony considerations notwithstanding. What does matter is that
| >whatever more or less arbitrary metric we do use, the comparisons are
| >objective. [Arbitrary is not a synonym for subjective.]
|
AL
| In section 12 of my paper, the full ordering system for the meme set
| S' = {A, A*B, A*B*C, A*B*C*D} is not arbitrary, given the definitions of
A,
| B, C, and D. There are not an ifinite number of orderings in this special
| subset of memes, either--just 24 possibilities. The most sensible full
| ordering for S' (given the definitions of A, B, C, and D) is A*B*C*D >
| A*B*C > A*B > A. Most sets of memes are, as I said in section 12, only
| partially ordered, however.

And as a trivial result of logic, one can make an infinite number of
orderings by adding an indefinite number of new elements. Sure, that
special subset is artificially restricted, but add a few more elements and
see what happens. This is equivalent to the problem of the number of trees
in cladistic analysis. With 3 branches and no internodal taxa there are 4
polytomous trees and 3 dichotomous trees. According to Felsenstein (1978),
with 10 branches there are 282,137,824 polytomous trees and 34,459,425
dichotmous trees. Add internodal taxa (ancestors) and it increases
accordingly. In any *real world* case you have too many items or data
points to use a simple ordering system.

JSW
| >What does behaviour X and behaviour Y have in common when they are
| >expressions of the same meme? In my paper I wrote:
| >
<snip quote...>
| >This was rather aphoristic, but the inference is that we must begin in
| >the middle (in media res), as it were, and seek to identify parts and
| >wholes. We can do this, and indeed we do it every time we evaluate an
| >expression in a natural language. We find kinds, types, classes and so
| >forth. What they have in common is some structure, which when encoded in
| >transmission becomes information, and that *can* be measured in Shannon
| >Weaver bits.
|
AL
| Information exists in the brain, not just in the transmissions on their
way
| from, to, or bypassing brains. Brain-stored information is important,
even
| if you have not found a full ordering system for it.

Of course. Did I give you the impression that I thought otherwise? In fact,
I think that being the sort of reflective cognisers we are, most cultural
information exists in this form. But not all.

JSW
| >| >A set theoretic approach requires a full understanding of
| >| >classification. One must be able to determine the set membership
| >| >criteria.

AL
| The arguments below do not identify sets. S looks like a disjunctive
| proposition.

It is, and I made that clear by saying that it is "entirely distinct" from
set membership. But as I also said when I introduced the example, if it
gets transmitted entire - that is, as a unit - then the entire unit
includes semantic content that is exclusive of P, in the sense that if you
transmit P then you do not transmit S, since a part of P is in direct
contradiction to S. I could do a modal formulation but I'd rather not -
suffice it to say that if S leaves A open as a possibility and P does not,
then they are exclusive memes. Does that clarify what I am saying?

JSW
| >| >But that is entirely distinct from determining whether one
| >| >message is commensurate with another. Moreover, there is a sense of
| >| >logical exclusion of statements in which if message A is exclusive of
| >P,
| >| >then S = (A or B or C) is exclusive of P.

AL
| The propostion (A or B or C)*(A --> not P) does not imply not P.

What is the asterisk operator here? Is this from your paper? I do not have
internet access enough to read it as yet. However, as I argue above, <>S ->
~<>P in modal terms.

JSW
| If we always transmit (A or B or C)
| >| >as a unity then S is commensurate with P, even if P is just a
| >| >simple atomic proposition like A, B and C.

AL
| This statement is unsupported, as is the alternative statement that A is
| commensurate with B. "Atomic" is not defined.

I thought that was clear as well - atomic relative to the protocol or
encoding scheme used to measure the data. This happens in ordinary science
- why is it so hard to understand in the memetic context? You choose your
way of measuring phenomena and stick to it, unless you have to refine it to
take in new cases. And "commensurate" in philsci just means that you can
compare and contrast statements or views, which Kuhn and Feyerabend was not
formally possible between competing paradigms, or, in Feyerabend's more
radical view, between theories or even disciplines. If A, B, C, P and S all
represent some coordinates in a semantic space, ie, values of parameters,
then they may be compared and contrasted, nicht wahr?

JSW
| Size doesn't matter as
| >such,
| >| >rumours to the contrary notwithstanding. What does matter is that S
| >and
| >| >P share a metric and are exclusive coordinates in that metric.

AL
| You have not defined a partial ordering, let alone a metric space, let
| alone a coordinate system.

JSW
| The
| >| >*metric* is what selection defines, in terms of what is an allele in
| >| >that population.

AL
| The meaning of this eludes me.

It is my growing opinion that we are talking right past each other, perhaps
on entirely distinct channels. However, I regret to tell you that you
haven't convinced me that anything I said was wrong, and no doubt you can
return that favour.

As of today (Wed, Aust time) I am unable to continue this discussion in
much detail, and will have to return to argumentum ad aphorism. Sorry to
anyone still listening and interested, and to the rest, well, sorry it took
so long to get here.

Refs
====

Delius J: 1991. The nature of culture. In: _The Tinbergen Legacy_ eds MS
Dawkins, TR Halliday and R Dawkins, Chapman and Hall, London.

Felsenstein J: 1978. The number of evolutionary trees. _Syst. Zool._ 27:
27-33.

Ghiselin MT: 1997. _Metaphysics and the Origin of Species_ SUNY Press,
Albany NY.

Jablonka E and MJ Lamb, 1995. _Epigenetic Inheritance and Evolution: The
Lamarckian Dimension_, Oxford University Press, Oxford UK.

Quine WVO: 1960. _Word and Object_ MIT Press, Cambridge MA.

And I cite this to back up my claims on information theory and DNA:

Schneider TD, Stormo GD and Gold L: 1986. Information content of binding
sites on nucleotide sequences. _J. Mol. Biol._ 188: 415-431.

Cheers

=======
John Wilkins
Head, Graphic Production
The Walter and Eliza Hall Institute of Medical Research
Melbourne, Australia
<mailto:wilkins@WEHI.EDU.AU><http://www.wehi.edu.au/~wilkins>

===============================================================
This was distributed via the memetics list associated with the
Journal of Memetics - Evolutionary Models of Information Transmission
For information about the journal and the list (e.g. unsubscribing)
see: http://www.cpm.mmu.ac.uk/jom-emit