การอ้างอิงตนเอง เป็นแนวคิดที่เกี่ยวข้อง กับการ อ้างถึงตนเองหรือคุณลักษณะ ลักษณะ เฉพาะหรือการกระทำของตนเอง สามารถพบได้ในภาษาตรรกศาสตร์คณิตศาสตร์ปรัชญาและสาขาอื่นๆ

ใน ภาษา ธรรมชาติหรือภาษาทางการการอ้างอิงตนเองเกิดขึ้นเมื่อประโยคแนวคิด หรือสูตรอ้างอิงถึงตัวมันเอง การอ้างอิงอาจแสดงออกมาโดยตรง—ผ่านประโยคหรือสูตรที่เป็นตัวกลาง—หรือโดยวิธีการ เข้ารหัส บางอย่าง

ในทางปรัชญา การอ้างอิงตนเองยังหมายถึงความสามารถของสิ่งใดสิ่งหนึ่งที่จะพูดถึงหรืออ้างถึงตนเองได้ กล่าวคือ การมีความคิดแบบเดียวกับที่แสดงออกโดยสรรพนามบุรุษที่หนึ่งเอกพจน์"ฉัน"ในภาษาอังกฤษ

การอ้างอิงตนเองได้รับการศึกษาและนำไปประยุกต์ใช้ในคณิตศาสตร์ ปรัชญาการเขียนโปรแกรมคอมพิวเตอร์ไซเบอร์เนติกส์ลำดับที่สองและภาษาศาสตร์รวมถึงอารมณ์ขันบางครั้งข้อความที่อ้างอิงตนเองอาจดูขัดแย้งในตัว เอง และยังสามารถพิจารณาได้ว่าเป็น แบบเวียนเกิด อีกด้วย

การอ้างอิงตนเองทางอ้อมอธิบายถึงวัตถุที่อ้างถึงตัวเองทางอ้อม ตัวอย่างเช่น "ประโยคนี้เป็นเท็จ" ประกอบด้วยการอ้างอิงตนเองโดยตรง ซึ่งวลี "ประโยคนี้" อ้างถึงประโยคโดยรวมโดยตรง ประโยคที่อ้างอิงตนเองทางอ้อมจะแทนที่วลี "ประโยคนี้" ด้วยการอ้างอิงทางอ้อม ซึ่งเป็นการแสดงออกที่ยังคงอ้างถึงประโยค แต่ไม่ได้ใช้สรรพนาม "นี้" ^{[ 2 ]}

การอ้างอิงตนเองทางอ้อมสามารถกำหนดได้อย่างเข้มงวดในแง่ของวงจรในกราฟความสัมพันธ์การอ้างอิง^{[ 3 ]}

ตัวอย่างหนึ่งของเรื่องนี้คือปรากฏการณ์โปสการ์ดซึ่งประโยคหนึ่งอ้างถึงอีกประโยคหนึ่งซึ่งในทางกลับกันก็อ้างถึงประโยคเดิม^{[ 2 ]}

การอ้างอิงตนเองทางอ้อมได้รับการศึกษาอย่างลึกซึ้งโดยWV Quineและมีบทบาทสำคัญในการพิสูจน์ทฤษฎี บทความไม่สมบูรณ์ของ Gödel

ในปรัชญา คลาสสิ กความขัดแย้งถูกสร้างขึ้นโดยแนวคิดที่อ้างอิงตนเอง เช่นความขัดแย้งเรื่องอำนาจสูงสุดที่ถามว่า เป็นไปได้หรือไม่ที่สิ่งมีชีวิตจะมีอำนาจมากจนสามารถสร้างหินที่มันยกไม่ได้ความขัดแย้งของเอพิเมนิดส์ที่ว่า 'ชาวครีตทุกคนเป็นคนโกหก' ซึ่งกล่าวโดยชาวกรีกโบราณจากเกาะครีต เป็นหนึ่งในเวอร์ชันแรกๆ ที่บันทึกไว้ ปรัชญาร่วมสมัยบางครั้งใช้เทคนิคเดียวกันนี้เพื่อแสดงให้เห็นว่าแนวคิดที่สมมติขึ้นนั้นไร้ความหมายหรือไม่ชัดเจน^{[ 4 ]}

