| Line 499: |
Line 499: |
| | itself resist analysis, since it is precisely to save the effort of | | itself resist analysis, since it is precisely to save the effort of |
| | repeating routine analyses that the whole infrastructure is built. | | repeating routine analyses that the whole infrastructure is built. |
| − | </pre>
| |
| − |
| |
| − | =====1.3.5.8. A Puckish Ref=====
| |
| − |
| |
| − | <pre>
| |
| − | | Our subjective compulsion to believe in logic only reveals that,
| |
| − | | long before logic itself entered our consciousness, we did nothing
| |
| − | | but introduce its postulates into events: now we discover them in
| |
| − | | events -- we can no longer do otherwise -- and imagine that this
| |
| − | | compulsion guarantees something connected with "truth".
| |
| − | |
| |
| − | | (Nietzsche, 'The Will to Power', S 521, 282-283).
| |
| − |
| |
| − | In a formal inquiry of the sort projected here, the less the discussants
| |
| − | need to depend on the compliance of understanding interpreters the more
| |
| − | they will necessarily understand at the end of the formalization step.
| |
| − |
| |
| − | It might then be thought that the ultimate zero of understanding expected
| |
| − | on the part of the interpreter would correspond to the ultimate height of
| |
| − | understanding demanded on the part of the formalizer, but this assumption
| |
| − | neglects the negative potential of misunderstanding, the sheer perversity
| |
| − | of interpretation that our human creativity can bring to bear on any text.
| |
| − |
| |
| − | But computers are initially just as incapable of misunderstanding as they
| |
| − | are of understanding. Therefore, it actually forms a moderate compromise
| |
| − | to address the task of interpretation to a computational system, a thing
| |
| − | that is known to begin from a moderately neutral intitial condition.
| |
| | </pre> | | </pre> |