Лейбниц считал, что у такого метода есть будущее, и он перевел бы многие наши социальные традиции из их нынешней беспорядочности в непротиворечивую рационалистскую форму. «Если бы появлялись противоречия, то они бы стали предметом спора не философов, а счетоводов, ибо им было бы достаточно взять в руки карандаши, сесть к своим грифельным доскам и сказать друг другу: «Давайте посчитаем». Все судебные дела, общественные противоречия, различные споры разрешались бы с эффективностью и законченностью математических действий. Ответы можно было бы проверить с помощью вычислительных машин, чтобы доказать их безошибочность. А при помощи обратных вычислений было бы возможно проверить, опирается ли любая сложная идея на прочный фундамент основополагающих идей или нет. Или не закралась ли в нее случайно какая-либо неверная гипотеза.
Эти вычисления опирались бы на «всеобщий язык характеристик» Лейбница, который сейчас признан всеми первой символической логикой (хотя он не был источником современной символической логики, поскольку в течение 150 лет был спрятан). К сожалению, Лейбниц не смог преодолеть те трудности, которые позже стали на пути ученых, открывших этот язык независимо от него.
Символическая логика, точно так же, как и алгебра, оперирует общими символами. Утверждение «Все яблоки — это фрукты» может быть сведено к утверждению «Все А — это В», которое в записи символами Лейбница превращается в «Ах В». Такая алгебра не могла удовлетворительно оперировать определенными утверждениями, в том числе отрицательными. Но важность символической логики невозможно переоценить. Спустя два столетия после ее изобретения Лейбницем символическая логика будет играть очень важную роль как в философии, так и в основах математики.
В начале XX века Бертран Рассел со своей стороны предпринял важную попытку подогнать под математику прочный логический фундамент (как оказалось, тщетно). В то же время значительные усилия философов были направлены (и продолжают быть направленными) на логический анализ языка. Большая часть анализа включает расчленение сложных концепций на их составляющие, что соответствует прогнозам Лейбница. Его безуспешная попытка свести все богатство социальных отношений к логической формуле остается неосуществленной и по сей день.
В 1700 году Уильям, герцог Глостерский, наследник английского престола, умер. Его смерть создала весьма смутную возможность того, что Георг Людвиг Ганноверский станет королем Англии.
Между Лондоном и Ганновером начались переговоры, и Георг Людвиг решил воспользоваться знаниями своего библиотекаря в области политики и генеалогии, которые так высоко оценивались королевскими дворами всей Европы. В конце концов все завершилось успешно, и Георг Людвиг был утвержден наследником престола
Англии. Лейбниц утверждал, что это во многом была и его заслуга, но проведенные позднее исследования выявили противоположную картину.
Кажется, Лейбниц чуть не загубил дело, когда стало известно, что он вступил по своей инициативе в секретные переговоры через шотландского шпиона по имени Кер из Керсланда.
Лейбниц начал проводить все больше и больше времени, посещая близлежащие королевские дворы, где он мог получить различные должности (на полный рабочий день и полноценную оплату). Уже несколько лет он был старшим библиотекарем в знаменитом своим собранием книг Вольфенбюттеле, хотя, несмотря на его неоднократные предложения, ему не позволили воплотить в жизнь планы переустройства библиотеки. Также в результате его переписки с курфюрстом Софи Шарлоттой, будущей королевой Пруссии, в Берлине была основана Немецкая академия наук.
Естественно, Лейбниц все устроил так, чтобы ее первым президентом был назначен именно он, даже несмотря на недостаточное жалованье. В 1711 году он встречался с Петром Великим, на которого философ произвел такое глубокое впе чатление, что тот назначил его советником при своем дворе. |