Visualizzazione post con etichetta godel. Mostra tutti i post
Visualizzazione post con etichetta godel. Mostra tutti i post

mercoledì 31 marzo 2010

Malizia

Ateo ingenuo: "Dio non esiste".

Ha ragione?

Se "Dio" non esistesse non avrebbe senso riferirsi a qualcosa che chiamiamo "Dio" e anche l' enunciato "Dio non esiste" risulterebbe insensato.

Poichè l' affermazione dell' ateo ingenuo non appare insensata nè all' ateo stesso nè al credente, l' unico modo per non cadere in contraddizione consiste nel considerarla falsa.

Sarà vera, dunque, l' affermazione contraria: "Dio esiste".

Contenti? No, poichè potremmo ripetere lo stesso ragionamento sostituendo "Dio" con cio' che più ci aggrada. Volete che esista il Signore degli Anelli? Et voilà; volete che esista Montalbano? Nulla di più facile. Persino l' Unicorno Rosa esiste.

Un' inflazione del genere disintegrerebbe all' istante qualsiasi moneta, nemmeno la moneta più preziosa, quella dell' "esistenza", sarebbe più spendibile.

Ed ecco allora che entra in scena l' ateo malizioso.

Ateo malizioso: "Tutto esiste".

Da Russell a Frege a Ryle, gli "atei maliziosi" sono tanti, e i seguaci acritici sedotti da tanta malizia ancora di più. Roba da chiodi!

Per costoro tutto cio' di cui si puo' parlare coerentemente "esiste" a prescindere per il semplice fatto che l' "esistenza" non è un predicato della logica. Poichè la logica la dà per scontata, non ha senso dimostrare l' "esistenza" di qualcosa in termini logici: la si assume sempre e comunque.

Ma l' intuito, quello per cui possiamo parlare anche di cose che "non esistono", puo' essere ripristinato dopo Parmenide, Ryle, Frege, Russell e Quine?

Eccome! Solo che occorre un "seguage acritico" che sia poco seguace e molto critico. Che sia incline a sostenere posizioni messe alla berlina con scherno di recente, solo mezzo secolo fa tanto per intendersi. Che osi dire:

"... l' "esistenza", con buona pace di Frege, Russell e Quine, è espressa da un normalissimo predicato della logica..."

Oppure che concluda così:

"... Ryle disse che ormai certa ontologia era morta per sempre e non più destinata a tornare. Come spesso accade ai confidenti filosofi analitici spesso presi a celebrare i funerali alle posizioni filosofiche sostanziali, Ryle si sbagliava: era destinato ad essere smentito dagli sviluppi successivi...".

Forse, senza andare molto lontano, uno così ce l' abbiamo qui in Italia. Si chiama Francesco Berto, sa usare le parole giuste al momento giusto, e forse ha pure scritto il libro giusto. Pur essendo un precario sembra lanciato verso una carriera luminosa, stiamo sintonizzati ed attendiamo sviluppi.

giovedì 10 dicembre 2009

La certezza matematica per Giussani

Don Giussani su fede e ragione:

"... la certezza morale, diversamente da quella matematica, si fonda sull' intuizione..."

In realtà Godel ha dimostrato che anche la certezza matematica, lungi dall' essere analitica, si fonda sull' intuizione.

sabato 21 novembre 2009

L' inghippo

... una risposta che vorrei conservare...

capire dove sta l’inghippo



La cosa più sorprendente è che non c' è nessun vero inghippo! Poichè la logica è incompleta, per via dei paradossi che crea, non ci garantirà mai circa le sue conclusioni. Nel mio post precedente sottolineavo che nemmeno il Teorema di Pitagora, tanto per dire, è al sicuro.



Ma che cosa non ci garantisce la logica? La verità delle sue conclusioni per quanto siano date le ipotesi. Ma chi non è interessato alla verità, se ne fa un baffo di questa lacuna. Basta che lo strumento funzioni nei casi in cui serve!