ในคณิตศาสตร์และทฤษฎีการคำนวณ การอ้างอิงตนเอง (หรือที่เรียกว่าความไม่สามารถพิสูจน์ได้ ) เป็นแนวคิดสำคัญในการพิสูจน์ข้อจำกัดของระบบต่างๆ มากมายทฤษฎีบทของเกอเดลใช้แนวคิดนี้เพื่อแสดงให้เห็นว่าไม่มีระบบคณิตศาสตร์ที่เป็นทางการและสอดคล้องกัน ใด ๆ ที่สามารถบรรจุความจริงทางคณิตศาสตร์ที่เป็นไปได้ทั้งหมดได้ เพราะมันไม่สามารถพิสูจน์ความจริงบางอย่างเกี่ยวกับโครงสร้างของตัวเอง ได้ ปัญหาการหยุดทำงานในทฤษฎีการคำนวณแสดงให้เห็นว่ามีงานบางอย่างที่คอมพิวเตอร์ไม่สามารถทำได้เสมอ นั่นคือ การให้เหตุผลเกี่ยวกับตัวมันเอง การพิสูจน์เหล่านี้เกี่ยวข้องกับประเพณีอันยาวนานของความขัดแย้งทางคณิตศาสตร์ เช่นความขัดแย้งของรัสเซลล์และความขัดแย้งของเบอร์รีและท้ายที่สุดก็เกี่ยวข้องกับความขัดแย้งทางปรัชญาคลาสสิก

ในทฤษฎีเกมพฤติกรรมที่ไม่แน่นอนอาจเกิดขึ้นได้เมื่อผู้เล่นสองคนต้องจำลองสภาวะทางจิตใจและพฤติกรรมของกันและกัน ซึ่งนำไปสู่การถอยหลังอย่างไม่มีที่สิ้นสุด

