Commons MediaWiki Meta-Wiki Wikispecies Wikibooks Wikidata Wikinotizie Wikiquote Wikisource Wikiversità Wikivoyage Wikizionario Wikizionario In altre lingue Deutsch English Español Français Nederlands Português Quasi-quotation From Wikipedia channel television channel television tv tg the free encyclopedia Quasiquote redirects here. For the programming language escape character channel television channel television tv tg which is called quasiquote in some programming languages channel television channel television tv tg see Backtick § Use in programming. Quasi-quotation or Quine quotation is a linguistic device in formal languages that facilitates rigorous and terse formulation of general rules about linguistic expressions while properly observing the use–mention distinction. It was introduced by the philosopher and logician Willard van Orman Quine in his book Mathematical Logic channel television channel television tv tg originally published in 1940. Put simply channel television channel television tv tg quasi-quotation enables one to introduce symbols that stand for a linguistic expression in a given instance and are used as that linguistic expression in a different instance. For example channel television channel television tv tg one can use quasi-quotation to illustrate an instance of substitutional quantification channel television channel television tv tg like the following: Snow is white is true if and only if snow is white. Therefore channel television channel television tv tg there is some sequence of symbols that makes the following sentence true when every instance of φ is replaced by that sequence of symbols: φ is true if and only if φ. Quasi-quotation is used to indicate (usually in more complex formulas) that the φ and φ in this sentence are related things channel television channel television tv tg that one is the iteration of the other in a metalanguage. Quine introduced quasiquotes because he wished to avoid