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