Un símbolo no variable que denota un elemento fijo del dominio dentro de las interpretaciones de un lenguaje formal.

Principio

Los símbolos constantes nombran elementos concretos del dominio en cada interpretación (o por modelo mediante la función de interpretación); son símbolos formadores de términos 0-arios cuya denotación no depende de argumentos.

Demostración

Si c es un símbolo constante y M es un modelo con c_M = d en el dominio, entonces el término c denota el elemento d en M; las apariciones de c en fórmulas se refieren a ese mismo elemento al evaluar la verdad en M.

Aplicación incorrecta

Confundir símbolos constantes con marcadores esquemáticos y sustituir por c distintos términos a lo largo de derivaciones sin considerar su denotación fija en un modelo rompe la solidez de los pasos argumentales.

Consecuencia

El uso de símbolos constantes permite al lenguaje nombrar individuos particulares, formular afirmaciones sobre elementos específicos del dominio y construir fórmulas atómicas definidas.

Inversión

Si los símbolos constantes fueran tratados como variables, podrían cuantificarse y variar entre asignaciones, perdiendo la capacidad de referirse a un individuo fijo en una interpretación.

Límite

No incluye símbolos parámetro que varían con el contexto ni metavariables en pruebas; la constancia es relativa a la interpretación —distintos modelos pueden asignar distintas denotaciones al mismo símbolo constante.

Tensión semántica

Existe tensión entre tratar las constantes como designadores rígidos que denotan el mismo elemento en modelos posibles y tratarlas como no rígidas donde distintos modelos asignan distintas denotaciones; la lógica a veces distingue estas posturas.

Síntesis

Un símbolo constante es un símbolo de término 0-ario que, bajo una interpretación, denota un elemento particular del dominio y permite al lenguaje referirse a individuos específicos dentro de las fórmulas.