?

Log in

No account? Create an account
о лжецах и неуловимых мстителях - Поклонник деепричастий [entries|archive|friends|userinfo]
Anatoly Vorobey

[ website | Website ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

Links
[Links:| English-language weblog ]

о лжецах и неуловимых мстителях [авг. 19, 2002|10:05 am]
Anatoly Vorobey
Попалась забавная штука, описание парадокса "лжеца-мстителя". Пересказываю вкратце.

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

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

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

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

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

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

Comments:
[User Picture]From: theredone
2002-08-19 12:20 am

?

self-reference - самоотношение, рекурсия, на худой-то конец, хотя - тоже нерусское слово.
(Ответить) (Thread)
[User Picture]From: avva
2002-08-19 12:24 am

Re: ?

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

"Самоотношение" звучит коряво, особенно в прилагательной форме: "самоотносительный"??
(Ответить) (Parent) (Thread) (Развернуть)
[User Picture]From: oxfv
2002-08-19 12:33 am
self reference = самоописание?
(Ответить) (Thread)
[User Picture]From: avva
2002-08-19 12:44 am

Re:

Прилагательная форма -- "самоописательный"? Коряво. "самоописывающий"? Слишком длинно. "самоописующий"? Вызывает во мне неприятные физиологические ощущения ;)
(Ответить) (Parent) (Thread) (Развернуть)
[User Picture]From: ait
2002-08-19 12:35 am
А в чем, собственно говоря, состоит парадокс? Если я не ошибаюсь, существует понятие порядка логики, которое все объясняет.

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

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

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

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

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

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

Чушь?


(Ответить) (Thread)
[User Picture]From: lom
2002-08-19 07:30 am
На мoй взгляд, нe чушь, а сoвeршeннo правильнoe рассуждeниe.
(Ответить) (Parent) (Thread)
[User Picture]From: dyak
2002-08-19 12:39 am
Я 100% безграмотен в формальной логике, но хочу сказать... может об этом просто не говорить, другими словами:
Если для высказываний у нас есть Истина, Ложь и Х (don't go there), то может лучше, чтобы любое высказывание об Х высказывании тоже есть Х.
"это высказывание = Л" = Х
"предыдущее высказывание = И" = Х
"предыдущее высказывание = Л" = Х
"предыдущее высказывание = Х" = Х (!)

Иначе всегда можно делить на И и не И, чем и занимаются П, А и ВП.
А так все три наших героя сказали Х... То есть, у нас возникает всепоглощающая (или нет?) Х вселенная высказываний. Плохо это или хорошо, спросонья понять не могу...
(Ответить) (Thread)
[User Picture]From: avva
2002-08-19 12:55 am

Re:

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

Очевидный недостаток этого заключается в том, что слишком о многом наша логика оказывается бессильна что-нибудь сказать. Т.е. мы обезопасили себя от парадоксов, но сильно ограничили себя в том, о чём мы можем говорить и что мы можем изучать. Это тоже можно пытаться решать другими способами; например, некоторые вводят предикат "слабой истины" (weak truth), отличающийся тем, что он автоматически переводит в класс X утверждения об истинности или ложности утверждений из класса X, но не все возможные утверждения о X. Таким образом в системе слабой истины если утверждение A принадлежит X, то утверждение "A ложно" тоже принадлежит X, но утверждение "A не имеет значения истинности" не принадлежит X (и верно). Это позволяет несколько ограничить X в размерах, и избежать Лжеца-Мстителя.
(Ответить) (Parent) (Thread) (Развернуть)
[User Picture]From: keen
2002-08-19 01:02 am
вы меня, конечно, извините, скрипач, но вот это:
Вася Пупкин: Предыдущее высказывание Платона либо ложно, либо не имеет значения истинности.
мне сильно напомнило вот это - http://petrenko.ru/lib/story.php?x=3&t=226
;)
(Ответить) (Thread)
[User Picture]From: denniska
2002-08-19 01:24 am
Два соображения:
1. мы не можем объявить неопределённым только утверждение Платона, т.к. тогда утверждение Аристотеля должно будет быть истинным, но именно это и гласит утверждение Платона, поэтому оно опять-таки будет истинным - противоречие
Гипотеза: Очевидно, что говорящий не может дать предсказание будущего со 100%-вероятностью - исходя из особенностей нашей реальности. Это предполагает, что любое высказывание, нацеленное не на прошедшие события, исходно не истинно и не ложно, а вероятностно или, иначе говоря, не имеет значения истинности. Тогда и утверждение Платона, и утверждение Аристотеля - истинны.

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

