Саморефере́нция (самоотносимость[источник не указан 932 дня]) — явление, которое возникает в системах высказываний в тех случаях, когда некое понятие ссылается само на себя. Иначе говоря, если какое-либо выражение является одновременно самой функцией и аргументом этой функции.
Самореференция в математике и логике всегда означает нарушение предикативности и обычно вызывает логические парадоксы. Причина в том, что объект (субъект), указывающий сам на себя во множестве (системе, теории) и несущий оценку (действие) самому себе, благодаря самому себе, ведёт к логическому парадоксу. Все индуктивные логические выводы рано или поздно подтверждают собой ценность того множества (системы, теории), в котором они находятся, либо само множество подтверждает их ценность. Все индуктивные выводы, из оснований которых следует ценность (действие) систем, которые указывают сами на себя, благодаря самим себе — логические парадоксы.
Примеры
- Единственный в городке брадобрей бреет всех жителей городка, кто не бреется сам. Бреет ли он сам себя?
- Критянин Эпименид утверждал, что все критяне лжецы.
- Это высказывание ложно.
Причины
Объект познаётся не сам по себе, а лишь в сравнении. В случае же с парадоксами объект «пытается доказать» свою сущность как раз в том же отношении, в котором он сравнивается, и соответственно, познаётся. Другими словами, оценку ученику выставляет учитель, а ученик, который пытается выдать себя за своего собственного учителя и выставить оценку самому себе, — мошенник (если только не пользуется абсолютно объективными, однозначно определёнными критериями).
Парадокс Греллинга[1]
Парадокс Греллинга назван в честь открывшего его немецкого математика Курта Греллинга.
Разделим все прилагательные на два множества: самодескриптивные, обладающие тем свойством, которое они выражают, и несамодескриптивные. Такие прилагательные, как «многосложное», «русское» и «трудновыговариваемое» принадлежат к числу самодескриптивных. А такие как «немецкое», «однокоренное» и «невидимое» — к числу несамодескриптивных. К какому из двух множеств принадлежит прилагательное «несамодескриптивное»?
Примечания
- ↑ Мартин Гарднер. А ну-ка, догадайся! = Aha! Gotcha. Paradoxes to puzzle and delight. — М.: Мир, 1984. — С. 24. — 213 с.
См. также
- Крокодил (софизм)
- Непредикативность (математика)
- Рекурсивное определение
- Рекурсия
- Референция
- Сепульки
- Парадокс лжеца
- Парадокс Рассела
- Теорема Гёделя
- Формула Таппера
 | Для улучшения этой статьи желательно: |
 |
Это заготовка статьи по логике. Вы можете помочь проекту, дополнив её. |
Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".
Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.
Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .