Все помнят парадокс Лжеца? Некто изрекает: я лжец. А что будет, если это скажет раскаявшийся лжесвидетель на суде? Парадокс исчезает сам собой. Такая ссылка на ситуацию или контекст в логике называется референцией. В оборот её ввёл вездесущий Фреге.
Любое логическое высказывание референтно. Чего нельзя сказать о логических формулах, которые есть только пустая оболочка высказывания. Абстрактные логические формулы нереферентны. Но если такая формула А связана конкретным высказыванием, она содержит ссылку на это высказывание, и потому референтна. Это надо понимать.
Кроме того, мы должны выделить самореференцию, которая прокладывает путь таким парадоксам, как парадокс Рассела, или Лжеца.
Я знаю только одну истинную самореференцию в логике - это тождество. Допускаются также и другие самореферентные философские понятия, которые "сами в себе", то есть они неопределяемые.
Самореферентные понятия - понятия не определяемые, интуитивные.
Стоп!
А где ещё есть неопределяемые понятия? В математике! Их там целая туча: множество, число, функция, математематический объект, бесконечность, и т.д. Математики сознательно отказались от определений, дабы не плодить двусмысленностей и логических взрывов. Математики с головой погрузились в свой абстрактный выдуманный мир, породив такие объективные нелепости, как материальная импликация, или аксиома выбора, или возможные миры.
Кого мне это всё напоминает? А того самого схимника из " Двенадцати стульев", который удалился в пустынь ради спасения души, но был побеждён клопами.
Объективная реальность всегда сильнее выдуманной реальности. Так было, так есть, так будет.
Аминь.