Самореференция — это концепция, которая подразумевает ссылку на себя или собственные атрибуты, характеристики или действия. Она может встречаться в языке , логике , математике , философии и других областях.
В естественных или формальных языках самореференция происходит, когда предложение , идея или формула ссылаются на себя. Ссылка может быть выражена либо напрямую — через некоторое промежуточное предложение или формулу — либо посредством некоторого кодирования .
В философии самореференция также относится к способности субъекта говорить о себе или ссылаться на себя, то есть иметь тип мысли, выраженный местоимением первого лица именительного падежа единственного числа в английском языке «я» .
Самореференция изучается и имеет приложения в математике, философии, программировании , кибернетике второго порядка и лингвистике , а также в юморе . Самореференциальные высказывания иногда парадоксальны и также могут считаться рекурсивными .
В классической философии парадоксы создавались самореферентными концепциями, такими как парадокс всемогущества , когда задавался вопрос , возможно ли, чтобы существо было настолько могущественным, что могло создать камень, который оно не смогло бы поднять. Парадокс Эпименида , «Все критяне — лжецы», произнесенный древним греком-критцем, был одной из первых записанных версий. Современная философия иногда использует тот же прием, чтобы продемонстрировать, что предполагаемая концепция бессмысленна или плохо определена. [2]
В математике и теории вычислимости самореференция (также известная как непредикативность ) является ключевым понятием в доказательстве ограничений многих систем. Теорема Гёделя использует ее, чтобы показать, что никакая формальная непротиворечивая система математики никогда не может содержать все возможные математические истины, потому что она не может доказать некоторые истины о своей собственной структуре. Эквивалент проблемы остановки в теории вычислений показывает, что всегда есть некоторая задача, которую компьютер не может выполнить, а именно, рассуждение о самом себе. Эти доказательства относятся к давней традиции математических парадоксов, таких как парадокс Рассела и парадокс Берри , и в конечном итоге к классическим философским парадоксам.
В теории игр неопределенное поведение может иметь место, когда два игрока должны моделировать ментальные состояния и поведение друг друга, что приводит к бесконечному регрессу.
В компьютерном программировании самоссылка происходит в отражении , когда программа может читать или изменять свои собственные инструкции, как и любые другие данные. [3] Многочисленные языки программирования поддерживают отражение в некоторой степени с различной степенью выразительности. Кроме того, самоссылка наблюдается в рекурсии (связанной с математическим рекуррентным отношением ) в функциональном программировании , где структура кода ссылается на себя во время вычислений. [4] «Укрощение» самоссылки из потенциально парадоксальных концепций в хорошо себя ведущие рекурсии стало одним из величайших успехов компьютерной науки и теперь регулярно используется, например, при написании компиляторов с использованием «мета-языка» ML . Использование компилятора для компиляции самого себя известно как самозагрузка . Самоизменяющийся код можно написать (программы, которые работают сами с собой) как на ассемблере , так и на функциональных языках, таких как Lisp , но, как правило, не рекомендуется в реальном программировании. Вычислительное оборудование фундаментально использует самореференцию в триггерах , основных единицах цифровой памяти, которые преобразуют потенциально парадоксальные логические самореференции в память, расширяя их термины с течением времени. Мышление в терминах самореференции является всепроникающей частью культуры программистов, со многими программами и аббревиатурами, названными самореференциально в качестве формы юмора, такими как GNU («GNU — это не Unix») и PINE («Pine — это не Elm»). GNU Hurd назван в честь пары взаимно самореференциальных аббревиатур.
Самореферентная формула Таппера — это математическая диковинка, которая рисует изображение своей собственной формулы.
Биология саморепликации является самореферентной, что воплощено в механизмах репликации ДНК и РНК . Модели саморепликации можно найти в «Игре жизни» Конвея, и они вдохновили инженерные системы, такие как самореплицирующийся 3D-принтер RepRap . [ необходима цитата ]
Самореференция встречается в литературе и кино , когда автор ссылается на свое произведение в контексте самого произведения. Примерами служат « Дон Кихот » Мигеля де Сервантеса , «Сон в летнюю ночь» , « Буря» и «Двенадцатая ночь» Шекспира , « Жак — фаталист и сын мэтр » Дени Дидро , « Если однажды зимней ночью путник » Итало Кальвино , многие рассказы Николая Гоголя , «Заблудившийся в комнате смеха» Джона Барта , «Шесть персонажей в поисках автора» Луиджи Пиранделло , «8½ » Федерико Феллини и « Г-образная комната » Брайана Форбса . Писатель-фантаст Сэмюэл Р. Делани использует это в своих романах «Нова» и «Дальгрен» . В первом случае Катин (писатель-космонавт) опасается давнего проклятия, при котором писатель умирает, не завершив ни одной работы. Нова заканчивается на середине предложения, тем самым придавая проклятию достоверность и осознавая, что автором истории является писатель; аналогично, на протяжении всего «Дхалгрена » у Делани есть главный герой, которого просто зовут Малыш (или Кидд, в некоторых разделах), чья жизнь и работа являются зеркальными отражениями их самих и самого романа. В научно-фантастическом пародийном фильме « Космические яйца » режиссер Мел Брукс включает сцену, в которой злые персонажи просматривают копию VHS своей собственной истории, которая показывает, как они наблюдают за собой, «наблюдающими за собой», до бесконечности. Возможно, самый ранний пример — в « Илиаде» Гомера , где Елена Троянская сетует: «для поколений, еще не родившихся/мы будем жить в песне» (появляясь в самой песне). [5]
Самореференция в искусстве тесно связана с концепциями разрушения четвертой стены и метареференции , которые часто включают самореференцию. Короткие рассказы Хорхе Луиса Борхеса играют с самореференцией и связанными с ней парадоксами во многих отношениях. « Последняя лента Крэппа» Сэмюэля Беккета полностью состоит из главного героя, который слушает и делает записи самого себя, в основном о других записях. В 1990-х и 2000-х годах кинематографическая самореференция была популярной частью движения резиновой реальности, особенно в фильмах Чарли Кауфмана «Быть Джоном Малковичем» и «Адаптация» , последний доводит концепцию, возможно, до ее критической точки, поскольку пытается изобразить свое собственное творение в драматизированной версии эффекта Дросте .
Различные мифы о сотворении мира используют самореференцию для решения проблемы того, что создало создателя. Например, в египетском мифе о сотворении мира бог проглатывает свое семя, чтобы создать себя. Уроборос — мифический дракон, который пожирает себя.
Коран содержит многочисленные примеры самореферентности. [6] [ 7]
Художник - сюрреалист Рене Магритт известен своими автореферентными работами. Его картина «Вероломство образов » включает слова «это не трубка», истинность которых полностью зависит от того, относится ли слово ceci (по-английски «это») к изображенной трубке — или к картине, или к самому слову или предложению. [8] Искусство М. К. Эшера также содержит множество автореферентных концепций, таких как руки, рисующие самих себя.
Слово, описывающее само себя, называется автологическим словом (или автонимом ). Это обычно относится к прилагательным, например, сесквипедальный (т. е. «сесквипедальный» — это сесквипедальное слово), но может также относиться к другим частям речи, например, TLA, как трехбуквенное сокращение для « трехбуквенного сокращения ».
Предложение, в котором указаны собственные буквы и знаки препинания, называется автограммой .
Существует особый случай метапредложения, в котором содержание предложения на метаязыке и содержание предложения на объектном языке совпадают. Такое предложение ссылается на себя. Однако некоторые метапредложения такого типа могут приводить к парадоксам. «Это предложение» можно считать самореферентным метапредложением, которое, очевидно, истинно. Однако «Это предложение ложно» — это метапредложение, которое приводит к самореферентному парадоксу . Такие предложения могут приводить к проблемам, например, в юриспруденции, где утверждения, приводящие к существованию законов, могут противоречить друг другу или самим себе. Курт Гёдель утверждал, что обнаружил такой парадокс в Конституции Соединенных Штатов на церемонии получения им гражданства.
Самореференция иногда встречается в СМИ , когда требуется написать о себе, например, репортаж BBC о сокращениях рабочих мест на BBC. Известные энциклопедии могут быть обязаны публиковать статьи о себе, например, статья Википедии о Википедии .
Fumblerules — это список правил хорошей грамматики и письма, демонстрируемый через предложения, которые нарушают эти самые правила, такие как «Избегайте клише, как чумы» и «Не используйте двойные отрицания». Термин был придуман в опубликованном списке таких правил Уильямом Сафиром . [9] [10]
Круговое определение — это тип самореференции, в котором определение термина или концепции включает в себя сам термин или концепцию, явно или неявно. Круговые определения считаются ошибочными , поскольку они определяют термин только в терминах самого себя. [11] Этот тип самореференции может быть полезен в аргументации , но может привести к отсутствию ясности в общении.
Наречие «настоящим» используется в самореферентном смысле, например, в утверждении «Настоящим объявляю вас мужем и женой». [12]
Несколько конституций содержат самореферентные положения, определяющие, как сама конституция может быть изменена. [15] Примером является статья 5 Конституции Соединенных Штатов .