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