Editing Grelling–Nelson paradox (section)

==={{anchor|Autological}}Arbitrary cases=== 
One may also ask whether "autological" is autological.
It can be chosen consistently to be either:
* if we say that "autological" is autological and then ask whether it applies to itself, then yes, it does, and thus is autological;
* if we say that "autological" is not autological and then ask whether it applies to itself, then no, it does not, and thus is not autological.

This is the opposite of the situation for heterological: while "heterological" logically cannot be autological or heterological, "autological" can be either. (It cannot be both, as the category of autological and heterological cannot overlap.)

In logical terms, the situation for "autological" is:
{{block indent|"autological" is autological if and only if "autological" is autological}}
{{block indent|A if and only if A, a [[tautology (logic)|tautology]]}}
while the situation for "heterological" is:
{{block indent|"heterological" is heterological if and only if "heterological" is autological}}
{{block indent|A if and only if not A, a [[contradiction]].}}