Loading AI tools
Il paradosso dell'eterologicità, o paradosso di Grelling, è una riformulazione in termini puramente linguistici del paradosso di Russell proposta dal logico e filosofo tedesco Kurt Grelling nel 1908. Essendo comparsa nell'articolo Bemerkungen zu den Paradoxien von Russell und Burali-Forti in Abhandlungen der Fries'schen Schule, scritto in collaborazione con Leonard Nelson, l'antinomia è nota anche come paradosso di Grelling-Nelson[1][2].
Come per il paradosso di Russell, si tratta più propriamente di un'antinomia che di un paradosso (un paradosso è una conclusione logica e non contraddittoria che si scontra con il nostro modo abituale di vedere le cose, mentre un'antinomia è una conclusione autocontraddittoria).
Gli aggettivi possono essere suddivisi in due categorie definite in questo modo:
- Un aggettivo è autologico se e solo se si riferisce a se stesso: per esempio, "polisillabico" è un aggettivo autologico perché è una parola polisillabica, cioè si riferisce a se stesso.
- Un aggettivo è eterologico se e solo se non si riferisce a se stesso: per esempio "monosillabico" è un aggettivo eterologico perché è una parola polisillabica, cioè non si riferisce a se stesso.
L'antinomia sta nella questione se l'aggettivo "eterologico" sia autologico o eterologico: se "eterologico" è autologico, per la definizione di autologicità si riferisce a se stesso, e quindi deve essere eterologico; se "eterologico" è eterologico, per la definizione di eterologicità non si riferisce a se stesso, e quindi deve essere autologico. In entrambi i casi si ottiene una contraddizione; in altre parole, l'aggettivo "eterologico" è autologico se e solo se è eterologico.
Per contro, se "autologico" è autologico allora si riferisce a se stesso, e quindi è autologico; se "autologico" è eterologico, allora non si riferisce a se stesso, e quindi è eterologico, senza che si presentino contraddizioni. Mentre "eterologico" non può essere né autologico né eterologico, generando un'antinomia, "autologico" può essere l'uno e l'altro, generando una tautologia ("autologico" è autologico se e solo se è autologico).
Il paradosso di Grelling-Nelson è molto simile al paradosso di Russell, del quale in sostanza costituisce una riformulazione in termini strettamente semantici anziché insiemistici e matematici. Posto che ogni aggettivo corrisponda all'insieme di oggetti che esso descrive, un aggettivo autologico corrisponde a un insieme che ha se stesso tra i suoi elementi, e un aggettivo eterologico a un insieme che non ha se stesso tra i suoi elementi. La questione se "eterologico" sia eterologico o meno si traduce dunque nella questione se l'insieme di tutti gli insiemi che non appartengono a se stessi appartenga a se stesso o meno: sia che la risposta sia positiva, sia che sia negativa, si giunge a una contraddizione.
Il paradosso di Grelling-Nelson in sostanza dimostra che il problema posto dal paradosso di Russell non è di natura strettamente matematica, ma può riguardare altrettanto da vicino anche la lingua.
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
