Quine's paradox

Many philosophers attempting to explain the liar paradox – for examples see that article – concluded that the problem was with the use of demonstrative word "this" or its replacements.

Once we properly analyze this sort of self-reference, according to those philosophers, the paradox no longer arises.

[2] Quine suggested an unnatural linguistic resolution to such logical antinomies, inspired by Bertrand Russell's type theory and Tarski's work.

His system would attach levels to a line of problematic expressions such as falsehood and denote.

[3] In Gödel, Escher, Bach: An Eternal Golden Braid, author Douglas Hofstadter suggests that the Quine sentence in fact uses an indirect type of self-reference.