tside the box that you and your colleagues have
    drawn around the subject called &quot;logic&quot;.

Yes, I was wondering if maybe there is some sort of discipline-and-tradition-independent,
school-of-logic-independent way of framing this issue for those of us who just walked in?

SR: In a more serious vein, certainly the methods of logic have been isolated from
    the content of its symbols: in a binary system p &lt;=&gt; ~~p regardless of what p
    stands for.

CM: No, it precisely because logic is a