Yhteiskuntatieteiden historia
Immanuel Kant oli 1700-luvun valistusajan saksalainen filosofi. Hän asetti inhimillisen hyödyn tavoittelun sijalle velvollisuuden ja moraalin. Hän pohti metafysiikkaa eli olemassaolon olemusta. Hän oli myös omaksunut aikakautensa yksilönvapauden aatteita ja piti ihmisiä tasa-arvoisina. Kantin pääteos on Puhtaan järjen kritiikki ("Kritik der reinen Vernunft", 1781).
Ontologinen todistus
Muodollisesti virheelliseksi todistuksen pyrki osoittamaan esimerkiksi Immanuel Kant väittäessään, että olemassaolo ei ole predikaatti samassa mielessä kuin esimerkiksi voimakkuus. Oliolla, jonka joku vain kuvittelee, voi olla kaikki samat predikaatit kuin todellisella oliolla. Toisenlaisen loogisen virheen on todistuksesta pyrkinyt osoittamaan myös Bertrand Russell. Hänen esittämänsä "määrättyjen kuvausten teorian" mukaan olemassaolo on mielekkäästi väitettävissä vain tietyllä tavalla kuvaillusta, ei nimellä mainitusta oliosta, mikä hänen mukaansa osoittaa myös ontologisen todistuksen virheelliseksi.