粗視化は説明でしかないので、パラドックス扱いしたほうがおもしろいと思う。
現実的な論理として、¬(P∧¬P)=P∨¬Pを多世界化(論理空間の拡張)
とみなすわけだ。