|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.
|Author||Item||More concepts for author|
|Geach, Peter T.||Heterology||Geach, Peter T.|
Ed. Martin Schulz, access date 2017-03-22