о лжецах и неуловимых мстителях

[avva]

Попалась забавная штука, описание парадокса "лжеца-мстителя". Пересказываю вкратце.

Парадокс Лжеца (по-английски в профессиональной литературе его уже давно называют просто The Liar, опуская даже слово "парадокс"), как известно, в самой простой форме состоит из следующего утверждения:

(*) Это утверждение ложно.

Утверждение (*) не может быть ни истинным, ни ложным.
Философы-логики до сих пор работают над парадоксом лжеца (лет пять назад я с изумлением обнаружил в библиотеке свежеизданную книгу, сборник недавних статей, посвящённых Лжецу; она или две из них были даже довольно интересными). Существует несколько стандартных подходов к осмыслению этому парадоксу. Например, можно попытаться запретить self-reference (самоприменение? автореферентность? как??) такого рода.

Одним из таких стандартных подходов является отказ от приписывания какого-либо значения истинности такого рода утверждениям. Иными словами, мы просто постулируем, что утверждения, подобные парадоксу лжеца, не являются ни истинными, ни ложными -- у них нет truth value, значения истинности. Так вот, парадокс Лжеца-Мстителя (по-английски: Revenge Liar) как раз придуман для того, чтобы показать недостаточность такой "отмазки". В профессиональной литературе его сформулировали относительно недавно (если не ошибаюсь, в начале 80-х), но утверждается, что в схожей форме он восходит ещё к Буридану (да-да, тому самому, чей осёл, философу 14-го века).

Парадок Лжеца-Мстителя выглядит так:

• Платон: Аристотель сейчас выскажет истинное утверждение.
  
• Аристотель: Предыдущее высказывание Платона либо ложно, либо не имеет значения истинности.
  
• Вася Пупкин: Предыдущее высказывание Платона либо ложно, либо не имеет значения истинности.

Если мы посмотрим на утверждения Платона и Аристотеля, то увидим, что вместе они образуют разновидность парадока Лжеца. Действительно, если утверждение Платона истинно, то Аристотель сказал правду, и тогда утверждение Платона не может быть истинным. Но если оно ложно, то утверждение Аристотеля истинно (т.к. выполняется одно из его дизъюнктов -- постулатов, соединённых "или"), но тогда утверждение Платона опять выходит истинным. Получаем парадокс.

Попробуем, таким образом, использовать лазейку типа "не имеет значения истинности". Эту лазейку нам придётся применить к обоим утверждениям одновременно: и утверждение Платона, и утверждение Аристотеля оба должны быть неопределёнными - ни истинными, ни ложными
(мы не можем объявить неопределённым только утверждение Платона, т.к. тогда утверждение Аристотеля должно будет быть истинным, но именно это и гласит утверждение Платона, поэтому оно опять-таки будет истинным - противоречие). И тут нас настигает Мститель -- Вася Пупкин. Его утверждение не замешано в парадоксе лжеца, опутывающем Платона и Аристотеля. Мы можем оценить его истинность -- оно не участвует ни в каких self-referential (автореферентных? само-указывающих?) циклах. Если мы решили, что утверждение Платона не имеет значения истинности, мы обязаны назвать утверждение Васи Пупкина истинным. Но Вася Пупкин и Аристотель утверждают совершенно одно и то же -- и тем не менее, одно из этих утвержденией мы назвали истинным, а второе лишили права иметь значение истинности. Противоречие.

Естественно, всё это не означает, что Мстителю невозможно в свою очередь Отомстить. Есть несколько возможных возражений и методов обхода парадокса-Мстителя. Но это уже другая тема.

Comments

?

[theredone.livejournal.com]

self-reference - самоотношение, рекурсия, на худой-то конец, хотя - тоже нерусское слово.

Re: ?

[avva.livejournal.com]

Не, рекурсия совсем не подходит, это слово с другим (хоть и родственным) значением.

