Un paradoja que surge de asignaciones problemáticas de verdad o referencia dentro de un lenguaje, típicamente generada por autorreferencia o por predicados semánticos no restringidos que conducen a contradicción o indeterminación (por ejemplo, la oración del mentiroso).

Principio

Combinar un mecanismo de autorreferencia con principios semánticos (como un predicado de verdad ingenuo o la bivalencia clásica) de modo que alguna oración sobre verdad o referencia no pueda recibir coherentemente un valor de verdad clásico.

Demostración

La oración 'Esta oración es falsa' conduce a contradicción si se asume que toda oración es verdadera o falsa y que el predicado de verdad se aplica a la oración misma: si es verdadera entonces es falsa; si es falsa entonces es verdadera; ejemplifica el mecanismo central.

Aplicación incorrecta

Llamar paradoja semántica a cualquier vaguedad lingüística o fallo comunicativo, o intentar 'arreglar' las paradojas mediante renombrados sintácticos sin abordar la semántica autorreferencial, identifica mal el problema y produce soluciones insuficientes.

Consecuencia

El reconocimiento de las paradojas semánticas obliga a revisar teorías de la verdad o principios lógicos: introducir jerarquías de lenguajes/predicados de verdad, restringir la comprensión o adoptar lógicas no clásicas (paraconsistentes o paracompletas) para evitar la contradicción.

Inversión

Eliminar la autorreferencia no restringida o limitar la aplicabilidad del predicado de verdad hace desaparecer la paradoja en ese lenguaje; reforzar los principios semánticos sin restricción suele recrear la paradoja.

Límite

Se aplica a lenguajes formales o naturales que permiten autorreferencia y predicados semánticos internos; no incluye automáticamente acertijos de vaguedad, malentendidos pragmáticos o anomalías puramente sintácticas sin autorreferencia semántica.

Tensión semántica

Existe tensión entre tratar el fenómeno como un problema de verdad (asignación de valores de verdad) o como un problema de referencia o presuposición; las distintas resoluciones sacrifican bien la lógica clásica, bien la potencia expresiva o la compositionalidad.

Síntesis

Las paradojas semánticas muestran que principios semánticos ingenuos combinados con autorreferencia producen contradicción o indeterminación y motivan marcos semánticos restringidos, distinciones tipológicas o lógicas no clásicas para recuperar coherencia o consistencia.