Парадокс Греллинга — Нельсона (парадокс Вейля, парадокс Греллинга) — семантический самодескриптивный парадокс, сформулированный в 1908 году Леонардом Нельсоном и Куртом Греллингом и иногда ошибочно приписываемый Герману Вейлю[1]. Похож на ряд аналогичных известных парадоксов, таких как парадокс брадобрея и парадокс Рассела.
Согласно определению этих групп, они представляют собой непересекающиеся множества: каждое прилагательное либо описывает себя, либо нет.
Парадокс возникает в случае, если задать вопрос: к какой из двух групп относится само прилагательное «гетерологичный»? Если оно автологичное, оно обладает обозначаемым им свойством и должно быть гетерологичным. Если же оно гетерологичное, оно не имеет обозначаемого им свойства и должно быть автологичным.
Если же задать вопрос, является ли прилагательное «автологичное» автологичным, то имеет место цепочка рассуждений:
Таким образом, ситуация с прилагательными противоположная: любое предположение об «автологичном» доказывается как истинное, в то время как с описанием «гетерологичного» любое предположение оказывается ложным.
Могут возникнуть неопределённости в приписывании того или иного прилагательного к автологичным. Например, прилагательное «громкий» может быть интерпретировано как автологичное в случае его громкого произнесения, в противном случае оно гетерологично. Один из инструментов решения такого рода проблемы — использование теории типовых меток[2].