Application
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. Entire sentences would use a higher hierarchy each of their parts'. The form "'Clause about falsehood0' yields falsehood1" will be grammatically correct, and "'Denoting0 phrase' denotes0 itself" – wrong.
George Boolos, inspired by his student Michael Ernst, has written that the sentence might be syntactically ambiguous, in using multiple quotation marks whose exact mate marks cannot be determined. He revised traditional quotation into a system where the length of outer pairs of so called q-marks of an expression is determined by the q-marks that appear inside the expression. This accounts not only for ordered quotes-within-quotes but also to, say, strings with an odd number of quotation marks.
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. He then shows that indirect self-reference is crucial in many of the proofs of Gödel's incompleteness theorems.
Read more about this topic: Quine's Paradox
Famous quotes containing the word application:
“The application requisite to the duties of the office I hold [governor of Virginia] is so excessive, and the execution of them after all so imperfect, that I have determined to retire from it at the close of the present campaign.”
—Thomas Jefferson (1743–1826)
“It is known that Whistler when asked how long it took him to paint one of his “nocturnes” answered: “All of my life.” With the same rigor he could have said that all of the centuries that preceded the moment when he painted were necessary. From that correct application of the law of causality it follows that the slightest event presupposes the inconceivable universe and, conversely, that the universe needs even the slightest of events.”
—Jorge Luis Borges (1899–1986)
“If you would be a favourite of your king, address yourself to his weaknesses. An application to his reason will seldom prove very successful.”
—Philip Dormer Stanhope, 4th Earl Chesterfield (1694–1773)