# data[].attributes.body
Kant ha cercato di dimostrare l'inconsistenza di una prova ontologica basata su questi presupposti, occupandosene nella Dialettica trascendentale, dove distingue tre generi di prove: ontologica, cosmologica e fisico-teologica.

# data[].attributes.body
La prova fisico-teologica infine presuppone che esista un artefice dell'universo responsabile dell'ordine logico vigente al suo interno.
Ma quest'ordine può essere studiato solo nei suoi aspetti intrinseci, senza nulla poter dire su un Ordinatore esterno, per ammettere il quale si dovrebbe ricorrere ancora una volta alla prova ontologica.

# data[].attributes.body
Prima dimostrazione:
a. Se G è un ente di natura divina, allora possiede tutte le proprietà positive e soltanto proprietà positive.
b. Ma G è un ente di natura divina.
c. Dunque, G possiede tutte le proprietà positive e soltanto proprietà positive.

Seconda dimostrazione:

a. Se G è un ente di natura divina, allora [stando all'assioma 3] è una proprietà positiva.
b. Ma G è un ente di natura divina.
c. Dunque, G è una proprietà positiva.

Terza dimostrazione:
a. Se G è una proprietà positiva, allora [in base dell'assioma 4] è necessariamente una proprietà positiva.
b. Ma G è una proprietà positiva [conclusione della seconda dimostrazione].
c. Dunque, G è necessariamente una proprietà positiva.

Quarta dimostrazione:
a. Se G possiede tutte le proprietà positive, allora [stando all'assioma 5] possiede anche l'esistenza necessaria in quanto è una proprietà positiva.
b. G possiede tutte le proprietà positive [conclusione della prima dimostrazione].
c. Dunque, G possiede anche l'esistenza necessaria.

Quinta dimostrazione:
a. Se G è un ente di natura divina, allora [in base al teorema 2] la proprietà dell'esistenza gli appartiene per essenza.
b. Ma G è un ente di natura divina.
c. Dunque, a G appartiene per essenza la proprietà dell'esistenza.

Sesta dimostrazione:
a. Se G è una proprietà positiva, allora [secondo il teorema 1] è logicamente consistente.
b. Ma G è una proprietà positiva [conclusione della seconda dimostrazione].
c. Dunque, G è logicamente consistente [ossia è possibile].

Settima dimostrazione:
a. Se G è consistente, allora esiste necessariamente [in base alla conclusione della quinta dimostrazione, la proprietà positiva dell'esistenza gli appartiene infatti per essenza].

b. Ma G è consistente [conclusione della sesta dimostrazione].
c. Dunque, G esiste necessariamente.

# data[].attributes.headline
LE CONDIZIONI DA RISPETTARE E GLI ASSIOMI

# data[].attributes.subject
LE CONDIZIONI DA RISPETTARE E GLI ASSIOMI

# data[].attributes.body
Nei suoi scritti Dio viene considerato come l'insieme di tutte le perfezioni possibili dette PROPRIETA' POSITIVE le quali devono soddisfare le seguenti condizioni (o assiomi):

1) Se una proprietà è positiva, allora la sua negazione non è positiva.
2) Ogni proprietà che include una proprietà positiva è a sua volta positiva.
3) Essere un ente di natura divina è una proprietà positiva.
4) Se una proprietà è positiva, allora é necessariamente positiva.
5) L'esistenza necessaria è una proprietà positiva.

# data[].attributes.body
La prova ontologica gödeliana fino a qualche hanno fa era poco nota, poiché essa risultava conosciuta esclusivamente da pochi amici dell'autore e rimase dopo la sua morte tra le carte inedite: soltanto nel 1987 è stata infatti pubblicata negli Stati Uniti all'interno di un volume che raccoglie diversi scritti del grande matematico. Tra i motivi per cui il logico moravo non pubblicò in vita la sua Ontologisches Beweis alcuni studiosi sostengono esservi stato il timore di venire frainteso, ovvero di vedere la sua dimostrazione non apprezzata per il suo valore logico-formale, ma interpretata come una deviazione verso il misticismo