Diversa la situazione di chi è interessato alla verità e confida nei poteri della logica. In questo caso deve ricercare per essa un fondamento trascendente e dimostrare che esista e che sia coerente.



Questo sforzo ha una lunga tradizione, ecco una versione aggiornata dell' argomento. Alzi la mano chi lo trova incoerente o impossibile o paradossale o più controvertibile del teorema di pitagora.



Tu, in fondo, hai all' apparenza una convergenza decisiva con Odi. Quando dici: "da un punto di vista prettamente razionale, è impossibile dimostrare la presenza o l’assenza di Dio" riecheggi le sue parole. Ma non lasciarti ingannare dai nebbiogeni in azione per creare vis polemica, quando si passa ai fatti i nebbiogeni si spengono. Io Odifreddi l' ho approfondito, e le conclusioni, quando si fa sul serio, non sono affatto rese da questi slogan.



I conti non tornavano, trovavo strane certe affermazioni offensive ma mai ben calibrate, per cui ho approfondito la lettura rigo per rigo de "Il Vangelo secondo la Scienza".



Ebbene, dopo mille battutine, allusioni, risatine, minimizzazioni, quando finalmente il nostro prende in considerazioni gli argomenti più seri, deve ammettere che la dimostrazione logica dell' esistenza di Dio è coerente, inconfutabile e incontrovertibile (non consente affatto, con piccole variazioni di dimostrare la non-esistenza di dio). Ed è tale almeno nella misura in cui è tale il Teorema di Pitagora (che con l' "inghippo" della prefazione è controvertibile pure lui).



E d' altronde, cos' altro potrebbe dire un logico senza farsi espellere dall' Albo! Detto questo l' autore aggiunge che non si farà mai convincere nel merito (il risultato di quelle dimostrazioni non gli serve e lo trova dannoso, e la logica, per lui, non ha altro scopo che "servire").



Questi atei sono un po' così, partono in quarta, per esempio, dicendo che la dimostrazione contiene "petizioni di principio"; all' ultima pagina dei loro libri in un angolino, a bassa voce, sta scritto che c' è QUASI (sic !?) una petizione di principio. Ma nel campo della logica dei "quasi" son piene le fosse. Eppure ti tocca leggerli fino in fondo, fino a quell' angolino rivelatore che fa quadrare finalmente i conti.



Per quanto riguarda il libro prefato, come già detto, penso che l' autore sposi le tue posizioni (da un punto di vista prettamente razionale, è impossibile dimostrare la presenza o l’assenza di Dio). Posso prevederne l' andamento: la storia dell' uomo è lunga, lunghissima quindi è giustificata una rassegna dei mille tentativi che sono spazzatura per sorvolare su quelli più seri e bollarli rapidamente con parole ambigue non abbastanza compromettenti ma di sicuro effetto (dopo aver buttato una montagna di carne sul fuoco puoi dire quel che vuoi assecondando il tuo umore). Però io sono stufo di andarmi a cercare anche qui gli angolini in cui si dice che comunque da un punto di vista matematico certe conclusioni non sono nè attaccabili nè controvertibili (a meno che non lo sia anche il teorema di pitagora).



Come sempre in logica una conclusione corretta è sempre anche "quasi" sbagliata, per cui, ad uso e consuno degli ingenui che non approfondiscono, un buon talento pubblicitario è in grado di partorire una serie di slogan efficaci che vanno benissimo per delle prefazioni con il botto.

venerdì 20 novembre 2009

Ci stai?

Breve riassunto: Anselmo dimostrò la necessità dell' esistenza di Dio, Cartesio la necessità dalla possibilità, Leibnitz la coerenza (possibilità) della definizione in un mondo finito e Godel la coerenza in un mondo infinito.

Una considerazione preliminare: l' aritmetica è coerente, mettiamoci sotto il suo scudo. Dio puo' essere definito come un sottoinsieme di numeri (proprietà), per esempio quelli positivi (prprietà positive).

