En semántica filosófica, la designación es la relación entre símbolos y constructos.
el conjunto de fórmulas bien formadas de un lenguaje conceptual,
el conjunto de constructos y
su conjunto potencia, entonces la función (no inyectiva, ni sobreyectiva) que relaciona a
es llamada la designación