psilogic: (Default)
psilogic ([personal profile] psilogic) wrote2006-07-25 11:19 am

Вариант парадокса лжеца

Тут в одном диалоге проскочило. Один человек сказал:

"Логики имеют другое мнение"

Того человека, в принципе, можно считать логиком. Забавно, что получается, если под "мнением" подразумевать саму эту фразу (о том, что логики имеют другое мнение). Если эта фраза истинна, то логики имеют совсем не такое мнение, а другое, так что фраза ложна. Если фраза ложна, то логики имеют не другое, а это самое мнение... о том, что другое. Получается, что если логики имеют другое мнение, они имеют то самое, и наоборот: если то самое - то другое.

[identity profile] psilogic.livejournal.com 2006-07-25 08:07 am (UTC)(link)
Множество мнений разбиваетс на два класса: "то самое" и "другие". Соответственно, вопрос становится бинарным: принадлежит ли данное мнение к первому или второму классу.

[identity profile] miss-lenchick.livejournal.com 2006-07-25 08:17 am (UTC)(link)
Разве так... Но дело в том, что мнения еще имеют тенденцию быть "почти такими", "немного не такими", в общем, достаточно трудно на практике разграничить эти два класса. Но в общем случае Вы, конечно, правы.

[identity profile] psilogic.livejournal.com 2006-07-25 08:43 am (UTC)(link)
Бывают, конечно, и "почти", и "немного". Просто тогда мы вступаем уже в область нечеткой логики. Кстати, в области нечеткой логики парадокс лжеца тоже не получается :)

[identity profile] miss-lenchick.livejournal.com 2006-07-25 08:50 am (UTC)(link)
Если применять нечеткую логику, очень много условностей выходит.
Во всяком случае, если подходить с содержательной точки зрения, то парадокс брадобрея (я как-то больше к нему привыкла :)) будет разрешим утверждением вроде "Брадобрей бреет сам себя, но очень редко и исключительно тайком" :)

[identity profile] psilogic.livejournal.com 2006-07-25 09:55 am (UTC)(link)
про Брадобрея - жжоте! :))))