^{StringJoin[False]}
Abstract
A new abstraction is introduced which enables to unify the beginnings “order” and “number” of the Calculus of Indication (CI) in George Spencer Brown’s Laws of Form (LoF). This unification is produced by the abstraction of interchangeability of the two primary beginnings of ”order” and “number”. This unification as interchangeability gets generalized in a complexion of distributed LoF, which are mapped onto the kenomic matrix. Basic functions are analyzed in respect of a distributed reentry constellations, retrograde recursivity and exemplified with enaction, succession, addition (coalition) and multiplication (cooperation) of LoF systems. As a consequence, a chiasm and diamond between the hidden difference of world and distinction is established. Memristive behaviors of the calculus are shortly mentioned.
Topics
Distinction as thematization leads to a new paradigm of thinking beyond distinction. Abstraction of interchangeability, metamorphosis of distinctions, enaction and memristive mediation of distinction systems. Dissemination of LoFs, diamondization and complementarity of distinctions and reentries. Introduction of different types of distinctions and their interaction. Early interventions by Richard H. Howe (1970) are presented.
 DRAFT  best results with Wolfram Mathematica Player, free download.
Good results: read the PDF in a Safari browser.
http://www.thinkartlab.com/pkl/media/Diamond Calculus/Diamond Calculus.nb
After well 40 years of training to deal with George Spencer Brown’s Laws of Form (LoF)it might be time to start the game again with some more lively and less dogmatic conditions than celebrated especially by people sordid to hear any whisper of a new pries from abroad of the dictate of uniform formation and distinction.
"Although all forms, and thus all universes, are possible, and any particular form is mutable, it becomes evident that the laws relating to such forms are the same in any universe. It is this sameness, the idea that we can find a reality which is independent of how the universe actually appears, that lends such fascination to the study of mathemeatics.” (George Spencer Brown, Laws of Form, 1972 edition, p. v)
The conception of calculation
1. Condensation: Two instances of the form are equivalent to one instance of the form if they are placed in the same space.
2. Cancellation: Two instances of the form are equivalent to no instance of the form alias empty space if one of the forms is the argument of the other form.
(J1) ... p; " width="317" height="136"/>
http://mathworld.wolfram.com/SpencerBrownForm.html
Who wants to be placed in the same space? It’s time to develop a calculus where things or persons, events or thoughts might be placed at different spaces, too.
Not at one place alone but at an irreducible manifold of different spaces, places, fields, arenas and whatever. Not in isolation and separation but enabled to interaction, reflection and interventions.
Spaces that are enabled to become contents and contents that are able to change to spaces.
Academically, we might distinguish between G. SpencerBrown's abstract and monocontextural formal concept of unique distinction as “perfect continence” and a more ‘qualitatively’ disseminated complexion of distinctions as “cocreative togetherness” in a polycontextural, i.e. interactional and reflectional setting.
Recall, again
"The key idea in SpencerBrown’s representation of indication is that all distinctions in their formal sense are alike, and all domains in which distinctions are performed are also alike. This gives rise to the notion of primary distinction and indicational space. We erase every qualitatively difference of the criteria of distinctions, and simply reduce them to their essential quality: generating boundary in whatever domain.” (F. Varela, Principles of Biological Autonomy, 1979, p.110)
It might be the case that “the laws relating such forms are the same in any universe” (GSB). But sameness has not necessarily to lead to uniqueness, and to a unique universe with its unique Laws of Form. Sameness might be understood, not as equality but as equivalence, and equivalence is opening up the possibility of many kinds of Laws of Form, and therefore different forms for different universes, i.e. pluri or polyverses. Logically, the polyverse approach is playing with the difference of equality (Selbigkeit) and equivalence (Gleicheit) in contrast to difference (Verschiedenheit). Spencer Brown’s Laws of Form are based on a simple unique distinction of a twosided form.
If “space is the place” of distinctions (Schiltz) we have to disseminate this space, and place it at its different places.
Hence, a more radical understanding of the category of distinction is not involved in presuppositions of “time” and “space”. Both are not pregiven but have to be created by distinctions.
Deparadoxing in time and space
Kauffman’s classical “space” and “time" "solution” of the paradox reentry form. For Luhmann its is “Entparadoxierung in Raum und Zeit".
http://www.math.uic.edu/~kauffman/KauffSAND.pdf
Antidromic reentry forms
There is no reason either why the action of “order” and the action of “number” has to be taken in series, one after the other, and not in parallel, i.e. both at once. It might be argued that the initials J1 and J2 are holding both at once in the calculus but there is no formula which is expressing such a parallelism. In contrast, it is shown that the initials are independent, therefore separated and there is no third initial which rules their interplay.
Because of the “linear” order of the Calculus of Indication (CI), reentry form is reduced to “unidirectional” recursivity, i.e. ‘oneway’ circularity, and is therefore not able to formalize the antidromic complementary ‘backwards’ ‘movement’ of simultaneously  "to eat and to be eaten”  of nonegologically founded selfreferentiality as it was asked by the ‘late’ Francesco Varela, in contrast to his early reentry form of the Extended Calculus of Indication.
Quadralectics
The quadralectic (tetralemmatic, diamond) notation is enabling operations on the parts of the diamond complexions consisting of Inside, Outside and inside, outside, i.e. , short:.
Those operations applied to the quadralectic complexion have to preserve the rules of retrograde recursivity of the morphogrammatics of distinction.
:
[Inside  Outside]  [outside inside]:
[Inside of inside  Outside of inside]  [outside of Outside  inside of Outside].
The antidromicity of the Uroboros figure isn’t such an obscure concept if one owns perception isn’t restricted to hierarchy; a full reading of the Uroboros figures tells it all. Although SpencerBrown worked together with Ronald Laing, he didn’t take the full advice.
One tries to get inside oneself
that inside of the outside
that one was once inside
once one tries to get oneself inside what
one is outside:
to eat and to be eaten
to have the outside inside and to be
inside the outside.
R. D. Laing (1970, Knots. New York: Vintage Books., p. 83).
Hence, the distinction of ‘order’ and ‘number’, or serial and parallel processes, inscribed by the two first axioms of the Calculus of Indication might be applied on the calculus itself: order and number are ‘ordered’ and ‘numbered’ at once onto itself.
In a first step, interchangeability as a new abstraction of the interaction of order and number, shall be constructed.
The idea to start with ‘circularity’ and ‘selfreference’ instead of constructing it with reentry is not simply a change of the order of the architectonics of the calculus but to give it a new arena to play its new choreography. Hence, new abstractions that allow a dissemination of the original calculus are in demand.
The new kind of ‘selfreference’ is the retrograde recursivity of the reconfigurations of complexions of LoFs.
GSB’s LoF is monocontextural and therefore its concept of iterability and recursivity doesn’t have the conceptuality for retrograde recursivity. LoF is limited to iteration and reentry of its forms inside a contexture (space) without any formal guarantee for the function to not to miss the reentry of its form.
It might be said that the two initials J1 and J2 of LoF are formulating the parallel and serial aspect of the act of distinction. But both remain conceptually separated and there is also no theoretical explanation offered which could bridge this gap. Even if there are formulas formulating a kind of an interplay between J1 and J2, they are secondary in the architectonics of the LoF and not primarily constitutive for the formalism.
The proposed ‘interchangeability’ approach to serial and parallel features of the act of distinction is making clear from the very beginning of the calculus their interrelatedness.
http://memristors.memristics.com/Polyverses/Polyverses.pdf
Instead of postulating the so called obvious facts of distinction and their primary behavior as “calling” and as “crossing”, formalized in the two beginnings of the arithmetics of LoF, I will set the act of distinction into a field of other distinctions. Therefore, every primary concept of distinction is embedded in a field of other distinctions. Hence, every distinction is surrounded with its neighbor distinctions.
The world supposed by G. SpencerBrown for his LoF is without distinctions. It is not yet the place to determine the structure of a world within a field of different distinctions.
The simplest situation possible for a ‘complex’ LoF is introduced by the diamond of distinctions.
Before any initials J1 and J2 are introduced, GSB distinguishes the distinction as a mark .
Hence, a complex FoL starts not with a singular mark but with a chiasm, more precisely, with a diamond of marked distinctions: , and their diamond interrelations.
As a consequence, even the singular distinction is understood, not as an atomic element , but as a morphism onto itself: .
Cancellation vs. memorization
If a distinction marks a state, then a distinction of a distinction marks the state of a state. Such a distinction of a distinction as boils down in the LoF by cancellation to a nodistinction, “alias empty space”, i.e. ⌀. With that, all possibilities of an inscription of secondorder states, i.e. of states of states that memorize their previous state, like it is typical for memristive systems, is lost from the very beginning of the calculus. Memory, then, and time, is introduced later by the LoF with the help of reentry flipflops.
As a next step towards a complex LoF, cLoF, the beginnings of LoF are put together on a secondorder level of the distinction of the law of "calling and the law of crossing', that is on a level ruled by composition and mediation.
Why is it reasonable to map LoF onto morphogrammatic systems?
If a distinction marks a state, then a distinction of a distinctions marks the state of a state. Such a distinction of a distinction as boils down in the LoF to nodistinction, i.e. ⌀. With that, all possibilities of an inscription of secondorder states, i.e. of states of states that memorize the previous state, like it is typical for memristive systems, is lost from the very beginning of the calculus.
"Distinction is perfect continence.” (LoF)
Morphograms, consisting of kenograms and monomorphies of kenograms, are “perfect continence".
In logicosemantical terms we might state that “perfect continence” means or says that a kenogram contains both truthvalues at once, the value for true and the value for false. There is nothing more a sentence, sign or mark might contain. Therefore, it is in the mode of “perfect continence".
In other words, “perfect continence” for a kenogram means that the distinction of “true” and “false” gets rejected as a whole. A kenogram is neither in the state of “true” nor in the state of “false”; both are rejected as such.
LoF disseminated onto morphogrammatic systems offers adequate mechanism of extending and transforming fields of distributed and mediated LoFs.
A logical interpretation of the distinction mark in LoF as ‘containing’ both truthvalues “at once” was given by GSB himself. Also the citation suggest a succession of interpretations, i.e. “we have the choice”, the form , ‘as such’, is incorporating both possibilities at once.
"We see, in logic, that ‘not true’ means the same as ‘false’, and that ‘not false’ also means ‘true’. So we have the choice of whether to associate the unmarked state with truth and the marked state with untruth, to associate marked state with truth and the unmarked state with untruth.” (LoF, p. 113)
mapping as " perfect continence " : (true/false) > (0 ) . ... > (◆) .
Kenograms are " perfect continence " of valuation ." width="359" height="176"/>
”... we can see that there is some symmetry in the relationship between G. S. Brown's commutative strings and G. Günther's kenograms:
The former are invariant w.r.t. permutations of the index set {1,...,n}, while the latter are invariant w.r.t. permutations of the alphabet A.”
"As we noticed in the introduction, in the context of "Laws of Form" for any two terms "a" and "b" the concatenation results "ab" and "ba" are semiotically identical.”
"A third deviation from classical semiotics is less obvious: the commutativity of the concatenation operation. For any two terms "a" and "b" the terms "ab" and "ba" are identical.” (Matzka, 1993)
http://www.rudolfmatzka.de/dharma/semabs.pdf
Mediation of LoF and MG
Morphogrammatically based complexions of LoFs might therefore be understood as a mediation of two fundamentally different semiotic systems. The commutative heapsemiotics of LoFs and the identityabstraction semiotics of MG.
It is not possible to map morphogrammatics (MG) onto LoF but it is possible to map LoF onto MG.
Also morphogrammatics is not localized on a level of conceptual and operational identity, morphogrammatics is much more complex than the architectonic design of LoF. Therefore, a dissemination of LoF over morphogrammatics opens up new insight into a possible calculus of complex forms.
"The theme of this book is that a universe comes into being when a space is severed or taken apart." (George Spencer Brown, Laws of Form, 1972 edition, p. v)
A) Inside a single world of distinction, the universal approach
(J1) ... bsp; 1
" width="395" height="170"/>
The arithmetics of LoF is based on two initials: J1 and J2. Introduced in LoF as "number” (J1) and as “order" (J2).
The concept graph is inscribing the conceptual relationship between the conceptual constituents of LoF. The calculus is defined in the realm of identity. According to the principle of relevance, the indication “1” of the concept graph, indicating the uniqueness of the calculus, might be omitted in LoF.
Any distinction and its marks, combined with its initials as operators are defined inside a world. Hence, neither distinctions nor operations on distinctions are leaving its world of distinctions.
This might be depicted by the following diagrams.
WORLD ↔ < ... bsp; WORLD
WORLD " width="434" height="145"/>
The main property of the universal approach to distinction is its ‘topological’ closure, or in other terms, its completeness.
Metatheoretically, LoF is complete (theorem 17), consistent and finite, and its axioms are independent. Hence, LoF is a sound calculus.
Theorem 1. Form
"The form of any finite cardinal number of crosses can be taken as the form of an expression.” (GSB, FoL, p. 12)
Taken the initials J1 and J2 as the operator J and x as a sequence of J, then we get the closure properties:
(A0) ∅ = J(∅) [Einbettung]
(A1) x ⊆ J(x) [Monotonie]
(A2) J(J(x)) ⊆ J(x) [Abgeschlossenheit]
Topologically, the formalization of the universe of distinction of LoF is characterized by its closure.
Hence, for any distinction, there exists a universe U (world) such that the distinction is element (part) of it.
Principle of relevance and polycontextural placedesignator
I might paraphrase, that the universality, in contrast to the polyversality, of the LoF doesn’t need to be indicated because it is a property applicable to every indication of the LoF. (Seventh Canaon. Principle of relevance).
Mereotopology and Polycontexturality
(to come)
B) Interaction between worlds of distinctions, the polyversal approach
Because LoF is a sound calculus it is useless to try to extend it internally. On the other hand, it is a miserable life which is offered by this approach. What is not explicitly established inside the calculus of LoF is its presupposition of the necessity of a unique and universal world. LoF’s oneworldassumption might be deconstructed towards a manyworldassumption in the sense of a polycontextural polyverse.
0 _ 1 > ⌀ _ 1
&nbs ... 0; _ 4
world4" width="507" height="76"/>
Chiastic form of composition
< ... 4 " width="308" height="225"/>
C) Concept graph of chiastic and diamond composition
0 _ 3 ≅ 0 _ 1 > ⌀ _ 1
... _ 2 < 0 _ 2 ≅ 0 _ 4
" width="621" height="144"/>
&n ... _ 3 ≅ _ 2 < _ 2 ≅ _ 4
" width="623" height="178"/>
First attempts for a dissemination of LoF goes back to 1980:
http://www.vordenker.de/ggphilosophy/rk_meta.pdf
From Universe to Polyverses
http://memristors.memristics.com/Polyverses/Polyverses.pdf
Complementary and inverse forms
Because of the principle of "perfect continence”, there are no dual forms in a logical sense in the calculi of forms. What is reflecting the formation of forms are parallax and complementary, i.e. diamond formations of form. This is mirrored first, by the systems of inverse forms. Hence, the basic, and not yet disseminated planar forms, are the forms of complementarity and inversion.
The aim is not to stay in a slavery obedience with the Boolean universe but to create diamond complementary and inverse universes, mediated in a polyverse interplay.
Distinctions between distinction systems
Beyond the systematics of planar distinctions, a polycontextural theory and calculus of distinctions, is demanding for distinctions between discontextural distinction systems. This might be realized by the introduction of topological and knottheoretic constellations of distinction systems. A simple start could be a 3dimensional distinction system with the set of planar distinctions and reentries at each contextural position and the transcontextural distinctions and reentry forms between distributed contextural distinction systems.
Map reformulation approach
A strictly different approach to “planar” distinctions is given by SpencerBrown himself: map reformulation, (ed.) Lou Kauffman, princelet editions, 1986.
The new property of “The calculus of Idempotence” is: “Common Boundaries Cancel”.
"The Calculus of Idempositions is a Diagrammatic Language involving Closed Curves.” (GSB)
Louis H. Kauffman, Reformulating the map color theorem.
http://www.math.uic.edu/~kauffman/MapReform.pdf
A diamond calculus is not starting with the act of drawing a distinction to mark it but by the complex activity of thematization. Thematization has to consider all formal aspects of the act of distinction. With the decision for a polyverse in contrast to an abstract universe of distinctions, the act of distinctions becomes itself distinguished by its “inside and outside” of distinction.
Therefore, polycontextural distinction becomes a 4fold structure, and its dynamics are inscribed as a diamond of four different marks. This is in correspondence with Kent D Palmer’s quadralectics.
http://www.scribd.com/doc/30047691/PalmersPentalectics
According to Ronald Laing's writing, the structure of distinction gets a fourfold (quadralectic) of primary distinctions:
This primary fourfold of distinction is placed in a polyverse by the protodistinction of a placedesignator for a distinctional system. In other words, primary distinctions are disseminated over the kenomic matrix, therefore placed and positioned and thus enabled for interactional and reflectional interplays.
Such prototypical distinctions between contextures of distinctions, ruled by the placedesignator, might establish a ndimensional system of notation of marks.
Interestingly, the interpretation of the act of distinction by Matthias Varga von Kibéd and Rudolf Matzka is mentioning similar distinctions (of inside/outside of the distinctional/distinctive space):
"d) Zur Form dieser Unterscheidung gehören nun der von der Unterscheidung gespaltene Raum zusammen mit dem gesamten Inhalt des Raums. Man könnte mit anderen Worten folgende Bestandteile der Form einer Unterscheidung auflisten:
i) der Raum, in dem die Unterscheidung stattfindet,
ii) der Prozeß der Unterscheidung und zugleich sein Ergebnis, also die von der Unterscheidung erzeugte Grenze,
iii) das von dieser Grenze Umschlossene, das Innere, Abgegrenzte, der markierte Zustand,
iv) das außerhalb dieser Grenze Gelegene (das Äußere, nicht Abgegrenzte, der nicht markierte Zustand)."
Matthias Varga von Kibéd und Rudolf Matzka, Motive und Grundgedanken der >>Gesetze der Form<<, in: aus: Kalkül der Form, (Dirk Baecker, hrsg.), Suhrkamp, 1993, p.5885.
Distinctions are 'double faced',this becomes specially obvious with the double reading of the reentry form.
0 ↔ 0 " width="222" height="176"/>
Selfreferential constellations
New form constellations of selfreference might be constructed as a composition of all types of distinction forms together.
" width="336" height="69"/>
Interchangeability of Forms
(U ... o 1 " width="251" height="436"/>
A closer look at the CI shows its hidden, i.e. silently presupposed, diamond structure. This becomes obvious if the matching conditions, necessary to repeat the marks in a linear concatenation and not somewhere else in the space, are properly considered too. As a further step, the results of diamondized distinction rules have to be applied to the whole theory and calculus of nonrestricted distinctions in polyverse constellations.
(J1) ... gt; ( 0 _ 3 > 0 _ 3)  0 _ 4 < 0 _ 4 . " width="546" height="211"/>
Adapting the the well known notation for categorical diamonds we get the Diamond Distinction as a diagram and the structure of diamond a the Diamond Distinction:
& ... ; 0 _ 2 ≅ 0 _ 4
" width="541" height="224"/>
0 ... ; => (0 > 0 ) _ 3  (0 < 0 ) _ 4 . " width="565" height="439"/>
0 ) _ 3 . " width="710" height="51"/>
0 ) _ 3 > (0 > 0 ) _ 1 ... ; > 0 ) ⇔ (0 > 0 )  (0 < 0 )
" width="512" height="158"/>
0 0 & ... bsp;
0 0  ⇔ 0 
" width="203" height="151"/>
Wording
To recall is to call against a context.
A call of a recall in a context is a call against a context.
0 ... > 0  0 < 0 => o  MC => ⌀  MC . " width="596" height="71"/>
The distinction (reflection) of the composition rule, i.e. the conditions of distinctions, is not a distinction, therefore: ⌀. But it is nevertheless the nondistinction of the conditions of distinction, thus the inverse action, from nondistinction ⌀ (void of distinction) to the distinction of distinction, , is diamondtheoretically well defined. Obviously, the matching conditions, MC, don’t get a notice in GSB’s Calculus of Indication, CI, simply because they are kept in the mind of the designer and user of the calculus, and referred as obvious intuition and evidence.
0 > 0 o 0 > 0  0 < 0 => 0  MC ." width="519" height="37"/>
Diamond J2 : 0 ↔ ⌀  MC
" width="272" height="119"/>
(FALSE 0 dual TRUE a b a b a b a b ) " width="434" height="155"/>
http://www.wolframscience.com/conference/2004/presentations/material/mschreibercomputational.nb
Morphogrammatics of Booleans
[ ... bsp; => ((BOOLEAN  0)/(ANTI  BOOLEAN  0))
" width="417" height="135"/>
&nb ... INVERSE ANTI  BOOLEAN  " width="470" height="166"/>
Inversion
ab inverse ab
Complementarit ... /> Orthogonality
ab orthogonal ab
ab orthogonal ab " width="182" height="381"/>
Complementarity and morphograms
0 complementary & ... t; (1 1 1 0) = _ MG (0 0 0 1) : [∧ ∧ ∧ O]" width="481" height="263"/>
Truth values
0 ≡ true _ 1.3
1 ≡ false _ ( ...   3.3" width="332" height="330"/>
Matching Conditions
dom (OR _ 1) = dom(OR _ 3)
cod(OR ... _ 1) = dom (AND _ 2),
cod(OR _ 1) = cod (OR _ 3)
" width="154" height="140"/>
[TRANS, OR, AND] [(0221) _ 1(1112) _ 2(0222) ...   3.3 " width="478" height="174"/>
The LoF is ruled by a strict hierarchy of world and distinctions in this world. This hierarchy is transformed to a heterarchy between different worlds of different distinctions in a complex LoF.
But this is not simply a static organization of the systems. Between world and distinction a chiastic exchange relation rules. With that, worlds might become distinctions in another world, and vice versa, worlds might be turned to distinctions in another world.
Hence, world_{1} becomes distinction_{2} and distinction ruled the operator ””. This happens on the base of the two compositions: () and ().
... LoF : distinction < world" width="369" height="163"/>
& ... 1 2" width="534" height="212"/>
An important step in the project of dynamizing the laws of form in complex situations is achieved with the concept of metamorphosis.
Metamorphosis is ruling precisely the transformations of “world” into “distinction” and “distinction” into “world” by keeping the difference of “world” and “distinction” intact. In contrast to the chiastic exchange between “world” and “distinction” on different levels of complexity, i.e. “world” becomes “distinction” and vice versa, metamorphosis is not based anymore on the isabstraction but on the asabstraction of its terms. Instead of “world” is “world”, it becomes “world_{1} as distinction becomes world'_{1}as distinction.
With the decision for a multitude of different worlds and therefore different systems of distinction the question of their interaction arises as the search for fundamentally new laws between distinctions. Interchangeability rules the basic structural interrelationship between different worlds of distinction.
& ... 3 3" width="544" height="274"/>
Topologyinvariance
As Matzka and Varga pointed out, the semiotics of Spencer Brown's “Laws of Form” is based on a topologyinvariant syntax based on concatenation and enclosure.
The main theorem, also not stated this way, might be called: enclosure is reducible to concatenation.
In Laws of Form, there is a special semiotic atom, called the Cross", which can be combined with other terms in two modes: by concatenation or by enclosure. This is an obvious deviation from standard semiotics, where concatenation is the only mode of combination. Combination by enclosure is also the basis for the "reentrant forms", another semiotic innovation. A third deviation from classical semiotics is less obvious: the commutativity of the concatenation operation. For any two terms "a" and "b" the terms "ab" and "ba" are identical. That this is indeed a semiotic identity (and not just a logical equality) has been stressed by Varga.“ (Matzka, 1993)
http://www.rudolfmatzka.de/dharma/semabs.rtf
Interchangeability
Hence, architectonics:
composition: = ,
yuxtaposition: = ,
mediation: ,
sopreflection over the matrix.
The law of functorial interchangeability has to be set, it can't be deduced from the original monocontextural laws of Form. Interchangeability is introducing a new kind of abstraction beyond the forms for number and order.
How are number and order related in a bifunctoral approach?
There is a reason to apply bifunctoriality to the CI because it contains two operators which are similar to yuxtaposition and composition, i.e. to serial and parallel application.
It was said that awareness is a simultaneity of parallel and serial distinctions but there is still no calculus to deal with both features at once. Therefore, bifunctorial interchangeability for mono as well as for polycontextural CI systems are appropriate demands.
In this case, the cross of the cross, is not reduced to cancellation but is establishing a connection between “order” and “number” of two different systems of distinction.
Memristics
Furthermore, it establishes, as a secondorder term, the possibility of retrogradeness. The state of the state of the cross of the cross, , is memorizing its previous state in form of the secondorder state .
Obviously, memristive functions are not accessible in SpencerBrown's calculus and its interpretation as a Boolean algebra. This observation about memristivity is inheriting features of morphogrammatic retrograde recursivity, it opens up an amazing new interpretation of the formation of the form of memristive systems and their distinctions. But there seems to be a new kind of memristive behavior genuine to the diamond calculus of distinction, introduced by the accretive understanding of the action of double crossing: the mechanism of enaction. Hence, retrograde recursivity and enaction are topics of distinctional memristivity. This alone might motivate further steps to study distinctional memristivity. Classical reentry has been connected with flipflops, hence retrograde reentry forms might be appropriate for the study and construction of memristive flipflop devices. Again, a feature unknown in the classical setting of LoF and its extensions.
"In other words, the history saved by the memristor are not the primary data but the data of the history. Historical data are data of data. Those secondorder data might then be used to continue processing on the firstorder level of the flipflop.
As a metaphor, the data of an observer of a data processing system are not the data of the observed system. But such observerdepending data of secondorder might be given ‘back’ to the observed, i.e. firstorder system to continue its game. Hence, the memristor is playing the game of an observer which is lending or giving away his data to the observed system. A memristive system is primarily storing the rules of the observed game and only secondarily the data involved.”
http://memristors.memristics.com/Memory/Memory%20is%20more%20than%20Storage.pdf
A distinction of a distinction is conceived as both at once: as annulation and as reflection (enaction). Therefore, annulation is eliminating and destroying distinctions while reflection as enaction is not only creating new distinctions but also a new domain, i.e. world of distinctions, in which the new distinction and its further applications is realized.
0 _ 1 ... : 0 _ 1 _ 1 > 0 _ 2 ))
" width="451" height="223"/>
" width="376" height="435"/>
Reverse enaction rules
& ... bsp; )/(∅ _ (i + 1. j + 1)))
" width="250" height="525"/>
Basic constellation  1 :
&nb ... i . j i . j
i . j
i . j" width="333" height="537"/>
(1) 0 _ 1 0 _ ... bsp; : cancellation " width="344" height="146"/>
LoF ^(2) example : two worlds
... sp; )/(0 _ 2.2 0 _ 1.2)) > ((0 _ 1)/(0 _ 2)) ." width="561" height="207"/>
0 _ 1.2, abstracting from position ." width="652" height="27"/>
LoF ^(3) example : three worlds
(3) ((0 _ 1 0 _ 1 ... 2.3 3" width="716" height="125"/>
0 _ 1.2 ." width="490" height="27"/>
Positioning LoFs in the kenomic matrix
(2 ') 0 0 0 ...   " width="460" height="129"/>
0 _ 1.2 ." width="614" height="27"/>
0 _ 1.2 and 0 _ 2 _ 2 > 0 _ 2.3 ." width="751" height="27"/>
⌀ _ 2 ." width="511" height="49"/>
With the precise positioning of the involved LoFs, not only a form development at each position is defined but the transition from one to another level of form by the use of the double character of the double cross is correctly marked. Each transition is also inscribing its path, showing (remembering) where it is from.
Because the transition formula (enaction) is defined in both directions,it is possible to move back to a lower level of distinction. Hence building a circular path between the levels of the complexions, which is strictly different to the selfreferentiality of the reentry form.
0 _ i _ i
" width="133" height="169"/>
The (horizontal) arithmetic rules of LoF are holding on each level of the complexion. What has to be conceived and formalized are the new “vertical” arithmetical rules between the levels in the complexion. One such example might be the amazing possibility to draw circular distinction paths through a complexion of disseminated systems of distinction even before we have to deal with local reentry forms.
" width="457" height="230"/>
Interactional enactions
...   " width="420" height="242"/>
Interactional and reflectional enactions
...  2.3 " width="410" height="132"/>
Iterated reflectional enactions
a _ 1 _ 1 _ 1 ... 1.3" width="585" height="348"/>
Iterated interactional enactions
a _ 1 _ 1 _ 1 ༺ ...   " width="454" height="431"/>
Reduction rules
E naction as reduction rules
&n ... 1 1 1.3" width="357" height="557"/>
Following Wolfram’s statement, according to M. Schreiber:
"A kind of form is all you need to compute. A system can emulate rule 110 if it can distinguish: ‘More than one is one but one inside one is none.’
Simple distinctions can be configured into forms which are able to perform universal computations.”
" More than one is one ” : { } { } ... none ” : {{ }} ↔ ø,
" is " : ↔" width="309" height="106"/>
Applied to one of the simplest models of computing, the STACK, we get a distinctional stack model. This observation corresponds properly with Wolfram/Schreiber’s statement.
What is still missing are the memristive properties. Memristivity enters the game with an enactional interpretation of the operation “Pop”. But this makes sense only in the framework of a disseminated, i.e. polycontextural stack model. Such a model offers the space for enactional, i.e. reflectional and interactional states.
With pop a memristic function shall be implemented with the application of the enaction operator:
pop ( a  ø ) => pop( a_{1.1} > ).
The pop operation is emptying the state “q_{1.1}” from its symbol “ a_{1.1}” and is pushing, at the same time, the symbol a_{1.1} onto another reflectional stack “q_{1.2}” as the reflected symbol “ a_{1.2}”.
Hence, enaction is a composition of an elimination step (poping, emptying, reading) and a transitional step of pushing (writing) the data onto another neighboring stack system.
Therefor, we might open the funny game of enactionbased memristive stack machines.
Memristive PUSH
The classical definition of PUSH is atomistic, linear and abstract. In contrast, the memristive PUSH has to reflect the retrogradeness of any iterability, here, the character of the iteration of the morphogrammatic PUSH operation of the STACK.
Input Operation Stack STACK
a_{1.1} Push operand a PUSH(a_{1.1}) > a_{1.1}
a_{1.1} Pop operand [⊥_{1.1}, a_{1.2}] POP( ) > [⊥_{1.1}, a_{1.2}]
Basic operations for STACK
pus ... i . i + 1" width="237" height="376"/>
[⊥ _ 1.1, a _ 1.2] " width="446" height="64"/>
The retrogradeness of the addition ADD is omitted in this example, the focus is on the enaction rule ." width="656" height="44"/>
sign = { ” ; ” , , ” ; “ , (, )},
operators = { Drop, Add, Push},
terms = { t, ⊥} .
" width="228" height="104"/>
Input &nbs ... xF3A0; _ 1.3 0 _ 1.3)  0 _ 2.2 • " width="556" height="447"/>
ADD _ (i . i) ( 0 _ (i . i), 0 _ (i . ... bsp; : reflectiive addition (omitted) " width="530" height="101"/>
0 ... 1.3   Null " width="500" height="710"/>
http://memristics.com/Memristors/Stack Machine/Memristive Stack Machine.html (to come)
In “DISTINCTION DYNAMICS: from mechanical to selforganizing evolution”, Francis Heylighen (1992) is sketching a different approach to “dynamic distinctions” which is enabled to create new distinctions. It seems that all 4 types of distinctions he is introducing are conceptually and operationally covered by the presented distinctiontheoretic approach of “dynamic complexions of distinctions”.
"Complex dynamics is analysed as an example of a theory with a limited dynamics of distinctions: distinctions can be destroyed but not created.”
"Figure 1: four basic types of distinction processes: 1. conservation, 2. destruction, 3. creation and 4. creationanddestruction.” (Francis Heylighen)
http://www.independent.co.uk/?CMP=ILCrefresh
A calculus of the formation of forms might include at least the 4 principls of distinction dynamics.
Interchangeability of interaction as transp ... 3 3.1 1 3.1 1" width="567" height="204"/>
Notational abbreviations
( &nb ... 3 3.1 1 3.1 1" width="457" height="223"/>
Interchangeability of reflection as replication, with condensa ... 3" width="440" height="250"/>
Recursivity in LoF is ruled along the traditional lines of iterative reentry into the form. Therefore, there is nothing that could correspond diamond structures of repeatability.
Iterability in LoF is not limited by any structural laws except of the abstract iteration of concatenation and crossing, i.e. its abstract expansion in “horizontal” and “vertical” directions.
≡ ( a = )
a b a b &nb ... a b > : a b _ " width="622" height="82"/>
Extensions of LoFcomplexions are not arbitrary, they are determined retrograde recursively by the complexion to be extended. Any arbitrary extension would restore the abstract extensional characteristics of formal systems and would abandon the primary retrograde and holistic features of LoFcomplexions based on morphogrammatics.
A kind of an extension chain based on the double function of the double cross in complex distinction systems might give a first idea how to extend retrograde recursively such complexions.
↔ 0 _ 1 _ 1 ↔ ... 3" width="345" height="106"/>
↔ a _ 1 _ 1 ↔ (( a _ 1)/(a ... 3" width="347" height="108"/>
Varela ' s approach " width="656" height="123"/>
Initial 12.18 : p p = p (Autonomy) . " width="280" height="53"/>
"Günther has been alone in pointing out that other possible interpretations of manyvalued is as a basis for a ‘cybernetic ontology’, that is, for systems capable of selfreference, and precisely one additional value, he claims, must be taken as time. I follow here Günther's suggestion that a third value might be taken as time. But I have shown that this third value can be seen at a level deeper than logic, in the calculus of indication, where the form of selfreference is taken as a third value in itself, and in fact confused with time as a necessary component for its contemplation. In the extended calculus, selfreference, time, and reentry are seen as aspects of the same third value arising autonomously in the form of distinction.” F. Varela, Principles of Biological Autonomy, 1979, p.139
But Günther’s kenogrammatics is just the working approach, subversively positioned “at a level deeper than logic”. Varela’s “constancy” initial might be inspired by a traditional 3valued logic, with neg(3) = 3, which is in no way approaching the declared demanding.
( _ 1) > &nbs ... 3 3" width="461" height="250"/>
( _ 1) > (( _ 1)/( _ 1 ... 1 2 1 2 3" width="353" height="168"/>
On of the most fundamental features of kenogrammatics and morphogrammatics is its retrograde recursivity which is independent from a pregiven sign repertoire.
How does this fundamental feature enter into a polycontextural calculus of forms?
Changes between iterative and accretive reflections (reentry) are not arbitrarily set but are ruled by the morphogrammatic laws of retrograde recursivity. Therefore, polycontextural LoFs are produced by mapping the LoF calculus onto morphogrammatics.
http://memristors.memristics.com/MorphoReflection/ Morphogrammatics%20of%20Reflection.pdf
The field of possible coalitions is defined by the list of coalitions produced retrograde recursive by the operation of coalition.
is defining a field of possible coalitions with complication 5 and distribution 7, as shown in the example.
LoF  coalition LoF _ ((1, 2, 1), (1, 2))^(3, 2) ... 1" width="234" height="333"/>
Reursive decision graph for LoF _ (1.2 . ... 1 1" width="366" height="338"/>
(succ, add, mult) & ... = add (mult ([MG _ 1], [MG _ 2]), [MG _ 1]))
" width="457" height="192"/>
Recursive generation ( _ 1 _ 2) O· ( ༺ ... F3A0; _ 2] ∉ CR > [ _ 1 _ 2] [ _ 3 _ 4] .
" width="522" height="439"/>
Collection table
[ ... 1 1 2 3 4
" width="229" height="178"/>
& ... ; ( _ 1) ( _ 4)
" width="321" height="212"/>
Cooperation field for LoF _ _ ... 3 3 4" width="319" height="203"/>
LoF _ _ (( _ (1.2 .2)), ( _ (1.2 .1)))^^(3, 3) : ... 2 2 2 3 3 1 2 2" width="330" height="249"/>
kmul([ _ 1 _ 2 _ 2], [ _ 1 ... 3 3 3 4 4" width="422" height="126"/>
Cooperation field for LoF _ ... 3 3 " width="395" height="205"/>
Domino Approach to Morphogrammatics
http://memristors.memristics.com/Dominos/Domino%20Approach%20to%20Morphogrammatics.html
Reflection on diamondization
A secondorder diamondization is additionally to the firstorder diamondization taking the diamond structure of the environment into account. This procedure becomes more plausible with the full notation of the automorphism as "O > O o O > O”, and therefore the environment as "O < O”. Hence there are two settings in the game: one is " [O  O]" as the distinction with its environment and the other "[O  O ]" as the environment with its distinction.
Metaphorics
Metaphorically, what is achieved is a formalization for the wording:” [Inside of the inside  Outside of inside]  [outside of the outside  inside of the outside]" as the metaphorical meaning of "[O  O]  [O  O ]".
Because the simultaneity of “Inside of the inside” and "Outside of inside” marked by "" and the complementarity of the whole formula: "[O  O]  [O  O ]", a further formal explication is succeed by the mechanism of functorial interchangeability.
Secondorder diamond strategies shall be applied on the diamondization of the initials J1 and J2 of calculus of distincions.
... ;  0  ⇔  ⌀  .
" width="420" height="172"/>
[ ... (( 0 /( 0 0 )/0 )) 
" width="341" height="228"/>
(0)  (( 0 )/(0 )) (( 0 )/(0 )) & ... sp;  (( 0 )/( 0 ) ) ((0 )/( 0 ) )  ." width="372" height="558"/>
The new concept of enaction might be extended to a secondorder concept of enaction in distinctional or distinctive diamond calculi. Enaction rules are interesting new features of memristive systems. The diamondization of the enaction rules is supporting memristivity of the contexts of the enacting distinctions. Context are themselves involved into enactions. Thus, a memristive behavior is not just placed at a place but involved into the enaction of the places too.
&n ... ; _ (i + 1. j))  _ (i . j + 1
∅ _ (i . j)
) • Null " width="531" height="333"/>
" width="473" height="285"/>
Hence, what “is” it that is beyond or beneath or next to the world, space, domain of the universe of What is computes?
"A kind of form is all you need to compute. A system can emulate rule 110 if it can distinguish:
More than one is one but one inside one is none.
This is equivalent to DiscreteDelta in Mathematica.
A Form Principle of Computational Equivalence could thus be stated like:
Simple distinctions can be configured into forms which are able to perform universal computations.”
Michael Schreiber’s Summary
"DiscreteDelta is a model for the SPENCERBROWN form.
The SPENCERBROWN form is functionally complete in the Boolean algebras of all degrees .
SPENCERBROWN form {{b,c},{{a},{b},{c}}} emulates the universal elementary cellular automaton rule number 110 and might be a useful minimal example for interpretations of the new kind of scientific principle introduced by WOLFRAM:
'There are various ways to state the Principle of Computational Equivalence, but probably the most general is just to say that almost all processes that are not obviously simple can be viewed as computations of equivalent sophistication.’ NKS 716717.” (Michael Schreiber, Computational Equivalence: Form 110, 2004)
Spencer Brown form 110
Wolfram rule 110
"Both of the above form terms are equivalent to rule number 110. The demonstration uses the simple representation and DiscreteDelta to evaluate each pair of brackets as a form.” (M. Schreiber)
http://www.wolframscience.com/conference/2004/presentations/material/mschreibercomputational.nb
How are the distinctional and the ‘anti'distinctional worlds related?
Stephen Wolfram and George Spencer Brown are claiming to have found the elementary basic rule for universal computing (in a universal world of events).
GSB:
Wolfram:
AntiGSB:
AntiWolfram:

GSB  AntiGSB : 
Richard H. Howe is one of the very few thinker who succeeded to connect Gotthard Gunther’s proemial relationship with George Spencer Browns “Laws of Form” under the inspirations given by Humberto Maturana and Heinz von Foerster at the BCL in the late 60s. Unfortunately, the announced monograph seems not to be accessible, and the BCL microfiches are not studied by many. I leave it to the reader to establish further connections.
I’m giving here the full citation of the chapter dealing with distinctions. Richard H. Howe writes:
"These five “key” words [of Maturana’s approach to cognition, kae] are:
description, observation, representation, relation and structure.
Within the text they are defined hierarchically but recursively in terms of each other.
Thus generally: a description or results from an observation of a representation of a relation of structures. In the recursive domain of observation, however, such a description may be in turn encountered as a structure, or a representation, etc.
We may list:
description__________(d)____ n
observation__________(o)____n1
representation_______(R)____n2
relation____________ (r)_____n2
structure____________(s)_____n3
If we take as signs:  and , and let the directed crossings > and ↓ stand for the English particle “of”; and let the directed crossings < and ↑ stand for the English particulate phrase “with respect to”, we may achieve a more compact notation for the relations given in the above list which will have other useful properties as well.
Thus in canonical form:
d _ j^n = n  1 n  2 & ... r s l m" width="151" height="123"/>
From the canonical form we may establish formulas giving definition to the other terms thus:
o _ i^n = n + 1 n  1 , &nbs ... l m l m" width="320" height="174"/>
We may easily optain operators corresponding to the imperative or injunctive observe!, represent!, relate!, and structure! from the form of the canonical form by taking that portion of the form in which the term appears as its sign.
Thus:
represent ! ___ ___ ___ __
structure ! ___ ___ ___ ___ " width="211" height="92"/>
The injunction describe! will be given by the raising of the superscript or level on degree:
> ,
without reference to other expressions.
Then for example if:
then
and by extension of the boundary sides of the operator:
=
which condenses to:
.
Each d, o, R, r and s in these expressions is a complex expression in its own right, then, if any of these be reducible under the operators given to a form which is equivalent to another position, we may contract our notation thus:
and accomodate any degree of ambiguity without loss.
&nb ... O so Rv so Rv O" width="255" height="108"/>
[...]
From this matrix, applications as operators of the lines delineating the rows and columns may, in some circumstances allow the entire matrix to be reduced to a form in which first the s then the r, then the R, and finally the o elements are brought to the nn=0 level, and drop out, leaving the expression:
But this form is again equivalent to a distinction drawn between the space of distinction and that of nodistinction, and thus we are returned to our beginning [already discussed in section β and γ]."
R. H. Howe, Linguistic Composition of an Arithmetic of Cognition, pp. 5470 (1970), BCL Report # 70.2, Fiche # 127/3
Following a purely abstract characteriszation of the modi of distinctions, Howe’s formula might be restated in the framework of Diamond Distinctions. Hence, any connection to a theory of cognitive systems with the properties of observation, description, representation and structure are firstly omitted in favor of strict formal characteristics of the category of distinction. All modi of distinction together are defining a planar complexion of distinction. (The wording of the modi is still quite arbitrary.)
There are other useful interpretations of the quadralectics of primordial distinctions:
≅ quadralectic distinctional systems
≅ epistemological distinction system (Gunther, Toth)
http://mathematicalsemiotics.com/pdf/Surreale%20Nacht.pdf
≅ semiotic distinctional system (Bense, Toth)
≅ semiotic metaphysical system (Peirce, Bense, Toth)
≅ systemtheoretical quadralectic system (Kent Palmer)
http://www.scribd.com/doc/30047691/PalmersPentalectics
distinct ... l m" width="454" height="282"/>
q _ j^n = n  1 ... l m" width="246" height="157"/>
Following Howe’s approach to a quadralectics of distinction some direct applications and further exercises are demonstrated. Obviously, it’s all a very first step which will be elaborated in a separate paper.
From the canonical form we may establish formulas giving definition to the other terms thus:
() _ i^n = n + 1 n  1 , ... l m" width="450" height="205"/>
Examples : Recursive quadralectics
General
quadralectics _ dist^n ... l m" width="436" height="212"/>
succ _ _ () : n  1 n  2 ... l m" width="474" height="417"/>
Special
n = 4
quadralectics _ dist^4 = 3 ... l m" width="519" height="151"/>
succ : quadralectics _ dist^4 > quadralectics _ dist^5 :
Start :
n = 1 d _ i^(n = 1) = n  1 ... l m " width="377" height="408"/>
Given the quadruple structure of the formation of the general form, different possibilities of applying the interchangeability abstraction are opened up.
One first step might be achieved to understand the distinction forms “reverse” and “converse” as being in discontextural parallelism to the distinction forms “distinction” and “ complement”. While a kind of an order between “reverse” and “converse”, and “distinction” and “ complement” might be established. Therefore, the wellknown functorial abstraction of interchangeability might apply.
Because of the superadditive structure of the combination of discontextural compositions, a third pair of distinctions, ruling the interaction between the two first pairs of distinctions has to be introduced. A candidate might be “system” and “environment” of the two primary distinction pairs.
With the introduction of “internal” and “external” environment, the usual distinctions for diamond category theory are introduced.
... 3 4 4" width="653" height="307"/>
http://www.thinkartlab.com/pkl/lola/DiamondCategoryTheory.pdf
Rudolf Kaehr, Double Cross Playing Diamonds, Understanding interactivity in/between bigraphs and diamonds
in: Uwe Seifert, Jin Hyun Kim, Anthony Moore (eds.), Paradoxes of Interactivity:
Perspectives for Media Theory, HumanComputer Interaction, and Artistic Investigations, 2008
http://www.thinkartlab.com/pkl/lola/Interactivity.pdf
Although the calculus of Laws of Form starts with a single mark as the notation of a distinction, it needs several further kinds of distinctions, decisions and presuppositions to start the game and to stay in it. The Laws of Form are written as a simple calculus. But its introduction and interpretation is demanding for characterizations, i.e. distinctions which are not explicitly included in the calculus and don't get any notational realizations in the technicalities of the calculus as such.
Instead of denying primordial complexity and circularity in favor of a simple beginning, it might be reasonable, not to suspend such topics but to opt for a strategy to just begin with a complex and selfreferential design of formalization.
Rudolf Kaehr: Disseminatorik: Zur Logik der „Second Order Cybernetics“. In: Kalkül der Form, (hg.) Dirk Baecker, 1993 )
http://works.bepress.com/thinkartlab/6/