I agree that the problem of sound arguments based on bad assumptions is a sticky one. I also agree with the gears-level world model objective.
My view of argument checking is that if we eschew it, how can we detect the amount of noise poor arguments are generating? It seems to me the clearest way of handling it is to treat the arguments as a separate information channel. Otherwise it will be difficult to identify the presence or absence of value with any confidence.
I agree that the problem of sound arguments based on bad assumptions is a sticky one. I also agree with the gears-level world model objective.
My view of argument checking is that if we eschew it, how can we detect the amount of noise poor arguments are generating? It seems to me the clearest way of handling it is to treat the arguments as a separate information channel. Otherwise it will be difficult to identify the presence or absence of value with any confidence.