本体论论证试图仅凭逻辑与概念定义推出上帝必然存在，安瑟伦、笛卡尔、普兰丁格等不断修订。批评者用戏仿论证指出S5模态逻辑无法裁决“可能”前提，辩护方借充足理由律反击，却犯下“无理由等于不存在”的偷换概念。康德、弗雷格更指出存在并非属性。双方均未取胜，争论延续千年。