HTML Microdata document

This HTML5 document contains 155 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

Prefix	IRI
dcterms	http://purl.org/dc/terms/
n25	https://monoskop.org/images/a/aa/
n17	http://www.stats.uwaterloo.ca/~cgsmall/
n26	https://cpb-us-w2.wpmucdn.com/u.osu.edu/dist/1/1952/files/2014/01/
dbo	http://dbpedia.org/ontology/
foaf	http://xmlns.com/foaf/0.1/
dbpedia-ca	http://ca.dbpedia.org/resource/
dbpedia-hu	http://hu.dbpedia.org/resource/
dbpedia-es	http://es.dbpedia.org/resource/
n20	https://global.dbpedia.org/id/
yago	http://dbpedia.org/class/yago/
dbt	http://dbpedia.org/resource/Template:
rdfs	http://www.w3.org/2000/01/rdf-schema#
dbpedia-et	http://et.dbpedia.org/resource/
freebase	http://rdf.freebase.com/ns/
dbpedia-pt	http://pt.dbpedia.org/resource/
n19	https://web.archive.org/web/20131021170212/https:/www.idmp.uni-hannover.de/fileadmin/institut/IDMP-Studium-Mathematik/downloads/Gawlick/
dbpedia-no	http://no.dbpedia.org/resource/
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
owl	http://www.w3.org/2002/07/owl#
dbpedia-it	http://it.dbpedia.org/resource/
wikipedia-en	http://en.wikipedia.org/wiki/
dbpedia-fr	http://fr.dbpedia.org/resource/
dbpedia-zh	http://zh.dbpedia.org/resource/
dbc	http://dbpedia.org/resource/Category:
dbp	http://dbpedia.org/property/
prov	http://www.w3.org/ns/prov#
xsdh	http://www.w3.org/2001/XMLSchema#
n23	https://www.ontology.co/biblio/
wikidata	http://www.wikidata.org/entity/
gold	http://purl.org/linguistics/gold/
dbr	http://dbpedia.org/resource/
n28	https://web.archive.org/web/20091222082410/http:/www.stats.uwaterloo.ca/~cgsmall/

Statements

Subject Item: dbr:List_of_eponyms_(A–K)
dbo:wikiPageWikiLink: dbr:Gödel's_ontological_proof

Subject Item: dbr:Index_of_contemporary_philosophy_articles
dbo:wikiPageWikiLink: dbr:Gödel's_ontological_proof

Subject Item: dbr:Index_of_philosophy_articles_(D–H)
dbo:wikiPageWikiLink: dbr:Gödel's_ontological_proof

Subject Item: dbr:Index_of_philosophy_of_religion_articles
dbo:wikiPageWikiLink: dbr:Gödel's_ontological_proof

Subject Item: dbr:List_of_mathematical_proofs
dbo:wikiPageWikiLink: dbr:Gödel's_ontological_proof

Subject Item: dbr:Frode_Alfson_Bjørdal
dbo:wikiPageWikiLink: dbr:Gödel's_ontological_proof

Subject Item: dbr:1987_in_science
dbo:wikiPageWikiLink: dbr:Gödel's_ontological_proof

Subject Item: dbr:Transcendental_argument_for_the_existence_of_God
dbo:wikiPageWikiLink: dbr:Gödel's_ontological_proof

Subject Item: dbr:1970_in_science
dbo:wikiPageWikiLink: dbr:Gödel's_ontological_proof

