A lo largo de su "Crítica de la razón pura", distinguió tres tipos de argumentos para la existencia de Dios: "ontológico, c""osmológico" "y" "teleológico""." Kant ntentó demostrar la inconsistencia de una prueba ontológica, tratándola en la "dialéctica trascendental."