It now becomes clear why we often feel as though “logical truths” must be “postulated” by us. We can in fact postulate them in so far as we can postulate an adequate notation.