Ontoloogiline jumalatõestus
Ontoloogiline jumalatõestus ehk ontoloogiline argument on jumalatõestus, mille esimesena esitas keskaegne teoloog Canterbury Anselm. Laiemas tähenduses on ontoloogilised jumalatõestused kõik jumalatõestused, mis apelleerivad ainult mõistusele, mitte näiteks vaatlusele. Ontoloogia on filosoofia haru, mis tegeleb olemise olemusega. Anselmil ei olnud küll ontoloogilist süsteemi, kuid olemise olemus huvitas teda väga. Ta väitis, et on paratamatult olevad – asjad, mis ei saa mitte olemas olla – ja kontingentselt olevad – asjad, mis saavad mitte olemas olla. Ontoloogiline jumalatõestus lõpeb kõigis tõlgendustes ja vormides umbes sellise väitega, et Jumal on olemas ning on paratamatult olev. Seda võib sõnastada ka nii: Jumal ei saa mitte olemas olla. See seisukoht on ilmsesti vaieldav ning ontoloogilise jumalatõestuse üle ongi palju vaieldud.