буду краток

[Папенька]

[TirasNET]

[Папенька]

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

[TirasNET]

[stalin]

[DenisSaltykov]

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

[orto]

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

[YaSha]

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

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

[Newborn]

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

[Папенька]

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

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

[DenisSaltykov]

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

[Папенька]

DenisSaltykov,
ты про что?

[DenisSaltykov]

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

[orto]

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

[YaSha]

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

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

[orto]

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

[YaSha]

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

[Папан]

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

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

[YaSha]

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

[orto]

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