CHAT.MD

[mod="Папан"]cencored[/mod]

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

Папенька всегда какую-нить свинью подложит

Предложение такого рода принципиально не может быть ни доказано, ни опровергнуто в пределах того языка, на котором оно изложено.

http://psi-logic.narod.ru/psi/lier.htm
http://www.uis.kiev.ua/russian/win/~_xyz/paradox.html

YaSha, Ага, в тему: "Если Бог всемогущ, то может ли он создать такой камень, который сам потом поднять не сможет?"

папец - это хацкер, он хочет взорвать сайт и ваши головы! Убейте сволоча.
А если подумать, то выражение может взорвать сайт только при бинарной логике. Если же пользовать логику, оперирующую промежуточными состояниями истинности, то всё в порядке.
ну или ка кто так

1. Теория типов Рассела. Пусть какой либо предмет имеет тип 0. Утверждение о предмете имеет тип 1, утверждение о утверждении о прдмете имеет тип 2 и т.д. Если высказывание в рамке имеет тип n и ложно, то соотв. высказывание, воспринимаемое как тип n-1 истинно и наоборот. Т.е. истинность зависит от глубины рекурсии.
2. Истинность высказывания неопределена. Действительно, пусть в рамке написана ложь. Но ув рамке написано утверждение о ложности утверждения в рамке -> оно истинно -> противоречие. Пусть высказывание в рамке истинно, тогда из его истинности получаем его ложность -> противоречие.
3. Переход к системе аксиом без отрицания третьего. То есть утверждение "P либо истинно, либо ложно" в такой системе неверно. Тогда у нас недостаточно условий, чтобы говорить об истинности утверждения.
4. С точки зрения формальной логики никакого противоречия не возникает, т.к. из лжи можно вывести всё, что угодно. В том числе и ложность лжи или истинность лжи.(с)

А правильные пацаны вышенаписанный пост уже читали чуть ранее.

DenisSaltykov,
ты про что?

Папенька, про то, что мне ты это показывал уже раньше.

Папенька,
>4. С точки зрения формальной логики никакого противоречия не возникает, т.к. из лжи можно вывести всё, что угодно. В том числе и ложность лжи или истинность лжи.(с)
Браво!

Папенька писал(а):4. С точки зрения формальной логики никакого противоречия не возникает, т.к. из лжи можно вывести всё, что угодно. В том числе и ложность лжи или истинность лжи.(с)

...а истинность истины?

YaSha,
...из лжи можно вывести всё, что угодно.

orto,
это был контрольный вопрос, как раз для подтверждения приведённой тобой части фразы

YaSha писал(а):orto,
это был контрольный вопрос, как раз для подтверждения приведённой тобой части фразы

Яша, ты на что-то намекаешь?

Папан,
не-а... любые перпендикуляры с живущими либо зааватаренными не намерены
[off]"доктор,это ваши картинки! при чём здесь я?"[/off]

YaSha,
Я тебе и дал контрольный ответ, который с запасом покрывает твой контрольный вопрос как Тузик грелку