lunedì 25 novembre 2013

i tre Tao complessi: Ecosistema

Dei tre sistemi più complessi conosciuti - la coscienza, l'ecosistema planetario e l'universo - lo studio e la modellizazione dell'ecosistema globale terrestre ha da diversi anni un'importanza centrale, ampiamente sottovalutata e ignorata, per la previsione delle modificazioni ambientali distruttive ed irreversibili dovuti all'influenza umana.
Il rapporto 2013 sui cambiamenti climatici del Working Group I dell'IPCC descrive la situazione attuale e fornisce alcune previsioni sul futuro:
Gary Larson

http://www.ipcc.ch/

la prova di (metà) Tao


"Ogni proprietà positiva è necessariamente positiva.
Per definizione Dio ha tutte e solo le proprietà positive.
L'esistenza necessaria è una proprietà positiva.
Quindi Dio, se è possibile, possiede necessariamente l'esistenza.
Il sistema di tutte le proprietà positive è compatibile.
Quindi Dio è possibile.
Essendo possibile, Dio esiste necessariamente"


T3 Necessarily, God - G(x) - exists:   xG(x)

Gödel’s proof is challenging to formalize and verify because it requires an expressive logical language with modal operators (possibly and necessarily) and with quantifiers for individuals and properties. Our computer-assisted formalizations rely on an embedding of the modal logic into classical higher-order logic with Henkin semantics. The formalization is thus essentially done in classical higher-order logic where quantified modal logic is emulated.
In our ongoing computer-assisted study of Gödel’s proof we have obtained the following results:

– The basic modal logic K is sufficient for proving T1, C and T2.
– Modal logic S5 is not needed for proving T3; the logic KB is sufficient.
– Without the first conjunct Φ(x) in D2 the set of axioms and definitions would be inconsistent.
– For proving theorem T1, only the left to right direction of axiom A1 is needed. However, the backward direction of A1 is required for proving T2.

This work attests the maturity of contemporary interactive and automated deduction tools for classical higher-order logic and demonstrates the elegance and practical relevance of the embeddings-based approach. Most importantly, our work opens new perspectives for a computer-assisted theoretical philosophy. The critical discussion of the underlying concepts, definitions and axioms remains a human responsibility, but the computer can assist in building and checking rigorously correct logical arguments. In case of logico-philosophical disputes, the computer can check the disputing arguments and partially fulfill Leibniz’ dictum: Calculemus — Let us calculate!
Raimondo Lullo, Prova logica dell'esistenza di Dio, XIII secolo.

Christoph Benzmüller

Bruno Woltzenlogel Paleo

mercoledì 20 novembre 2013

il Te del Tao: LXIV - ATTENERSI AL PICCOLO


LXIV - ATTENERSI AL PICCOLO

Quello che è fermo con facilità si trattiene,
quello che non è cominciato con facilità si divisa,
quello che è fragile con facilità si spezza,
quello che è minuto con facilità si disperde:
opera quando ancora non è in essere,
ordina quando ancora non è in disordine.
Un albero che a braccia aperte si misura
nasce da un minuscolo arboscello,
una torre di nove piani
comincia con un cumulo di terra,
un viaggio di mille li
principia da sotto il piede.
Chi governa corrompe,
chi dirige svia.
Per questo il santo
non governa e perciò non corrompe,
non dirige e perciò non svia.
La gente nel condurre le proprie imprese
sul punto di compierle sempre le guasta,
se curasse la fine come il principio
allora non vi sarebbero imprese guaste.
Per questo il santo
brama quello che non è bramato
e non pregia i beni che con difficoltà si ottengono,
studia quello che non viene studiato
e ritorna su quello che gli altri han travalicato.
Per favorire la spontaneità delle creature
non osa agire.

arrivando da qualche parte, ma non nel Tao


Never stop the car on a drive in the dark
Never look for the truth in your mother's eyes
Never trust the sound of rain upon a river rushing
Through your ears

Arriving somewhere but not here

Could you imagine the final sound as a gun
Or the smashing windscreen of a car?
Did you ever imagine the last thing you'd hear as you're fading out
Was a song?

Arriving somewhere but not here

[Chorus:]

All my designs, simplified
And all of my plans, compromised
And all of my dreams, sacrificed

Ever had the feeling you've been here before?
Drinking down the poison the way you were taught
Ever thought from here on in your life begins
And all you knew was wrong?

Arriving somewhere but not here

All my designs, simplified
And all of my plans, compromised
And all of my dreams...

Did you see the redness block your part?
Did the scissors cut a way to your heart?
Did you feel the end before the suns of mothers
Tearing you apart?

martedì 19 novembre 2013

l'Innocenza (il Sole) - XIX Major


Il vecchio raffigurato in questa carta irradia nel mondo un diletto di bimbo. È circondato da una sensazione di grazia, quasi fosse a casa, in pace con se stesso e con ciò che la vita gli ha portato. Il vecchio sembra avere una comunicazione giocosa con la mantide religiosa posata sul suo dito, come fossero due vecchi amici. I fiori rosa che piovono a cascata intorno a lui indicano un tempo di abbandono, rilassamento e dolcezza. Sono una risposta alla sua presenza, un riflesso delle sue qualità. L'innocenza che è frutto di una profonda esperienza della vita, ha la qualità di un bambino, ma non è infantile. L'innocenza del bambino è bella, ma è ignorante. Verrà sostituita dalla sfiducia e dal dubbio man mano che il bambino crescerà e apprenderà che il mondo può essere un luogo pericoloso e minaccioso. Ma l'innocenza di una vita vissuta in pienezza ha una qualità di saggezza e accettazione della meraviglia della vita in continuo mutamento.

Lo Zen afferma che, se abbandoni il sapere - e nel sapere è inclusa ogni cosa: il tuo nome, la tua identità, tutto quanto, poiché queste cose ti sono state date dagli altri - se lasci cadere tutto ciò che gli altri ti hanno dato, acquisirai nel tuo essere una qualità totalmente diversa: l'innocenza. Sarà una crocifissione della "persona", della personalità, e avverrà una resurrezione della tua innocenza: di nuovo tornerai a essere un bambino, rinato.

giovedì 14 novembre 2013

cicli meta-Tao

Ciclo di Krebs: acido citrico
La successiva metastruttura discussa da Tyler Volk e Jeff Bloom sono i cicli, intesi come ripetizioni di strutture nello tempo o nello spazio:

Background

Cycles are repetitions in space or time, such as, circulations, waves, repetitive routines, etc. Interactions of cycles and arrows create spirals or helices.

Examples

  • In architecture and design: heating & cooling systems, movement patterns in buildings, etc.
  • In art: perceptual “movement,” musical compositions, choreography, etc.
  • In social sciences: repetitive actions, routines, rituals, helical patterns of themes running through discourse and other psychosocial situations, etc.
  • In other senses: laps in a race, wheel of karma, etc.

Metapatterns

The Pattern Underground

concerto del Tao italiano