Subject Item: dbr:Gödel's_ontological_proof
rdf:type: yago:Evidence106643408 yago:WikicatArgumentsForTheExistenceOfGod yago:Abstraction100002137 yago:Indication106797169 yago:Argument106648724 yago:Communication100033020
rdfs:label: Gödel's ontological proof Prueba ontológica de Gödel Demostració ontològica de Gödel Preuve ontologique de Gödel 哥德爾本體論證明 Demonstração ontológica de Gödel Prova ontologica di Gödel
rdfs:comment: La demostració ontològica de Gödel és una formalització del principi d'Anselm de Canterbury: el seu argument ontològic per l'existència de Déu pel matemàtic Kurt Gödel. L'argument ontològic de Sant Anselm, en la seva forma més succinta, és: "Déu, per definició, és allò sobre el qual no es pot imaginar res més gran. Déu existeix a l'enteniment. Si Déu existís a l'enteniment, el podríem imaginar a Ell més gran si existís a la realitat. Així, cal que Déu existeixi (Déu existeix)." Gottfried Leibniz va donar una versió més elaborada; aquesta és la versió que Gödel va estudiar i va intentar clarificar amb el seu argument ontològic. La prueba ontológica de Gödel es un argumento formal para la existencia de Dios propuesto por el matemático Kurt Gödel (1906–1978). Continúa una línea de desarrollo que viene desde Anselmo de Canterbury (1033 –1109). El argumento ontológico de S. Anselmo, en su forma más resumida, es como sigue: "Dios, por definición, es lo más grande concebido. Dios existe en nuestro entendimiento. Si Dios existe en nuestro entendimiento, lo podríamos imaginar como el más grandioso por existir en la realidad. Por lo tanto, Dios tiene que existir". Una versión más elaborada fue dada por Gottfried Leibniz (1646–1716); esta es la versión que Gödel estudió e intentó aclarar con su argumentación. 哥德爾本體論證明是數學家库尔特·哥德尔對11世紀意大利僧侶聖安瑟倫對於神存在性的本體論論點整理並改進後所作的數學表達方式。聖安瑟倫後曾有17世紀的莱布尼茨提出了另一個較複雜的版本，而這個就是哥德爾所研究並嘗試用其本體論邏輯論點去澄清的版本。雖然哥德爾有宗教信仰，他從未發表這個證明。他在1970年代絕食而死的前幾年不斷將這個論點向身邊的朋友們展示，他去世九年後，即1987年，這論點才被出版。哥德爾的論證證明用上了由他本人及克里普克等20世紀邏輯學家所發展的模态逻辑，分開了必需的真與偶然的真。表示必然性，而表示可能性。證明的關鍵在於利用「神可能存在」（定理２）及神的極致性（定義１）去推導出「神必然存在」（定理４）。在S5模態邏輯系統的框架下，這項結論可謂全然有效，因此相當驚人。然而，若使用相同的邏輯推論去假設極致偉大的存有不存在，也同樣沒有任何自相矛盾之處。 A demonstração ontológica de Gödel é um argumento formal para a existência de Deus pelo matemático e filósofo Kurt Gödel (1906-1978). É uma linha de pensamento que data desde Anselmo de Cantuária (1033-1109). O argumento ontológico de São Anselmo, na sua mais sucinta forma, é o seguinte: "Deus, por definição, é aquele para o qual, nada maior pode ser concebido. Deus existe no entendimento. Se Deus existe no entendimento, nós poderíamos imaginá-lo maior por existir na realidade. Portanto Deus tem que existir.". Uma versão mais elaborada foi feita por Gottfried Leibniz (1646-1716); essa é a versão que Gödel estudou e tentou esclarecer com seu argumento ontológico. Gödel's ontological proof is a formal argument by the mathematician Kurt Gödel (1906–1978) for the existence of God. The argument 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. La Preuve ontologique de Gödel est un argument formel de logique modale du mathématicien Kurt Gödel (1906-1978) pour l'existence de Dieu. L'idée de l'argumentation ontologique pour démontrer logiquement la nécessité de l'existence de Dieu et sa cohérence remonte à Anselme de Cantorbéry (1033-1109) et a été reprise, sous de nombreuses variantes, entre autres par Descartes (1596-1650), Spinoza (1632-1677), Leibniz (1646-1716), Hegel (1770-1831) ; elle a été refusée ou réfutée par Thomas d'Aquin (1225-1274) et par Kant (1724-1804) ; jusqu'à aujourd'hui où elle est reprise, reformulée, discutée et critiquée par plusieurs philosophes et logiciens contemporains.
dcterms:subject: dbc:Works_by_Kurt_Gödel dbc:Arguments_for_the_existence_of_God dbc:Modal_logic
dbo:wikiPageID: 12420
dbo:wikiPageRevisionID: 1124520059
dbo:wikiPageWikiLink: dbc:Works_by_Kurt_Gödel dbc:Arguments_for_the_existence_of_God dbr:Harvey_Friedman dbr:Higher-order_logic dbc:Modal_logic dbr:Robert_Spitzer_(priest) dbr:Frode_Alfson_Bjørdal dbr:Reality dbr:Anselm_of_Canterbury dbr:Dana_Scott dbr:Kurt_Gödel dbr:Truth dbr:Automated_theorem_proving dbr:C._Anthony_Anderson dbr:Logical_truth dbr:Existence_of_God dbr:André_Fuhrmann dbr:Hao_Wang_(academic) dbr:Ontological_argument dbr:Synthetic_geometry dbr:Pantheism dbr:Jordan_Howard_Sobel dbr:Zermelo–Fraenkel_set_theory dbr:Modal_collapse dbr:Gottfried_Wilhelm_Leibniz dbr:Robert_Koons dbr:Hand_of_God_(TV_series) dbr:Theism dbr:Gottfried_Leibniz dbr:Graham_Oppy dbr:Contingency_(philosophy) dbr:Logically_possible dbr:Proof_assistant dbr:Identity_of_indiscernibles dbr:Melvin_Fitting dbr:Accessibility_relation dbr:Philosophy_of_religion dbr:Spinoza dbr:Freethinker dbr:Modal_logic dbr:Oskar_Morgenstern dbr:Negation dbr:University_of_Waterloo dbr:Formal_proof
dbo:wikiPageExternalLink: n17:Godel.final.revision.PDF n19:Predigt_Gawlick_Gottesbeweise.pdf n23:ontological-proof-contemporary-biblio.htm n25:Kurt_G%C3%B6del_Collected_Works_Volume_III_1995.pdf n26:ConMathThe122512-1iea8ps.pdf n28:Godel.final.revision.PDF
owl:sameAs: dbpedia-zh:哥德爾本體論證明 dbpedia-no:Gödels_ontologiske_bevis_for_Gud dbpedia-et:Gödeli_ontoloogiline_jumalatõestus dbpedia-fr:Preuve_ontologique_de_Gödel wikidata:Q598840 n20:4nPgD dbpedia-es:Prueba_ontológica_de_Gödel dbpedia-hu:Gödel_ontológiai_istenérve freebase:m.03855 dbpedia-it:Prova_ontologica_di_Gödel dbpedia-pt:Demonstração_ontológica_de_Gödel dbpedia-ca:Demostració_ontològica_de_Gödel
dbp:wikiPageUsesTemplate: dbt:ISBN dbt:Specify dbt:Cite_web dbt:Cite_SEP dbt:Cite_book dbt:Clarify dbt:Reflist dbt:Short_description dbt:Page_needed dbt:Rp dbt:Citation_needed
dbp:date: August 2016 March 2017
dbp:reason: They should be stated. Which episode?
dbo:abstract: La demostració ontològica de Gödel és una formalització del principi d'Anselm de Canterbury: el seu argument ontològic per l'existència de Déu pel matemàtic Kurt Gödel. L'argument ontològic de Sant Anselm, en la seva forma més succinta, és: "Déu, per definició, és allò sobre el qual no es pot imaginar res més gran. Déu existeix a l'enteniment. Si Déu existís a l'enteniment, el podríem imaginar a Ell més gran si existís a la realitat. Així, cal que Déu existeixi (Déu existeix)." Gottfried Leibniz va donar una versió més elaborada; aquesta és la versió que Gödel va estudiar i va intentar clarificar amb el seu argument ontològic. Encara que Gödel era profundament religiós, mai va publicar la seva prova, ja que temia que no s'interpretaria bé i que es pensaria que l'existència de Déu estava demostrada més enllà de qualsevol dubte. En canvi, només ho va considerar com una investigació lògicai una formulació clara de l'argument de Leibniz amb totes les suposicions expressades.Va ensenyar els arguments repetidament als amics al voltant de 1970 (segons consta al diari d'Oskar Morgenstern) i es van publicar després de la seva mort.A continuació es mostra un resum de la demostració matemàtica. 哥德爾本體論證明是數學家库尔特·哥德尔對11世紀意大利僧侶聖安瑟倫對於神存在性的本體論論點整理並改進後所作的數學表達方式。聖安瑟倫後曾有17世紀的莱布尼茨提出了另一個較複雜的版本，而這個就是哥德爾所研究並嘗試用其本體論邏輯論點去澄清的版本。雖然哥德爾有宗教信仰，他從未發表這個證明。他在1970年代絕食而死的前幾年不斷將這個論點向身邊的朋友們展示，他去世九年後，即1987年，這論點才被出版。哥德爾的論證證明用上了由他本人及克里普克等20世紀邏輯學家所發展的模态逻辑，分開了必需的真與偶然的真。表示必然性，而表示可能性。證明的關鍵在於利用「神可能存在」（定理２）及神的極致性（定義１）去推導出「神必然存在」（定理４）。在S5模態邏輯系統的框架下，這項結論可謂全然有效，因此相當驚人。然而，若使用相同的邏輯推論去假設極致偉大的存有不存在，也同樣沒有任何自相矛盾之處。 La Preuve ontologique de Gödel est un argument formel de logique modale du mathématicien Kurt Gödel (1906-1978) pour l'existence de Dieu. L'idée de l'argumentation ontologique pour démontrer logiquement la nécessité de l'existence de Dieu et sa cohérence remonte à Anselme de Cantorbéry (1033-1109) et a été reprise, sous de nombreuses variantes, entre autres par Descartes (1596-1650), Spinoza (1632-1677), Leibniz (1646-1716), Hegel (1770-1831) ; elle a été refusée ou réfutée par Thomas d'Aquin (1225-1274) et par Kant (1724-1804) ; jusqu'à aujourd'hui où elle est reprise, reformulée, discutée et critiquée par plusieurs philosophes et logiciens contemporains. A demonstração ontológica de Gödel é um argumento formal para a existência de Deus pelo matemático e filósofo Kurt Gödel (1906-1978). É uma linha de pensamento que data desde Anselmo de Cantuária (1033-1109). O argumento ontológico de São Anselmo, na sua mais sucinta forma, é o seguinte: "Deus, por definição, é aquele para o qual, nada maior pode ser concebido. Deus existe no entendimento. Se Deus existe no entendimento, nós poderíamos imaginá-lo maior por existir na realidade. Portanto Deus tem que existir.". Uma versão mais elaborada foi feita por Gottfried Leibniz (1646-1716); essa é a versão que Gödel estudou e tentou esclarecer com seu argumento ontológico. Gödel deixou quatorze pontos destacados de sua crença filosófica em seus escritos. Pontos relevantes para a prova ontológica incluem: 4. Existem mundos e seres racionais de espécies diferentes e mais evoluídos.5. O mundo em que vivemos não é o único em que devemos viver, ou temos vivido.13. Existe uma filosofia e teologia científica (exata), que lida com conceitos da maior abstração; e isso é em geral muito frutífero para a ciência.14. Religiões são, em sua maior parte, más, mas religião não é. Gödel's ontological proof is a formal argument by the mathematician Kurt Gödel (1906–1978) for the existence of God. The argument 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 include 4. 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. La prueba ontológica de Gödel es un argumento formal para la existencia de Dios propuesto por el matemático Kurt Gödel (1906–1978). Continúa una línea de desarrollo que viene desde Anselmo de Canterbury (1033 –1109). El argumento ontológico de S. Anselmo, en su forma más resumida, es como sigue: "Dios, por definición, es lo más grande concebido. Dios existe en nuestro entendimiento. Si Dios existe en nuestro entendimiento, lo podríamos imaginar como el más grandioso por existir en la realidad. Por lo tanto, Dios tiene que existir". Una versión más elaborada fue dada por Gottfried Leibniz (1646–1716); esta es la versión que Gödel estudió e intentó aclarar con su argumentación.
gold:hypernym: dbr:Argument
prov:wasDerivedFrom: wikipedia-en:Gödel's_ontological_proof?oldid=1124520059&ns=0
dbo:wikiPageLength: 28842
foaf:isPrimaryTopicOf: wikipedia-en:Gödel's_ontological_proof

Subject Item: dbr:Harvey_Friedman
dbo:wikiPageWikiLink: dbr:Gödel's_ontological_proof

Subject Item: dbr:Agnosticism
dbo:wikiPageWikiLink: dbr:Gödel's_ontological_proof

Subject Item: dbr:Ultrafilter
dbo:wikiPageWikiLink: dbr:Gödel's_ontological_proof

Subject Item: dbr:Higher-order_logic
dbo:wikiPageWikiLink: dbr:Gödel's_ontological_proof

Subject Item: dbr:Modal_collapse
dbo:wikiPageWikiLink: dbr:Gödel's_ontological_proof

Subject Item: dbr:Religious_philosophy
dbo:wikiPageWikiLink: dbr:Gödel's_ontological_proof

Subject Item: dbr:Godel's_ontological_proof
dbo:wikiPageWikiLink: dbr:Gödel's_ontological_proof
dbo:wikiPageRedirects: dbr:Gödel's_ontological_proof

Subject Item: dbr:Goedel_ontological_proof
dbo:wikiPageWikiLink: dbr:Gödel's_ontological_proof
dbo:wikiPageRedirects: dbr:Gödel's_ontological_proof

Subject Item: dbr:Gödel's_proof
dbo:wikiPageWikiLink: dbr:Gödel's_ontological_proof

Subject Item: dbr:Gödel's_theorem
dbo:wikiPageWikiLink: dbr:Gödel's_ontological_proof

Subject Item: dbr:Kurt_Gödel
dbo:wikiPageWikiLink: dbr:Gödel's_ontological_proof
dbp:knownFor: dbr:Gödel's_ontological_proof
dbo:knownFor: dbr:Gödel's_ontological_proof

Subject Item: dbr:Ontology
dbo:wikiPageWikiLink: dbr:Gödel's_ontological_proof

Subject Item: dbr:Existence_of_God
dbo:wikiPageWikiLink: dbr:Gödel's_ontological_proof

Subject Item: dbr:Philosophical_theism
dbo:wikiPageWikiLink: dbr:Gödel's_ontological_proof

Subject Item: dbr:Gödel's_ontological_argument
dbo:wikiPageWikiLink: dbr:Gödel's_ontological_proof
dbo:wikiPageRedirects: dbr:Gödel's_ontological_proof

Subject Item: dbr:Gödel's_proof_of_the_existence_of_God
dbo:wikiPageWikiLink: dbr:Gödel's_ontological_proof
dbo:wikiPageRedirects: dbr:Gödel's_ontological_proof

Subject Item: dbr:Gödel_ontological_proof
dbo:wikiPageWikiLink: dbr:Gödel's_ontological_proof
dbo:wikiPageRedirects: dbr:Gödel's_ontological_proof

Subject Item: dbr:Godel's_ontological_argument
dbo:wikiPageWikiLink: dbr:Gödel's_ontological_proof
dbo:wikiPageRedirects: dbr:Gödel's_ontological_proof

Subject Item: dbr:Godel_ontological_proof
dbo:wikiPageWikiLink: dbr:Gödel's_ontological_proof
dbo:wikiPageRedirects: dbr:Gödel's_ontological_proof

Subject Item: dbr:Godels_ontological_proof
dbo:wikiPageWikiLink: dbr:Gödel's_ontological_proof
dbo:wikiPageRedirects: dbr:Gödel's_ontological_proof

Subject Item: dbr:Goedel's_ontological_proof
dbo:wikiPageWikiLink: dbr:Gödel's_ontological_proof
dbo:wikiPageRedirects: dbr:Gödel's_ontological_proof

Subject Item: dbr:Goedels_ontological_proof
dbo:wikiPageWikiLink: dbr:Gödel's_ontological_proof
dbo:wikiPageRedirects: dbr:Gödel's_ontological_proof

Subject Item: wikipedia-en:Gödel's_ontological_proof
foaf:primaryTopic: dbr:Gödel's_ontological_proof