This does not seem to me on the face to be a paradox. For why shouldn’t the whole world assert its coherence—logic—to support what is the case in logical space?
This is correct. The only paradoxic element is how a few logical operations and substitutions reveal truth-conditions that stretch far beyond the intuitive meaning of the first claim (“all ravens are black”). But if you think about mathematical statements and such, those weird truth-conditions can be quite insightful and crucial!