# data[].attributes.body
La prova cosmologica cerca di partire da un dato reale per risalire al Principio primo da cui tutto dipende. In tal modo però si ricade nell'argomento ontologico, da lui già confutato.

# data[].attributes.body
Il logico Kurt Gödel, autore dei teoremi d’incompletezza e indecidibilità che avevano sottratto alla logica la capacità di fornire dimostrazioni di verità assolutamente certa e fondata, propose anche una sua dimostrazione logica dell’esistenza di Dio, senza mai pubblicarla. Riprendendo la prova ontologica leibniziana, Gödel la rielaborò – come viene presentata e spiegata punto per punto in questo testo da Roberto Timossi – giungendo a dimostrare la necessità dell’esistenza di Dio in quanto unico essere dotato di tutte le “proprietà positive”

# data[].attributes.body
Presume di poter pervenire dalla semplice idea di qualcosa alla sua esistenza reale.
Egli immagina di avere in tasca cento talleri e di pensarne cento: quelli che lui pensa dovrebbero essere meno di quelli che ha in tasca, poiché ciò che è pensato è meno perfetto di ciò che è esistente. Ma pur continuando a pensarne cento, non per questo ne avrebbe di più in tasca. E quindi è per lui impossibile una prova di questo genere.

# data[].attributes.body
Dio rappresenta la possibilità stessa che qualcosa esista, la Sua esistenza non può essere una semplice eventualità priva di consistenza.

# data[].attributes.body
Spinoza sostiene che la ragione per cui Dio esiste si trova in Dio stesso, mentre l'uomo esiste per volere di un ente necessario. Spinoza pone la prova ontologica a fondamento di tutto.

# data[].attributes.body
Anselmo d’Aosta nel Proslogion(1077) dà origine alla prima dimostrazione ontologica dell’esistenza di Dio: secondo il filosofo, infatti, ognuno deve convincersi che è pensabile qualcosa di immensamente grande di cui non si può pensare nulla di maggiore.

La prova di Anselmo è mentalista, perché può essere compresa da chiunque con il semplice ausilio della propria mente e della propria interiorità; in effetti è da lui esposta per superare le obiezioni empiriche di cui soffriva la sua precedente argomentazione dell'opera Monologion.

# data[].attributes.body
Tuttavia l’essere viene interpretato come il Dio cristiano solo in seguito alle idee di Sant’Agostino.

# data[].attributes.body
Aristotele, sosteneva che tutto si muove perché all’origine del tutto vi è un motore immobile.

# data[].attributes.body
Platone ritiene che l’esistenza della dimensione ontologica è dimostrata dal fatto che le nostre conoscenze del mondo sensibile si rifanno a modelli matematici che non hanno riscontro in esso ma sono il risultato di un processo di reminiscenza che dà origine a quelle che vengono dette Idee.

# data[].attributes.body
Parte dal presupposto che il fatto di pensare qualcosa ne dimostra l’esistenza.

# data[].attributes.body
Cartesio intende Dio come "una sostanza infinita, indipendente, sommamente intelligente, sommamente potente", ovvero la "somma di tutte le perfezioni", che non può mancare dell'esistenza

# data[].attributes.headline
                                                                          LE PROVE A PRIORI

# data[].attributes.subject
                                                                          LE PROVE A PRIORI

# data[].attributes.body
Dai presocratici a Godel

# data[].attributes.body
Kurt Gödel nasce a Moravia il 28 aprile 1906. Frequenta la scuola a Brunn, completando gli studi scolastici nel 1923. Kurt entra all'Università di Vienna nel 1923, viene istruito da Furtwangler, Hahn, Wirtinger, Menger, Helly e altri. Come universitario frequenta un seminario condotto da Schlick che studia il libro di Bertrand Russell "Introduzione alla filosofia matematica".  Completa la sua dissertazione dottorale sotto la direzione di Hahn nel 1929 e diventa un membro della facoltà dell'Università di Vienna nel 1930, appartenendo alla scuola di positivismo logico fino al 1938