Вот каковы сущностные истины. Я могу сказать, что включение предиката в субъект доказывается анализом и что этот анализ соответствует условию «быть конечным», то есть что он имеет в виду лишь ограниченное количество хорошо обоснованных операций. Но когда я говорю, что Адам согрешил, или что Цезарь перешел Рубикон, – это что? Это уже не отсылает к сущностной истине, это имеет датировку, Цезарь перешел Рубикон «здесь и теперь», это имеет отсылку к существованию; Цезарь переходит Рубикон, только если он существует. А вот 2 + 2 = 4 истинно во всякое время и во всяком месте. Стало быть, уместно отличать сущностные истины от истин существования.
Истинность пропозиции «Цезарь перешел Рубикон» не того же типа, что 2 + 2 = 4. И все-таки в связи с принципами, с какими мы познакомились в прошлый раз, – как для истин существования, так и для сущностных истин – необходимо, чтобы предикат содержался в субъекте и был включен в понятие субъекта; итак, будучи от века включенным в понятие субъекта, в понятие Адама от века включено то, что Адам согрешит в таком-то месте или в такой-то момент. Это истина существования.
Как и в сущностных истинах, в истинах существования предикат должен содержаться в субъекте. Пусть так, но все-таки это не означает, что это происходит одним и тем же образом. И в действительности – и в этом наша проблема – каково первое значительное различие между сущностной истиной и истиной существования? Мы его сразу же ощущаем. Что касается истин существования, то Лейбниц говорит нам, что даже здесь предикат содержится в субъекте. Необходимо, чтобы «грешник» содержался в индивидуальном понятии Адама, правда вот что: если грешник содержится в индивидуальном понятии Адама, то в индивидуальном понятии Адама содержится весь мир; если мы восходим по цепочке причин и спускаемся по цепочке следствий, каковые и суть весь мир, то вы понимаете, что пропозиция «Адам согрешил» должна быть пропозицией аналитической, правда в этом случае анализ бесконечен. Анализ продолжается до бесконечности.
Ну и что же это означает? Вроде бы это означает следующее: чтобы доказать тождественность «грешника» и «Адама», или тождественность «переходящего Рубикон» и «Цезаря», на сей раз необходим бесконечный ряд операций. Само собой разумеется, что мы на них не способны, или же вроде бы не способны. Способны ли мы к анализу до бесконечности? Лейбниц очень формален: нет, вы не сможете;