No.62 Referenced from ~ Part2 - Chapter 2 - Hard study 5-4-4

Duality of the unknown side

Just as the negation symbol "￢" in intuitionistic logic has the dual meaning of "U(unknowledge)" and "N(negation)", the unknown side of our world always contains a dual way of being. Is it that we are unable to see its existence due to the limits of our abilities, or is it that we cannot see it because there is nothing there?

Since we cannot make this judgment, we cannot speak of what we do not see as simply the “N(negation)” of what we do see. Intuitionistic logic also teaches us more deeply about our world, which is divided into knowable and unknowable, existing and non-existing, and the concept of “negation,” which forms the boundary between the two.