önreferencia ( önhivatkozás ) a propozíciós rendszerekben előforduló jelenség, amikor egy fogalom önmagára vonatkozik. Más szóval, ha bármely kifejezés maga a függvény és ennek a függvénynek az argumentuma is .
Az önreferencia a matematikában és a logikában mindig a predikativitás megsértését jelenti, és általában logikai paradoxonokat okoz . Ennek oka, hogy egy objektum (alany), amely önmagára mutat egy halmazban (rendszerben, elméletben), és önmagának köszönhetően értékelést (cselekvést) hordoz, logikai paradoxonhoz vezet. Minden induktív logikai következtetés előbb-utóbb megerősíti annak a halmaznak (rendszernek, elméletnek) az értékét , amelyben található, vagy maga a halmaz erősíti meg értékét. Logikai paradoxon minden olyan induktív következtetés, amelynek alapjaiból az önmagukra mutató rendszerek értéke (cselekvése) következik.
A Grelling-paradoxon nevét Kurt Grelling német matematikusról kapta, aki felfedezte.
Osszuk az összes jelzőt két csoportra: önleíró, az általuk kifejezett tulajdonsággal rendelkező és nem önleíró. Az olyan melléknevek, mint a „többszótag”, „orosz” és „nehezen kiejthető”, önleíró jellegűek. És például a „német”, az „egygyökerű” és a „láthatatlan” a nem önleírók közé tartozik. A két halmaz közül melyikhez tartozik a „nem önleíró” jelző?