självreferens ( självreferens ) är ett fenomen som uppstår i propositionssystem när ett begrepp refererar till sig självt. Med andra ord, om något uttryck är både själva funktionen och argumentet för denna funktion.
Självreferens i matematik och logik innebär alltid ett brott mot predikativitet och orsakar vanligtvis logiska paradoxer . Anledningen är att ett objekt (subjekt), som pekar på sig självt i en mängd (system, teori) och bär en bedömning (handling) till sig själv, tack vare sig själv, leder till en logisk paradox. Alla induktiva logiska slutsatser bekräftar förr eller senare värdet på mängden (system, teori) där de finns, eller så bekräftar mängden själv deras värde. Alla induktiva slutsatser, från vars grunder följer värdet (handlingen) av system som pekar på sig själva, tack vare sig själva, är logiska paradoxer.
Grellings paradox är uppkallad efter den tyske matematikern Kurt Grelling som upptäckte den.
Låt oss dela upp alla adjektiv i två uppsättningar: självbeskrivande, med den egenskap de uttrycker, och icke-självbeskrivande. Adjektiv som "flerstavelse", "ryska" och "svåra att uttala" är självbeskrivande. Och som "tyska", "enrots" och "osynlig" är bland de icke-självbeskrivande. Till vilken av de två uppsättningarna hör adjektivet "icke-självbeskrivande"?