Вокруг парадокса Лжец

К.М. Подниекс: "Классической формой парадокса лжеца является высказывание Евбулида (IV в. до н.э.): "Я лгу". Евбулид предложил своим слушателям определить, является ли это высказывание истинным или ложным. И что же получается? Если предположить, что высказывание истинно, это означало бы, что Евбулид лжет, т.е. что его высказывание ложно. Если же предположить, что высказывание Евбулида ложно, это означало бы, что он не лжет, т.е. что он говорит правду и поэтому его высказывание истинно".

— alexeilebedev: "Может ли мне кто-нибудь объяснить, в чём проблема с определением правдивости утверждения "все критяне лжецы", сделанного обитателем Крита?"..."сколько можно повторять этот очевидный непарадокс!"
— psilogic: "В каком смысле чисто? Это был бы как раз классический парадокс лжеца, который произошел от варианта Эпименида".
— mp_gratchev: Гипотеза. "Чисто", в смысле, что в формулировке "this statement is false" (по утверждению, в том числе, Алексея Лебедева) действительно парадокс.
— domensky: Это и есть диалектика, а не тупая формальная логика ("Надо же думать, что понимать", Черномырдин).

Неверно, что "с утверждением "this statement is false" было бы всё чисто" (Неверно, что А). Фраза "this statement is false" никакое не утверждение, а высказывательная форма (см. внизу "Комбинации знаков, имеющие самостоятельный смысл"). То есть вместо 'this statement' можно сделать конкретную подстановку. Например,

Q: "Эйфелева башня в Лондоне". "Q is false" = Истинно.
R: "Эйфелева башня в Париже". "R is false" = Ложно.

Разумеется, утверждение "все критяне лжецы", сделанное обитателем Крита есть "непарадокс". Вопрос в том, является ли выражение S: "this statement is false" парадоксом? Здесь мнения разделяются. В самом деле. О каком "этом" утверждении идет речь? Выражение "this statement is false" содержит двусмысленность. Такие варианты:

а) Возможно имелось ввиду, что предложению S предшествовало высказывание Q в следующей последовательности предложений:
     "Эйфелева башня в Лондоне"(Q), "this statement is false"(S).
И тогда S, истинность которого предлагается оценить будет определенно истинным.
б) Возможно имелось ввиду, что предложению S предшествовало высказывание R в следующей последовательности предложений:
     "Эйфелева башня в Париже" (R), "this statement is false" (S).
И тогда S, истинность которого предлагается оценить будет определенно ложным.

То есть предложение S представляет собой некоторую комбинацию знаков ("х is false"), содержащую знак переменной х. И S (комбинация знаков) превращается в истинное или ложное высказывание при замене переменной каким-либо именем предметов (истинным или ложным суждением). Правда, возможен особый случай:

в) Это случай, когда под переменной х ('this statement') имеется ввиду само выражение "this statement is false" (автоссылка):

S: "S is false".

Собственно, случай (в) и нуждается в разрешении не "тупым формальным" (запрещение использовать автоссылку), а диалектическим методом.