Metapsychology Online Reviews Preuve ontologique de Gödel Un article de Wikipédia, l'encyclopédie libre. Pour les articles homonymes, voir preuve. Bien que Gödel ait été croyant, il n'a jamais publié cette preuve car il craignait qu'elle fût interprétée comme l'établissement de l'existence de Dieu au-delà du doute. Au lieu de cela, il ne la voyait que comme une étude logique et une formulation claire des arguments de Leibniz. Démonstration[modifier | modifier le code] Écrite[modifier | modifier le code] Symbolique[modifier | modifier le code] Où signifie « A est possible » et où signifie « A est nécessaire ». Critique de la démonstration[modifier | modifier le code] Cette démonstration mathématique datant de 1970 mais publiée en 1987 provoqua un vif émoi chez les mathématiciens et logiciens, qui n'étaient pas pour autant capables d'expliquer tous les aspects de cette preuve. Critique des définitions et des axiomes[modifier | modifier le code] Traduit depuis Gödel's ontological proof Notes et références[modifier | modifier le code] Logique modale
Cours de philosophie : La philosophie kantienne de la connaissance , une introduction à la Critique de la Raison Pure Avertissement Ce cours peut être considéré comme une annexe aux cours suivants : " Les théories scientifiques sont-elles issues de l’expérience ? ", " La révolution copernicienne " et " Qu’est-ce que la philosophie ". Il est avant tout une lecture de la préface à la seconde édition de la Critique de la raison pure (1781 pour la 1ère édition, 1787 pour la seconde). Mais pour cette lecture, je ferai appel à d’autres textes importants pour bien comprendre la théorie de Kant ; il s’agit essentiellement de l’introduction (op. cit.), ainsi que la première partie des Prolégomènes à toute métaphysique future qui voudra se présenter comme science (1783). Les élèves de terminale pourront se contenter de la première œuvre, les élèves de 2nd cycle devront lire les deux œuvres l’une à la suite de l’autre. I- la métaphysique est-elle une science ? A-l’examen des sciences Or, Kant va dire que ce qui fait la certitude de la logique, fait aussi ses limites. Qu’en est-il des mathématiques ? Pourquoi ?