“The Difference” has reminded me of No Free Lunch (NFL) theorems. These theorems state that solutions always depend on the problem being solved, and that there is no such thing as a general solution.
I hear this from NFL: logic informs us about reality by resolving contradictions, and you need a source of contradictions to start with. That source would be assumptions. Of course, the wrong assumptions combined with logic would misinform instead of inform, and it isn’t obvious what the source of “correct” assumptions is.
A related, interesting note: Occam’s razor demands simplicity in assumptions, not the logic.