@lcamtuf
I like the overall shape of the argument, but there is a lot happening in "can be settled" beyond just questions of logical decidability.
For example, the willingness of the two parties to even consider logic in the first place, a consideration needed to explain why flat earth discussions persist despite the empirical question being settled.