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