Рекурсивные высказывания в логике
Здесь пишут:
Не все утверждения, говорящие о самих себе, относятся к бессмысленным. Например, утверждение «Это предложение написано по-русски» является истинным, а утверждение «В этом предложении десять слов» ложно. И оба они совершенно осмысленны. Если допускается, что утверждение может говорить и о самом себе, то почему оно не способно со смыслом говорить и о таком своем свойстве, как истинность?
Я считаю утверждения «это утверждение ложно» бессмысленным не потому, что оно неразрешимо, а потому, что оно ссылается само на себя. В этом смысле утверждение «это утверждения истинно» настолько же бессмысленно, хотя того, что некоторые называют «парадоксом», здесь уже нет.
Утверждение «в этом предложении десять слов» не ложно и не истинно. Оно снова бессмысленно. Утверждения логикой рассматриваются в рамках их смысла, а не того, каким цветом они написаны. Рассмотрим простой пример:
В зале сидят представители России и Англии. Выступающий заявляет: «Предложение, которое я сейчас произношу, состоит из девяти слов.» Переводчик: «The sentence which I am currently declaring consists of nine words». Итак, с точки зрения русскоязычной аудитории, выступающий сказал правду, а англоязычная считает, что он соврал. При том, что переводчик не изменял смысла сказанного ни на грамм.
Еще немного замечательных «высказываний». Все они — супермегапарадоксы:
- Я читаю это предложение первый раз
- Это предложение отображается на экране 17-дюймового монитора
- Предложения на этой странице не равны по количеству слов данному
Ну и какое все эти шутки имеют отношение к логике, науке?
Хватит умничать!
Я, равно как и все здесь окалачивающиеся, знаем, что ты умный!