Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Gxc3xb6dels_ontological_proof> ?p ?o }
Showing triples 1 to 81 of
81
with 100 triples per page.
- Gxc3xb6dels_ontological_proof abstract "Gödel's ontological proof is a formal argument for God's existence by the mathematician Kurt Gödel (1906–1978). It is in a line of development that goes back to Anselm of Canterbury (1033–1109). St. Anselm's ontological argument, in its most succinct form, is as follows: "God, by definition, is that for which no greater can be conceived. God exists in the understanding. If God exists in the understanding, we could imagine Him to be greater by existing in reality. Therefore, God must exist." A more elaborate version was given by Gottfried Leibniz (1646–1716); this is the version that Gödel studied and attempted to clarify with his ontological argument.Gödel left a fourteen-point outline of his philosophical beliefs in his papers. Points relevant to the ontological proof include4. There are other worlds and rational beings of a different and higher kind.5. The world in which we live is not the only one in which we shall live or have lived.13. There is a scientific (exact) philosophy and theology, which deals with concepts of the highest abstractness; and this is also most highly fruitful for science.14. Religions are, for the most part, bad—but religion is not.".
- Gxc3xb6dels_ontological_proof wikiPageExternalLink Godel.final.revision.PDF.
- Gxc3xb6dels_ontological_proof wikiPageExternalLink C40.pdf.
- Gxc3xb6dels_ontological_proof wikiPageExternalLink ontological-proof-contemporary.htm.
- Gxc3xb6dels_ontological_proof wikiPageExternalLink ontology.html.
- Gxc3xb6dels_ontological_proof wikiPageExternalLink GoedelGod.
- Gxc3xb6dels_ontological_proof wikiPageID "12420".
- Gxc3xb6dels_ontological_proof wikiPageLength "13259".
- Gxc3xb6dels_ontological_proof wikiPageOutDegree "45".
- Gxc3xb6dels_ontological_proof wikiPageRevisionID "656751597".
- Gxc3xb6dels_ontological_proof wikiPageWikiLink Absolute_Infinite.
- Gxc3xb6dels_ontological_proof wikiPageWikiLink Aesthetics.
- Gxc3xb6dels_ontological_proof wikiPageWikiLink Analytic–synthetic_distinction.
- Gxc3xb6dels_ontological_proof wikiPageWikiLink Anselm_of_Canterbury.
- Gxc3xb6dels_ontological_proof wikiPageWikiLink Automated_theorem_proving.
- Gxc3xb6dels_ontological_proof wikiPageWikiLink Baruch_Spinoza.
- Gxc3xb6dels_ontological_proof wikiPageWikiLink Category:Arguments_for_the_existence_of_God.
- Gxc3xb6dels_ontological_proof wikiPageWikiLink Category:Christian_philosophy.
- Gxc3xb6dels_ontological_proof wikiPageWikiLink Category:Modal_logic.
- Gxc3xb6dels_ontological_proof wikiPageWikiLink Category:Works_by_Kurt_Gödel.
- Gxc3xb6dels_ontological_proof wikiPageWikiLink Contingency_(philosophy).
- Gxc3xb6dels_ontological_proof wikiPageWikiLink Dana_Scott.
- Gxc3xb6dels_ontological_proof wikiPageWikiLink Existence_of_God.
- Gxc3xb6dels_ontological_proof wikiPageWikiLink God.
- Gxc3xb6dels_ontological_proof wikiPageWikiLink Gottfried_Leibniz.
- Gxc3xb6dels_ontological_proof wikiPageWikiLink Gottfried_Wilhelm_Leibniz.
- Gxc3xb6dels_ontological_proof wikiPageWikiLink Hao_Wang_(academic).
- Gxc3xb6dels_ontological_proof wikiPageWikiLink Higher-order_logic.
- Gxc3xb6dels_ontological_proof wikiPageWikiLink Identity_of_indiscernibles.
- Gxc3xb6dels_ontological_proof wikiPageWikiLink John_W._Dawson,_Jr.
- Gxc3xb6dels_ontological_proof wikiPageWikiLink Judith_Jarvis_Thomson.
- Gxc3xb6dels_ontological_proof wikiPageWikiLink Kurt_Gödel.
- Gxc3xb6dels_ontological_proof wikiPageWikiLink Logical_consequence.
- Gxc3xb6dels_ontological_proof wikiPageWikiLink Logical_possibility.
- Gxc3xb6dels_ontological_proof wikiPageWikiLink Logical_truth.
- Gxc3xb6dels_ontological_proof wikiPageWikiLink Logically_possible.
- Gxc3xb6dels_ontological_proof wikiPageWikiLink Melvin_Fitting.
- Gxc3xb6dels_ontological_proof wikiPageWikiLink Modal_logic.
- Gxc3xb6dels_ontological_proof wikiPageWikiLink Moral.
- Gxc3xb6dels_ontological_proof wikiPageWikiLink Ontological_argument.
- Gxc3xb6dels_ontological_proof wikiPageWikiLink Oskar_Morgenstern.
- Gxc3xb6dels_ontological_proof wikiPageWikiLink Pantheism.
- Gxc3xb6dels_ontological_proof wikiPageWikiLink Philosophy_of_religion.
- Gxc3xb6dels_ontological_proof wikiPageWikiLink Plenitude_principle.
- Gxc3xb6dels_ontological_proof wikiPageWikiLink Principle_of_plenitude.
- Gxc3xb6dels_ontological_proof wikiPageWikiLink Proof_assistant.
- Gxc3xb6dels_ontological_proof wikiPageWikiLink Reality.
- Gxc3xb6dels_ontological_proof wikiPageWikiLink Richard_Cartwright_(philosopher).
- Gxc3xb6dels_ontological_proof wikiPageWikiLink Spinoza.
- Gxc3xb6dels_ontological_proof wikiPageWikiLink Synthetic_proposition.
- Gxc3xb6dels_ontological_proof wikiPageWikiLink Theism.
- Gxc3xb6dels_ontological_proof wikiPageWikiLink Truth.
- Gxc3xb6dels_ontological_proof wikiPageWikiLink Ultrafilter.
- Gxc3xb6dels_ontological_proof wikiPageWikiLink University_of_Waterloo.
- Gxc3xb6dels_ontological_proof wikiPageWikiLinkText "Gödel's ontological proof".
- Gxc3xb6dels_ontological_proof wikiPageWikiLinkText "Gödel's_ontological_proof".
- Gxc3xb6dels_ontological_proof wikiPageWikiLinkText "his ontological proof".
- Gxc3xb6dels_ontological_proof hasPhotoCollection Gxc3xb6dels_ontological_proof.
- Gxc3xb6dels_ontological_proof wikiPageUsesTemplate Template:Cite_book.
- Gxc3xb6dels_ontological_proof wikiPageUsesTemplate Template:Cite_web.
- Gxc3xb6dels_ontological_proof wikiPageUsesTemplate Template:More_inline.
- Gxc3xb6dels_ontological_proof wikiPageUsesTemplate Template:Reflist.
- Gxc3xb6dels_ontological_proof wikiPageUsesTemplate Template:Sep_entry.
- Gxc3xb6dels_ontological_proof wikiPageUsesTemplate Template:Who%3F.
- Gxc3xb6dels_ontological_proof subject Category:Arguments_for_the_existence_of_God.
- Gxc3xb6dels_ontological_proof subject Category:Christian_philosophy.
- Gxc3xb6dels_ontological_proof subject Category:Modal_logic.
- Gxc3xb6dels_ontological_proof subject Category:Works_by_Kurt_Gödel.
- Gxc3xb6dels_ontological_proof comment "Gödel's ontological proof is a formal argument for God's existence by the mathematician Kurt Gödel (1906–1978). It is in a line of development that goes back to Anselm of Canterbury (1033–1109). St. Anselm's ontological argument, in its most succinct form, is as follows: "God, by definition, is that for which no greater can be conceived. God exists in the understanding. If God exists in the understanding, we could imagine Him to be greater by existing in reality.".
- Gxc3xb6dels_ontological_proof label "Gödel's ontological proof".
- Gxc3xb6dels_ontological_proof sameAs Demostració_ontològica_de_Gödel.
- Gxc3xb6dels_ontological_proof sameAs Gödeli_ontoloogiline_jumalatõestus.
- Gxc3xb6dels_ontological_proof sameAs Preuve_ontologique_de_Gödel.
- Gxc3xb6dels_ontological_proof sameAs Gödel_ontológiai_istenérve.
- Gxc3xb6dels_ontological_proof sameAs Gödels_ontologiske_bevis_for_Gud.
- Gxc3xb6dels_ontological_proof sameAs m.03855.
- Gxc3xb6dels_ontological_proof sameAs Q598840.
- Gxc3xb6dels_ontological_proof sameAs Q598840.
- Gxc3xb6dels_ontological_proof sameAs 哥德爾本體論證明.
- Gxc3xb6dels_ontological_proof wasDerivedFrom Gxc3xb6dels_ontological_proofoldid=656751597.
- Gxc3xb6dels_ontological_proof isPrimaryTopicOf Gxc3xb6dels_ontological_proof.