To this extent, logic has for its presupposition the science of spirit in its appearance, a science which contains the necessity, and therefore demonstrates the truth, of the standpoint which is pure knowledge and of its mediation.