344:
evasion is not applicable because the rules of
English uniquely determine its meaning from that of "autological". A similar slight modification to the definition of "autological" (such as declaring it false of "nonautological" and its synonyms) might seem to correct that, but the paradox still remains for synonyms of "autological" and "heterological" such as "self-descriptive" and "non–self-descriptive", whose meanings also would need adjusting, and the consequences of those adjustments would then need to be pursued, and so on. Freeing English of the Grelling–Nelson paradox entails considerably more modification to the language than mere refinements of the definitions of "autological" and "heterological", which need not even be in the language for the paradox to arise. The scope of these obstacles for English is comparable to that of
1324:
216:
25:
1314:
166:
422:
of objects to which that adjective applies. So, for example, the adjective "red" is equated with the set of all red objects. In this way, the adjective "pronounceable" is equated with the set of all pronounceable things, one of which is the word "pronounceable" itself. Thus, an autological word is
320:
The
Grelling–Nelson paradox arises when we consider the adjective "heterological". One can ask: Is "heterological" a heterological word? If the answer is "no", then "heterological" is autological. This leads to a contradiction, for in this case "heterological" does not describe itself: it must be a
401:
One may also ask whether "loud" is autological or heterological. If said loudly, "loud" is autological; otherwise, it is heterological. This shows that some adjectives cannot be unambiguously classified as autological or heterological. Newhard sought to eliminate this problem by taking
Grelling's
343:
The paradox can be eliminated, without changing the meaning of "heterological" where it was previously well-defined, by modifying the definition of "heterological" slightly to hold all nonautological words except "heterological". But "nonautological" is subject to the same paradox, for which this
367:
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.)
198:
if it does not describe itself. Hence "long" is a heterological word (because it is not a long word), as are "hyphenated" (because it has no hyphen) and "monosyllabic" (because it has more than one syllable).
321:
heterological word. But if the answer is "yes", then "heterological" is heterological. This again leads to a contradiction, because if the word "heterological" describes itself, it is autological.
202:
All adjectives, it would seem, must be either autological or heterological, for each adjective either describes itself, or it does not. Problems arise in a number of instances, however.
427:. The question of whether the word "heterological" is heterological becomes the question of whether the set of all sets which do not contain themselves contains itself.
578:
550:
288:
89:
363:
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.
260:
61:
237:
42:
760:
267:
68:
360:
if we say that "autological" is autological and then ask whether it applies to itself, then yes, it does, and thus is autological;
908:
274:
75:
256:
191:) if it describes itself. For example, the English word "English" is autological, as are "unhyphenated" and "pentasyllabic".
57:
334:
yes → "heterological" is heterological → "heterological" does not describe itself → "heterological" is not heterological,
1348:
651:
969:
125:
arises from the question of whether the term "non-self-descriptive" is self-descriptive. It was formulated in 1908 by
938:
775:
700:
307:
108:
245:
1194:
608:
566:
241:
46:
1187:
281:
82:
1011:
328:
no → "heterological" is autological → "heterological" describes itself → "heterological" is heterological,
1353:
453:
963:
903:
958:
1031:
1006:
846:
1126:
356:
One may also ask whether "autological" is autological. It can be chosen consistently to be either:
226:
1254:
1214:
1091:
888:
806:
710:
705:
644:
230:
35:
1131:
1021:
535:
Grelling, K.; Nelson, L. (1908). "Bemerkungen zu den
Paradoxien von Russell und Burali-Forti".
403:
1289:
1274:
1249:
1244:
1172:
1116:
1096:
1001:
836:
730:
1294:
1279:
1269:
1234:
1182:
1111:
1026:
898:
893:
816:
811:
740:
415:
345:
150:
8:
1056:
1016:
980:
913:
780:
750:
745:
715:
680:
675:
559:
Gesammelte
Schriften III. Die kritische Methode in ihrer Bedeutung für die Wissenschaften
478:(1918), p. 2, mentioning it only to dismiss it. Its misattribution to him may stem from
474:
169:
The first instance of the word "blue" is autological, while the second is heterological.
1327:
1284:
1264:
1229:
1204:
1177:
975:
928:
918:
876:
871:
831:
826:
735:
695:
637:
544:
513:
447:
1317:
1299:
1239:
1219:
1209:
1136:
1121:
1041:
1036:
866:
861:
821:
690:
604:
562:
517:
441:
419:
378:
133:, and is sometimes mistakenly attributed to the German philosopher and mathematician
173:
Suppose one interprets the adjectives "autological" and "heterological" as follows:
1259:
1224:
1199:
1151:
1076:
1051:
1046:
948:
923:
587:
505:
183:
145:. It is closely related to several other well-known paradoxes, in particular, the
1167:
1146:
1141:
1101:
943:
933:
770:
765:
755:
720:
1106:
1081:
1071:
1066:
996:
796:
685:
591:
146:
130:
509:
386:"heterological" is heterological if and only if "heterological" is autological
1342:
1086:
953:
801:
390:
126:
599:
Peckhaus, Volker (2004). "Paradoxes in Göttingen". In Link, Godehard (ed.).
883:
856:
851:
624:
436:
134:
1061:
374:"autological" is autological if and only if "autological" is autological
418:
in the following way. First, one must identify each adjective with the
601:
One hundred years of
Russell's paradox: mathematics, logic, philosophy
178:
629:
215:
24:
154:
661:
725:
576:
Ramsey, Frank P. (1926). "The
Foundations of Mathematics".
165:
409:
371:
In logical terms, the situation for "autological" is:
496:Newhard, Jay (October 2005). "Grelling's Paradox".
414:The Grelling–Nelson paradox can be translated into
49:. Unsourced material may be challenged and removed.
561:. Hamburg: Felix Meiner Verlag. pp. 95–127.
1340:
603:. Berlin: Walter de Gruyter. pp. 501–516.
472:Weyl refers to it as a "well-known paradox" in
579:Proceedings of the London Mathematical Society
534:
645:
383:while the situation for "heterological" is:
244:. Unsourced material may be challenged and
1313:
652:
638:
549:: CS1 maint: location missing publisher (
157:, or a semantic self-referential paradox.
325:Is "heterological" a heterological word?
308:Learn how and when to remove this message
109:Learn how and when to remove this message
598:
483:
164:
495:
425:one of whose elements is the set itself
1341:
575:
556:
537:Abhandlungen der Fries'schen Schule II
479:
659:
633:
404:word types as opposed to word tokens
242:adding citations to reliable sources
209:
205:
47:adding citations to reliable sources
18:
410:Similarities with Russell's paradox
13:
970:What the Tortoise Said to Achilles
402:Paradox to deal specifically with
396:
351:
14:
1365:
618:
348:for mathematics founded on sets.
16:Semantic self-referential paradox
1323:
1322:
1312:
214:
23:
34:needs additional citations for
539:. Göttingen. pp. 301–334.
489:
466:
1:
528:
7:
430:
10:
1370:
1349:Self-referential paradoxes
389:A if and only if not A, a
160:
1308:
1160:
989:
789:
668:
510:10.1007/s11098-004-7808-z
257:"Grelling–Nelson paradox"
137:thus occasionally called
58:"Grelling–Nelson paradox"
592:10.1112/plms/s2-25.1.338
557:Nelson, Leonard (1974).
459:
889:Paradoxes of set theory
454:Use–mention distinction
123:Grelling–Nelson paradox
377:A if and only if A, a
170:
498:Philosophical Studies
423:understood as a set,
168:
1255:Kavka's toxin puzzle
1027:Income and fertility
238:improve this section
43:improve this article
914:Temperature paradox
837:Free choice paradox
701:Fitch's knowability
1354:1908 introductions
1290:Prisoner's dilemma
976:Heat death paradox
964:Unexpected hanging
929:Chicken or the egg
448:Metamagical Themas
171:
143:Grelling's paradox
1336:
1335:
1007:Arrow information
625:Autological words
442:List of paradoxes
416:Russell's paradox
346:Russell's paradox
318:
317:
310:
292:
206:Paradoxical cases
151:Russell's paradox
119:
118:
111:
93:
1361:
1326:
1325:
1316:
1315:
1127:Service recovery
981:Olbers's paradox
681:Buridan's bridge
654:
647:
640:
631:
630:
614:
595:
572:
554:
548:
540:
522:
521:
493:
487:
470:
313:
306:
302:
299:
293:
291:
250:
218:
210:
194:An adjective is
114:
107:
103:
100:
94:
92:
51:
27:
19:
1369:
1368:
1364:
1363:
1362:
1360:
1359:
1358:
1339:
1338:
1337:
1332:
1304:
1215:Decision-making
1161:Decision theory
1156:
985:
909:Hilbert's Hotel
842:Grelling–Nelson
785:
664:
658:
621:
611:
569:
542:
541:
531:
526:
525:
494:
490:
471:
467:
462:
433:
412:
399:
397:Ambiguous cases
394:
387:
381:
375:
354:
352:Arbitrary cases
314:
303:
297:
294:
251:
249:
235:
219:
208:
163:
115:
104:
98:
95:
52:
50:
40:
28:
17:
12:
11:
5:
1367:
1357:
1356:
1351:
1334:
1333:
1331:
1330:
1320:
1309:
1306:
1305:
1303:
1302:
1297:
1292:
1287:
1282:
1277:
1272:
1267:
1262:
1257:
1252:
1247:
1242:
1237:
1232:
1227:
1222:
1217:
1212:
1207:
1202:
1197:
1192:
1191:
1190:
1185:
1180:
1170:
1164:
1162:
1158:
1157:
1155:
1154:
1149:
1144:
1139:
1134:
1132:St. Petersburg
1129:
1124:
1119:
1114:
1109:
1104:
1099:
1094:
1089:
1084:
1079:
1074:
1069:
1064:
1059:
1054:
1049:
1044:
1039:
1034:
1029:
1024:
1019:
1014:
1009:
1004:
999:
993:
991:
987:
986:
984:
983:
978:
973:
966:
961:
956:
951:
946:
941:
936:
931:
926:
921:
916:
911:
906:
901:
896:
891:
886:
881:
880:
879:
874:
869:
864:
859:
849:
844:
839:
834:
829:
824:
819:
814:
809:
804:
799:
793:
791:
787:
786:
784:
783:
778:
773:
768:
763:
761:Rule-following
758:
753:
748:
743:
738:
733:
728:
723:
718:
713:
708:
703:
698:
693:
688:
686:Dream argument
683:
678:
672:
670:
666:
665:
657:
656:
649:
642:
634:
628:
627:
620:
619:External links
617:
616:
615:
609:
596:
586:(1): 338–384.
573:
567:
530:
527:
524:
523:
488:
464:
463:
461:
458:
457:
456:
451:
444:
439:
432:
429:
411:
408:
398:
395:
388:
385:
376:
373:
365:
364:
361:
353:
350:
341:
340:
339:
338:
332:
316:
315:
222:
220:
213:
207:
204:
200:
199:
192:
162:
159:
147:barber paradox
139:Weyl's paradox
131:Leonard Nelson
117:
116:
31:
29:
22:
15:
9:
6:
4:
3:
2:
1366:
1355:
1352:
1350:
1347:
1346:
1344:
1329:
1321:
1319:
1311:
1310:
1307:
1301:
1298:
1296:
1293:
1291:
1288:
1286:
1283:
1281:
1278:
1276:
1273:
1271:
1268:
1266:
1263:
1261:
1260:Morton's fork
1258:
1256:
1253:
1251:
1248:
1246:
1243:
1241:
1238:
1236:
1233:
1231:
1228:
1226:
1223:
1221:
1218:
1216:
1213:
1211:
1208:
1206:
1203:
1201:
1200:Buridan's ass
1198:
1196:
1193:
1189:
1186:
1184:
1181:
1179:
1176:
1175:
1174:
1173:Apportionment
1171:
1169:
1166:
1165:
1163:
1159:
1153:
1150:
1148:
1145:
1143:
1140:
1138:
1135:
1133:
1130:
1128:
1125:
1123:
1120:
1118:
1115:
1113:
1110:
1108:
1105:
1103:
1100:
1098:
1095:
1093:
1090:
1088:
1085:
1083:
1080:
1078:
1075:
1073:
1070:
1068:
1065:
1063:
1060:
1058:
1055:
1053:
1050:
1048:
1045:
1043:
1040:
1038:
1035:
1033:
1032:Downs–Thomson
1030:
1028:
1025:
1023:
1020:
1018:
1015:
1013:
1010:
1008:
1005:
1003:
1000:
998:
995:
994:
992:
988:
982:
979:
977:
974:
971:
967:
965:
962:
960:
957:
955:
952:
950:
949:Plato's beard
947:
945:
942:
940:
937:
935:
932:
930:
927:
925:
922:
920:
917:
915:
912:
910:
907:
905:
902:
900:
897:
895:
892:
890:
887:
885:
882:
878:
875:
873:
870:
868:
865:
863:
860:
858:
855:
854:
853:
850:
848:
847:Kleene–Rosser
845:
843:
840:
838:
835:
833:
830:
828:
825:
823:
820:
818:
815:
813:
810:
808:
805:
803:
800:
798:
795:
794:
792:
788:
782:
779:
777:
774:
772:
771:Theseus' ship
769:
767:
764:
762:
759:
757:
754:
752:
749:
747:
744:
742:
739:
737:
734:
732:
731:Mere addition
729:
727:
724:
722:
719:
717:
714:
712:
709:
707:
704:
702:
699:
697:
694:
692:
689:
687:
684:
682:
679:
677:
674:
673:
671:
669:Philosophical
667:
663:
655:
650:
648:
643:
641:
636:
635:
632:
626:
623:
622:
612:
606:
602:
597:
593:
589:
585:
581:
580:
574:
570:
564:
560:
552:
546:
538:
533:
532:
519:
515:
511:
507:
503:
499:
492:
485:
484:Peckhaus 2004
482:(attested in
481:
477:
476:
475:Das Kontinuum
469:
465:
455:
452:
450:
449:
445:
443:
440:
438:
435:
434:
428:
426:
421:
417:
407:
405:
392:
391:contradiction
384:
380:
372:
369:
362:
359:
358:
357:
349:
347:
337:
336:contradiction
333:
331:
330:contradiction
327:
326:
324:
323:
322:
312:
309:
301:
290:
287:
283:
280:
276:
273:
269:
266:
262:
259: –
258:
254:
253:Find sources:
247:
243:
239:
233:
232:
228:
223:This section
221:
217:
212:
211:
203:
197:
196:heterological
193:
190:
186:
185:
180:
176:
175:
174:
167:
158:
156:
152:
148:
144:
140:
136:
132:
128:
127:Kurt Grelling
124:
113:
110:
102:
91:
88:
84:
81:
77:
74:
70:
67:
63:
60: –
59:
55:
54:Find sources:
48:
44:
38:
37:
32:This article
30:
26:
21:
20:
1280:Preparedness
1112:Productivity
1092:Mandeville's
884:Opposite Day
841:
812:Burali-Forti
807:Bhartrhari's
600:
583:
577:
558:
536:
501:
497:
491:
473:
468:
446:
437:Liar paradox
424:
413:
400:
382:
370:
366:
355:
342:
335:
329:
319:
304:
295:
285:
278:
271:
264:
252:
236:Please help
224:
201:
195:
188:
182:
172:
142:
138:
135:Hermann Weyl
122:
120:
105:
96:
86:
79:
72:
65:
53:
41:Please help
36:verification
33:
1210:Condorcet's
1062:Giffen good
1022:Competition
776:White horse
751:Omnipotence
504:(1): 1–27.
480:Ramsey 1926
298:August 2023
189:homological
187:(sometimes
184:autological
153:. It is an
99:August 2018
1343:Categories
1285:Prevention
1275:Parrondo's
1265:Navigation
1250:Inventor's
1245:Hedgehog's
1205:Chainstore
1188:Population
1183:New states
1117:Prosperity
1097:Mayfield's
939:Entailment
919:Barbershop
832:Epimenides
610:3110174383
568:3787302220
529:References
268:newspapers
69:newspapers
1300:Willpower
1295:Tolerance
1270:Newcomb's
1235:Fredkin's
1122:Scitovsky
1042:Edgeworth
1037:Easterlin
1002:Antitrust
899:Russell's
894:Richard's
867:Pinocchio
822:Crocodile
741:Newcomb's
711:Goodman's
706:Free will
691:Epicurean
662:paradoxes
555:Also in:
545:cite book
518:170827394
379:tautology
225:does not
179:adjective
1328:Category
1225:Ellsberg
1077:Leontief
1057:Gibson's
1052:European
1047:Ellsberg
1017:Braess's
1012:Bertrand
990:Economic
924:Catch-22
904:Socratic
746:Nihilism
716:Hedonism
676:Analysis
660:Notable
431:See also
155:antinomy
1230:Fenno's
1195:Arrow's
1178:Alabama
1168:Abilene
1147:Tullock
1102:Metzler
944:Lottery
934:Drinker
877:Yablo's
872:Quine's
827:Curry's
790:Logical
766:Sorites
756:Preface
736:Moore's
721:Liberal
696:Fiction
282:scholar
246:removed
231:sources
161:Paradox
83:scholar
1137:Thrift
1107:Plenty
1082:Lerner
1072:Jevons
1067:Icarus
997:Allais
959:Ross's
797:Barber
781:Zeno's
726:Meno's
607:
565:
516:
284:
277:
270:
263:
255:
85:
78:
71:
64:
56:
1240:Green
1220:Downs
1152:Value
1087:Lucas
954:Raven
862:No-no
817:Court
802:Berry
582:. 2.
514:S2CID
460:Notes
289:JSTOR
275:books
90:JSTOR
76:books
1318:List
1142:Toil
857:Card
852:Liar
605:ISBN
563:ISBN
551:link
261:news
229:any
227:cite
149:and
129:and
121:The
62:news
588:doi
506:doi
502:126
420:set
240:by
181:is
177:An
141:or
45:by
1345::
584:25
547:}}
543:{{
512:.
500:.
486:).
406:.
972:"
968:"
653:e
646:t
639:v
613:.
594:.
590::
571:.
553:)
520:.
508::
393:.
311:)
305:(
300:)
296:(
286:·
279:·
272:·
265:·
248:.
234:.
112:)
106:(
101:)
97:(
87:·
80:·
73:·
66:·
39:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.