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

You're viewing

psilogic's journal
Create a Dreamwidth Account Learn More

Reload page in style: site light

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

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

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

Flat | Top-Level Comments Only

From:

firtree.livejournal.com

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

From:

psilogic.livejournal.com

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

From:

firtree.livejournal.com

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

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

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

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

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

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

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

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

From:

psilogic.livejournal.com

не попал :)

From:

firtree.livejournal.com

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

From:

psilogic.livejournal.com

сдаесси? :)

From:

firtree.livejournal.com

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

From:

psilogic.livejournal.com

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

From:

firtree.livejournal.com

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

From:

psilogic.livejournal.com

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