In a longer version, I would buttress the conclusion of the preceding paragraph not only by a more detailed philosophical exposition, but also by a mathematical demonstration that the simple kind of self reference exemplified by the 'Jack is short' example could actually be used to prove the Gödel incompleteness theorem itself (and also, the Gödel Tarski theorem on the undefinability of truth).