En semántica filosófica, la "designación" es la relación entre símbolos y constructos. Designen ~\Sigma ^{ ·} el conjunto de fórmulas bien formadas de un lenguaje conceptual, ~C el conjunto de constructos y ~2^C su conjunto potencia, entonces la función (no inyectiva, ni sobreyectiva) que relaciona a ~\Sigma ^{ ·} con ~2^C es llamada la "designación" ~D:
~D \colon \Sigma ^{ ·} \to 2^C....
