Akademik

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

    В 20 в. своеобразным развитием логической утопии Лейбница стала программа логического позитивизма. Философы этого направления пытались решить задачу обоснования научного знания путем его верификации, т. е. в результате процедуры его сведения к исходным протокольным предложениям. Основным препятствием реализации этой программы стала неопределенность понятия протокольного предложения (подобно тому, как для Лейбница — полное перечисление первых принципов). г г г

    Г. Б. Гутнер