Commentaire de Jeremy971 sur Peux-on concevoir une théorie du tout ? Gödel et l'incomplétude

Jeremy971 27 février 2012 21:50

Preuve Ontologique de Gödel :

Définition 1 : x est semblable à Dieu si et seulement si x ne contient comme propriétés essentielles que les propriétés qui sont positives.
Définition 2 : A est une essence de x si et seulement si pour chaque propriété B, x contient nécessairement B si et seulement si A entraîne B.
Définition 3 : x existe nécessairement si et seulement si chaque essence de x est nécessairement exemplifiée.
Axiome 1 : Toute propriété entraînée par - c’est-à-dire impliquée uniquement par - une propriété positive est positive.
Axiome 2 : Une propriété est positive si et seulement si sa négation n’est pas positive.
Axiome 3 : La propriété d’être semblable à Dieu est positive.
Axiome 4 : Si une propriété est positive, alors elle est positive nécessairement.
Axiome 5 : L’existence nécessaire est positive.
Axiome 6 : Pour toute propriété P, si P est positive, alors d’être nécessairement P est positive.
Théorème 1 : Si une propriété est positive, alors elle est consistante, c’est-à-dire exemplifiée possiblement
Théorème 2 : La propriété d’être semblable à Dieu est consistante.
Théorème 3 : Si quelque chose est semblable à Dieu, alors la propriété d’être semblable à Dieu est une essence de cette chose.
Théorème 4 : Nécessairement, la propriété d’être semblable à Dieu est exemplifiée.

Répondre Signaler un abus

10/05 17:33 - Hermes

Bonjour La logique tétravalente est commune à quasiment toutes les traditions. Si on lui (...)
04/03 22:04 - Athéenuation IV

Bonjour, L’incomplétude de Gödel ne concerne et ne s’applique qu’aux (...)
04/03 19:18 - posteriori

La mort est l’absence de vie et non pas son opposé, le froid est l’absence de (...)
29/02 07:26 - gordon71

rien à voir, mais je cherche Clostra sur ce forum, si vous la croisez faites lui savoir (...)
28/02 20:00 - le castor

Remarquable debat. Merci a l’auteur et aux contributeurs...
28/02 12:40 - velosolex

Il me semble que l’art aboutit sensiblement aux même conclusions, et qu’il en fait (...)

7 derniers jours