Г. В. Лейбниц: проект универсальной науки

УНИВЕРСАЛЬНАЯ ХАРАКТЕРИСТИКА — универсальное символическое исчисление, попытку разработать которое предпринял Лейбниц, рассчитывавший найти возможность для обоснования истинности любых суждений. Свой проект Лейбниц рассматривал как продолжение работы Декарта по созданию всеобщего метода получения достоверного знания (mathesis universalis). В основе идеи универсальной характеристики лежало убеждение Лейбница в возможности провести полную энумерацию всех основоположений мысли (первых принципов) , которые были бы совершенно очевидны и выражали бы всю полноту знания. Найдя затем адекватное символическое представление для этих основоположений, можно было бы всякое знание получать в виде правильной комбинации символов, полученной из первых принципов. Лейбниц полагал, что в результате реализации такого проекта любой спор (в любой области знания) мог бы быть решен с помощью простой вычислительной процедуры: истинное суждение всегда может быть получено путем преобразований исходных принципов или их следствий. Весьма уязвимым местом этого проекта является энумерация основоположений: едва ли возможно найти критерий их очевидности и доказать их универсальность.