Not a Knot

Abstract

Here, I examine the connective called Knot, which may be considered a threat to semanticists, but not to inferentialists. I argue that it constitutes a problem for neither, by showing, first, how to characterize it proof-theoretically, and second, by showing how the issues it allegedly poses for the semanticist rest on an imprecise understanding of metainferences. I conclude that one should be careful in grounding philosophical disputes merely on formal tools.