В общем-то, об этом речь и идет. Второй случай очень на автокорреляцию похож. Первый можно расценивать как частный случай той же автокорреляции. Можно назвать "автообоснованием".
(Ответить) (Thread)
[User Picture]From: gianthare
2002-08-19 02:16 am
1. Время тут абсолютно не при чём - присвойте высказываниям именя А,Б,В, сформулируйте всё в настоящем времени и будет точно такой-же парадокс.
2. Пример не походит, у Вас там просто анафора ("мой") раскрывается по-разному. А в парадоксе никакой анафоры нет.
(Ответить) (Parent) (Thread) (Развернуть)
[User Picture]From: lom
2002-08-19 07:08 am
Нoвый парадoкс ( Мститeля) рoждeн плoхим oпрeдeлeниeм.
Хoрoшиe лoгики пoступали с Лжeцoм нeскoлькo иначe: oни гoвoрили", чтo "я гoвoрю лoжь" - НE EСТь ВыСКАЗыВАНИE ( или "утвeрждeниe" в твoeй фoрмулирoвкe) - пo oпрeдeлeнию высказывания в мат. лoгикe. Этo прoстo фраза, а нe высказываниe, истиннoсть кoтoрoгo нeизвeстна или пeрeмeнна. Здeсь oб истиннoсти ( нe в чeлoвeчeскoм смыслe, а в стрoгoм, мат-лoгичeскoм ) нe мoжeт быть и рeчи :)
Ты жe, oписывая парадoкс мститeля, имeннo этo и дeлаeшь: рассматриваeшь истиннoсть или лoжнoсть утвeрждeния Платoна.
В принципe, этo тo жe самoe, чтo заниматся трисeкциeй угла, пoлагая "пи" рациoнальным числoм.

Всe парадoксы типа Лжeца или Мститeля oснoваны на тoм, чтo мат. лoгика как систeма намнoгo мeньшe чeлoвeчeскoгo языка как систeмы. Нe думаю, чтo тут нужнo ссылаться на Гeдeлeвскую нeпoлнoту. Вoпрoс o лжeцe нe eсть гeдeлeвский ( вeрнee, Рассeлoвский)
вoпрoс: oн пoставлeн нe внутри систeмы, а с нарушeниeм ee аксиoм.
(Ответить) (Thread)
[User Picture]From: avva
2002-08-19 10:16 am

Re:

Все Ваши возражение верны в рамках математической логики.
Математическая логика довольствуется тем, что определяет некий формальный язык, и рассматривает только утверждения, формализуемые в рамках этого языка; утверждения типа парадокса Лжеца в рамках этого языка формализовать невозможно, и на этом его рассмотрение заканчивается.

Но описываемые мной рассуждения принадлежат философской логике, и она как раз поступает по-другому, поскольку имеет другие цели. Философ-логик ставит своей целью изучение логики как абстрактизации нашего повседневного логического мышления и манипуляции логическими реалиями в нашей речи -- для него формализация может являыться средством, но никак не целью. Невозможность формализовать парадокс Лжеца только показывает философу-логику, что данная конкретная формальная система неадекватна для описания логики в её человеческом смысле -- ведь мы-то вполне можем высказать парадокс Лжеца в нашем естественном языке, можем обсуждать его, можем вывести его противоречивость и т.п. Поэтому логичным видом активности для философа-логика являются попытки найти такие точные (rigorous) способы обсуждать утверждения, которые позволят пролить свет на парадоксальные утверждения, а не игнорировать их. При этом формализация, конечно, обширно используется в качестве подручного средства.
(Ответить) (Parent) (Thread) (Развернуть)
[User Picture]From: wildernesscat
2002-08-19 07:28 am

prove anything!

Self-reference is a very dangerous thing. Using self-reference you can prove anything! For example, you can prove that the moon is made of cheese using the following schema:

1. There are 3 statements written here.
2. Only one statement (or less) is true.
3. The moon is made of cheese.


Let's check the statements.
Stat. 1 is definitely TRUE, because there are indeed 3 statements written down here.
Stat. 2 may be TRUE, but then stat. 2 is the only stat. that is TRUE. This contradicts our previous conclusion. Therefore stat. 2 must be FALSE.
From this we can deduce, that there are 2 TRUE statements here, which must be 1 and 3.
Therefore, the moon is made of cheese, quod erat demonstrandum.
(Ответить) (Thread)
[User Picture]From: khatul
2002-08-20 01:12 am

The moon is made of cheese, QED.

Circumstantial evidence by Neil Armstrong corroborates this.

Anyhow, the proof is very elegant, I'll use it henceforward.
(Ответить) (Parent) (Thread) (Развернуть)
[User Picture]From: Huseyn Qurbanov
2016-12-11 06:58 am

Re: РЕШЕНИЕ ПАРАДОКСОВ:

РЕШЕНИЕ ПАРАДОКСОВ:
1. «Что было раньше: яйцо или курица?»

Даются два понятия «ЯЙЦО» и «КУРИЦА» и в РЯДУ ПОСЛЕДОВАТЕЛЬНО РАЗВЁРТЫВАЕМЫХ ПОНЯТИЙ (РПРП) требуется найти понятия предшествующие к каждому из них.

В РПРП для "ЯЙЦА" предшествующим является "КУРИЦА", ибо понятием «эмбрион» (или другими ) не интересующим нас по постановке вопроса мы можем пренебречь.

В РПРП для "КУРИЦА" пренебрегаемым понятием является «цыплёнок», но не «треснувшееся яйцо (из которого старается вылупиться цыплёнок)», ведь в постановке вопроса не акцентировано внимание на обязательности рассмотрения лишь яйца целостного состояния, т. е. для "КУРИЦА" предшествующим является не то понятие на котором акцентирован вопрос, а его разновидность.
ВЫВОД: "КУРИЦА"

2. Даётся понятие "Недвижущегося (Ахиллес)" , который не состоит в РПРП и отсутствие динамического состояния у которого завуалировано перемещениями, которую следуя Зенону производим и мы переставляя это понятие на предыдущие позиции в РПРП понятия "Движущегося (черепаха)" - вот в этом и вся загадка этого апория Зенона. В такой постановке вопроса даже Усейну Болта не тягаться с черепахой...

(Ответить) (Thread)