ontolojik kanıtlamalar, orta çağdaki felsefi meselelerin iman meseleleri haline gelmesi ile filozof yada kimi teologların, çağın felsefi bakış açısının ruhunu tam olarak yansıtan tanrı ve onun varlığı sorununa çözüm olarak getirdikleri argümanlara verilen addır. bu argümanlardaki önermeler de yapısı itibariyle ya a priori -anselmus’un kanıtında olduğu gibi-; yada içeriği itibariyle sentetik ve a posterioridir -thomas aquinas’ın argümanlarında olduğu gibi-.