[userpic]

"Действия, в которых мы сейчас участвуем, не означают т ↑

metanymous в посте Metapractice (оригинал в ЖЖ)

(4) Следующий шаг состоял в исследовании сообщения "Это - игра" и осознании того, что оно содержит элементы, с необходимостью генерирующие парадокс типа расселовского или эпименидовского - парадокс негативного высказывания, имплицитно содержащего негативное мета-высказывание. В расширенном виде высказывание "Это - игра" выглядит примерно так: "Действия, в которых мы сейчас участвуем, не означают того, что означали бы действия, которые они обозначают".
Рассмотрим выделенные курсивом слова "которые они обозначают". Мы говорим, что слово "кот"(? который) обозначает любого члена некоторого класса. То есть слово "обозначает" - близкий синоним слова "означает". Если теперь в расширенном определении игры заменить "которые они обозначают" на "которые они означают", результатом будет: "Действия, в которых мы сейчас участвуем, не означают того, что означали бы действия, которые они означают". Игривый прикус означает укус, но не означает того, что означал бы укус.
Согласно Теории Логических Типов, подобное сообщение безусловно недопустимо, поскольку слово "означает" используется на двух уровнях абстракции и эти два вида использования рассматриваются как синонимы. Однако такой род критики может только лишний раз показать, что плох тот естествоиспытатель, который ожидает от ментальных процессов и коммуникативных привычек млекопитающих соответствия идеалам логика. Если бы человеческая мысль и коммуникация всегда соответствовали идеалу, Рассел не стал бы (а фактически, не смог бы) формулировать идеал.