הפרדוקס של גרלינג-נלסון

הפרדוקס, שנקרא גם הפרדוקס של גרלינג-נלסון או הפרדוקס ההטרולוגי, מציג בעיות בשפה טבעית.

מגדירים מילה כ'הטרולוגית' אם היא לא מתארת את עצמה. כלומר: הטרולוגית = מילה שאינה מתארת את עצמה. מילה 'אוטולוגית' היא מילה שמתארת את עצמה.

לדוגמה: המילה 'בעברית' היא אוטולוגית כי היא עצמה בעברית. המילה 'באנגלית' היא הטרולוגית כי היא לא באנגלית.

הפרדוקס נוצר מהשאלה הפשוטה: האם המילה 'הטרולוגית' היא הטרולוגית? אם כן, לפי ההגדרה היא אינה הטרולוגית. ואם לא, לפי ההגדרה היא הטרולוגית. כך מתקבלת סתירה לוגית שקשה לפתור במסגרת ההגדרות הללו.

זו חידה על מילים.

'הטרולוגית' היא מילה שלא מתארת את עצמה. זאת אומרת: המילה לא מתארת את המילה עצמה.

'אוטולוגית' היא מילה שמתארת את עצמה.

דוגמה: 'בעברית' היא אוטולוגית. 'באנגלית' היא הטרולוגית.

השאלה היא: האם המילה 'הטרולוגית' היא הטרולוגית? אם כן, אז היא לא. ואם לא, אז היא כן. זה יוצר סתירה קשה.