The freedom of the will consists in the fact that
future actions cannot be known now. We could only know them if
causality were an inner necessity, like that of logical
deduction. -- The connexion of knowledge and what is known is
that of logical necessity.
("A knows that p is the case"
is senseless if p is a tautology.)
If from the fact that a proposition is obvious to
us it does not follow that it is true, then obviousness is
no justification for our belief in its truth.