Ontologický důkaz existence Boha nebo přesněji ontologický argument je myšlenkový postup, který chce filosoficky zdůvodnit víru v Boha tím, že dokáže jeho existenci.
Autorem této myšlenky je arcibiskup Anselm z Canterbury, který ji ve svém díle Proslogion (Proslogium seu Alloquium de Dei existentia) vyjádřil (jako oslovení Boha) takto:[1]
Anselmův spis je psán jako oslovení Boha a určen „bratřím“, patrně v klášteře, aby podpořil jejich víru. Není tedy původně míněn jako nepochybný a definitivní důkaz. Proto jej středověcí teologové, například Tomáš Akvinský[2] většinou nepřijali a uvažovali o jiných „cestách“, tj. postupech. Tomáš jich nabízí pět:
Postupy, podobné Anselmovu, hojně rozvíjela novověká metafyzika. Obdobný postup, založený na pravdivosti Boží, užívá Descartes, v jiné podobě Leibniz a další metafyzikové, a to už jako důkazy.
Prvním logickým kritikem Anselmova postupu byl jeho současník, mnich Gaunilo z Marmoutiers, který poukázal na nemožnost dokázat existenci „největšího ostrova“ (pokud si představíme největší myslitelný ostrov, neznamená to ještě, že tento ostrov existuje).
Nedostatečnost Anselmova důkazu vyzdvihl z jiné stránky Blaise Pascal, podle něhož víra v křesťanském slova smyslu není jen teoretickým přesvědčením o existenci Boha:
Zásadní kritiku ontologického důkazu provedl Kant, který odmítl zamlčený předpoklad tohoto postupu, totiž že skutečné bytí či „věc sama“ by mohla být jen atributem, který lze k myšlené věci přidat. Anselmův postup totiž předpokládá, že „to, nad co nic většího nelze myslet,“ už nějak je („v nahlédnutí“) a skutečné bytí je vůči tomu jen něco navíc. Právě tento předpoklad pak umožňuje vyhrotit myšlenku jako spor.
Z čistě logického hlediska lze Anselmův postup kritizovat také proto, že předpokládá, že množina „všeho, co lze myslet“ je přísně uspořádaná a má tedy „nejvyšší“ prvek. Ani tento předpoklad nelze přijmout jako samozřejmý, například v matematické teorii množin. Naopak modálně logickou verzi toho argumentu vyvinul Kurt Gödel.
Přesto měl Anselmův pokus nesmírný význam pro vývoj evropského (západního) myšlení. Anselm byl patrně první křesťanský myslitel, který rehabilitoval pojem „teolog“ a „teologie“ ve smyslu racionální vědy a odvážil se o Bohu tímto způsobem přemýšlet a argumentovat. Ontologický argument se sice dnes převážně odmítá jako důkaz, jako velmi zajímavý myšlenkový postup je však i dnes předmětem odborné diskuse[3], která probíhá i na internetu.