Changes

|}

|}

In a formal inquiry of the sort projected here, the less the inquirers need to depend on the compliance of understanding interpreters the more they will necessarily understand at the end of the formalization step.

In a formal inquiry of the sort projected here, the less the investigators need to depend on the unformalized intuitions of understanding interpreters the more they will necessarily understand at the end of the formalization step.

It might be thought the ultimate height of understanding achieved by formalizers would correspond to the ultimate zero of understanding asked of their interpreters, but this neglects the negative power of misunderstanding, the sheer perversity of interpretation that true human creativity can bring to bear on any text.

It might be thought the ultimate height of understanding that can be developed by formalizers corresponds to the ultimate zero of understanding that can be expected of interpreters, but this assumption neglects the negative power of misunderstanding, the sheer perversity of interpretation that true human creativity can bring to bear on any text.

On the other hand, mechanical systems begin their development every bit as incapable of misunderstanding as they are incapable of understanding.  Thus it forms a moderate compromise to address the task of interpretation to a computational system, a thing that is known to begin from a relatively neutral initial condition as far as human understanding goes.

On the other hand, computers are — initially — just as incapable of misunderstanding, willful or otherwise, as they are of understanding.  Thus it forms a moderate compromise to address the task of interpretation to a computational system, a thing that is known to begin from a relatively neutral initial condition as far as human understanding goes.

=====1.3.5.9. Partial Formalizations=====

=====1.3.5.9. Partial Formalizations=====