Прикольный парадокс

[psilogic]

Подслушал такой диалог:

- Это дело нехорошо воняет!
- А я бы сказал, что оно хорошо воняет!

Оба собеседника были правы... как так возможно, что одновременно истинно A и не-A? ;)

Comments

[firtree.livejournal.com]

А кто сказал, что одно - это "не" от другого?

[psilogic.livejournal.com]

горячо - но какое предложите объяснение, почему это не так? :)

[firtree.livejournal.com]

А чисто лингвистическое. Отрицаешь утверждение - отрицай честненько верхний предикат ("неверно, что нехорошо воняет" == "нехорошо не воняет"). А правила спуска отрицания с предиката на переменные - штука развесистая, и кажется, в некоторых случаях такое вообще нельзя.

"яблоко зелёное"

не-(яблоко зелёное)

яблоко не-зелёное

яблоко не-(ЕСТЬ зелёное)

яблоко не-ЕСТЬ
ИЛИ ВОЗМОЖНО
яблоко ЕСТЬ не-зелёное

яблока нет
ИЛИ ВОЗМОЖНО
яблоко не-зелёное

"или яблока нет, или яблоко не зелёное"

[psilogic.livejournal.com]

не попал :)

[firtree.livejournal.com]

Оригинально, да. Представьте свой ("правильный") вариант, поговорим.

[psilogic.livejournal.com]

сдаесси? :)

[firtree.livejournal.com]

Нет. Выдвинул свой вариант, жду возражений. Посмотрим, какие воспоследуют, тогда, может, и признаю поражение.

[psilogic.livejournal.com]

Ну... задачка такая простая, что любое более-менее развернутое возражение это, считай, очевидная подсказка :) Скажу, что "спуск" предиката тут совершенно ни при чем.

[firtree.livejournal.com]

Блин, да не нужна мне подсказка. Я свой ответ импрувить не собираюсь. Свой давай.

[psilogic.livejournal.com]

ответ: применение одного обозначения в разных значениях (как если одной переменной обозначать разные числа). В первой фразе хорошо=приятно. Во второй фразе хорошо=сильно. Поэтому там нет A-и-не-A, там A-и-не-B. А с опусканием отрицания в предиката все в порядке. Но вы правы в том, что внесение отрицания под скобки предиката тоже иногда вызывает логические ошибки. Но не в этом случае, тут уже все внесено.

[firtree.livejournal.com]

:-)
Да. Я слажал.
Ну что ж, могу только оправдываться тем, что мозги другим были заняты :-)

Разрешаете ли вы батьке Лукашенко идти на 3 срок?

[ex-l331.livejournal.com]

1. ХАЙ
2. НЕХАЙ.
(нужное подчеркнуть)

[firtree.livejournal.com]

1. нах...
2. нех...
3. пох...