Category:Grelling-Nelson Paradox

This category contains pages concerning Grelling-Nelson Paradox:

Define an adjective to be autological if it is true when applied to itself.

For instance, the word English is autological, as it is a word in English.

The word multisyllabic is also autological, as it contains multiple syllables.

Define an adjective to be heterological if it is not true when applied to itself.

For instance, the word long is heterological, as it is not a long word.

The word monosyllabic is also heterological, as it does not contain only one syllable.

All adjectives must either be autological or heterological, as they either apply to themselves or they don't.

Autological and heterological are thus each defined as the negation of the other.

The Grelling-Nelson paradox arises when trying to apply one of these adjectives to the word heterological.

If heterological is autological, then it does apply to itself.

But then by the definition of heterological, it does not apply to itself, making it heterological.

If heterological is heterological, then it does not apply to itself.

But then by the definition of heterological, it is not the case that heterological does not apply to itself, and so it does apply to itself, making it autological.

We thus have:

heterological is autological $\iff$ heterological is heterological

for the contradictory predicates heterological and autological.

Source of Name

This entry was named for Kurt Grelling and Leonard Nelson.