Quotation Vs. Reification

(an aside....)

Quotation is a syntactic device, where we extend a language to allow it to express information about syntactic expressions (which might be in its own language). Anything we talk about is in the domain of discourse.

Reification is the technique of having syntactic expressions in the domain of discourse for a logic language, to allow reasoning about them. But to say anything about them, we at least need some vocabulary; defining vocabulary terms is a syntactic device.

Thus: a system has quotation if and only if it has reification. I prefer the term "quotation".