Logic is not a body of doctrine, but a mirror-image of the world. Logic is transcendental.
Ludwig WittgensteinIt is possible--indeed possible even according to the old conception of logic--to give in advance a description of all 'true' logical propositions. Hence there can never be surprises in logic.
Ludwig Wittgenstein