"Самоотношение" звучит коряво, особенно в прилагательной форме: "самоотносительный"??

[oxfv.livejournal.com]

self reference = самоописание?

[ait.livejournal.com]

А в чем, собственно говоря, состоит парадокс? Если я не ошибаюсь, существует понятие порядка логики, которое все объясняет.

В логике первого порядка мы имеем утверждения(высказывания). Они либо истинны, либо ложны. Над ними определяются предикаты(фактически формулы), значения которых однозначно определяются из значений, входящих в них утверждений.

В логике второго порядка, истинность или ложность относится уже к собственно предикату, и можно строить предикаты над предикатами. Высшие порядки определяются по индукции.

Т.о. имея некое утверждение кажется нетрудным проверить, может ли оно быть записано в виде предиката конечного порядка. (Интересно как? В частности, непонятно, что такое формальная запись выражения типа парадокса Лжеца. Вероятно, невозможность его записать и означает, что к выражению не применимо понятие истинности/ложности)

"Парадокс Лжеца" очевидно не может иметь конечный порядок (судить об истинности утверждений порядка n можно только из логики порядка n+1)

Тоже самое имеется и в примере с Мстителем. Пусть высказывание Платона порядка n, тогда и Аристотель, высказывает утверждения порядка n+1, но Платон-то, высказывается о высказывании Аристотеля, т.е. выходит за рамки своего порядка n. Т.о. и высказывание Пупкина не может иметь конечный порядок (высказывается об утверждении, не имеющем формального порядка логики).

Итого Лжец, Платон и Аристотель находятся за пределами формальной логики. А Пупкин просто отдыхает.

Чушь?

[dyak.livejournal.com]

Я 100% безграмотен в формальной логике, но хочу сказать... может об этом просто не говорить, другими словами:
Если для высказываний у нас есть Истина, Ложь и Х (don't go there), то может лучше, чтобы любое высказывание об Х высказывании тоже есть Х.
"это высказывание = Л" = Х
"предыдущее высказывание = И" = Х
"предыдущее высказывание = Л" = Х
"предыдущее высказывание = Х" = Х (!)

Иначе всегда можно делить на И и не И, чем и занимаются П, А и ВП.
А так все три наших героя сказали Х... То есть, у нас возникает всепоглощающая (или нет?) Х вселенная высказываний. Плохо это или хорошо, спросонья понять не могу...

Re:

[avva.livejournal.com]

Прилагательная форма -- "самоописательный"? Коряво. "самоописывающий"? Слишком длинно. "самоописующий"? Вызывает во мне неприятные физиологические ощущения ;)

Re:

[avva.livejournal.com]

Да, Вы всё правильно говорите. Это один из способов справиться с Лжецом-Мстителем: расширить критерии, позволяющие объявить что-то утверждением вида X.

Очевидный недостаток этого заключается в том, что слишком о многом наша логика оказывается бессильна что-нибудь сказать. Т.е. мы обезопасили себя от парадоксов, но сильно ограничили себя в том, о чём мы можем говорить и что мы можем изучать. Это тоже можно пытаться решать другими способами; например, некоторые вводят предикат "слабой истины" (weak truth), отличающийся тем, что он автоматически переводит в класс X утверждения об истинности или ложности утверждений из класса X, но не все возможные утверждения о X. Таким образом в системе слабой истины если утверждение A принадлежит X, то утверждение "A ложно" тоже принадлежит X, но утверждение "A не имеет значения истинности" не принадлежит X (и верно). Это позволяет несколько ограничить X в размерах, и избежать Лжеца-Мстителя.

[oxfv.livejournal.com]

Спешу заметить, что в словах "self-referential" и "самоописывающий" абсолютно одинаковое количество букв, по 15.

Re:

[avva.livejournal.com]

А слогов? ;)

[keen.livejournal.com]

