Autorreferencia

La autorreferencia es un fenómeno que ocurre en el lenguaje natural o formal consistente en una oración o fórmula referente en forma directa a sí misma, a través de algunas oraciones o fórmulas intermedias, o por medio de algunas codificaciones. En filosofía, también se refiere a la habilidad de un sujeto para hablar o referirse a sí mismo. En Matemáticas existe el autovalor, que es el valor o número que asociamos a un contenedor (como hace la computabilidad) pero con el añadido de que puede hacérsele operaciones de grupo o similares sin perder su condición de representar a un contenedor con propiedades grupales. Esta autorreferencia nos permite representar modelos complejos y, en computabilidad, aún no se ha descubierto un equivalente para la compilación de lenguajes. En lenguajes de programación podemos encontrar los lenguajes introspectivos, que pueden incorporar palabras clave que permiten reconfigurar la interpretación semántica de las mismas palabras clave; conseguir este efecto supone un problema a la hora de asegurar la fiabilidad, pero es de una potencia descomunal.

La autorreferencia es posible cuando existen dos niveles lógicos, un nivel y un meta-nivel. Es más comúnmente usada en matemáticas, filosofía, programación y lingüística. Las oraciones autorreferentes pueden conducir a paradojas (ver antinomia).

Véanse también: Metaficción, Autopoiesis, Recursión, Efecto Droste, Paradoja de Yablo y Fórmula autorreferente de Tupper

También puede entenderse como la referencia -en el sentido de cita- a una publicación científica propia, con el fin de incrementar artificialmente la propia importancia; o la política de amiguismo científico que utiliza un recurso similar (citar a tu amigo para que tu amigo te cite a su vez).

Véanse también: Análisis de citas y Índice de citación

Ejemplos de autorreferencia en lenguajes formal o natural

Lenguaje: Oraciones

• La frase siguiente es verdadera. La frase anterior es falsa.
• Juliana está triste, porque Juliana está triste.
• Esta oración es corta.
• Yo no soy el sujeto de esta oración.
• "Yo" es el sujeto de esta oración.
• Esta oración es el sujeto y el objeto de esta oración.
• ¿Qué pregunta es también su propia respuesta?
• Esta oración tiene tres errores.
• Esta oración no verbos.
• La sección de Ejemplos de este artículo se refiere a sí misma.
• ¿Esto es una pregunta?
• ¿Cuántas letras tiene la respuesta a esta pregunta? 2+9 (ó) 5.
• Esta oración no es autorreferente porque "esta" no es una palabra.
• Si los significados de "verdadero" y "falso" fueran cambiados, esta oración no sería falsa.
• Revés al escrita está oración esta.
• Esta oración es un ejemplo de autorreferencia.
• Esta oración ha sido leída extactamente mil doscientas veces en libros y 480 en Internet
• Esta frase u oración, con todos sus complementos, sinónimos o palabras de mismo o similar significado, es innecesaria y absurdamente larga.
• Dormir para despertar.

Computación: Código fuente

Ejemplo en Pascal:

Program Autorreferente;
var p:pointer;
begin
 p:=nil; {p no apunta a nada}
 p:=@p;  {p apunta a sí mismo}
end.