Résumés pour les Nuls !

Résumé 1 :

GÖDEL a mis au point un certain nombre de théorèmes de logique. Ceux-ci sont objectifs. Ils démontrent l’existence nécessaire de certaines théories parfaites ( non contradictoires et complètes c’est à dire sans théorèmes indécidables). Ces théorèmes complètent le premier théorème d’incomplétude. Mais ils sont peu connus. On imagine pourquoi…

Le développement d’ERIC BASILLAIS fournit leur version développée. Ces théories réellement existantes ont un sujet unique. Soit Dieu (Theos d’Aristote) et les Anges (au sens défini par St Thomas d’Aquin). Téléchargement gratuit ici :

https://ericbasillais.wordpress.com/pdf-a-telecharger/

Plus de détail :
Sur les 56 pages, une trentaine sont de la Logique PURE sans aucun nombre arithmétique. Ces théorèmes démontrent des existences et unicités de certaines théories logiques. De la même manière qu’on peut démontrer l’existence et l’unicité du centre de gravité d’un triangle et de la droite d’Euler.
Ces théories sont la seule façon d’appréhender, par l’Intellect seul, des êtres réputés imperceptibles mais intelligibles. Cette figure d’appréhension, qui remplace, dans l’ordre logique, l’appréhension banale par les sens, c’est l’essence; terme philosophique précisé ici en termes purement logiques (théorie Gödelienne ou théorie parfaite). Les théorèmes démontrent existence et unicité de ces essences et leurs cas d’existence. C’est tout.
C’est pourquoi, sans a priori monothéiste, ces existences étudiées a priori, sont appelées des dieux. Voilà pour le titre du livre : Les dieux sont logiques. Mais ces « dieux » s’avèrent correspondre exactement à Dieu (Theos d’Aristote) et aux anges ( version de st Thomas d’Aquin).
ERIC BASILLAIS

Résumé 2 :

Eric BASILLAIS (Polytechnicien) a développé mathématiquement les théorèmes de la preuve ontologique de Kurt GÖDEL. Cela démontre l’existence et la prouvabilité de Dieu (THEOS d’Aristote) et des Anges (définis par St Thomas d’Aquin). L’argument du passage de l’existence in intellectu à l’existence in re est rediscuté (dans le blog en question : https://ericbasillais.wordpress.com/2016/11/26/ens-et-verum-convertuntur/) à partir de la notion d’acte/nécessité propre à la Logique modale utilisée par GÖDEL en référence à ARISTOTE  et en vertu de la forme spéciale des théorèmes développés.
Résumé en Anglais /Summary :
Texte intégral en Français (ISBN) en téléchargement gratuit :
Publicités

ENS ET VERUM CONVERTUNTUR

Voici la réponse, dans le cadre du théorème démontré, à l’objection philosophique de Jean-Mathieu, selon laquelle, on peut supposer que : ENS ET VERUM SEMPER NON CONERTUNTUR
[b]@Jean Math [/b]
Voici. C’est un jeu intellectuel très amusant et je suis sûr que le surdoué appréciera (NDLR : la discussion se passe sur un forum dédié aux surdoués : zebra crossing voir :
NDLR:requiem étant ERIC BASILLAIS) ; du coup je le publie :
Ainsi que je te l’ai dit plus haut, par où que tu attaques la réalité en acte des existences (ENS) démontrées par ce théorème ( VERUM), tu échoueras.
Lorsque, par exemple,  tu poses que l’Essence infinie sur le chemin d’en haut n’existe pas extra-mentalement, TU DIS quelque chose.
Sinon…tu es obligé de te taire … 😆
Je veux dire MENTALEMENT… 💡
Donc tu fais retourner DANS LA FORMULATION LOGIQUE du théorème, le contraire de ce qui y est démontré… 😉
Persiste encore, par hypothèse, et DECLARE que cette non existence reste sinon en acte du moins POSSIBLE. Dès lors tu rends VRAI, en acte, une des branches de la dualité interne du chemin d’en haut… partant… tu rends l’autre VRAIE en acte…tu communiques la réalité à cela même à qui tu veux la retirer… 😡
Persisterais-tu encore dans le Nihilisme ? Tu objecterais, sans doute, que le chemin d’en haut n’est pas réellement en acte… mais, dans ce cas, tu rends réel en acte le chemin d’en bas et donc l’existence en acte de tous les Anges… 😡
Proteste encore contre l’inéluctable  😡  et nies l’actualité du chemin d’en bas, tu rends réellement en acte le chemin d’en haut :hamster: donc aussi Dieu…ce que tu voulais éviter 😡
Tu te contredis à tout coup. Ce théorème est à rendre fou celui qui veut le nihilisme et la logique…  : x
Donc, Jean Math, dans le cas des êtres intelligibles ( objets de la pratique intellectuelle pure ou spiritualité ) :
ENS ET CONVERTUNTUR

Réponse partielle des Dominicains

ERIC BASILLAIS (MàJ : 14/11/2016)

Suite à ma démarche envers l’ordre dominicain au sujet de mon travail sur la preuve de l’existence de Dieu j’ai reçu une lettre d’un ancien prof de la Sorbonne confirmant la possibilité de raisonner comme l’a fait GÖdel, en combinant prédicats du second ordre et logique modale d’Aristote ( acte-nécessité et puissance-potentialité)… c’est déjà ça…

Ensuite, un autre commentaire, issu du milieu Thomiste, vient ordonner les résultats issus des théorèmes ontologiques établis à la question de l’ordre de l’essence et l’ordre de l’existence. Dans ce cadre, typiquement Thomiste, l’existence des Anges établie logiquement comme nécessaire (acte pur) devient, tout en restant conforme en tout point à la définition de St Thomas d’Aquin, à la fois une réception de l’acte pur dans l’essence angélique et une « création » de cette existence nécessaire, du fait du caractère limitatif même de l’essence angélique. Ce point de vue montre, par ricochet, que le point de départ de l’argumentation ontologique est un point de vue HUMAIN. Ce pourquoi les Anges NOUS apparaisssent comme nécessaires, à nous autres HUMAINS. Tandis que du point de vue de l’Existence Infinie ( càd Dieu), la limitation, sur le « chemin d’en bas »,  coïncide avec la création même de l’essence en question, en acte pur.

Pour reprendre la référence au Credo, c’est l’illustration du fameux : « et PER QUEM omnia facta SUNT » !

La conséquence est excitante : le Credo n’est pas mis en défaut, sur le point ontologique, mais confirmé par la démonstration mathématique de la preuve ontologique de Gödel-Basillais.