Онтологи́ческий аргуме́нт, или Онтологи́ческое доказа́тельство бытия́ Бо́га, — одна из категорий аргументов, относящихся к вопросу существования Бога, появившаяся в христианской теологии. Не существует точных критериев для классификации онтологических аргументов, но аргументы типично начинаются с определения Бога, а заканчиваются подведением итогов о необходимости его существования, используя главным образом причины априори и эмпирические наблюдения.
Общепризнано, что первый онтологический аргумент был предложен Ансельмом Кентерберийским в 1078 в его Прослогионе. Ансельм описал Бога, как «нечто, лучше которого ничего нельзя вообразить», аргументируя это тем, что оно существует в нашем разуме. Он предположил, что, если более идеальное существо могло бы существовать в нашем разуме, то оно также должно существовать и в реальности. Если оно присутствует в нашем разуме, то лучшее существо, возможно, одно из тех, что существует в сознании (разуме) и реальности. Французский философ 17 века Рене Декарт выдвинул аналогичные аргументы. Декарт опубликовал несколько вариантов своих аргументов, каждый из которых основан на том, что существование Бога непосредственно выводится из любой «ясной и отчётливой» идеи о высшем совершенном существе. В начале восемнадцатого века, Готфрид Лейбниц дополнил идеи Декарта в попытке доказать, что «высшее совершенное» существо представляет собой определённую стройную концепцию. Другие онтологические аргументы принадлежат Курту Гёделю, который предложил формальный аргумент в пользу существования Бога. Норман Малькольм возродил онтологический аргумент в 1960 году, найдя второй, более сильный, онтологический аргумент в работе Ансельма; Алвин Плантинга оспорил этот аргумент и предложил альтернативный, основанный на модальной логике. Были сделаны попытки для проверки доказательства Ансельма с использованием автоматизированного доказательства теорем. Другие аргументы были классифицированы как онтологические, в том числе сделанные исламским философом Мулла Садра.