1. DEFINIZIONE DI DIO. Dio è l' ente che possiede tutte le proprietà positive e solo quelle (ente perfetto).

2. DEFINIZIONE DI NECESSITA'. Se una proprietà appartiene all' ente per via (filtro) della sua essenza, allora appartiene a lui necessariamente.

3. DEFINIZIONE ESSENZA. L' essenza di un ente definisce le proprietà necessarie di quell' ente.

1. ASSIOMA DEL PRODOTTO Il prodotto(intersezione) di due pp, dà una pp.

2. ASSIOMA DEI CONTRARI Il contrario di una pp è una proprietà negativa.

3. ASSIOMA MODALE. Nell' eternità (dimensione delle essenze), una proprietà può essere solo o necessaria o impossibile (definisco cio' che è sempre possibile ma mai si realizza come impossibile).

4. ASSIOMA DELL' ESISTENZA. L' esistenza è una pp.

5. ASSIOMA DI PROLIFERAZIONE. Pp implicano solo pp (da cui "essere Dio" è una pp).

1. TEOREMA DELLA POSSIBILITA' se un ente è Dio, allora a lui appartiene necessariamente (per essenza) la proprietà dell' esistenza (e fin qui, già Cartesio).

2. TEOREMA DELLA NECESSITA' Se Dio esiste, esiste necessariamente (visto che l' esistenza è pp e dio contiene tutte le pp, vedi primo teorema - contributo di Cartesio); se dio è possibile (se la sua definizione è coerente, contributo di Leibnitz migliorato da Godel), è necessario che sia possibile che esista; poichè questa possibilità c' è, allora esiste (vedi argomento di Cartesio).

OSSERVAZIONI.

2. I problemi inerenti il passaggio dalla logica alla realtà sono superati assumendo il platonismo.

3. Le pp sono generiche, cio' non invalida la dimostrazione, anzi, la potenzia. Al limite ci si puo' chiedere se convince.

4. L' esistenza è considerata una pp. O concordi o ti suicidi all' istante.

5. L' esistenza è una proprietà? L' immaginazione lo richiede. Come distinguere altrimenti tra l' immaginato e il reale? Ma magari non siete realisti, e allora vi saluto.

6. "C' è una petizione di principio!". Molti confutatori iniziano con simili entusiasmi. Poi finiscono con dei "quasi" che in logica valgono come il due di picche.

7. La dimostrazione è inconfutabile ma non convince? Sì, nella misura in cui le pp sono arbitrarie.

8. Il concetto di essenza è obsoleto? In realtà fa capolino dove meno te l' aspetti, per esempio nel conceto di "significato". E' obsoleto anche quello? E poi puo' essere rimpiazzato dal concetto di "filtro" che fa molto più figo e à la page.

9. L' assioma 2 implica l' "assioma di scelta". E allora? E' un assioma comunemente usato in matematica. Non ti consiglio di buttarlo.

10. Enumerando le infinite pp, posso costruirne un insieme vuoto: quello che contiene tutte le pp più la proprietà di avere tutte le pp. Infatti, non esiste un numero più alto dei numeri naturali, già occupati! Obiezione valida contro Leibnitz (che infatti doveva supporre un mondo finito). Non contro Godel che introduce l' assioma 5 (essere Dio è una pp - quindi l' insieme di tutte le pp intersecate non è vuoto).

10. Kant dimostrò che l' argomento cosmologico è riconducibile a quello ontologico. Concordo, non è un obiezione.

mercoledì 18 novembre 2009

Una proprietà molto particolare (di Dio)

Dio è definibile come l' ente caratterizzato da tutte e solo da tutte le proprietà positive (la vecchia "perfezione"). Espressione esoterica.

Definito in questi termini, è possibile dimostrarne l' esistenza.

Per carità, qualche altro assioma serve...

Ci interessa in particolare una di queste proprietà: quella che conferisce l' attributo della "verità" alle regole della logiche.

Puo' esistere qualcosa del genere? Possono essere corrette le regole logiche?

