Knowledge

Self-reference

Source đź“ť

304: 327: 315: 40: 249:, the basic units of digital memory, which convert potentially paradoxical logical self-relations into memory by expanding their terms over time. Thinking in terms of self-reference is a pervasive part of programmer culture, with many programs and acronyms named self-referentially as a form of humor, such as 718:, which specifies that "It always takes longer than you expect, even when you take into account Hofstadter's Law" is an example of a self-referencing adage. Hofstadter also suggested the concept of a 'Reviews of this book', a book containing only reviews of itself, which has since been implemented using 634:
There is a special case of meta-sentence in which the content of the sentence in the metalanguage and the content of the sentence in the object language are the same. Such a sentence is referring to itself. However some meta-sentences of this type can lead to paradoxes. "This is a sentence." can be
668:
are a list of rules of good grammar and writing, demonstrated through sentences that violate those very rules, such as "Avoid cliches like the plague" and "Don't use no double negatives". The term was coined in a published list of such rules by
151:, 'All Cretans are liars' when uttered by an ancient Greek Cretan was one of the first recorded versions. Contemporary philosophy sometimes employs the same technique to demonstrate that a supposed concept is meaningless or ill-defined. 205:, where a program can read or modify its own instructions like any other data. Numerous programming languages support reflection to some extent with varying degrees of expressiveness. Additionally, self-reference is seen in 178:
equivalent, in computation theory, shows that there is always some task that a computer cannot perform, namely reasoning about itself. These proofs relate to a long tradition of mathematical paradoxes such as
1121: 476:
includes a scene wherein the evil characters are viewing a VHS copy of their own story, which shows them watching themselves "watching themselves", ad infinitum. Perhaps the earliest example is in
217:, where a code structure refers back to itself during computation. 'Taming' self-reference from potentially paradoxical concepts into well-behaved recursions has been one of the great successes of 96:
In philosophy, self-reference also refers to the ability of a subject to speak of or refer to itself, that is, to have the kind of thought expressed by the first person nominative singular pronoun
515:
consists entirely of the protagonist listening to and making recordings of himself, mostly about other recordings. During the 1990s and 2000s filmic self-reference was a popular part of the
303: 679:
is a type of self-reference in which the definition of a term or concept includes the term or concept itself, either explicitly or implicitly. Circular definitions are considered
466:, Delany has a protagonist simply named The Kid (or Kidd, in some sections), whose life and work are mirror images of themselves and of the novel itself. In the sci-fi spoof film 310:, with drawboy above to control the harnesses, woven as a repeating pattern in an early-1800s piece of Japanese silk. The silk illustrates the means by which it was produced. 949: 635:
considered to be a self-referential meta-sentence which is obviously true. However "This sentence is false" is a meta-sentence which leads to a self-referential
31: 639:. Such sentences can lead to problems, for example, in law, where statements bringing laws into existence can contradict one another or themselves. 516: 1276: 1184: 770: 714:, play with many self-referential concepts and were highly influential in bringing them into mainstream intellectual culture during the 1980s. 658:
reporting on job cuts at the BBC. Notable encyclopedias may be required to feature articles about themselves, such as Knowledge's article on
462:
ends mid-sentence, thus lending credence to the curse and the realization that the novelist is the author of the story; likewise, throughout
458:. In the former, Katin (a space-faring novelist) is wary of a long-standing curse wherein a novelist dies before completing any given work. 1224: 174:
system of mathematics can ever contain all possible mathematical truths, because it cannot prove some truths about its own structure.
194:, undefined behaviors can occur where two players must model each other's mental states and behaviors, leading to infinite regress. 89:
refers to itself. The reference may be expressed either directly—through some intermediate sentence or formula—or by means of some
753: 803: 1313: 1242: 1146: 1074: 992: 690:
The adverb "hereby" is used in a self-referential way, for example in the statement "I hereby declare you husband and wife."
418: 384: 167: 394: 264: 1113: 769:
Several constitutions contain self-referential clauses defining how the constitution itself may be amended. An example is
956: 245:, but is generally discouraged in real-world programming. Computing hardware makes fundamental use of self-reference in 147:
of asking if it was possible for a being to exist so powerful that it could create a stone that it could not lift. The
54:
is a concept that involves referring to oneself or one's own attributes, characteristics, or actions. It can occur in
1299: 1193: 1017: 17: 905: 1348: 535:, the latter pushing the concept arguably to its breaking point as it attempts to portray its own creation, in a 1338: 202: 334:. The painter drawn on a wall erases his own graffiti, and may be erased himself by the next facade cleaner. 536: 362: 867: 242: 644: 612:(i.e. "sesquipedalian" is a sesquipedalian word), but can also apply to other parts of speech, such as 837: 621: 230: 226: 586:(in English, "this") refers to the pipe depicted—or to the painting or the word or sentence itself. 582:, includes the words "this is not a pipe", the truth of which depends entirely on whether the word 288: 108: 1234: 1328: 873: 683:
because they only define a term in terms of itself. This type of self-reference may be useful in
578: 346:
when an author refers to his or her own work in the context of the work itself. Examples include
246: 1308:, Proceedings of the Mathematical Association of Victoria (MAV) Annual Conference, 53, 98–106, 757: 551: 214: 116: 82: 982: 710: 1064: 490:
laments: "for generations still unborn/we will live in song" (appearing in the song itself).
882: 870: â€“ In programming languages, the object or class the currently running code belongs to 525: 511: 404: 198: 180: 159: 104: 8: 715: 676: 550:
invoke self-reference to solve the problem of what created the creator. For example, the
347: 254: 234: 210: 175: 144: 86: 834: â€“ Technique of placing a copy of an image within itself, or a story within a story 609: 1271: 1179: 906:"Ouroboros avatars: A mathematical exploration of Self-reference and Metabolic Closure" 783: 735: 704: 699: 184: 148: 90: 904:
Soto-Andrade, Jorge; Jaramillo, Sebastian; Gutierrez, Claudio; Letelier, Juan-Carlos.
590:'s art also contains many self-referential concepts such as hands drawing themselves. 1309: 1295: 1238: 1189: 1142: 1070: 1013: 988: 855: 849: 531: 502: 438: 238: 1333: 1287: 1230: 930: 600: 443: 423: 413: 276: 218: 74: 1091: 864: â€“ Cyclic structure that goes through several levels in a hierarchical system 573: 1306:
The Lost Logic of Elementary Mathematics and the Haberdasher who Kidnapped Kaizen
1136: 745: 651: 520: 163: 78: 627:
A sentence which inventories its own letters and punctuation marks is called an
1343: 1109: 812: 670: 547: 506: 498: 326: 752:
is now so extensive that it has fostered a fan-maintained bibliography at the
291:
and have inspired engineering systems such as the self-replicating 3D printer
1322: 1281: 1205: 831: 789: 731: 684: 540: 487: 399: 389: 379: 374: 640: 861: 723: 636: 617: 448: 433: 103:
Self-reference is studied and has applications in mathematics, philosophy,
800: â€“ Concept in performing arts separating performers from the audience 797: 749: 727: 665: 587: 494: 368: 357: 352: 191: 171: 155: 112: 97: 63: 786: â€“ Series of references where the last object references the first 569: 473: 468: 409: 339: 237:
is possible to write (programs which operate on themselves), both with
136: 67: 1138:
Begging the Question: Circular Reasoning as a Tactic of Argumentation
843: 822: 742: 659: 555: 267:
is a mathematical curiosity which plots an image of its own formula.
222: 206: 140: 124: 44: 47:, a dragon that continually consumes itself, denotes self-reference. 1035:
The Qur'ân's Self-Image. Writing and Authority in Islam's Scripture
628: 454: 331: 319: 307: 258: 55: 903: 819:– A dream during which the dreamer is aware that they are dreaming 613: 680: 120: 1266: 287:
replication mechanisms. Models of self-replication are found in
806: â€“ List of statements that appear to contradict themselves 292: 562: 505:
play with self-reference and related paradoxes in many ways.
482: 477: 166:) is the key concept in proving limitations of many systems. 59: 950:"A Tutorial on Behavioral Reflection and its Implementation" 493:
Self-reference in art is closely related to the concepts of
428: 39: 1012:. Translated by Robert Fagles. Penguin Books. p. 207. 719: 654:
when it is required to write about itself, for example the
501:, which often involve self-reference. The short stories of 343: 261:
is named for a pair of mutually self-referential acronyms.
1223:
Hart, H. L. A. (24 November 1983). "Self-referring Laws".
554:
has a god swallowing his own semen to create himself. The
314: 30:
For the use of self-references in Knowledge articles, see
876: â€“ Difference between using a word and mentioning it 852: â€“ Acronym whose expansion includes a copy of itself 655: 284: 280: 250: 846: â€“ Process of repeating items in a self-similar way 687:, but can result in a lack of clarity in communication. 878:
Pages displaying short descriptions of redirect targets
827:
Pages displaying short descriptions of redirect targets
817:
Pages displaying short descriptions of redirect targets
808:
Pages displaying short descriptions of redirect targets
576:
is famous for his self-referential works. His painting
187:, and ultimately to classical philosophical paradoxes. 987:. Springer Science & Business Media. p. 110. 937:. Metaphysics Research Lab, Stanford University. 2020. 143:
were created by self-referential concepts such as the
130: 815: â€“ Dream where one is aware that one is dreaming 608:). This generally applies to adjectives, for example 221:, and is now used routinely in, for example, writing 1162: 565:
includes numerous instances of self-referentiality.
734:onto self-reference, but is a minority position in 32:Knowledge:Manual of Style/Self-references to avoid 984:Perspectives on the History of Mathematical Logic 229:. Using a compiler to compile itself is known as 1320: 27:Sentence, idea or formula that refers to itself 1056: 771:Article Five of the United States Constitution 1229:. Oxford University Press. pp. 170–178. 885: â€“ Philosophical argument by Benj Hellie 760:, some about science fiction and its authors. 1277:Gödel, Escher, Bach: an Eternal Golden Braid 1263:Reflexivity: A Source-book in Self-reference 1185:Gödel, Escher, Bach: An Eternal Golden Braid 643:claimed to have found such a paradox in the 119:. Self-referential statements are sometimes 1062: 947: 840: â€“ Redundancy in linguistic expression 974: 650:Self-reference occasionally occurs in the 598:A word that describes itself is called an 1235:10.1093/acprof:oso/9780198253884.003.0008 1114:"On Language; The Fumblerules of Grammar" 558:is a mythical dragon which eats itself. 325: 313: 302: 38: 1210:New England Science Fiction Association 1089: 980: 754:New England Science Fiction Association 14: 1321: 1226:Essays in Jurisprudence and Philosophy 1188:. 20th-anniversary ed., 1999, p. 152. 1134: 1108: 1063:Nöth, Winfried; Bishara, Nina (2007). 1047: 722:and other technologies. Hofstadter's ' 241:and with functional languages such as 1124:from the original on 5 February 2023. 1007: 693: 419:Six Characters in Search of an Author 1222: 825: â€“ Humor that alludes to itself 279:is self-referential, as embodied by 1261:Bartlett, Steven J. (Ed.) (1992). 1032: 131:In logic, mathematics and computing 24: 1292:Diagonalization and Self-Reference 981:Drucker, Thomas (4 January 2008). 838:Bilingual tautological expressions 804:List of self–referential paradoxes 385:Jacques le fataliste et son maĂ®tre 25: 1360: 1069:. Walter de Gruyter. p. 75. 395:If on a winter's night a traveler 322:apologizing for its own existence 265:Tupper's self-referential formula 1267:(PDF). RePub, Erasmus University 858: â€“ Self-replicating program 756:'s website; some of it is about 446:makes use of this in his novels 162:, self-reference (also known as 1294:, Oxford Science Publications, 1216: 1198: 1173: 1155: 1128: 1102: 1090:Richoux, Donna (18 June 2002). 792: â€“ Recursive visual effect 170:uses it to show that no formal 81:, self-reference occurs when a 1304:Crabtree, Jonathan J. (2016), 1083: 1041: 1026: 1001: 941: 923: 897: 593: 13: 1: 890: 647:at his citizenship ceremony. 442:. Speculative fiction writer 270: 209:(related to the mathematical 123:, and can also be considered 1265:. Amsterdam, North-Holland. 1092:"Humorous Rules for Writing" 948:Malenfant, J.; Demers, F-N. 7: 1206:"Recursive Science Fiction" 1135:Walton, Douglas N. (1991). 1066:Self-reference in the Media 868:this (computer programming) 776: 318:A self-referencing work of 201:, self-reference occurs in 10: 1365: 1255: 645:United States Constitution 225:using the 'meta-language' 29: 1048:Boisliveau, Anne-Sylvie. 764: 622:three-letter abbreviation 363:A Midsummer Night's Dream 338:Self-reference occurs in 298: 257:('Pine is not Elm'). The 495:breaking the fourth wall 109:second-order cybernetics 874:Use-mention distinction 579:The Treachery of Images 253:('GNU's not Unix') and 1349:Philosophy of language 955:. PARC. Archived from 758:science-fiction fandom 552:Egyptian creation myth 335: 323: 311: 215:functional programming 48: 1339:Theory of computation 1050:Le Coran par lui-mĂŞme 702:'s books, especially 519:movement, notably in 329: 317: 306: 289:Conway's Game of Life 42: 883:Vertiginous question 616:, as a three-letter 526:Being John Malkovich 405:Lost in the Funhouse 199:computer programming 160:computability theory 105:computer programming 70:, and other fields. 1180:Hofstadter, Douglas 1141:. Greenwood Press. 1112:(4 November 1979). 711:Gödel, Escher, Bach 677:Circular definition 348:Miguel de Cervantes 235:Self-modifying code 211:recurrence relation 176:The halting problem 145:omnipotence paradox 43:The ancient symbol 1118:The New York Times 784:Circular reference 736:philosophy of mind 705:Metamagical Themas 700:Douglas Hofstadter 694:In popular culture 537:dramatized version 398:, many stories by 336: 324: 312: 149:Epimenides paradox 49: 1314:978-1-876949-60-0 1288:Smullyan, Raymond 1272:Hofstadter, D. R. 1244:978-0-19-825388-4 1148:978-0-313-27596-8 1096:alt.usage.english 1076:978-3-11-019464-7 994:978-0-8176-4768-1 962:on 21 August 2017 856:Quine (computing) 850:Recursive acronym 741:The subgenre of " 512:Krapp's Last Tape 503:Jorge Luis Borges 439:The L-Shaped Room 330:Self-referential 181:Russell's paradox 16:(Redirected from 1356: 1249: 1248: 1220: 1214: 1213: 1212:. 3 August 2008. 1202: 1196: 1177: 1171: 1170: 1159: 1153: 1152: 1132: 1126: 1125: 1106: 1100: 1099: 1087: 1081: 1080: 1060: 1054: 1053: 1045: 1039: 1038: 1033:Madigan, David. 1030: 1024: 1023: 1005: 999: 998: 978: 972: 971: 969: 967: 961: 954: 945: 939: 938: 927: 921: 920: 918: 916: 910: 901: 879: 828: 818: 809: 730:attempts to map 716:Hofstadter's law 601:autological word 444:Samuel R. Delany 424:Federico Fellini 414:Luigi Pirandello 277:self-replication 219:computer science 79:formal languages 21: 18:Self-referential 1364: 1363: 1359: 1358: 1357: 1355: 1354: 1353: 1319: 1318: 1258: 1253: 1252: 1245: 1221: 1217: 1204: 1203: 1199: 1178: 1174: 1169:. 19 June 2023. 1161: 1160: 1156: 1149: 1133: 1129: 1120:. p. SM4. 1110:Safire, William 1107: 1103: 1088: 1084: 1077: 1061: 1057: 1046: 1042: 1031: 1027: 1020: 1006: 1002: 995: 979: 975: 965: 963: 959: 952: 946: 942: 929: 928: 924: 914: 912: 908: 902: 898: 893: 888: 877: 826: 816: 807: 779: 767: 746:science fiction 696: 596: 521:Charlie Kaufman 301: 275:The biology of 273: 185:Berry's paradox 168:Gödel's theorem 164:impredicativity 133: 35: 28: 23: 22: 15: 12: 11: 5: 1362: 1352: 1351: 1346: 1341: 1336: 1331: 1329:Self-reference 1317: 1316: 1302: 1285: 1269: 1257: 1254: 1251: 1250: 1243: 1215: 1197: 1172: 1167:in wiktionary" 1154: 1147: 1127: 1101: 1082: 1075: 1055: 1040: 1025: 1018: 1008:Homer (1990). 1000: 993: 973: 940: 922: 895: 894: 892: 889: 887: 886: 880: 871: 865: 859: 853: 847: 841: 835: 829: 820: 813:Lucid dreaming 810: 801: 794: 793: 787: 780: 778: 775: 766: 763: 762: 761: 739: 695: 692: 671:William Safire 610:sesquipedalian 595: 592: 548:creation myths 517:rubber reality 507:Samuel Beckett 499:meta-reference 300: 297: 272: 269: 132: 129: 52:Self-reference 26: 9: 6: 4: 3: 2: 1361: 1350: 1347: 1345: 1342: 1340: 1337: 1335: 1332: 1330: 1327: 1326: 1324: 1315: 1311: 1307: 1303: 1301: 1300:0-19-853450-7 1297: 1293: 1289: 1286: 1283: 1282:Vintage Books 1279: 1278: 1273: 1270: 1268: 1264: 1260: 1259: 1246: 1240: 1236: 1232: 1228: 1227: 1219: 1211: 1207: 1201: 1195: 1194:0-465-02656-7 1191: 1187: 1186: 1181: 1176: 1168: 1166: 1158: 1150: 1144: 1140: 1139: 1131: 1123: 1119: 1115: 1111: 1105: 1097: 1093: 1086: 1078: 1072: 1068: 1067: 1059: 1051: 1044: 1036: 1029: 1021: 1019:1-101-15281-8 1015: 1011: 1004: 996: 990: 986: 985: 977: 958: 951: 944: 936: 935: 932: 926: 907: 900: 896: 884: 881: 875: 872: 869: 866: 863: 860: 857: 854: 851: 848: 845: 842: 839: 836: 833: 832:Mise en abyme 830: 824: 821: 814: 811: 805: 802: 799: 796: 795: 791: 790:Droste effect 788: 785: 782: 781: 774: 772: 759: 755: 751: 747: 744: 740: 737: 733: 732:consciousness 729: 725: 721: 717: 713: 712: 707: 706: 701: 698: 697: 691: 688: 686: 685:argumentation 682: 678: 674: 672: 667: 663: 661: 657: 653: 648: 646: 642: 638: 632: 630: 625: 623: 619: 615: 611: 607: 603: 602: 591: 589: 585: 581: 580: 575: 574:RenĂ© Magritte 571: 566: 564: 559: 557: 553: 549: 544: 542: 541:Droste effect 538: 534: 533: 528: 527: 522: 518: 514: 513: 508: 504: 500: 496: 491: 489: 488:Helen of Troy 485: 484: 479: 475: 471: 470: 465: 461: 457: 456: 451: 450: 445: 441: 440: 435: 431: 430: 425: 421: 420: 415: 411: 407: 406: 401: 400:Nikolai Gogol 397: 396: 391: 390:Italo Calvino 387: 386: 381: 380:Denis Diderot 377: 376: 375:Twelfth Night 371: 370: 365: 364: 359: 355: 354: 349: 345: 341: 333: 328: 321: 316: 309: 305: 296: 294: 290: 286: 282: 278: 268: 266: 262: 260: 256: 252: 248: 244: 240: 236: 232: 231:bootstrapping 228: 224: 220: 216: 212: 208: 204: 200: 195: 193: 188: 186: 182: 177: 173: 169: 165: 161: 157: 152: 150: 146: 142: 138: 135:In classical 128: 126: 122: 118: 115:, as well as 114: 110: 106: 101: 99: 94: 92: 88: 84: 80: 76: 71: 69: 65: 61: 57: 53: 46: 41: 37: 33: 19: 1305: 1291: 1280:. New York, 1275: 1262: 1225: 1218: 1209: 1200: 1183: 1175: 1164: 1157: 1137: 1130: 1117: 1104: 1095: 1085: 1065: 1058: 1049: 1043: 1034: 1028: 1009: 1003: 983: 976: 964:. Retrieved 957:the original 943: 934: 933:Liar Paradox 931: 925: 913:. Retrieved 899: 862:Strange loop 768: 724:strange loop 709: 703: 689: 675: 664: 649: 633: 626: 618:abbreviation 605: 599: 597: 583: 577: 567: 560: 545: 530: 524: 510: 492: 481: 467: 463: 459: 453: 447: 437: 434:Bryan Forbes 427: 417: 403: 393: 383: 373: 367: 361: 351: 337: 274: 263: 196: 189: 153: 134: 102: 100:in English. 95: 72: 51: 50: 36: 911:. MIT Press 798:Fourth wall 750:metafiction 728:metaphysics 666:Fumblerules 594:In language 588:M.C. Escher 472:, Director 369:The Tempest 358:Shakespeare 353:Don Quixote 192:game theory 156:mathematics 121:paradoxical 113:linguistics 64:mathematics 1323:Categories 891:References 681:fallacious 641:Kurt Gödel 570:surrealist 532:Adaptation 474:Mel Brooks 469:Spaceballs 410:John Barth 340:literature 271:In biology 247:flip-flops 203:reflection 172:consistent 137:philosophy 85:, idea or 68:philosophy 844:Recursion 823:Meta-joke 743:recursive 660:Knowledge 556:Ouroboros 523:'s films 239:assembler 223:compilers 207:recursion 141:paradoxes 125:recursive 45:Ouroboros 1290:(1994), 1274:(1980). 1122:Archived 777:See also 629:autogram 572:painter 546:Various 486:, where 464:Dhalgren 455:Dhalgren 332:graffiti 320:graffiti 308:Drawloom 259:GNU Hurd 117:in humor 91:encoding 83:sentence 56:language 1334:Grammar 1256:Sources 637:paradox 606:autonym 539:of the 87:formula 75:natural 1312:  1298:  1241:  1192:  1165:hereby 1145:  1073:  1016:  991:  966:17 May 915:16 May 765:In law 299:In art 293:RepRap 111:, and 1344:Logic 1010:Iliad 960:(PDF) 953:(PDF) 909:(PDF) 748:" or 720:wikis 652:media 620:for " 563:Quran 483:Iliad 478:Homer 213:) in 60:logic 1310:ISBN 1296:ISBN 1239:ISBN 1190:ISBN 1143:ISBN 1071:ISBN 1014:ISBN 989:ISBN 968:2015 917:2015 708:and 604:(or 584:ceci 568:The 561:The 529:and 497:and 460:Nova 452:and 449:Nova 432:and 372:and 344:film 342:and 283:and 255:PINE 243:Lisp 183:and 158:and 1231:doi 656:BBC 624:". 614:TLA 509:'s 480:'s 436:'s 426:'s 416:'s 408:by 392:'s 382:'s 360:'s 285:RNA 281:DNA 251:GNU 197:In 190:In 154:In 98:"I" 77:or 73:In 1325:: 1237:. 1208:. 1182:. 1116:. 1094:. 773:. 726:' 673:. 662:. 631:. 543:. 429:8½ 422:, 412:, 402:, 388:, 378:, 366:, 356:, 350:' 295:. 233:. 227:ML 139:, 127:. 107:, 93:. 66:, 62:, 58:, 1284:. 1247:. 1233:: 1163:" 1151:. 1098:. 1079:. 1052:. 1037:. 1022:. 997:. 970:. 919:. 738:. 34:. 20:)

Index

Self-referential
Knowledge:Manual of Style/Self-references to avoid

Ouroboros
language
logic
mathematics
philosophy
natural
formal languages
sentence
formula
encoding
"I"
computer programming
second-order cybernetics
linguistics
in humor
paradoxical
recursive
philosophy
paradoxes
omnipotence paradox
Epimenides paradox
mathematics
computability theory
impredicativity
Gödel's theorem
consistent
The halting problem

Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.

↑