Готфрид Лейбниц

Правда, Лейбниц преувеличивал возможности строгих исчислений. Абсолютно всеобъемлющее исчисление неосуществимо, и познавательный процесс, как писал сам Лейбниц, бесконечен. Но несколько преувеличены критические замечания по адресу Лейбница иного рода: ряд авторов, как, например, молодой Рассел, упрекали его в том, что его стремление удержать вследствие известных онтологических воззрений логику в рамках субъектно-предикатной схемы предложений мешало пойти дальше арифметизации силлогистики. Однако Н. Решер (42, р. 77), Г. Шольц и Г. Мартин (41) справедливо оценивают подобные упреки как преувеличение, указывая на то, что Лейбниц обратил внимание и на изучение иных отношений, чем неравенство, включение класса в класс или принадлежность признака вещи, а именно симметричности, транзитивности и других, но считал, что все отношения могут быть сведены к предикатам. Характерно и то, что он рассматривал пространство и время как отношения и предложил даже специальный знак для обозначения «отношения вообще».

Бесспорны значительные конкретные достижения Лейбница в логической науке. Очень плодотворным было уже само введение символики не только для переменных, но и для логических констант. Проницательные исследования Р. Кауппи показывают, что в логике Лейбница скрывались кроме двузначного исчисления высказываний модальное исчисление терминов со значениями «возможно» и «невозможно» и несовершенное модальное исчисление существований (40). Известно, что Лейбниц был предшественником Эйлера в геометрической интерпретации силлогистики, которую он истолковал также несколькими арифметическими способами (25, с. 444, 448). Только в XX в. должным образом были оценены изыскания философа в проблемах дефиниции тождества и синонимии, семантического различения между «смыслом» и «значением» имен и выражений и др. (см. подробнее 25, а также 59, с. 231–241).

Велики заслуги Лейбница в теоретическом и прикладном естествознании как ученого нового типа, организатора науки, борца за связь теории с практикой, за создание не только «способа доказывания» (ars judicandi), но и «искусства изобретений (ars inveniendi)». Энгельс писал: «Немец Лейбниц, рассыпая вокруг себя, как всегда, гениальные идеи без заботы о том, припишут ли заслугу открытия этих идей ему или другим, — Лейбниц, как мы знаем теперь из переписки Папена (изданной Герландом), подсказал ему при этом основную идею: применение цилиндра и поршня» (1, 20, с. 431). В 1672 г. Лейбниц значительно усовершенствовал счетную машину, ранее изобретенную Паскалем, став тем самым родоначальником машинной математики. Н. Винер считает, что Лейбниц выдвинул первые идеи о machina rationatrix, думающей машине.

Теоретические достижения Лейбница в математике обычно начинают перечислять с логизации математики и открытия дифференциального исчисления (1675), методологически связанного с принципом постепенных изменений. Это исчисление, наряду с изучением несоизмеримых отрезков, сходящихся рядов и теории асимптот, в свою очередь способствовало развитию его общей методологии, в частности анализу «случайных» истин. Лейбниц начал разработку исчисления вероятностей, важного с точки зрения установления гипотетических истин, исследовал специальные кривые, обратил внимание на теорию игр. Он долго размышлял над «лабиринтом континуума», и результаты весьма интересны. В его философии оригинально истолкованы обозначенные им в математике лишь как фикции (14, 6, S. 629) понятия «сверхнумерической» бесконечности (бог) и актуальной бесконечно малой (монада), а ныне актуальная бесконечность обрела «второе дыхание» в так называемом нестандартном анализе. Примечательно навеянное отчасти Галилеем и близкое к расчленению бесконечности на актуальную и потенциальную решение проблемы геометрического континуума: в мире логически возможного «линия реальна, а точка — это только идеальный предел бесконечного деления; в метафизике же актуальны только окончательные составляющие, монады, а всякий образуемый ими континуум феноменален» (42, р. 111), как это и получилось в его учении о вещах-конгломератах. Таким путем удалось обойти парадоксы Зенона, но это еще не было их решением. Далеко было и до раскрытия диалектики прерывного и непрерывного и в сущности и в явлениях.

В физике Лейбниц оставил глубокий след прежде всего в связи с отмеченным выше спором о двух мерах движения. В статье 1686 г., помещенной в «Acta Eruditorum», он выступил против авторитета Декарта, утверждая, что подлинной мерой движения является «живая сила». Его мысль о разделении сил на статические («мертвые») и кинетические («живые») была глубокой и плодотворной, и на его сторону стал И. Бернулли, но позиции картезианцев еще долго находили защитников в лице Папена, Кларка и др.