Автореферентность

Источник: http://alephegg.narod.ru/Alphabet/AutoRef.htm

Под автореферентностью какой-либо сущности мы станем понимать "ссылку на себя". Термин А. не очень гладкий и точный, но он часто возникает в семантических задачах. Начало свое он берет от Расселовского парадокса о брадобрее.

Брадобрей бреет только тех, кто не бреет себя. В результате получается, что сам брадобрей не может себя побрить, но и не может не брить. Есть еще один вариант этот парадокса (позитивный), когда мы решаем составить каталог библиотеки. Этот каталог одним из пунктов должен содержать себя самого.

Эта проблема могла бы быть надуманной, если бы не ее постоянная актуальность. Так, все программисты знают, что инициализация сложной структуры всегда проблема. При этом практически невозможно дать какого-то рецепта ее решения, ибо реализация будет очень сильно зависеть от свойств этой структуры, будет, фактически, уникальной в каждом конкретном случае.

А. связана с рекурсией, она и есть рекурсия для функции.

В широком смысле, А. существует для любого понятия, определяемого как композиция прочих терминов. Т.е. любой словарь содержит только автореферентные термины. Многие люди проходят мимо этого факта, искренне полагая, что тот или иной термин можно "точно" определить. Но как? Если мы выстраиваем иерархию в определениях, то у нас есть корневые термины, которые не определены вовсе. А если сеть, то любое определение "точным" является только до определенной глубины, ибо всегда найдется по-крайней мере один цикл, в котором термин будет определяться через себя самого.

А. можно понять используя модель двух зеркал, поставленных параллельно. Эти два зеркала рождают бесконечность, вечнократно отражаясь друг в друге.

А. содержится в любой структуре. В самом деле, образование каких-либо множеств производится с помощью двух операций: выделение общего признака во множестве и нахождения отличия между его элементами. Первая операция автореферентна потому, что любой элемент множества указывает на себя самого, а вторая потому, что элемент множества содержит в себе индекс упорядочения ("позиционирования") себя во множестве.

На мой взгляд, А. есть важнейшее понятие. Научившись его обрабатывать, мы непосредственно приблизимся к созданию модели мышления.