late these two aspects of *applying* logic just
    happened historically;  it did not necessarily need to be so.

SR: But I don't believe this isolation necessarily serves us well,
    for when we apply the certain methods of logic, we must abandon
    our methods of grounding our symbols, and when we are creating
    and grounding of our symbols we have no certain methods of logic.
    Classical logicians pride themselves on this separation.

CM: I'm not at all sure what you mean by &quot;grounding&quot; 