Intuitionisten glauben, dass es Fälle gibt, in denen beispielsweise eine Identitätsaussage zwischen reellen Zahlen weder wahr noch falsch ist, obwohl wir wissen, dass sie unmöglich falsch sein kann. Das heißt: Wir wissen, dass es nicht anders sein kann, sagen wir, a = b, aber wir können nicht daraus schließen, dass a = b. Im Allgemeinen können wir in der intuitionistischen Logik nicht von Nicht-Nicht-P zu P übergehen. Ich schlage vor, dass der, der an vage Objekte glaubt, etwas Ähnliches sagen sollte. Es kann niemals wahr sein, dass es vage ist, ob A B ist. Das bedeutet aber nicht, dass es immer eine Tatsache gibt, ob A B ist.