Is this a fair summary (from a sort of reverse direction)?
We start with questions like “Can GR and QM be unified?” where we sort of think we know what we mean based on a half-baked, human understanding both of the world and of logic. If we were logically omniscient we could expound a variety of models that would cash out this human-concept-space question more precisely, and within those models we could do precise reasoning—but it’s ambiguous how our real world half-baked understanding actually corresponds to any given precise model.
Is this a fair summary (from a sort of reverse direction)?
We start with questions like “Can GR and QM be unified?” where we sort of think we know what we mean based on a half-baked, human understanding both of the world and of logic. If we were logically omniscient we could expound a variety of models that would cash out this human-concept-space question more precisely, and within those models we could do precise reasoning—but it’s ambiguous how our real world half-baked understanding actually corresponds to any given precise model.