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