Grelling-Nelson paradox ( Weilův paradox , Grellingův paradox ) je sémantický sebepopisný paradox formulovaný v roce 1908 Leonardem Nelsonem a Kurtem Grellingem a někdy chybně připisovaný Hermannu Weylovi [1] . Podobně jako u řady podobných známých paradoxů, jako je holičský paradox a Russellův paradox .
Pro formulaci paradoxu jsou pro jména přídavných jmen přirozeného jazyka zavedeny dvě třídy :
Jak je definováno těmito skupinami, jedná se o disjunktní množiny: každé přídavné jméno se buď popisuje, nebo ne.
Paradox vzniká, položíme-li si otázku: do které z těchto dvou skupin patří samotné přídavné jméno „heterologní“? Pokud je autologický, má vlastnost, kterou označuje, a musí být heterologický. Pokud je heterologický, nemá vlastnost, kterou označuje, a musí být autologický.
Položíme-li si otázku, zda je přídavné jméno „autologický“ autologické, pak se odehrává řetězec úvah:
S adjektivy se tedy situace obrací: jakýkoli předpoklad o „autologickém“ se prokáže jako pravdivý, zatímco u popisu „heterologického“ se jakýkoli předpoklad ukáže jako nepravdivý.
Logický popis pro "autologický":
"Autologický" je autologický tehdy a pouze tehdy, když "autologický" je autologický: pokud a jen tehdy - tautologieLogický popis pro "heterologický":
"Heterologický" je heterologický právě tehdy, když "heterologický" je autologický: tehdy a jen tehdy, když to není splněno - rozpor .Při přiřazování jednoho nebo druhého přídavného jména k autologickým mohou vznikat nejistoty. Například přídavné jméno „hlasitý“ lze při hlasitém vyslovování interpretovat jako autologické, jinak je heterologické. Jedním z nástrojů pro řešení tohoto druhu problému je použití teorie typových štítků [2] .
Nastává stejná situace jako v Russellově paradoxu: existuje množina všech přídavných jmen (v tomto případě ruský jazyk), která je rozdělena na dvě části, takže každá z těchto částí není množinou, protože současně obsahuje i neobsahuje obsahují prvek, který je nepochybně , přídavné jméno. Navíc pojem heterologického adjektiva je ekvivalentní pojmu regulární množina v Russellově paradoxu a pojem autologického adjektiva je ekvivalentní pojmu nesprávná množina.