Denotation In logic, the denotation of a symbol is all of the referents of the symbol. Contrasts with connotation.