Все рациональное неустранимо из логики.
Данные законы логики устранимы, значит они эмпиричны.
Васильев в первой посылке доказывает, что рациональность и эмпиричность законов логики доказывается через их устранимость. Для доказательства второй посылки «данные законы логики устранимы, значит, они эмпиричны» будет достаточным показать устранимость закона противоречия. Васильев вновь прибегает к сравнению нашей логики и иной логики, в которой допускает отсутствие противоречий. Допустим, есть суждение без противоречия, в следующей логике: суть «А» – не суть «А»; суть «А» есть не суть «А» и суть «А» одновременно; во втором суждении допускается противоречие.
В таком случае в нашем предположении иной разум может иметь суждение о противоречии (внешнее противоречие), и это суждение будет отличаться от суждения отрицательного или положительного, потому что в нем будет заключаться истина. Таким образом, суждение о противоречии становится суждением истины. «Если мы, развивая это предположение, не впадем в противоречие с самим собой (внутреннее противоречие), избегнем субъективного, внутреннего противоречия, если мы сохраним способность суждения и вывода, тогда мы сохраним логику. Значит, закон противоречия устраним из логики» [7, С. 63]. Бесспорно, в земной логике мы можем мыслить противоречиво, так как это является для нас формой суждения, которую мы бракуем, «а воображаемая логика допускает их, ибо они для неё имеют фактическое обоснование, реальный субстрат (материю)».
Надо отметить, что введенный Васильевым в основу доказательства принцип устранимости довольно убедительно доказывает ограниченность закона противоречия и необходимость законов воображаемой логики. Вот как выглядят в воображаемой логике три качественных формы суждения:
1. Утвердительное,
2. Отрицательное,
3. Противоречивое (индифферентное).
Таким образом, «воображаемая логика есть реализация логики понятий, воображаемый мир, есть мир осуществленных понятий; Платон гипостазировал мир идей, такой бы мир идей подчинялся законам воображаемой логики» [7, С. 64].
Далее Васильев закономерно подходит к вопросу о достоверности трех форм суждения и вместо закона исключения третьего обоснованно вводит закон исключения четвертого.
Сведем законы воображаемой логики к следующему выражению: