A propos de la preuve ontologique de l'existence de Dieu par Gödel

[Médiat]

x est un gros nounours vert, il est semblable à dieu ?

Hors charte, hors sujet, ne répond pas à la question qui était : Où avez-vous vu un modèle de cette théorie ?

[invite6754323456711]

Hors charte, hors sujet, ne répond pas à la question qui était : Où avez-vous vu un modèle de cette théorie ?

C'était une question. Un modèle comprend la notion d'interprétation. Pourquoi, dans ce contexte de logique modale, cela ne peut pas être considérer comme une interprétation ? C'est juste cela que je n'ai pas compris.

Patrick

[invitebd2b1648]

Ce n'est tout simplement pas "approximable" !!!

[invite6754323456711]

C'était une question. Un modèle comprend la notion d'interprétation. Pourquoi, dans ce contexte de logique modale, cela ne peut pas être considérer comme une interprétation ? C'est juste cela que je n'ai pas compris.

Peut être une précision. Étant athée l'aspect théologique ne m'intéresse pas.

Patrick

[A voir en vidéo sur Futura]

[Médiat]

Un modèle comprend la notion d'interprétation.

Un modèle est un objet mathématique, qui "réalise" les éléments du langage et vérifie les axiomes, je ne vois rien de tel ici, d'autant plus que les modèles de la logique modale sont plus compliqués que ceux de la logique classique.