вы меня, конечно, извините, скрипач, но вот это:
Вася Пупкин: Предыдущее высказывание Платона либо ложно, либо не имеет значения истинности.
мне сильно напомнило вот это - http://petrenko.ru/lib/story.php?x=3&t=226
;)

[oxfv.livejournal.com]

Ну, подумаешь, слогов. С поправкой на сравнительную лаконичность английского такой перевод, по-моему, вполне допустим - по громоздкости, я имею в виду. Другое дело, что это не вполне точный в смысловом отношении перевод. Например:

Самоописывающее предложение: "Это предложение представляет собой пример самоописывающего предложения, оно сложносочиненное (состоит из двух частей), имеет скобки и насчитывает девятнадцать слов".

Self-referential предложение: "Смысл жизни состоит в коллекционировании кефирных крышечек, И это предложение ложно".

Так что, пожалуй, беру свое предложение назад.

как в DB

[stas]

NULL, NULL != NULL и IS NULL.

Re:

[avva.livejournal.com]

имеет скобки

По-моему, это ужасная калька. М.б. "содержит" лучше?

[denniska.livejournal.com]

Два соображения:
1. мы не можем объявить неопределённым только утверждение Платона, т.к. тогда утверждение Аристотеля должно будет быть истинным, но именно это и гласит утверждение Платона, поэтому оно опять-таки будет истинным - противоречие
Гипотеза: Очевидно, что говорящий не может дать предсказание будущего со 100%-вероятностью - исходя из особенностей нашей реальности. Это предполагает, что любое высказывание, нацеленное не на прошедшие события, исходно не истинно и не ложно, а вероятностно или, иначе говоря, не имеет значения истинности. Тогда и утверждение Платона, и утверждение Аристотеля - истинны.

2. Если мы решили, что утверждение Платона не имеет значения истинности, мы обязаны назвать утверждение Васи Пупкина истинным. Но Вася Пупкин и Аристотель утверждают совершенно одно и то же -- и тем не менее, одно из этих утвержденией мы назвали истинным, а второе лишили права иметь значение истинности.
Гипотеза: все-таки, надо учитывать субъект высказывания. Так, напр., ср. два высказывания:
Маша: Мой пол - женский.
Вася: Мой пол - женский.
Два идентичных высказывания. Но одно - истино, другое ложно.

В общем-то, об этом речь и идет. Второй случай очень на автокорреляцию похож. Первый можно расценивать как частный случай той же автокорреляции. Можно назвать "автообоснованием".

[oxfv.livejournal.com]

А как по-русски сказать "features" (as in "features brackets")?

Re:

[avva.livejournal.com]

Никак.
Разве что: "...с участием скобок..." ;)

[oxfv.livejournal.com]

Вообще, конечно, "содержит". Что это - деградация или просто спать пора? "Имеет скобки"! Самому противно.

Кстати, в self-referential предложении вместо "это предложение ложно" следует читать "это утверждение ложно". Во-первых, для вящей четкости, во-вторых, потому что сразу следом я употребляю слово "предложение" и так.

Интересно, где-нибудь делают прививку русского языка? Или, может, таблетки такие, съешь - и блещешь великим и могучим?

Re: ?

[snaked.livejournal.com]

Да ну, полноте, сколько себя помню, такого рода высказывания назывались "рекурсивными утверждениями" по аналогии с "рекурсивными определениями". Зачем же славянофильством терминологию путать...

[gianthare.livejournal.com]

1. Время тут абсолютно не при чём - присвойте высказываниям именя А,Б,В, сформулируйте всё в настоящем времени и будет точно такой-же парадокс.
2. Пример не походит, у Вас там просто анафора ("мой") раскрывается по-разному. А в парадоксе никакой анафоры нет.

[ifyr.livejournal.com]

Гипотеза: все-таки, надо учитывать субъект высказывания. Так, напр., ср. два высказывания:
Маша: Мой пол - женский.
Вася: Мой пол - женский.
Два идентичных высказывания. Но одно - истино, другое ложно.

