Newsgroup: it.cultura.religioni
Titolo: NOETICA & Cybernetics [da Anselmo d'Aosta a Dan Brown (The Lost Symbol)]

 essere descritto linguisticamente come riferimento concepibile.
Un ente non � tale solo quando � racchiudibile al finito in un
contenitore (per esempio una scatola di cartone con il polistirolo) e vi
si pu� scrivere sopra "tv color Mivar" e inoltre con una tasca sulla
scatola dove vi siano le istruzioni di cosa significhi "tv color".
Il "concepire" classico, allude al contenere e alla possibilit� di
descrizione al finito.
In particolare non si hanno -se gli insiemi non sono privi di frontiera-
le aporie di Russell "di chi faccia la barba al barbiere".
E fino a qui siamo nelle strutture standard della logica e della teoria
degli insiemi.
Poich� stiamo per andare a interessarci di casi in cui le strutture
classiche vanno in tilt, ossia sono singolari, introducono aporie, non
sono utilizzabili (spero di esser stato chiaro), non potremo usare la
modalit� classica del definire in base al top down.
Se vi provassimo faremmo gli errori di Parmenide, di Anselmo di Aosta,
di Godel, etc, nel tentare di definire un insieme -sia detto per ora
Dio- che non ha un altro insieme che gli sia esterno, ossia Dio non �
sottoinsieme di alcun altro insieme ipotizzabile, essendo "il maggiore"
(o la collezione di tutte le collezioni).
Evidentemente tale concetto di "Colui di cui non vi � il maggiore"
riprende la formulazione di Anselmo, ma grazie a una teoria degli
insiemi non arcaica (si avvarr� invece del bottom up) � in grado di
argomentare l'esistenza di tale ente -Dio- non per deduzione, ma per
induzione (pur essa "induzione" interna alle possibilit� della logica).
Cosa che infici� -la pretesa di poter dimostrare per deduzione- la
dimostrazione di Anselmo.
Quindi se preferisci un impianto pi� formale, (mi dici "plausibilit�
ontologica")
-per l'occasione- proviamo a usare una procedura di riconoscimento pi�
formale e che sfrutti meno l'intuizione:
Teorema dell'esistenza di "X"
ipotesi A:
Sia "X" = "la collezione di tutte le collezioni" (costruibile,
collezionando gli enti, in bottom up).
ipotesi B:
Sia detta tale collezione "X" = L'ESSERE, nel senso specificato
dall'ipotesi A.
ipotesi C:
Sia "Omega" = "proiezione di X" (costruibile, con la misura di X, in
bottom up).
ipotesi D:
Sia detta tale "Omega" = ESISTERE, nel senso specificato dall'ipotesi C.
Tesi:
1) Si pu� dimostrare che "Omega � un sottoinsieme di X"
2) Si pu� dimostrare che "X esiste (grazie ad Omega)"
dimostrazione:
su "Omega = sottoinsieme di X":
Omega � certamente un insieme interno ad X (sottoinsieme proprio di X),
poich� non vi sono insiemi esterni a X, grazie alla ipotesi A.
su "X esistente":
Poich� certissimamente � costruibile la collezione di tutte le
collezioni (in bottom up), ossia X, sar� allora costruibile anche un suo
(di X) sottoinsieme, detto Omega, per misura di X.
Ma -per le ipotesi del teorema- ci� � equivalente a dire che "X esiste".
Infatti solo dall'esserci dell'ente, o dalla collezione di enti, �
possibile il relativo manifestarsi, esistere, mentre "la collezione di
tutte le manifestazioni" non fornisce informazioni (complete) su "tutto
ci� che �" e magari -singolarmente- tale X non si manifesta.
Il teorema quindi afferma un fatto non banale: trovato un metodo per
indicare (bottom up) il "tutto", non si � a conoscenza -specifica- di
tale tutto (si � a conoscenza solo per costruzione induttiva), ma
essendo che il "tutto" -a prescindere dalla relativa dimensione- � pur
maggiore dell'insieme vuoto, allora esiste, cio� afferisce alla sfera
dell'apparire -quando si manifesta- ed il relativo manifestarsi � un
sottoinsieme della completezza della "collezione di tutte le
collezioni", che gode senz'altro della propriet� di esistere, visto che
non � un insieme vuoto.
cvd.
Corollario:
Ora ciascuno chiamer� X come gli pare, ma se mantiene le propriet� sopra
esposte, solo tale X potr� dirsi Dio, "non essendovi altri maggiori di
Lui". 
Saluti e felicit�,
L



Visto che sei così preparato, ti interesserebbe collaborare con il
blog 
http://scienzanoetica.blogspot.com
 ?

 blog 
http://scienzanoetica.blogspot.com
 ?
Grazie della stima ..
: - )
Sono rintracciabile alla casella di posta:
parmenide_2002[chiocciola]
yahoo.it
sostituire [chiocciola]=@
Ciao,
L