избавиться от этого позора, последователи Рассела создали альтернативную систему логики, позволяющую существование Ничто. Такая система называется «свободная логика», потому что она свободна от допущений о существовании Вселенной. В свободной логике пустая Вселенная позволена, и утверждения о существовании чего-либо (типа «существует объект, тождественный самому себе») перестают быть логически истинными.
Как обнаружил Куайн, истинность или ложность пустой Вселенной можно проверить исключительно простым способом: все утверждения существования (то есть высказывания, начинающиеся с «существует такой x, который…») автоматически ложны. С другой стороны, все всеобщие высказывания (начинающиеся с «для каждого x…») автоматически истинны. Почему все всеобщие высказывания истинны в пустой Вселенной? Возьмем для примера утверждение для каждого x верно, что x – красный. В мире, не имеющем объектов, определенно нет ни одного объекта, который не мог бы быть красным. Таким образом, нет примеров, показывающих, что высказывание «все объекты – красные» ложно. Предложенная Куайном проверка на истинность для пустой Вселенной – это, по его выражению, «триумф тривиальности». Она позволяет определить истинность любого, даже самого сложного, утверждения. А если утверждение состоит из экзистенциальной и всеобщей частей, соединенных «и» или «или», то нужно просто применить метод таблиц истинности, первоначально изобретенный Витгенштейном и сейчас известный каждому, кто изучает элементарную логику. Проверка Куайна последовательно устанавливает, что будет истинным и ложным в пустой Вселенной – то есть в состоянии абсолютного Ничто, и показывает, что из предположения существования Ничто никакого противоречия не возникает. Очень интересный вывод с точки зрения метафизического нигилиста! Получается, что абсолютное ничто логически непротиворечиво. В противоположность мнению многих скептических философов, Ничто является реальной логической возможностью. Даже если мы не в состоянии вообразить такую возможность, это еще не означает, что она парадоксальна. Абсолютная пустота может выглядеть нелепицей, но не является абсурдом. С точки зрения логики, может существовать мир, где вообще ничего нет.
Назовем эту возможную реальность Нулевым миром, имея в виду, что «миром» она является только из онтологической вежливости. В отличие от других возможных миров, у него нет ни пространства-времени, ни сосуда, ни сцены или арены в каком-либо виде. Когда мы говорим об этом «мире», то говорим не о каком-то объекте, а об одном из возможных вариантов разворачивания реальности – изящно описываемом формулой
(x) ~ (x = x).
Но эта формула тоже не является частью Нулевого мира, ибо полная пустота это запрещает. Это просто наш способ описания Нулевого мира, логический символ для выражения смысла существования абсолютного Ничто.
Логическая непротиворечивость – это огромное достоинство, но Нулевой мир обладает и другими достоинствами. Лейбниц был первым, кто указал, что Ничто есть самая простая из всех возможных реальностей. Простота высоко