ในการเขียนโปรแกรมคอมพิวเตอร์การอ้างอิงตนเองเกิดขึ้นในการสะท้อนซึ่งโปรแกรมสามารถอ่านหรือแก้ไขคำสั่งของตัวเองได้เหมือนกับข้อมูลอื่นๆ^{[ 5 ]}ภาษาโปรแกรมจำนวนมากรองรับการสะท้อนในระดับหนึ่งด้วยระดับการแสดงออกที่แตกต่างกัน นอกจากนี้ การอ้างอิงตนเองยังพบได้ในการเรียกซ้ำ (ที่เกี่ยวข้องกับความสัมพันธ์การเรียกซ้ำ ทางคณิตศาสตร์ ) ในการเขียนโปรแกรมเชิงฟังก์ชันซึ่งโครงสร้างโค้ดจะอ้างอิงกลับไปยังตัวเองในระหว่างการคำนวณ^{[ 6 ]}การ 'ควบคุม' การอ้างอิงตนเองจากแนวคิดที่อาจขัดแย้งกันให้กลายเป็นการเรียกซ้ำที่มีพฤติกรรมที่ดีนั้นเป็นหนึ่งในความสำเร็จที่ยิ่งใหญ่ของวิทยาศาสตร์คอมพิวเตอร์และปัจจุบันถูกนำมาใช้เป็นประจำ เช่น ในการเขียนคอมไพเลอร์โดยใช้ 'ภาษาเมตา' MLการใช้คอมไพเลอร์เพื่อคอมไพล์ตัวเองเรียกว่าการบูตสแตรปปิ้งโค้ดที่แก้ไขตัวเองได้นั้นสามารถเขียนได้ (โปรแกรมที่ทำงานกับตัวเอง) ทั้งด้วย ภาษา แอสเซมบลีและภาษาเชิงฟังก์ชัน เช่นLispแต่โดยทั่วไปแล้วไม่แนะนำให้ใช้ในการเขียนโปรแกรมในโลกแห่งความเป็นจริง ฮาร์ดแวร์คอมพิวเตอร์ใช้การอ้างอิงตนเองเป็นพื้นฐานในฟลิปฟลอปซึ่งเป็นหน่วยพื้นฐานของหน่วยความจำดิจิทัล โดยฟลิปฟลอปจะแปลงความสัมพันธ์เชิงตรรกะที่อาจดูขัดแย้งกันให้กลายเป็นหน่วยความจำโดยการขยายเงื่อนไขของความสัมพันธ์เหล่านั้นไปตามเวลา การคิดในแง่ของการอ้างอิงตนเองเป็นส่วนสำคัญของวัฒนธรรมโปรแกรมเมอร์ โดยมีโปรแกรมและคำย่อจำนวนมากที่ตั้งชื่อโดยอ้างอิงตนเองเพื่อสร้างอารมณ์ขัน เช่นGNU ('GNU's not Unix') และPINE ('Pine is not Elm') GNU Hurdได้รับการตั้งชื่อตามคำย่อสองตัวที่อ้างอิงถึงกันและกัน

สูตรอ้างอิงตนเองของทัปเปอร์เป็นความแปลกประหลาดทางคณิตศาสตร์ที่สร้างภาพของสูตรนั้นเองขึ้นมา

การอ้างอิงตนเองในงานศิลปะมีความเกี่ยวข้องอย่างใกล้ชิดกับแนวคิดเรื่องการทำลายกำแพงที่สี่และการอ้างอิงเชิงอภิปรัชญาซึ่งมักเกี่ยวข้องกับการอ้างอิงตนเองด้วย

การอ้างอิงตนเองเกิดขึ้นในวรรณกรรมและภาพยนตร์เมื่อผู้เขียนอ้างถึงผลงานของตนเองในบริบทของผลงานนั้นเอง ตัวอย่างเช่น ดอน กิโฆเต้ของ มิเก ล เด เซร์บันเตส , ฝันกลางฤดูร้อน , พายุและคืนที่สิบสองของเชกสเปียร์ , ฌาคส์ เลอ ฟาตาลิสต์ เอต์ ซัน เมตร์ของเดนิส ดิเดโรต์, ถ้าหากในคืนฤดูหนาวที่นักเดินทาง ของ อิตาโล คัลวิโน , เรื่องสั้นหลายเรื่องของนิโคไล โกโกล , หลงทางในบ้านสนุกของจอห์น บาร์ธ , หก ตัวละครในการค้นหาผู้เขียน ของลุยจิปิรันเดล โล , 8½ของเฟเดริโก เฟลลิ นี และห้องรูปตัวแอลของไบรอัน ฟอร์บส์

นักเขียนนิยายแนววิทยาศาสตร์และแฟนตาซีอย่างSamuel R. Delanyใช้เทคนิคนี้ในนวนิยายเรื่อง NovaและDhalgren ของเขา ในเรื่อง Nova นั้น Katin (นักเขียนนิยายที่เดินทางในอวกาศ) ระแวงคำสาปที่สืบทอดกันมายาวนาน ซึ่งทำให้นักเขียนนิยายเสียชีวิตก่อนที่จะเขียนงานชิ้นใดชิ้นหนึ่งเสร็จสมบูรณ์Novaจบลงกลางประโยค ซึ่งเป็นการสนับสนุนคำสาปและทำให้ตระหนักว่านักเขียนนิยายนั้นคือผู้สร้างเรื่องราวเอง ในทำนองเดียวกัน ตลอดทั้งเรื่อง Dhalgrenนั้น Delany มีตัวเอกที่ชื่อว่า The Kid (หรือ Kidd ในบางส่วน) ซึ่งชีวิตและผลงานของเขานั้นสะท้อนภาพตัวตนและนวนิยายเรื่องนี้ไปพร้อมๆ กัน

ในภาพยนตร์ล้อเลียนไซไฟเรื่องSpaceballsผู้กำกับMel Brooksได้ใส่ฉากที่ตัวละครฝ่ายร้ายกำลังดูสำเนา VHS ของเรื่องราวของตัวเอง ซึ่งแสดงให้เห็นว่าพวกเขากำลังดูตัวเอง "ดูตัวเอง" ไปเรื่อยๆ อย่างไม่มีที่สิ้นสุด ตัวอย่างที่เก่าแก่ที่สุดอาจอยู่ในมหากาพย์อีเลียดของโฮเมอร์ซึ่งเฮเลนแห่งทรอยคร่ำครวญว่า "สำหรับชั่วอายุคนที่ยังไม่เกิด/เราจะมีชีวิตอยู่ในบทเพลง" (ปรากฏอยู่ในบทเพลงนั้นเอง) ^{[ 7 ]}

เรื่องสั้นของJorge Luis Borgesเล่นกับเรื่องอ้างอิงถึงตนเองและข้อขัดแย้งที่เกี่ยวข้องในหลายแง่มุม ส่วนKrapp's Last TapeของSamuel Beckettนั้นประกอบไปด้วยตัวเอกที่ฟังและบันทึกเสียงของตัวเองทั้งหมด โดยส่วนใหญ่เป็นการบันทึกเสียงเกี่ยวกับเรื่องอื่นๆ

ในช่วงทศวรรษ 1990 และ 2000 การอ้างอิงตนเองในภาพยนตร์เป็นส่วนหนึ่งที่ได้รับความนิยมของ ขบวนการ ความเป็นจริงแบบยืดหยุ่น โดยเฉพาะอย่างยิ่งในภาพยนตร์ของชาร์ลี คอฟแมนเรื่อง Being John MalkovichและAdaptationซึ่งเรื่องหลังได้ผลักดันแนวคิดนี้ไปจนถึงจุดแตกหักอย่างเห็นได้ชัด เนื่องจากพยายามที่จะแสดงให้เห็นถึงสิ่งที่ตนเองสร้างขึ้นในรูปแบบละครของปรากฏการณ์ดรอสต์ (Droste effect )

จิตรกรแนวเซอร์เรียลลิสต์René Magritteมีชื่อเสียงจากผลงานที่อ้างอิงถึงตัวเอง ภาพวาดThe Treachery of Images ของเขา มีคำว่า "this is not a pipe" ซึ่งความจริงขึ้นอยู่กับว่าคำว่าceci (ในภาษาอังกฤษคือ "this") หมายถึงท่อที่ปรากฏ หรือหมายถึงภาพวาด หรือคำหรือประโยคนั้นเอง^{[ 8 ]} งานศิลปะของ MC Escherก็มีแนวคิดที่อ้างอิงถึงตัวเองมากมาย เช่น มือที่วาดตัวเอง

• หนังสือของDouglas Hofstadter โดยเฉพาะ Metamagical ThemasและGödel, Escher, Bachเล่นกับแนวคิดที่อ้างอิงตนเองมากมาย และมีอิทธิพลอย่างมากในการนำแนวคิดเหล่านี้เข้าสู่กระแสหลักของวัฒนธรรมทางปัญญาในช่วงทศวรรษ 1980 กฎของ Hofstadterซึ่งระบุว่า "มันใช้เวลานานกว่าที่คุณคาดคิดเสมอ แม้ว่าคุณจะคำนึงถึงกฎของ Hofstadter แล้วก็ตาม" ^{[ 9 ]}เป็นตัวอย่างของสุภาษิตที่อ้างอิงตนเอง Hofstadter ยังเสนอแนวคิดของ 'บทวิจารณ์ของหนังสือเล่มนี้' ซึ่งเป็นหนังสือที่มีเฉพาะบทวิจารณ์ของตัวมันเอง ซึ่งต่อมาได้ถูกนำไปใช้โดยใช้วิกิ และเทคโนโลยีอื่นๆ อภิปรัชญา ' วงวนแปลก ' ของ Hofstadter พยายามที่จะแมปจิตสำนึกลงบนการอ้างอิงตนเอง แต่เป็นตำแหน่งส่วนน้อยในปรัชญาจิตใจ
• ประเภทของ " นิยายวิทยาศาสตร์แบบวนซ้ำ " หรือเมตาฟิกชันนั้นกว้างขวางมากจนก่อให้เกิดบรรณานุกรมที่ดูแลโดยแฟนๆ บน เว็บไซต์ของ สมาคมนิยายวิทยาศาสตร์แห่งนิวอิงแลนด์ บางส่วนเป็นเรื่องเกี่ยวกับแฟนคลับนิยายวิทยาศาสตร์บางส่วนเป็นเรื่องเกี่ยวกับนิยายวิทยาศาสตร์และผู้เขียน^{[ 10 ]}

การอ้างอิงถึงตนเองเกิดขึ้นในสื่อ บ้างเป็นครั้งคราว เมื่อสื่อนั้นจำเป็นต้องเขียนเกี่ยวกับตนเอง ตัวอย่างเช่นบีบีซีรายงานเรื่องการลดจำนวนพนักงานของบีบีซี สารานุกรมที่มีชื่อเสียงอาจจำเป็นต้องนำเสนอบทความเกี่ยวกับตนเอง เช่น บทความของวิกิพีเดียเกี่ยวกับวิกิพีเดียเอง

ตำนานการสร้างโลกหลายเรื่องอ้างอิงถึงตนเองเพื่อแก้ปัญหาว่าอะไรสร้างผู้สร้าง ตัวอย่างเช่นตำนานการสร้างโลกของอียิปต์กล่าวว่าเทพเจ้ากลืนน้ำอสุจิของตนเองเพื่อสร้างตนเองขึ้นมา ส่วนโอโรโบรอสเป็นมังกรในตำนานที่กินตัวเอง

อัลกุรอาน มี การอ้างอิงถึงตนเองอยู่หลายกรณี^{[ 11 ] [ 12 ]}

คำที่อธิบายตัวเองได้เรียกว่าคำอัตโนมัติ (หรือออโทนิม ) โดยทั่วไปแล้วจะใช้กับคำคุณศัพท์ เช่นsesquipedalian (เช่น "sesquipedalian" เป็นคำ sesquipedalian) แต่ก็สามารถใช้กับส่วนอื่นๆ ของคำพูดได้เช่นกัน เช่นTLA ซึ่งเป็น คำย่อสามตัวอักษรของ " three-letter abbreviation "

นิยามแบบวงกลมเป็นการอ้างอิงตนเองประเภทหนึ่ง ซึ่งนิยามของคำหรือแนวคิดนั้นรวมถึงคำหรือแนวคิดนั้นเอง ไม่ว่าจะโดยชัดแจ้งหรือโดยปริยาย นิยามแบบวงกลมถือว่าเป็นการผิดพลาดเพราะนิยามคำโดยอาศัยตัวมันเองเท่านั้น^{[ 13 ]}การอ้างอิงตนเองประเภทนี้อาจมีประโยชน์ในการโต้แย้งแต่สามารถส่งผลให้ขาดความชัดเจนในการสื่อสารได้

คำวิเศษณ์ "hereby" ถูกใช้ในลักษณะอ้างอิงตนเอง เช่น ในประโยค "ฉันขอประกาศว่าท่านทั้งสองเป็นสามีภรรยากัน" ^{[ 14 ]}

ประโยคที่รวบรวมตัวอักษรและเครื่องหมายวรรคตอนของตัวเองเรียกว่าออโตแกรม

มีกรณีพิเศษของประโยคเมตาที่เนื้อหาของประโยคในภาษาเมตาและเนื้อหาของประโยคในภาษาเป้าหมายเหมือนกัน ประโยคดังกล่าวอ้างถึงตัวมันเอง อย่างไรก็ตาม ประโยคเมตาบางประโยคในลักษณะนี้อาจนำไปสู่ความขัดแย้งได้ ประโยค "นี่คือประโยค" สามารถถือได้ว่าเป็นประโยคเมตาที่อ้างถึงตัวเองซึ่งเป็นความจริงอย่างเห็นได้ชัด แต่ประโยค "ประโยคนี้เป็นเท็จ" เป็นประโยคเมตาที่นำไปสู่ความขัดแย้ง ที่อ้างถึงตัวเอง ประโยคดังกล่าวอาจนำไปสู่ปัญหาได้ เช่น ในทางกฎหมาย ที่ข้อความที่นำไปสู่การออกกฎหมายอาจขัดแย้งกันเองหรือขัดแย้งกับตัวมันเองเคิร์ท เกอเดลอ้างว่าเขาพบช่องโหว่ ดังกล่าว ในรัฐธรรมนูญของสหรัฐอเมริกาในพิธีรับสัญชาติของเขา

Fumblerulesคือรายการกฎไวยากรณ์และการเขียนที่ดี ซึ่งแสดงให้เห็นผ่านประโยคที่ละเมิดกฎเหล่านั้น เช่น "หลีกเลี่ยงคำพูดซ้ำซากเหมือนหลีกเลี่ยงโรคระบาด" และ "อย่าใช้คำปฏิเสธซ้ำซ้อน" คำนี้ถูกบัญญัติขึ้นในรายการกฎดังกล่าวที่ตีพิมพ์โดยWilliam Safire ^{[ 15 ] [ 16 ]}

รัฐธรรมนูญหลายฉบับมีข้อความอ้างอิงตนเองซึ่งกำหนดวิธีการแก้ไขรัฐธรรมนูญเอง^{[ 17 ]}ตัวอย่างเช่น มาตรา 5 ของ รัฐธรรมนูญแห่งสหรัฐอเมริกา^{[ 18 ]}

• บาร์ตเลตต์, สตีเวน เจ. [เจมส์] (บรรณาธิการ) (1992). การสะท้อนตนเอง: หนังสือแหล่งข้อมูลเกี่ยวกับการอ้างอิงตนเอง . อัมสเตอร์ดัม, นอร์ทฮอลแลนด์. (PDF). จัดพิมพ์ซ้ำโดยมหาวิทยาลัยอีราสมัส
• Hofstadter, DR (1980). Gödel, Escher, Bach: an Eternal Golden Braid . นิวยอร์ก, Vintage Books .
• Smullyan, Raymond (1994), การทำให้เป็นแนวทแยงและการอ้างอิงตนเอง , สำนักพิมพ์ Oxford Science Publications, ISBN 0-19-853450-7
• Crabtree, Jonathan J. (2016), ตรรกะที่หายไปของคณิตศาสตร์เบื้องต้นและพ่อค้าเครื่องแต่งกายที่ลักพาตัวไคเซ็น , รายงานการประชุมประจำปีของสมาคมคณิตศาสตร์แห่งรัฐวิกตอเรีย (MAV), 53, 98–106, ISBN 978-1-876949-60-0