Newsgroup: it.cultura.religioni
Titolo: Re: Prove sulla non-esistenza di dio [a confronto con prove sulla  esistenza di Dio]

 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