En semántica filosófica, la designación es la relación entre símbolos y constructos. Designen 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 con es llamada la designación :

.