Designación

En semántica filosófica, la designación es la relación entre símbolos y constructos. Designen ${\mathrm{\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 ${\mathrm{\Sigma }}^{**}$ con $2^C$ es llamada la designación $D$:

$D:{\mathrm{\Sigma }}^{**}\to 2^C$.

Véase también

• Constructo (epistemología)
• Fórmula bien formada