В приведенном Вами примере неидентичны не только субъекты, но и объекты высказывания ("Мой" в них относятся к разным объектам), так что и высказывания не идентичны, тогда как в примере avva объект один, и высказывания идентичны, разные только субъекты.

[denniska.livejournal.com]

1.Согласен, не прав.
Хотя вот какая идея пришла в голову:
Судя по тому, что пишет авва, высказывание (*) как раз и определяется, как не имеющее значения истинности. Парадокс лжеца-мстителя как бы должен опровергать эту "отмазку". Но, если принять, что фраза Платона не имеет значения истинности, то парадокса не возникает. Так?
2. Как нет?
"Предыдущее высказывание" - это разве не анафора?
"АНАФОРА ж.

1. Стилистический прием в стихосложении, заключающийся в повторении одних и тех же звуков, слов, словосочетаний, предложений и т.п. в начале смежных или близко расположенных строк, строф или фраз. (http://www.rubricon.ru/qe.asp?qtype=4&qall=0&aid={237BEEE1-A305-4BCC-BA00-D79F60F45D2A}&ii=121&id=121&fstring1=%u0430%u043D%u0430%u0444%u043E%u0440%u0430&rq=1&onlyname=checked&newwind=&psize=10&pn=1)"
Я это к тому, что смысл содержится не только в самой фразе, но и вне ее: в частности, в том, кто говорит.

[denniska.livejournal.com]

Это, скорее, иллюстративно-спекулятивный пример. Речь идет о том, что парадокс вроде бы заключается в том, что есть несколько абсолютных высказываний. Некоторые из них входят в противоречие друг с другом. (Утверждается, что высказывания А. и В.П. - идентичны.) Выводится парадокс. На самом деле, высказывания не абсолютные, они не идентичны, автор высказывания - это свойство высказывания, а авторы отличаются. Высказывания привязаны к субъекту. Т.е. они личные и относительные. Вполне нормально, что личные и относительные высказывания могут противоречить друг другу: для человека на перроне ваза в окошке поезда находится в движении, для пассажира в купе - стоит на месте. Оба высказывания: "Ваза движется. Ваза стоит" - идентичны, объект - один. Но есть заданы условия вне системы. Поэтому как бы парадокс.
Думаю, что и здесь также: такое св-во высказывания, как автор, не входит в систему формальной логики - отсюда и парадокс.

[gianthare.livejournal.com]

1. > Но, если принять, что фраза Платона не имеет значения истинности, то парадокса не возникает.
Безусловно, но на основании чего мы примем такое решение, т.е. на основании каких формальных храктеристик этой фразы?
2.
а.
> "Предыдущее высказывание" - это разве не анафора?
Безусловно, Вы правы, но в системе, где утверждения помечены А, Б, В анафоры действительно нет
б.
> "АНАФОРА ж.
это какая-та не такая анафора! ;-)
Я перевел английский лингвистический термин, то ли по-русски он не так называется, то ли в этом словаре его нет.

[denniska.livejournal.com]

1. Я бы сказал, что фраза которую сразу можно отнести к истинным, ложным или не имеющим истинности - это исключение. Скорее, вывод о ее принадлежности к категории делается при соотнесении ее с другими. В качестве примера формального определения м.б.: "если к фразе А можно найти две таких идентичных фразы Б и В, одна из которых при этом будет в сочетании с А вести к парадоксу, а вторая к парадоксу не приводит, то такую фразу А следует считать потенциально не имеющей истинности". =))
2. Хм...Даже не знаю, что ответить. Посмотрю, наверное, англо-русский словарь...=)

[gianthare.livejournal.com]

an·a·phor·ic
Pronunciation: "a-n&-'for-ik, -'fär-
Function: adjective
Date: 1904
: of or relating to anaphora ; especially : being a word or phrase that takes its reference from another word or phrase and especially from a preceding word or phrase