Закон противоречия Н. А. Васильев объявляет эмпирическим и реальным [12, с. 220]. Эмпирическим в том смысле, что закон противоречия отражает факт существования в нашем мире несовместимых предикатов, свойств, что он аккумулирует в себе наш повседневный опыт, является сокращенной формулой человеческой практики, из которой известно, что красное несовместимо с синим, тишина с шумом и т. д. Реальным закон противоречия является в том смысле, что он отражает состояние вещей в объективном мире, а не в мышлении, применим не к суждениям, а к объектам внешнего мира, т. е. этот закон покоится на предположении материальной природы, которое самым тесным образом связано с эмпирическим статусом отрицания.
В то же время формальные законы мышления, каким выступает закон несамопротиворечия, правомочны только в области мышления, относятся только к суждениям или понятиям. Другой формальный закон мышления — закон достаточного основания («каждое суждение должно быть обосновано») — нельзя смешивать с законом причинности («каждое явление имеет причину»). Допустима следующая аналогия: закон противоречия относится к формальному закону несамопротиворечия точно так же, как закон причинности относится к закону достаточного основания.
Эмпирические и реальные законы можно отбрасывать, заменять другими законами. «Если какое-либо логическое основоположение, — писал Н. А. Васильев, — может быть отброшено и заменено воображаемым без того, чтобы вместе с этим исчезла и возможность логического рассуждения, то это будет служить верным признаком того, что логическое основоположение покоится на эмпирической основе и зависит от познаваемых объектов. Ибо мы не можем по произволу изменять нашу природу как мыслящего субъекта и заменять ее воображаемой природой. Напротив, на эмпирической основе можно по произволу строить какие угодно воображаемые объекты. Так, могут быть нами мыслимы воображаемые животные (кентавры, грифы, сирены), воображаемый социальный строй (утопии) и т. п. Соответственно этому могут быть воображаемая зоология, воображаемая социология и т. д.» [13, с. 2] (см. также: [12, с. 222]).
Воображаемая логика построена на отрицании закона противоречия, но критерием ее мыслимости будет отсутствие в ней внутреннего противоречия; она представляет собой систему,'лишенную самопротиворечия [28, с. 16; 12, с. 219]. Действительно, понятие отрицания в воображаемой логике возникает не через сопоставление, а непосредственно, подобно утвердительному суждению в нашей логике. Если факт а в воображаемом мире служит основанием для утвердительного суждения «S есть А», а факт б для отрицательного «S не есть А», то отношение между фактами а и б не выступает в отношении несовместимости, факты а ж б могут иметь место одновременно.
Если имел место факт а, то суждение «S суть А» истинно, а в силу факта б оно ложно. В то же время в силу факта а ложно отрицательное суждение «S не суть А», но, поскольку имел место факт б, оно истинно. Таким образом, оба суждения оказываются одновременно истинными и ложными, а именно это и запрещается законом несамопротиворечия. Совместное, одновременное существование фактов а ж б должно описываться каким-то третьим суждением, которое и будет принимать значение «истинно» в данном случае. Оно выражает наличие в объекте S противоречия и является третьей — наряду с утвердительным и отрицательным — формой суждения. Такие суждения Н. А. Васильев называет суждениями противоречия или индифферентными; они имеют вид «S есть 4 и не А». Стало быть, в воображаемой логике принято не двух-, а трехкачественное деление суждений. Это кардинально меняет характер отношений суждений различного качества и количества по истинности, да и вообще все учение о суждении. Например, одно из суждений оказывается ложным, когда истинны два остальных суждения.
Классификация общих суждений производится следующим образом.
Если все S обладают свойством Р, то можно сформулировать общеутвердительное суждение; если все S не обладают свойством Р, то можно сформулировать общеотрицательное суждение; если же все S обладают и не обладают свойством Р, то можно сформулировать общеиндифферентное суждение «S есть Р и не Р». В том случае, если свойство Р распространяется не на все элементы S, получаются акцидентальные суждения, которые могут быть четырех видов. Так, акцидентальное суждение первого вида образуется, когда одни S суть Р, а все остальные не суть Р; акцидентальное суждение второго вида получается, когда одни S суть Р, а все остальные Р и не Р одновременно и т. д.
Читать дальше