La logica, quando parla della sua correttezza, si limita a produrre proposizioni indecidibili. Occorre un fondamento che trasmetta carattere di verità, per esempio, al Teorema di Pitagora.

I cercatori di verità che confidano nella logica valuteranno questa proprietà come una proprietà positiva.

Se si tratta di una proprietà positiva Dio la possiede, e, per quanto detto prima, è l' unico a poterla vantare.

giovedì 29 ottobre 2009

Dawkins e il creato

Per l' inglese Dio ha chiuso. Ormai disoccupato deve liberare il campo al più presto:

Evolution is God’s redundancy notice, his pink slip. But we have to go further. A complex creative intelligence with nothing to do is not just redundant. A divine designer is all but ruled out by the consideration that he must be at least as complex as the entities he was wheeled out to explain

Landsburg si acciglia:

But Darwinian evolution can’t replace God, because Darwinian evolution (at best) explains life, and explaining life was never the hard part. The Big Question is not: Why is there life? The Big Question is: Why is there anything? Explaining life does not count as explaining the Universe.

Il discorso si fa serio e l' inglese non demorde:

D.: Making the universe is the one thing no intelligence could do, because an intelligence is complex—statistically improbable —and therefore had to emerge, by gradual degrees, from simpler beginnings.

Qui non seguo più L. e se voi colete farlo linkatevi più sotto. Io mi astengo poichè L. segue fin troppo D. e condivide con lui l' espressione "making the universe" nel senso di assemblare. Ma l' universo è costruito o creato? E' un bricolage o una creazione ex nhilo? Poichè un Cristiano - ma non solo lui - compie la seconda opzione, il seguito dell' argomento decade. Lo scienziato non coglie questa differenza fondamentale e inferisce in modo all' apparenza scorretto. La complessità divina non è dunque del genere di quelle osservabili poichè noi non assistiamo ad alcuna creazione quaggiù. Taciamo agnosticamente dunque sulla struttura e teniamoci la dimostrazione dell' esistenza.

"Esistere", ecco il verbo che gli atei dovrebbero togliere di mezzo per convincerci. Purtroppo per loro la parolina sembra godere ancora di buona salute.

link

link

venerdì 3 aprile 2009

Definire Dio

Prova ontologica: nella logica modale cio' che è possibile è anche necessario (prima o poi si realizza), altrimenti sarebbe impossibile. In un mondo dove vige il principio della ragione sufficiente, la definizione di Dio come ragione prima non presenta contraddizioni. Quindi l' esistenza di Dio è possibile; quindi è anche necessaria (Dio creatore).

Prova cosmologica: guardati intorno! L' universo ha un suo ordine e una sua direzione. Dove c' è un ordine c' è un ordinatore (Dio architetto).

Prova etica: ci sono alcuni comandi morali dalla verità indubitabile nel tempo e nello spazio. Chiamo Dio il fondamento di tali verità.

Sono argomenti facili e naturali che in genere non servono a conquistae la fede. Ma servono a mantenerla e a pregare.

lunedì 1 settembre 2008

In preghiera al cospetto dei numeri

Nato a Brno, Kurt Godel viene comunemente considerato come il massimo logico di tutti i tempi.

Fu un fervente platonico e si dedicò anche al problema di Dio dandone una sua dimostrazione nel solco di Leibniz.

Ma la cosa interessante è un' altra: l' ente di natura divina dotato di tutte le propietà positive e necessariamente esistente non venne da Godel relegato al ruolo del "Dio della ragione" di fronte al quale - come scrisse Heidegger - " l' uomo non puo' pregare, non puo' sacrificare e non puo' per timore cadere in ginocchio".

A differenza della concezione un po' intellettualistica del divino quale "mente superiore" professata dall' amico Einstein, il logico moravo considerava infatti Dio non solo come entità razionale logicamente dimostrabile, ma anche come essere degno di venerazione.

A me la cosa sembra decisamente strana. Certo che la vita dei grandi logici di stranezze è sempre costellata.

Fonte: Timossi p.445

domenica 31 agosto 2008

Dio dimostrato (velocemente perchè ho fretta)

Ho letto il libro di Timossi che fa bella mostra di sè sul comodino. Viene squadernata una completa rassegna storica sulle dimostrazioni dell' esistenza di Dio. E' una selva in cui ho cercato di tracciare un mio sentiero personale.

Tra le prove empiriche lascerei perdere quella del Dio/architetto o quella del Dio/orologiaio. Non mi sfagiolano e mi rivolgo altrove.

Innanzitutto Dio potrebbe esistere per il fatto che esistono alcuni precetti morali universali nel tempo e nello spazio. Ne esistesse anche uno solo, sarebbe ufficiente. E io in questa esistenza credo fermamente.

Mi sento confortato avendo al mio fianco su questa strada due tipini come Dostoevskij e Kant. Il primo disse che "senza Dio tutto sarebbe permesso", il secondo parlava di una legge che ciascun uomo porta dentro di sè.

Mi convince anche la prova cosmologica, ma solo nella sua forma radicale che non considera tanto l' armonia del creato: Dio esiste perchè c' è qualcosa al posto di niente.

Questa conclusione la traiamo sotto l' egida del principio di ragion sufficiente: ogni cosa che esiste ha necessariamente una spiegazione ragionevole e l' esistenza di Dio spiega l' esistenza dell' essere al posto del nulla. Certo, qualcuno potrebbe dire che l' essere esiste autonomamente, ma così facendo rinuncerebbe al principio. Il nostro nume tutelare in questo caso sarebbe Leibniz.

Ci sono parecchi atti di fede in queste dimostrazioni, due su tutti: esiste almeno un principio etico universale, esiste poi un principio di ragione sufficiente. Al primo in fondo credono tutti, tranne qualche nichilista isolato. Il secondo è l' atto di fede tipico delle scienze: credo nell' intelleggibilità del mondo.

Si instaura così un rapporto tra fede e ragione, è il rapporto anselmino: credo per poter capire. Anche se la vera fede interviene successivamente a caratterizzare il Dio a cui ci rivolgiamo. In questo senso Tommaso docet: la ragione come trampolino della fede.

La prova etica e la prova cosmologica sono prove empiriche, approdano a delle possibilità, il massimo che possono dirci è che l' ipotesi di Dio prevale.

Per sigillare il tutto con una certezza ci si appella alle prove logiche e la logica modale ci dice innanzitutto che la verità di un' affermazione o è necessaria o è impossibile. In altri termini, un' affermazione è o vera o falsa. Anche questo principio (bivalenza) è un atto di fede (la logica è piena di atti di fede).

"Dio esiste" prevale tra le affermazioni possibili, dunque non è impossibile, dunque è necessaria. Ecco, l' esistenza di Dio è dimostrata.

I padrini dell' argomento logico sono parecchi, si va da Leibniz fino a Godel. Mi sembra che la qualità dei cervelli in campo sia la massima disponibile sul mercato della logica.

Ma l' argomento logico non regge senza che la "possibilità" di Dio sia sostenuta dall' argomento empirico, infatti in virtù del semplice argomento logico anche una "materia infinita ed autonoma" sarebbe possibile (non contradditoria) e quindi necessaria. Per questo che il "possibile" è un titpolo di merito da assegnare con argomenti ex post e non semplicemente affidandosi alla coerenza interna.

Le mie conclusioni sono ben diverse da quelle sponsorizzate dall' autore, lui esalta l' argomento anselmino (puramente logico): Dio è il maggiore tra gli enti immaginabili, poichè "maggiore" significa che detiene tutte le qualità al massimo grado, deterrà al massimo grado anche la qualità dell' esistenza. Kant sostenne che l' esistenza non è una "qualità", mi sembra una critica distruttiva. La critica di Kant viene aggirata facendo atto di fede circa la qualità dell' esistenza. In tutta franchezza preferisco gli atti di fede richiesti più sopra.