Ансельм, а за ним и Декарт утверждают, что сущность включает в себя существование на основании того, что Существо, которое обладает всеми другими совершенствами, совершеннее, если оно существует, чем если оно не существует, из этого следует, что, если Оно не существует, Оно не является самым совершенным из возможных существ.

Лейбниц не принимает и не отвергает полностью этот аргумент, так как он говорит, что его следует дополнить доказательством, что Бог, определенный таким образом, возможен. Он подробно изложил доказательство того, что идея Бога возможна; с этой идеей он познакомил Спинозу, когда виделся с ним в Гааге. Это доказательство определяет Бога как наиболее совершенное Существо, то есть как субъект всех совершенств, а совершенство определяется как "простое качество, которое положительно и абсолютно и выражает без всяких ограничений все, что выражает". Лейбниц легко доказывает, что нет двух таких совершенств, определение которым дано выше, которые были бы не совместимы. Он заключает: "Следовательно, существует или можно представить существующим субъекта всех совершенств или наиболее совершенное Существо. Из этого также следует, что Оно существует, так как существование включается в число совершенств".

Кант возражал против этого аргумента, утверждая, что "существование" не является предикатом. Другой вид опровержения вытекает из моей теории дескрипций. Современному человеку доказательство кажется не очень убедительным, но легче убедиться, что оно должно быть ошибочно, чем точно выяснить, в чем заключается ошибка.

Космологическое доказательство более правдоподобно, чем онтологическое. Это форма аргумента от первопричины, который сам происходит от аристотелевского доказательства неподвижного двигателя. Доказательство от первопричины просто. Оно утверждает, что все ограниченное имеет причину, которая в свою очередь имеет причину, и т.д. Но этот ряд предшествующих причин не может, как утверждают, быть бесконечным, и первый член в ряду не должен иметь причины, так как иначе он не был бы первым членом. Следовательно, существует беспричинная причина всего, и это, очевидно, Бог.

У Лейбница доказательство имеет несколько иную форму. Он утверждает, что каждая единичная вещь в мире "случайна"; иными словами, это означает, что логически возможно, чтобы она не существовала; и это истинно не только в отношении каждой единичной вещи, но и в отношении всей Вселенной. Даже когда мы допускаем, что Вселенная существовала вечно, то и тогда внутри Вселенной нет ничего, что бы показывало, почему она существует. Но в соответствии с философией Лейбница все должно иметь достаточное основание, поэтому и Вселенная в целом должна иметь достаточное основание, которое находится вне ее. Этим достаточным основанием и является Бог.

Это доказательство лучше, чем неубедительное доказательство от первопричины, и его нельзя так легко опровергнуть. Доказательство от первопричины покоится на предположении о том, что каждый ряд должен иметь первый член, что неверно, например ряды правильных дробей не имеют первого члена. Но доказательство Лейбница не зависит от взгляда, что Вселенная должна иметь начало во времени. Доказательство действительно в той мере, в какой мы допускаем принцип достаточного основания Лейбница, но, если его отрицать, оно терпит крах. Что именно Лейбниц подразумевает под принципом достаточного основания – вопрос противоречивый. Кутюра утверждает, будто он означает, что каждое истинное суждение является "аналитическим", то есть таким, что его противоречие является самопротиворечивым. Но эта интерпретация (которая опирается на неопубликованные рукописи Лейбница), если она и верна, относится к эзотерической теории Лейбница. В своих опубликованных работах он утверждает, что между необходимыми и случайными суждениями имеется различие, что только первые следуют из законов логики и что все суждения, утверждающие существование, случайны, за исключением суждения, утверждающего существование Бога. Хотя Бог существует необходимо, творение им мира не вынуждалось требованиями логики, напротив, это был свободный выбор, мотивированный, но не вынужденный Его благостью.

Ясно, что Кант был прав, говоря, что это доказательство зависит от онтологического доказательства. Если существование мира можно объяснить только существованием необходимого (Существа, тогда должно быть Существо, чья сущность включает существование, так как это как раз то, что подразумевается под необходимым Существом. Но если возможно, что должно быть Существо, чья сущность включает существование, тогда один разум, без опыта, может определить такое Существо, чье существование будет следовать из онтологического доказательства, так как все, что связано только с сущностью, может быть познано независимо от опыта – таков по крайней мере взгляд Лейбница. Поэтому большая на вид правдоподобность космологического доказательства перед доказательством онтологическим обманчива.

Аргумент от вечной истины сформулировать точно несколько затруднительно. Грубо говоря, доказательство таково: такое утверждение, как "идет дождь", является иногда истинным, а иногда ложным, но "два и два четыре" – всегда истинно.