martedì 29 maggio 2012

gioco e fantasia del Tao - 18-20


18. Le funzioni e gli usi comuni dell'inquadramento psicologico possono essere ora elencati e illustrati facendo riferimento alle analogie le cui limitazioni sono state indicate nel paragrafo precedente:
a) Gli inquadramenti psicologici sono esclusivi, cioè l'inclusione di certi messaggi (o azioni significative) fa sì che certi altri messaggi ne siano esclusi.
b) Gli inquadramenti psicologici sono inclusivi, cioè l'esclusione di certi messaggi fa sì che certi altri vi siano inclusi.
Dal punto di vista della teoria degli insiemi, queste due funzioni coincidono, ma dal punto di vista della psicologia è necessario elencarle separatamente. La cornice intorno a un quadro, se la si considera come un messaggio inteso a ordinare o organizzare la percezione dell'osservatore, dice: «Bada a ciò che è all'interno e non badare a ciò che è all'esterno». Figura e sfondo, così come questi termini sono usati dagli psicologi della Gestalt, non sono tra loro in relazione simmetrica come l'insieme e il suo complemento nella teoria degli insiemi: la percezione dello sfondo dev' essere positivamente inibita e la percezione della figura (in questo caso, del quadro) dev'essere positivamente esaltata.
c) Gli inquadramenti psicologici sono collegati a ciò che abbiamo chiamato «premesse». La cornice di un quadro dice all'osservatore che nell'interpretare il quadro egli non deve impiegare lo stesso tipo di ragionamento che potrebbe impiegare per interpretare la carta da parati esterna alla cornice. Ovvero, in termini dell'analogia con la teoria degli insiemi, i messaggi racchiusi nella curva immaginaria sono definiti come membri di una classe in quanto essi condividono premesse comuni o godono di mutua rilevanza. Con ciò l'inquadramento stesso diviene parte del sistema delle premesse. O l'inquadramento, come nel caso del gioco, è implicato nella valutazione dei messaggi che contiene, oppure semplicemente assiste la mente dell' osservatore nella comprensione dei messaggi contenuti, ricordandogli che questi messaggi sono mutuamente rilevanti e che i messaggi fuori di quell'inquadramento possono essere ignorati.
d) Nel senso del paragrafo precedente, un inquadramento è metacomunicativo. Qualunque messaggio, che in modo esplicito o implicito definisca un inquadramento, ipso facto fornisce a chi lo riceve istruzioni o assistenza nel suo tentativo di comprenderne i messaggi contenuti.
e) Vale anche !'inverso di d): ogni messaggio metacomunicativo o metalinguistico definisce, in modo esplicito o implicito, l'insieme dei messaggi su cui comunica, cioè ogni messaggio metacomunicativo è, o definisce, un inquadramento psicologico. Ciò ad esempio è molto evidente a proposito di quei piccoli segnali metacomunicativi che sono i segni di punteggiatura in un messaggio scritto, ma vale egualmente per messaggi metacomunicativi complessi quali la definizione che lo psichiatra fornisce della parte terapeutica che egli stesso sostiene: in termini di questa definizione devono essere interpretati i suoi contributi all'intera massa di messaggi scambiati durante la terapia.
f) È necessario considerare la relazione tra inquadramento psicologico e Gestalt percettiva, e qui torna utile l'analogia con la cornice del quadro.


Georges Rouault (1871-1958)
Our Lady of the Fields
circa 1920-1939.
Oil on paper, mounted on canvas. 74.3 × 61.6 cm.
Courtesy of the Dayton Art Institute,Dayton, Ohio
In un dipinto di Rouault o di Blake, delle figure umane e degli altri oggetti rappresentati sono tracciati i contorni: «I savi vedono i contorni e perciò li disegnano". Ma all'esterno di queste linee che delimitano la Gestalt percettiva o «figura», c'è uno sfondo o «fondo» che a sua volta è limitato dalla cornice del quadro.

