Самореференция

Саморефере́нция (самоотносимость^{[источник не указан 3042 дня]}) — явление, которое возникает в системах высказываний в тех случаях, когда некое понятие ссылается само на себя. Иначе говоря, если какое-либо выражение является одновременно самой функцией и аргументом этой функции.

Самореференция в математике и логике всегда означает нарушение предикативности и обычно вызывает логические парадоксы. Причина в том, что объект (субъект), указывающий сам на себя во множестве (системе, теории) и несущий оценку (действие) самому себе, благодаря самому себе, ведёт к логическому парадоксу. Все индуктивные логические выводы рано или поздно подтверждают собой ценность того множества (системы, теории), в котором они находятся, либо само множество подтверждает их ценность. Все индуктивные выводы, из оснований которых следует ценность (действие) систем, которые указывают сами на себя, благодаря самим себе — логические парадоксы.

Парадокс брадобрея:

• Единственный в городке брадобрей бреет всех жителей городка, кто не бреется сам. Бреет ли он сам себя?

Парадокс лжеца:

• Критянин Эпименид утверждал, что все критяне лжецы.
• Это высказывание ложно.

Порочный круг

Парадокс Греллинга назван в честь открывшего его немецкого математика Курта Греллинга.

Разделим все прилагательные на два множества: самодескриптивные, обладающие тем свойством, которое они выражают, и несамодескриптивные. Такие прилагательные, как «многосложное», «русское» и «трудновыговариваемое» принадлежат к числу самодескриптивных. А такие как «немецкое», «однокоренное» и «невидимое» — к числу несамодескриптивных. К какому из двух множеств принадлежит прилагательное «несамодескриптивное»?

• Крокодил (софизм)
• Непредикативность (математика)
• Рекурсивное определение
• Рекурсия
• Референция
• Сепульки
• Парадокс лжеца
• Парадокс Рассела
• Теорема Гёделя о неполноте
• Формула Таппера

В статье не хватает ссылок на источники (см. рекомендации по поиску). Информация должна быть проверяема, иначе она может быть удалена. Вы можете отредактировать статью, добавив ссылки на авторитетные источники в виде сносок. (20 октября 2024)

Это заготовка статьи по логике. Помогите Википедии, дополнив её.