Само выделение Лейбницем «случайного» по чисто логическим основаниям неизбежно проводило грань между логическим ratio (основанием) и физическим causa (причиной), и «там, где не доказана логическая необходимость, может быть физическая» (4, с. 442). Физическая необходимость, не будучи необходимостью логической, попадает в рубрику логически случайного, но, спрашивается, откуда в нашем мире может взяться «случайное» в Лейбницевом смысле, если весь этот мир есть продукт перехода логически возможного в реально действительное? Далее мы увидим, что Лейбницу пришлось в конечном счете отвергнуть существование случайных фактов и постулировать опосредованное выведение того, что представляется нам эмпирически случайным, из логически необходимого. Это наложило глубокий отпечаток на его учение об истине и привело к феноменалистскому отождествлению вещи с конъюнкцией ее свойств (предикатов).
Методологическая роль законов логики
Но прежде выясним, какую методологическую роль в учении об истине играют, по Лейбницу, законы формальной логики. Мы уже видели, что закон противоречия выступает у Лейбница как средство построения схемы модальностей, из которой вытекают определенные характеристики мира. Соответственно этот закон действует и при построении характеристик истины.
Отрицание истины означает логическое противоречие, т. е. нарушение закона противоречия, обладающего онтологической и гносеологической силой. Поскольку отрицание истины невозможно, а истине присуща необходимость, то всякое истинное суждение должно быть логически необходимым. Это условие не может быть полностью и безоговорочно выполнено тогда, когда содержание предиката добавляется к содержанию субъекта извне: ведь такое происхождение предиката не дает гарантии того, что при дальнейшем исследовании окажется, что он не противоречит субъекту. Указанное условие выполняется только тогда, когда предикат содержится в субъекте, иными словами, утверждение предиката логически непременно вытекает из субъекта (praedicatum inest subjecto). Таким образом, необходимо истинным, а значит, полной истиной будет такое предложение, которое аналитично.
Это положение разворачивается таким образом: (1) не только всякое конечное аналитическое предложение, но и предложение, которое посредством конечного числа преобразований сводимо к аналитическому, необходимо истинно; (2) и наоборот, всякое необходимое истинное предложение непременно является аналитическим (19, с. 440). Первая из этих двух формулировок основана на действии законов противоречия и тождества, ибо в полном аналитическом предложении S = P, то есть
