Самоссылка
Самореференция — это концепция, которая предполагает обращение к себе или своим собственным атрибутам, характеристикам или действиям. Это может произойти в языке , логике , математике , философии и других областях.
В естественных или формальных языках самореференция возникает, когда предложение , идея или формула ссылаются на себя. Ссылка может быть выражена либо напрямую — через какое-то промежуточное предложение или формулу — либо посредством некоторой кодировки .
В философии самореференция также относится к способности субъекта говорить о себе или ссылаться на себя, то есть иметь вид мысли, выраженной местоимением «I» в именительном падеже единственного числа первого лица в английском языке.
Самореференция изучается и имеет приложения в математике, философии, компьютерном программировании , кибернетике второго порядка и лингвистике , а также в юморе . Утверждения, ссылающиеся на себя, иногда парадоксальны и также могут считаться рекурсивными .
По логике, математике и информатике [ править ]
В классической философии парадокс парадоксы были созданы самореферентными концепциями, такими как всемогущества , когда задавался вопрос, возможно ли существование существа настолько могущественного, что оно могло создать камень, который оно не могло поднять. Парадокс Эпименида «Все критяне — лжецы», произнесенный древнегреческим критянином, был одной из первых записанных версий. Современная философия иногда использует ту же технику, чтобы продемонстрировать, что предполагаемая концепция бессмысленна или плохо определена. [2]
В математике и теории вычислимости самореференция (также известная как непредикативность ) является ключевым понятием в доказательстве ограничений многих систем. Теорема Гёделя использует ее, чтобы показать, что ни одна формальная непротиворечивая система математики никогда не может содержать все возможные математические истины, потому что она не может доказать некоторые истины о своей собственной структуре. Эквивалент проблемы остановки в теории вычислений показывает, что всегда существует какая-то задача, которую компьютер не может выполнить, а именно рассуждение о самом себе. Эти доказательства относятся к давней традиции математических парадоксов, таких как парадокс Рассела и парадокс Берри , и, в конечном итоге, к классическим философским парадоксам.
В теории игр неопределенное поведение может возникнуть, когда два игрока должны моделировать психические состояния и поведение друг друга, что приводит к бесконечному регрессу.
В компьютерном программировании самоссылка происходит в отражении , когда программа может читать или изменять свои собственные инструкции, как и любые другие данные. [3] Многие языки программирования в той или иной степени поддерживают отражение с разной степенью выразительности. Кроме того, самоссылка наблюдается в рекурсии (связанной с математическим рекуррентным соотношением ) в функциональном программировании , где структура кода ссылается обратно на себя во время вычислений. [4] «Укрощение» самореференции из потенциально парадоксальных концепций в хорошо управляемые рекурсии стало одним из величайших успехов информатики и теперь регулярно используется, например, при написании компиляторов с использованием «метаязыка» ML . Использование компилятора для самокомпиляции называется начальной загрузкой . Самомодифицирующийся код можно написать (программы, которые работают сами с собой) как на ассемблере , так и на функциональных языках, таких как Lisp , но в реальном программировании это обычно не рекомендуется. Компьютерное оборудование фундаментально использует самореференцию в триггерах , базовых единицах цифровой памяти, которые преобразуют потенциально парадоксальные логические взаимосвязи в память, расширяя их термины с течением времени. Мышление с точки зрения самореференции является широко распространенной частью культуры программистов, при этом многие программы и аббревиатуры называются самореференциями как форма юмора, например, GNU («GNU — это не Unix») и PINE («Сосна — это не Вяз»). . GNU Hurd назван в честь пары взаимно ссылающихся сокращений.
Самореферентная формула Таппера — это математическая диковинка, которая рисует образ собственной формулы.
В биологии [ править ]
Биология саморепликации является самореферентной, что воплощено в механизмах репликации ДНК и РНК . Модели самовоспроизведения можно найти в «Игре жизни» Конвея и вдохновить инженерные системы, такие как самовоспроизводящийся 3D-принтер RepRap . [ нужна цитата ]
В искусстве [ править ]
Самореференция возникает в литературе и кино , когда автор ссылается на свою собственную работу в контексте самой работы. Примеры: Мигеля де Сервантеса » « Дон Кихот , , » Шекспира «Сон в летнюю ночь « Буря и Двенадцатая ночь » Дени Дидро , « Жак фаталист и сын мэтра» Дени Дидро , Итало Кальвино » «Если бы в зимнюю ночь путешественник , многие рассказы Николая. Гоголь , «Затерянные в доме веселья» Джона Барта , Луиджи Пиранделло , «Шесть персонажей в поисках автора » Федерико Феллини » «8½ и Брайана Форбса » «Г-образная комната . Писатель-спекулятивный фантаст Сэмюэл Р. Делани использует это в своих романах «Нова» и «Далгрен» . В первом случае Катин (писатель-космонавт) опасается давнего проклятия, согласно которому писатель умирает, не завершив какую-либо работу. Нова заканчивает предложение на полуслове, тем самым подтверждая проклятие и осознавая, что автором истории является писатель; Точно так же в Дхалгрене у Делани есть главный герой по имени просто Кид (или Кидд в некоторых разделах), чья жизнь и работа являются зеркальным отражением их самих и самого романа. В научно-фантастическом фильме-пародии «Космические шары » режиссера Мела Брукса включает сцену, в которой злые персонажи просматривают VHS-копию своей собственной истории, где показано, как они наблюдают за собой, «наблюдая за собой», до бесконечности. Возможно, самый ранний пример находится в Гомера » «Илиаде , где Елена Троянская сокрушается: «Поколения, которые еще не родились, / мы будем жить в песне» (появляется в самой песне). [5]
Самореференция в искусстве тесно связана с концепциями разрушения четвертой стены и метареференции , которые часто включают самореференцию. Рассказы Хорхе Луиса Борхеса во многом обыгрывают самоотсылку и связанные с ней парадоксы. » Сэмюэля Беккета полностью « Последняя лента Крэппа состоит из того, что главный герой слушает и записывает себя, в основном о других записях. В 1990-е и 2000-е годы кинематографическая самореференция была популярной частью движения за резиновую реальность , особенно в Чарли Кауфмана фильмах «Быть Джоном Малковичем» и «Адаптация» , последний доводил эту концепцию до предела, пытаясь изобразить собственное творение. в драматизированной версии Дросте эффекта .
Различные мифы о творении призывают к самореференции для решения проблемы того, что создало создателя. Например, в египетском мифе о творении бог глотает свое семя, чтобы создать себя. Уроборос . — мифический дракон, который поедает себя
Коран включает в себя множество примеров самореференции. [6] [7]
Художник сюрреалист - Рене Магритт известен своими авторскими работами. Его картина «Предательство образов» включает в себя слова «это не трубка», истинность которых полностью зависит от того, относится ли слово ceci (по-английски «это») к изображенной трубке — или к картине, или к слову. или само предложение. [8] Искусство М. К. Эшера также содержит множество самостоятельных концепций, таких как руки, рисующие сами себя.
На языке [ править ]
Слово, которое описывает само себя, называется автологическим словом (или автонимом ). Обычно это относится к прилагательным, например, sesquipedalian (т.е. «sesquipedalian» — это полуторное слово), но может также применяться к другим частям речи, таким как TLA , в качестве трехбуквенного сокращения для « трехбуквенной аббревиатуры ».
Предложение, в котором есть собственные буквы и знаки препинания, называется автограммой .
Существует особый случай метапредложения, при котором содержание предложения на метаязыке и содержание предложения на языке-объекте совпадают. Такое предложение относится само к себе. Однако некоторые метапредложения такого типа могут приводить к парадоксам. «Это приговор». можно рассматривать как самореферентное метапредложение, что, очевидно, верно. Однако «Это предложение ложно» — это метапредложение, которое приводит к парадоксу самореференции . Такие предложения могут привести к проблемам, например, в праве, где утверждения, приводящие к существованию законов, могут противоречить друг другу или самим себе. Курт Гёдель утверждал, что обнаружил такой парадокс в Конституции Соединенных Штатов на церемонии получения гражданства.
Самоупоминание иногда встречается в средствах массовой информации , когда требуется написать о себе, например, когда BBC сообщает о сокращении рабочих мест на BBC. Известные энциклопедии могут быть обязаны публиковать статьи о себе, например, статья Википедии в Википедии .
Fumblerules — это список правил хорошей грамматики и письма, демонстрируемых через предложения, которые нарушают эти самые правила, такие как «Избегайте клише, как чумы» и «Не используйте двойное отрицание». Этот термин был придуман в опубликованном списке таких правил Уильямом Сэфайром . [9] [10]
Круговое определение — это тип самореференции, при котором определение термина или понятия включает в себя сам термин или понятие, явно или неявно. Круговые определения считаются ошибочными, поскольку они определяют термин только с точки зрения самого себя. [11] Этот тип самореференции может быть полезен в аргументации , но может привести к отсутствию ясности в общении.
Наречие «настоящим» используется в отношении самого себя, например, в утверждении «Настоящим я объявляю вас мужем и женой». [12]
В популярной культуре [ править ]
- Дугласа Хофштадтера Книги , особенно «Метамагические темы» и «Гёдель, Эшер, Бах» , обыгрывают множество самореферентных концепций и оказали большое влияние на их внедрение в мейнстрим интеллектуальной культуры 1980-х годов. Закон Хофштадтера , который гласит: «Это всегда занимает больше времени, чем вы ожидаете, даже если принять во внимание закон Хофштадтера». [13] является примером самореферентной пословицы. Хофштадтер также предложил концепцию «Обзоров этой книги», книги, содержащей только отзывы о самой себе, которая с тех пор была реализована с использованием вики и других технологий. Хофштадтера « странной петли » Метафизика пытается сопоставить сознание с самоотнесением, но занимает позицию меньшинства в философии разума .
- Поджанр « рекурсивной научной фантастики » или метафантастики сейчас настолько обширен, что он способствовал созданию библиографии, поддерживаемой фанатами, на веб-сайте Ассоциации научной фантастики Новой Англии ; часть из них посвящена фанатам научной фантастики , часть — о научной фантастике и ее авторах. [14]
В законе [ править ]
Некоторые конституции содержат самостоятельные положения, определяющие, как могут быть внесены поправки в саму конституцию. [15] [ нужен пример ] Примером может служить статья пятая Конституции США .
См. также [ править ]
- Циклическая ссылка — серия ссылок, в которой последний объект ссылается на первый.
- Эффект Дросте – рекурсивный визуальный эффект
- Mise en abyme - Техника размещения копии изображения внутри себя или истории внутри истории.
- Четвертая стена – Концепция исполнительского искусства, отделяющая исполнителей от публики.
- Список самореферентных парадоксов – список утверждений, которые кажутся противоречащими сами себе.
- Мета-шутка – юмор, намекающий на самого себя.
- Рекурсия - процесс повторения элементов самоподобным образом.
- Рекурсивный акроним - акроним, расширение которого включает в себя копию самого себя.
- Quine (вычисления) - Самовоспроизводящаяся программа
- Странная петля - циклическая структура, проходящая через несколько уровней иерархической системы.
- this (компьютерное программирование) . В языках программирования объект или класс, к которому принадлежит текущий выполняющийся код.
- Двуязычные тавтологические выражения - избыточность в языковых выражениях.
- Осознанное сновидение – Сон, в котором человек осознает, что он спит. – Сон, во время которого сновидец осознает, что он спит.
- Используйте–упомяните различие
Ссылки [ править ]
- ^ Сото-Андраде, Хорхе; Харамильо, Себастьян; Гутьеррес, Клаудио; Летелье, Хуан-Карлос. «Аватары Уроборос: математическое исследование самореференции и метаболического закрытия» (PDF) . МТИ Пресс . Проверено 16 мая 2015 г.
- ^ Парадокс лжеца . Лаборатория метафизических исследований Стэнфордского университета. 2020.
- ^ Маленфант, Дж.; Демерс, Ф.Н. «Учебное пособие по поведенческой рефлексии и ее реализации» (PDF) . ПАРК. Архивировано из оригинала (PDF) 21 августа 2017 года . Проверено 17 мая 2015 г.
- ^ Друкер, Томас (4 января 2008 г.). Перспективы истории математической логики . Springer Science & Business Media. п. 110. ИСБН 978-0-8176-4768-1 .
- ^ Гомер (1990). Илиада . Перевод Роберта Фаглса. Книги о пингвинах. п. 207. ИСБН 1-101-15281-8 .
- ^ Мэдиган, Дэвид. Самооценка Корана. Письменность и авторитет исламских Священных Писаний .
- ^ Буаливо, Анн-Сильви. Сам Коран .
- ^ Норт, Винфрид; Бишара, Нина (2007). Самоупоминание в СМИ . Вальтер де Грюйтер. п. 75. ИСБН 978-3-11-019464-7 .
- ^ « Юмористические правила письма на сайте alt.usage.english.org » .
- ^ Сафайр, Уильям (4 ноября 1979 г.). «О языке; правила грамматики» . The New York Times (опубликовано 4 ноября 1979 г.). п. СМ4.
- ^ Уолтон, Дуглас Н. (1991). Начинаем вопрос: круговое рассуждение как тактика аргументации . Гринвуд Пресс. ISBN 978-0-313-27596-8 .
- ^ « здесь в викисловаре» . 19 июня 2023 г.
- ^ Хофштадтер, Дуглас . Гёдель, Эшер, Бах: Вечная золотая коса . 20-летие изд., 1999, с. 152. ISBN 0-465-02656-7
- ^ «Рекурсивная научная фантастика, обновлено 3 августа 2008 г.» . Ассоциация научной фантастики Новой Англии .
- ^ Харт, HLA (24 ноября 1983 г.). «Самоссылающиеся законы». Очерки по юриспруденции и философии . Издательство Оксфордского университета. стр. 170–178. doi : 10.1093/acprof:oso/9780198253884.003.0008 . ISBN 978-0-19-825388-4 .
Источники [ править ]
- Бартлетт, Стивен Дж. [Джеймс] (ред.) (1992). Рефлексивность: справочник по самореференции . Амстердам, Северная Голландия. (PDF). RePub, Университет Эразма
- Хофштадтер, ДР (1980). Гёдель, Эшер, Бах: вечная золотая коса . Нью-Йорк, Винтажные книги .
- Смалльян, Раймонд (1994), Диагонализация и самореференция , Oxford Science Publications, ISBN 0-19-853450-7
- Крэбтри, Джонатан Дж. (2016), Утраченная логика элементарной математики и галантерейщик, похитивший Кайдзен , Труды ежегодной конференции Математической ассоциации Виктории (MAV), 53, 98–106, ISBN 978-1-876949-60-0
| Базы данных органов управления : Национальные |
|---|
