Logic in a knot