I moved the big meta-level comment thread from "Yes Requires the Possibility of No" over to here, since it seemed mostly unrelated to that top-level post. This not being on frontpage also makes it easier for people to just directly discuss the moderation and meta-level norms.
Engagement with the object level.
It is nearly impossible for a human being to write a correct program just by thinking really hard. And that is a situation where everything is cut and dried, mathematically exact. Mathematicians do fairly well at proving theorems rigorously, but they have an easier task than programmers, for they only have to convince people, not machines. Outside of those domains, abstract argument on its own is nothing more than abstract art, unless it is continually compared with the object level and exposed to modus delens.
And the object level is what we're all doing this for, or what's the point?