Рекурсивные высказывания в логике

Здесь пишут:

Не все утверждения, говорящие о самих себе, относятся к бессмысленным. Например, утверждение «Это предложение написано по-русски» является истинным, а утверждение «В этом предложении десять слов» ложно. И оба они совершенно осмысленны. Если допускается, что утверждение может говорить и о самом себе, то почему оно не способно со смыслом говорить и о таком своем свойстве, как истинность?

Я считаю утверждения «это утверждение ложно» бессмысленным не потому, что оно неразрешимо, а потому, что оно ссылается само на себя. В этом смысле утверждение «это утверждения истинно» настолько же бессмысленно, хотя того, что некоторые называют «парадоксом», здесь уже нет.

Утверждение «в этом предложении десять слов» не ложно и не истинно. Оно снова бессмысленно. Утверждения логикой рассматриваются в рамках их смысла, а не того, каким цветом они написаны. Рассмотрим простой пример:

В зале сидят представители России и Англии. Выступающий заявляет: «Предложение, которое я сейчас произношу, состоит из девяти слов.» Переводчик: «The sentence which I am currently declaring consists of nine words». Итак, с точки зрения русскоязычной аудитории, выступающий сказал правду, а англоязычная считает, что он соврал. При том, что переводчик не изменял смысла сказанного ни на грамм.

Еще немного замечательных «высказываний». Все они — супермегапарадоксы:

  • Я читаю это предложение первый раз
  • Это предложение отображается на экране 17-дюймового монитора
  • Предложения на этой странице не равны по количеству слов данному

Ну и какое все эти шутки имеют отношение к логике, науке?

Дальше
1 комментарий
Stigler 2003

Хватит умничать!
Я, равно как и все здесь окалачивающиеся, знаем, что ты умный!

Мои книги