 its
    symbols get adjusted to compensate and the system is
    magically contrived to remain consistent such that
    the truisms of classical logic are still useful.

SR: But my proposal is to combine the process of generating and testing the binding of symbols
    with the mechanisms of logical inference.  Where a trusted logical formula of symbols bound
    by the machine to its environment could yield a contradiction with another such formula, is
    it too much to ask that our logic points our machi