“Tanrı vardır” önermesinin doğruluğunun basitçe deneyimsel veya algısal olarak değil, akılsal olarak ve mantıksal düşünce zincirlerini izleyerek gösterilebileceği yönündedir. Felsefe tarihinde, tanrının varlığını mantıksal yöntemlerle göstermeye çalışan ve kesinlik iddiasıyla gelen iki önemli ispat bulunmaktadır. Birincisi Aziz Anselm’in Ontolojik Kanıtı ikincisi ise Aziz Aquinas’ın Kozmolojik Kanıtı.