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