William Blake (1757–1827)
The Stygian Lake, with the Ireful Sinners Fighting
1824 - 1827
pen, ink and watercolour over pencil
National Gallery of Victoria
Analogamente, nei diagrammi della teoria degli insiemi l'insieme universale, dentro cui sono tracciati gli insiemi minori, è a sua volta racchiuso in una cornice. Questo doppio incorniciamento, crediamo, non è semplicemente una questione di «cornici dentro cornici», ma un'indicazione che i processi mentali somigliano alla logica nell'aver bisogno di una cornice esterna per delimitare lo sfondo contro cui le figure devono essere percepite. Questo bisogno spesso non è soddisfatto, come capita per certe sculture nella vetrina di un robivecchi, ma ciò provoca un senso di disagio. Noi facciamo l'ipotesi che il bisogno di questo limite esterno per lo sfondo sia connesso a una certa inclinazione a evitare i paradossi dell'astrazione. Quando viene definita una classe logica, o una famiglia di oggetti - per esempio la classe delle scatole di fiammiferi -, è necessario delimitare la classe  di oggetti che devono essere esclusi; in questo caso, tutte le cose che non sono scatole di fiammiferi. Ma gli oggetti che devono essere inclusi nell'insieme di sfondo devono essere del medesimo grado di astrazione, cioè dello stesso 'tipo logico', di quelli contenuti nell'insieme stesso. In particolare, se si vogliono evitare paradossi, la 'classe delle scatole di fiammiferi' e la 'classe delle non-scatole di fiammiferi' non devono essere considerate elementi della classe delle non-scatole di fiammiferi (anche se è chiaro che questi due oggetti non sono scatole di fiammiferi). Nessun insieme può essere elemento di se stesso. La cornice del quadro, allora, poiché delimita uno sfondo, è qui considerata come rappresentazione esteriore di un inquadramento psicologico di tipo molto particolare e importante, di una cornice cioè la cui funzione è quella di delimitare un tipo logico. In effetti è questo il significato di ciò che si è detto sopra, che la cornice del quadro è per l'osservatore un'istruzione a non estendere le premesse che vigono tra le figure dentro il quadro alla carta da parati che gli sta dietro. Tuttavia è proprio questo tipo di cornice che fa scaturire il paradosso. La regola per evitare i paradossi esige che gli oggetti esterni a qualunque curva chiusa siano dello stesso tipo logico di quelli interni, ma la cornice del quadro, come si è analizzato sopra, è una linea che separa oggetti di un tipo logico da oggetti di un altro tipo. È interessante osservare di passaggio che non si può enunciare la regola di Russell senza contraddinirla: Russell richiede che tutti gli oggetti di tipo logico inappropriato siano esclusi (mediante una curva immaginaria) dallo sfondo di qualsiasi classe; cioè egli pretende che si tracci una curva immaginaria proprio del tipo che egli vieta.
19. Tutta questa faccenda di cornici e paradossi può essere illustrata in termini di comportamento animale, nel quale si possono riconoscere o dedurre tre tipi di messaggio: a) messaggi della specie che qui chiamiamo segni di umore; b) messaggi che simulano segni di umore (nel gioco, nella minaccia,nell'istrionismo, ecc.); e c) messaggi che permettono al ricevente di distinguere tra segni di umore e gli altri segni che gli somigliano. Il messaggio' Questo è gioco' è del terzo tipo; esso informa il ricevente che certe mordicchiature e altre azioni significative non sono messaggi del primo tipo.
Il messaggio 'Questo è gioco' istituisce dunque un inquadramento del tipo che fa scaturire facilmente un paradosso: è un tentativo di distinguere o di tracciare una linea tra categorie di tipo logico diverso.
20. Questa discussione sul gioco e sugli inquadramenti psicologici instaura una sorta di costellazione (o sistema di relazioni) triadica fra i messaggi. Un esempio di tale costellazione  è stato analizzato al paragrafo ..., tuttavia è evidente che costellazioni di questo tipo non s'incontrano solo a livello non-umano, ma anche nella molto più complessa comunicazione tra esseri umani. Così una fantasia o un mito possono simulare una narrazione enunciativa e per discriminare tra questi due tipi di discorso gli uomini usano messaggi che istituiscono cornici, e così via.

 (A Theory of Play and Fantasy, 1954) - 17

abbiamo tutti un Tao da piangere - we all have a Tao to cry for



Tony Sidney (chitarra)
Bruno Biriaco (batteria)
Giovanni Tommaso (violoncello e basso)
Claudio Fasoli (sax)
Franco D'Andrea (tastiere)

mercoledì 23 maggio 2012

Tao della forma

Il testo di logica filosofica che storicamente fu il fondamento dell'epistemologia cibernetica è Le Leggi della Forma - Laws of Form di G. Spencer-Brown, pubblicato per la prima volta nel 1969. Brown è un personaggio che si è sempre circondato da un alone di mistero, è ritenuto un esperto eclettico in varie discipline (polymath), ha frequentato e studiato con personaggi quali Russell, Wittgenstein e Laing ed ha fortemente influenzato con il suo lavoro molti autori del movimento sistemico-cibernetico come Von Foerster, Maturana, Varela, Kauffman e lo stesso Bateson. Egli è anche, ad esempio, il romanziere James Keys con la sua visione mistica dei "cinque livelli di eternità":


Un aneddoto di Bateson su un suo incontro con Spencer-Brown insieme a Heinz Von Foerster, citato da Keeney (1977), dimostra come Brown tenda a mantenere ignoto il suo territorio: 

La mattina in cui dovevo incontrare Brown parlai con Von Foerster per vedere se avevo colpito nel segno. Gli dissi che i simboli a forma di L rovesciata erano una sorta di negazione ... Mi rispose "Lo hai capito Gregory". In quel momento Brown entrò nella stanza e Heinz gli disse: "Gregory lo ha capito - quelle cose sono una sorta di negazione". E Brown rispose: "Non è vero!". 

G. Bateson, cit. in Keeney, "L'estetica del cambiamento", 1985














Von Foerster associava Spencer-Brown, Wittgenstein (di cui era il nipote) e Don Juan, il maestro yaqui narrato da Carlos Castaneda, per la loro aria melanconica di chi "sa di sapere".

La base storico-logica del testo di Brown è il superamento della logica classica (o aristotelica) che la monumentale opera di Russell e Whitehead Principia Mathematica del 1910 cercava di preservare contro i paradossi matematici, e che fu dimostrato impossibile nel 1931 dai teoremi di incompletezza di Gödel. Dal 1931 ogni tipo di logica formale deve esplicitamente tenere conto dell'esistenza dei paradossi logici dato che, come dimostrato da Gödel, in ogni sistema formale sufficientemente "potente" - come l'aritmetica - si possono derivare proposizioni indecidibili, che non sono né vere né false ma paradossali: se sono vere allora sono false e viceversa.
Come scrive Brown nella prefazione: 

Ricordando la connessione di Russell con la Teoria dei Tipi, è con una certa trepidazione che mi avvicinai a lui nel 1967 con la prova che non era necessaria. Con mio grande sollievo ne fu felice. La teoria è stata, ha detto, la cosa più arbitraria che lui e Whitehead avevano mai avuto a che fare, non proprio una teoria, ma un palliativo, ed era felice di aver vissuto abbastanza a lungo per vedere la soluzione del problema. 

La teoria dei tipi logici, benchè confutata in logica formale dal lavoro di Gödel, ha definito il concetto fondamentale di livello logico di tipo meta-, applicato da Bateson nei modelli sull'interazione e comunicazione umana e animale, e fondamentale per definire meta-classi, meta-termini, meta-descrizioni e meta-spiegazioni in teoria della complessità.

Il tema è presentato da Brown nella sua prefazione:

PREFAZIONE ALLA PRIMA EDIZIONE AMERICANA

Oltre ai normali problemi logici universitari, che il calcolo pubblicato in questo testo rende così facili che non dobbiamo preoccuparci oltre, forse la cosa più significativa, dal punto di vista matematico, è che ci permette di utilizzare valori complessi nell'algebra della logica. Sono gli analoghi, in algebra ordinaria, dei numeri complessi a+b√-1. Io e mio fratello(*) abbiamo usato le loro controparti booleane in ingegneria pratica per diversi anni prima di capire cosa fossero. Naturalmente, essendo quello che sono, funzionano perfettamente, ma, comprensibilmente, ci siamo sentiti un po in colpa per il loro utilizzo, così come i primi matematici ad utilizzare "radici quadrate di numeri negativi" si sono sentiti in colpa, perché anche loro non potevano vedere alcun modo plausibile di dare loro un senso accademico rispettabile . Ad ogni modo, eravamo abbastanza sicuri che ci fosse una teoria perfettamente buona che li supporta, se solo potessimo pensarci.

La posizione è semplicemente questa. In algebra ordinaria, valori complessi sono accettati come una cosa naturale, e le tecniche più avanzate sarebbero impossibile senza di loro. In algebra booleana (e quindi, per esempio, in tutti i nostri processi di ragionamento) li abbiamo impediti. Whitehead e Russell hanno introdotto una norma speciale, che hanno chiamato la Teoria dei Tipi, espressamente per farlo. Erroneamente, a quanto pare ora. Quindi, in questo campo, le tecniche più avanzate, anche se non impossibili, semplicemente non esistono ancora. Al momento attuale siamo costretti, nei nostri processi di ragionamento, a farlo nel modo in cui era fatto ai tempi di Aristotele. Il poeta Blake avrebbe potuto avere una certa comprensione di questo, perché nel 1788 scrisse che 'la ragione, o del rapporto tra tutto quello che abbiamo già conosciuto, non è la stessa che deve essere quando ne sapremo di più.'

Ricordando la connessione di Russell con la Teoria dei Tipi, è con una certa trepidazione che mi avvicinai a lui nel 1967 con la prova che non era necessaria. Con mio grande sollievo ne fu felice. La teoria è stata, ha detto, la cosa più arbitraria che lui e Whitehead avevano mai avuto a che fare, non proprio una teoria, ma un palliativo, ed era felice di aver vissuto abbastanza a lungo per vedere la soluzione del problema.

Mettendola nel modo più semplice che si può, la risoluzione è la seguente. Tutto quello che dobbiamo dimostrare è che i paradossi auto-referenziali, scartati con la Teoria dei Tipi, non sono peggio di paradossi auto-referenziali simili, che sono considerati abbastanza accettabili, nell'ordinaria teoria delle equazioni.

Il paradosso più famoso in logica è nella dichiarazione, 'Questa affermazione è falsa.'

Supponiamo di supporre che una dichiarazione rientra in una delle tre categorie, vero, falso, o privo di significato, e che una dichiarazione significativa che non è vera deve essere falsa, e una che non è falsa deve essere vera. La dichiarazione in questione non sembra essere priva di senso (alcuni filosofi hanno sostenuto che lo è, ma è facile confutarlo), quindi deve essere vera o falsa. Se è vera, deve essere, come dice, falsa. Ma se è falsa, poiché questo è quello che dice, deve essere vera.

Non è stato finora notato che abbiamo un paradosso altrettanto vizioso nella teoria delle equazioni ordinarie, perché abbiamo ci siamo accuratamente guardati dall'esprimendo in questo modo. Vediamo ora di farlo.
Faremo ipotesi analoghe a quelle di cui sopra. Partiamo dal presupposto che un numero può essere sia positivo, negativo o zero. Si assume inoltre che un numero diverso da zero che non è positivo deve essere negativo, e uno che non è negativo deve essere positivo.
Consideriamo ora l'equazione

x2+1=0

Trasponendo, abbiamo

x2=-1

e dividendo entrambi i membri per x si ha,

x = -1/x

Possiamo vedere che questo (come la dichiarazione analoga in logica) è auto-referenziale: la radice-valore di x che cerchiamo deve essere riintrodotta nell'espressione da cui la cerchiamo.

Un semplice esame ci mostra che x deve essere una forma di unità, o l'equazione non sarebbe bilanciata numericamente. Abbiamo assunto solo due forme di unità, +1 e -1, quindi possiamo ora provare a turno. Imponiamo x = 1. Questo dà

+ 1 = -1 / +1 = - 1

che è chiaramente paradossale. Quindi impostiamo x = -1. Questa volta abbiamo

- 1 = -1/-1 = + 1

ed è altrettanto paradossale.
Naturalmente, come tutti sanno, il paradosso in questo caso viene risolto con l'introduzione di una quarta classe di numeri, chiamati immaginari, in modo da poter dire che le radici della equazione di cui sopra sono ± i, dove i è un nuovo tipo di unità che consiste di una radice quadrata di meno uno.

...

G SPENCER-BROWN

Cambridge, Inghilterra
Giovedì Santo 1972

(*): si ha ragione di credere che Spencer-Brown sia figlio unico.

PREFACE TO THE FIRST AMERICAN EDITION

Apart from the standard university logic problems, which the calculus published in this text renders so easy that we need not trouble ourselves further with them, perhaps the most significant thing, from the mathematical angle, that it enables us to do is to use complex values in the algebra of logic. They are the analogs, in ordinary algebra, to complex numbers a + b √- 1 . My brother and I had been using their Boolean counterparts in practical engineering for several years before realizing what they were. Of course, being what they are, they work perfectly well, but understandably we felt a bit guilty  about using them, just as the first mathematicians to use 'square roots of negative numbers' had felt guilty, because they too could see no plausible way of giving them a respectable academic meaning. All the same, we were quite sure there was a perfectly good theory that would support them, if only we could think of it.

The position is simply this. In ordinary algebra, complex values are accepted as a matter of course, and the more advanced techniques would be impossible without them. In Boolean algebra (and thus, for example, in all our reasoning processes) we disallow them. Whitehead and Russell introduced a special rule, which they called the Theory of Types, expressly to do so. Mistakenly, as it now turns out. So, in this field, the more advanced techniques, although not impossible, simply don't yet exist. At the present moment we are constrained, in our reasoning processes, to do it the way it was done in Aristotle's day. The poet Blake might have had some insight into this, for in 1788 he wrote that 'reason, or the ratio of all we have already known, is not the same that it shall be when we know more.'

Recalling Russell's connexion with the Theory of Types, it was with some trepidation that I approached him in 1967 with the proof that it was unnecessary. To my relief he was delighted. The Theory was, he said, the most arbitrary thing he and Whitehead had ever had to do, not really a theory but a stopgap, and he was glad to have lived long enough to see the matter resolved.

Put as simply as I can make it, the resolution is as follows. All we have to show is that the self-referential paradoxes, discarded with the Theory of Types, are no worse than similar self-referential paradoxes, which are considered quite acceptable, in the ordinary theory of equations.

The most famous such paradox in logic is in the statement, 'This statement is false.'

Suppose we assume that a statement falls into one of three categories, true, false, or meaningless, and that a meaningful statement that is not true must be false, and one that is not false must be true. The statement under consideration does not appear to be meaningless (some philosophers have claimed that it is, but it is easy to refute this), so it must be true or false. If it is true, it must be, as it says, false. But if it is false, since this is what it says, it must be true.

It has not hitherto been noticed that we have an equally vicious paradox in ordinary equation theory, because we have carefully guarded ourselves against expressing it this way. Let us now do so.
We will make assumptions analogous to those above. We assume that a number can be either positive, negative, or zero. We assume further that a nonzero number that is not positive must be negative, and one that is not negative must be positive.
We now consider the equation

x2+1=0

Transposing, we have 

x2=-1


and dividing both sides by x gives ,

x=-1/x

We can see that this (like the analogous statement in logic) is self-referential: the root-value of x that we seek must be put back into the expression from which we seek it.

Mere inspection shows us that x must be a form of unity, or the equation would not balance numerically. We have assumed only two forms of unity, +1 and — 1, so we may now try them each in turn. Set x = +1. This gives

+ 1= -1/+1= - 1

which is clearly paradoxical. So set x= -1. This time we have

- 1= -1/-1= + 1

and it is equally paradoxical.
Of course, as everybody knows, the paradox in this case is resolved by introducing a fourth class of number, called imaginary, so that we can say the roots of the equation above are ± i, where i is a new kind of unity that consists of a square root of minus one.
 
... 

G SPENCER-BROWN

Cambridge, England
Maundy Thursday 1972

L'epistemologia di Brown è esplicitamente dichiarata all'inizio del testo:

UNA NOTA SUL METODO MATEMATICO

Il tema di questo libro è che un universo viene in essere quando uno spazio viene separato o reciso. La pelle di un organismo vivente taglia un fuori da un dentro. Così fa la circonferenza di un cerchio in un piano. Tracciando il nostro modo di rappresentare una separazione, possiamo cominciare a ricostruire, con una precisione e una copertura che appaiono quasi inquietanti, le forme fondamentali alla base della scienza linguistica, matematica, fisica e biologica, e si può cominciare a vedere come le leggi familiari della nostra esperienza seguono inesorabilmente dall'atto originale di separazione.
L'atto in se stesso è già ricordato, anche se inconsciamente, come il nostro primo tentativo di distinguere le cose diverse in un mondo dove, in primo luogo, i confini si possono tracciare ovunque vogliamo. In questa fase l'universo non può essere distinto dal nostro modo di agire su di esso, e il mondo può sembrare come sabbie mobili sotto i nostri piedi.

Sebbene tutte le forme, e quindi tutti gli universi, sono possibili, e ogni particolare forma è mutevole, diventa evidente che le leggi riguardanti tali forme sono le stesse in qualsiasi universo. E questa uniformità, l'idea che possiamo trovare una realtà che è indipendente da come l'universo effettivamente appare, che conferisce un tale fascino allo studio della matematica. Che la matematica, in comune con altre forme d'arte, può condurci al di là dell'esistenza ordinaria, e ci può mostrare qualcosa della struttura in cui tutta la creazione si unisce insieme, non è un'idea nuova. Ma testi matematici in genere iniziano la storia da qualche parte nel mezzo, lasciando al lettore di riprendere il filo come meglio può. Qui la storia è tracciata fin dall'inizio.

A differenza di forme più superficiali di competenza, la matematica è un modo di dire sempre meno circa sempre di più. Un testo matematico non è dunque fine a se stesso, ma una chiave per un mondo oltre l'ambito della descrizione ordinaria.

Un'esplorazione iniziale di un tale mondo è di solito effettuata in compagnia di una guida esperta. Intraprenderla da solo, sebbene possibile, è forse difficile come entrare nel mondo della musica tentando, senza una guida personale, di leggere i fogli di un maestro compositore, o di preparare un primo volo personale su un aeroplano senza nessuna preparazione diversa da quella dello studio del manuale del pilota.

A NOTE ON THE MATHEMATICAL APPROACH

The theme of this book is that a universe comes into being when a space is severed or taken apart. The skin of a living organism cuts off an outside from an inside. So does the circumference of a circle in a plane. By tracing the way we represent such a severance, we can begin to reconstruct, with an accuracy and coverage that appear almost uncanny, the basic forms underlying linguistic, mathematical, physical, and biological science, and can begin to see how the familiar laws of our own experience follow inexorably from the original act of severance.
The act is itself already remembered, even if unconsciously, as our first attempt to distinguish different things in a world where, in the first place, the boundaries can be drawn anywhere we please. At this stage the universe cannot be distinguished from how we act upon it, and the world may seem like shifting sand beneath our feet.

Although all forms, and thus all universes, are possible, and any particular form is mutable, it becomes evident that the laws relating 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 mathematics. That mathematics, in common with other art forms, can lead us beyond ordinary existence, and can show us something of the structure in which all creation hangs together, is no new idea. But mathematical texts generally begin the story somewhere in the middle, leaving the reader to pick up the thread as best he can. Here the story is traced from the beginning.

Unlike more superficial forms of expertise, mathematics is a way of saying less and less about more and more. A mathematical text is thus not an end in itself, but a key to a world beyond the compass of ordinary description.

An initial exploration of such a world is usually undertaken in the company of an experienced guide. To undertake it alone, although possible, is perhaps as difficult as to enter the world of music by attempting, without personal guidance, to read the score-sheets of a master composer, or to set out on a first solo flight in an aeroplane with no other preparation than a study of the pilots' manual.

Nella prima parte Brown delinea cosa sia una forma:

L A  F O R M A

Diamo per scontato l'idea di distinzione e l'idea di indicazione, e che non possiamo fare una indicazione senza operare una distinzione. Prendiamo, quindi, la forma di distinzione per la forma.

Definizione

Distinzione è perfetta continenza.

Vale a dire, viene fatta una distinzione disponendo un confine con lati separati in modo che un punto su un lato non può raggiungere il lato senza attraversare il confine. Ad esempio, in uno spazio piano un cerchio opera una distinzione.
Una volta che si è operata una distinzione, gli spazi, stati o contenuti su ciascun lato del confine, essendo distinti, possono essere indicati.
Non ci può essere alcuna distinzione, senza motivo, e non può esserci nessun motivo a meno che i contenuti sono visti differire in valore.
Se un contenuto è di valore, un nome può essere assunto per indicare questo valore.
Così la chiamata del nome può essere identificata con il valore del contenuto.

Assioma 1. La legge di chiamata

Il valore di una chiamata effettuata di nuovo è il valore della chiamata.

Cioè, se un nome viene chiamato e poi viene chiamato nuovamente, il valore indicato dalle due chiamate prese insieme è il valore indicato da uno di essi.
Vale a dire, per ogni nome, richiamare è chiamare.
Allo stesso modo, se il contenuto è di valore, un motivo o intenzione o istruzione di attraversare entro il confine nel contenuto può essere assunto per indicare questo valore.
Pertanto, anche, l'attraversamento del limite può essere identificato con il valore del contenuto.

Assioma 2. La legge di attraversamento

Il valore di un attraversamento fatta di nuovo non è il valore dell'attraversamento.

Vale a dire, se si intende attraversare un confine e quindi si intende attraversarlo nuovamente, il valore indicato dalle due intenzioni prese insieme è il valore indicato da nessuno di essi.
Vale a dire, per qualsiasi confine, riattraversare non è attraversare.

T H E  F O R M

We take as given the idea of distinction and the idea of indication, and that we cannot make an indication without drawing a distinction. We take, therefore, the form of distinction for the form.

Definition
Distinction is perfect continence. 


That is to say, a distinction is drawn by arranging a boundary with separate sides so that a point on one side cannot reach the other side without crossing the boundary. For example,in a plane space a circle draws a distinction.
Once a distinction is drawn, the spaces, states, or contents on each side of the boundary, being distinct, can be indicated.
There can be no distinction without motive, and there can be no motive unless contents are seen to differ in value.
If a content is of value, a name can be taken to indicate this value.
Thus the calling of the name can be identified with the value of the content.

Axiom 1. The law of calling
The value of a call made again is the value of the call. 


That is to say, if a name is called and then is called again, the value indicated by the two calls taken together is the value indicated by one of them.
That is to say, for any name, to recall is to call.
Equally, if the content is of value, a motive or an intention or instruction to cross the boundary into the content can be taken to indicate this value.
Thus, also, the crossing of the boundary can be identified with the value of the content.

Axiom 2 . The law of crossing
The value of a crossing made again is not the value of the crossing. 

That is to say, if it is intended to cross a boundary and then it is intended to cross it again, the value indicated by the twointentions taken together is the value indicated by none of them.
That is to say, for any boundary, to recross is not to cross.

Nel seguito definisce come le forme vengano estratte dalle forme:

F O R M E  E S T R A T T E  D A L L E  F O R M E

Costruzione
Tracciate una distinzione.

Contenuto
Chiamatela la prima distinzione.
Chiamate lo spazio in cui è operata lo spazio tagliato o ferito dalla distinzione.
Chiamare le parti dello spazio modellate dalla rottura o tagliate ai lati della distinzione o, in alternativa, gli spazi, stati o contenuti distinti per mezzo della distinzione.

Intento
Lasciate che qualsiasi segno, simbolo, o firma essere preso in ogni modo con o in relazione alla distinzione come un segnale.
Chiamate l'uso di qualsiasi segnale il suo intento.

Primo canone. Convenzione dell'intenzione
Sia l'intento di un segnale limitato all'uso consentito ad esso.
Chiamate questo la convenzione di intenzione. In generale, ciò che non è permesso è proibito.

Conoscenza
Sia uno stato caratterizzato dalla distinzione essere contrassegnato con un marchio
 
di distinzione.
Sia lo stato riconosciuto dal marchio.
Chiamate lo stato lo stato marcato.

Forma
Chiamate lo spazio spaccata da qualsiasi distinzione, insieme con l'intero contenuto dello spazio, la forma della distinzione.
Chiamate la forma della prima distinzione la forma.

Nome
Sia una forma distinta dalla forma.
Sia il segno di distinzione copiato dalla forma su un'altra forma.
Chiamate qualsiasi di tali copie del marchio un segno del marchio.
Lasciate che ogni segno del marchio sia chiamato come il nome dello stato marcato.
Lasciate che il nome indicano lo stato.

Disposizione
Chiamate la forma di un numero di token considerata per quanto riguarda l'uno all'altro (cioè, considerato nella stessa forma) una disposizione.

Espressione
Chiamate ogni disposizione intese come un indicatore un'espressione.

Valore
Chiamate uno stato indicato da un'espressione il valore dell'espressione.

F O R M S  T A K E N  O U T  O F  T H E  F O RM

Construction
Draw a distinction.

Content
Call it the first distinction.
Call the space in which it is drawn the space severed or cloven by the distinction.
Call the parts of the space shaped by the severance or cleft the sides of the distinction or, alternatively, the spaces, states,or contents distinguished by the distinction.

Intent
Let any mark, token, or sign be taken in any way with or with regard to the distinction as a signal.
Call the use of any signal its intent.

First canon. Convention of intention
Let the intent of a signal be limited to the use allowed to it.
Call this the convention of intention. In general, what is not allowed is forbidden.

Knowledge
Let a state distinguished by the distinction be marked with a mark

of distinction.
Let the state be known by the mark.
Call the state the marked state.

Form
Call the space cloven by any distinction, together with the entire content of the space, the form of the distinction.
Call the form of the first distinction the form.

Name
Let there be a form distinct from the form.
Let the mark of distinction be copied out of the form into such another form.
Call any such copy of the mark a token of the mark.
Let any token of the mark be called as a name of the marked state.
Let the name indicate the state.

Arrangement
Call the form of a number of tokens considered with regard to one another (that is to say, considered in the same form) an arrangement.

Expression
Call any arrangement intended as an indicator an expression.

Value
Call a state indicated by an expression the value of the expression.

L'operatore di segno (mark o cross):

è il simbolo principale utilizzato da Brown.
Il simbolo rappresenta la distinzione tra il suo interno e l'esterno:

Lo stato interno definito dal simbolo è detto stato segnato, quello esterno stato non-segnato, intendendo per stato i due lati di una distinzione, e il simbolo stesso rappresenta la distinzione tra i due stati:


con tali definizioni e assiomi Brown deriva un sistema logico formale per la descrizione dell'aritmetica primaria, dell'algebra primaria e delle equazioni di secondo grado.

mercoledì 16 maggio 2012

one Tao



Is it getting better
Or do you feel the same
Will it make it easier on you now
You got someone to blame
You say...

One love

One life
When it's one need
In the night
One love
We get to share it
Leaves you baby if you
Don't care for it

Did I disappoint you

Or leave a bad taste in your mouth
You act like you never had love
And you want me to go without
Well it's...

Too late

Tonight
To drag the past out into the light
We're one, but we're not the same
We get to
Carry each other
Carry each other
One...

Have you come here for forgiveness

Have you come to raise the dead
Have you come here to play Jesus
To the lepers in your head

Did I ask too much

More than a lot
You gave me nothing
Now it's all I got
We're one
But we're not the same
Well we
Hurt each other
Then we do it again
You say
Love is a temple
Love a higher law
Love is a temple
Love the higher law
You ask me to enter
But then you make me crawl
And I can't be holding on
To what you got
When all you got is hurt

One love

One blood
One life
You got to do what you should
One life
With each other
Sisters
Brothers
One life
But we're not the same
We get to
Carry each other
Carry each other

One...life


One

martedì 15 maggio 2012

Esistenza (il Bagatto, il Mago) - I Major


La figura nuda siede sulla foglia di loto della perfezione e osserva la bellezza del cielo stellato. Sa che "la casa" non è un luogo fisico del mondo esterno, ma una qualità interiore di rilassamento e accettazione. Le stelle, le pietre, gli alberi, i fiori, i pesci e gli uccelli sono tutti nostri fratelli e sorelle nella danza della vita. Noi esseri umani tendiamo a dimenticarlo, poiché inseguiamo i nostri scopi personali e privati, e crediamo di dover lottare per ottenere ciò di cui abbiamo bisogno. Ma in ultima analisi il nostro senso di separatezza è solo un'illusione fabbricata dalle piccole preoccupazioni della mente. Ora è tempo di guardare se permetti a te stesso di ricevere lo straordinario dono di sentirti "a casa", ovunque ti trovi. Se lo fai, assicurati di concederti tempo per assaporarlo, in modo che possa sedimentare in te ancor più profondamente e accompagnarti sempre. Se invece hai la sensazione che il mondo esiste per sopraffarti, è tempo di fare una pausa. Questa notte esci, e guarda le stelle.

Non esisti in quanto frutto del caso. L'esistenza ha bisogno di te. Senza di te nell'esistenza mancherebbe qualcosa e niente potrebbe prendere il suo posto. Ciò ti dà dignità - il fatto che l'intera esistenza sentirà la tua mancanza. Le stelle e il sole e la luna, gli alberi e gli uccelli e la terra - ogni cosa, nell'intero universo, sentirà che un angolino è vuoto, e nessuno lo può colmare, fatta eccezione per te. Questo ti dà una gioia immensa, un appagamento, poiché senti di essere in relazione con l'esistenza, ed essa si prende cura di te. Allorché sarai limpido e pulito, vedrai riversarsi in te da tutte le dimensioni un amore sconfinato.

venerdì 11 maggio 2012

Paris, Texas, Tao

gioco e fantasia del Tao - 17

René Magritte, Calls of peaks, 1942-43
17. Tutto ciò, tuttavia, non chiarisce che cosa s'intenda per 'inquadramento' e che cosa significhi la nozione collegata di 'contesto'. Per chiarire, è bene sottolineare subito che si tratta di concetti psicologici. Per discutere queste nozioni usiamo due specie di analogie: l'analogia fisica della cornice di un quadro e quella più astratta, ma non ancora psicologica, dell'insieme matematico. Nella teoria degli insiemi, i matematici hanno costruito assiomi e teoremi per discutere rigorosamente le implicazioni logiche dell'appartenenza a categorie o «insiemi» non disgiunti. Le relazioni tra insiemi sono di solito illustrate mediante diagrammi in cui gli elementi o membri di un universo più vasto sono rappresentati da punti, e gli insiemi più piccoli sono delimitati da curve immaginarie racchiudenti gli elementi di ciascun insieme; tali diagrammi illustrano dunque un'impostazione topologica della logica della classificazione. Il primo passo nella definizione di un inquadramento psicologico potrebbe essere quello di dire che esso è (o delimita) una classe o insieme di messaggi (o azioni significative). Il gioco di due individui in una certa circostanza si definirebbe allora come l'insieme di tutti i messaggi che essi si scambiano in un periodo limitato di tempo e che sono modificati dal sistema paradossale di premesse che abbiamo descritto. In un diagramma della teoria degli insiemi, questi messaggi potrebbero essere rappresentati mediante punti, e l'« insieme» racchiuso mediante una curva che separerebbe questi punti da altri, rappresentativi di messaggi di non-gioco. Tuttavia l'analogia matematica non regge, poiché l'inquadramento psicologico non è rappresentato in modo soddisfacente da una curva immaginaria: riteniamo che l'inquadramento psicologico abbia in qualche misura un'esistenza reale. In molti casi l'inquadramento è riconosciuto coscientemente ed è addirittura rappresentato nel vocabolario («gioco», «cinema», «colloquio», «lavoro», «lingua», ecc.). In altri casi può non esserci esplicito riferimento verbale, e il soggetto può non esserne conscio. L'analista tuttavia trova che il suo pensiero viene semplificato dall'impiego della nozione di 'cornice' inconscia come principio esplicativo; di solito egli va oltre, e inferisce che essa esiste nell'inconscio del soggetto.
Tuttavia, mentre l'analogia con l'insieme matematico è forse troppo astratta, l'analogia con la cornice del quadro è forse troppo concreta. Il concetto psicologico che stiamo cercando di definire non è né fisico né logico; piuttosto, riteniamo che la cornice fisica reale venga dagli uomini aggiunta ai quadri fisici perché gli esseri umani si muovono più agevolmente in un universo in cui alcune delle loro caratteristiche psicologiche sono esternate. Sono proprio queste caratteristiche che stiamo cercando di discutere, impiegando tale esteriorizzazione come espediente illustrativo.

 (A Theory of Play and Fantasy, 1954) - 13-16