|Heterology/Grelling/Nelson/Berka: Let j (M) be the word that refers to the concept defined by M.|
M is an element of the subset M* of the set of all sets M.
j refers to the allocation, by which the elements of F (a set equivalent to M*) are allocated to the elements of M*.
This word is either element of M or not.
Def autological is the word when it is element of M. I.e. the word has the concept that it refers to, as a feature.
heterological is the word, if it is not member of the set M.
Antinomy/Grelling - the word "heterological" is in turn either autological or heterological.
a) Assume that it is autological, then it is member of the class defined by the notion that refers to itself, it is therefore heterological, contrary to the assumption.
b) Assume it is autological, then it is not member of the set, which refers to itself, it is therefore not heterological, again contrary to the assumption. (K. Berka / L. Kreiser Logic-Texte Berlin 1983, p 382 (German)).
See also paradoxes, predicates, reference.
Books on Amazon
Heterological/Heterology/Geach: E.g. ""is an obscene term" is heterological" - should have the same meaning (same meaning, synonym) as ""is an obscene expression" is not an obscene expression" (correct). - Problem: this definition ""is heterological" is heterologous" would be synonym with ""is heterological "is not heterological" - contradiction.
Grellings Paradox/(s): a general term "is not applicable to itself" is not applicable to itself.
(1) "heterological" lacks the property for which it stands, namely the absence of the property for which it stands, namely ... recourse. - Ryle: no property is ever mentioned.
(2) "... lacks the property for which "heterological" stands.
(1) is an extension of "heterological", and just true of those words, of which (2) is not true Grelling's paradox. (1) is not at all ambiguous - otherwise it would always have to refer to the same property in all events of (1), e.g. "French"....
Solution/Geach: "the property for which it stands" never denotes any specifiable property. - Various heterological epithets stand for different properties.
Logic Matters Oxford 1972