http://psilogic.livejournal.com/ ([identity profile] psilogic.livejournal.com) wrote in [personal profile] psilogic 2007-10-31 09:30 pm (UTC)

Re: Ошибка формализации.

[ Минуточку, у меня пасмурно(5) = true, идет дождь(5) = true. Подставляем в утверждение о погоде. ]

Такое возражение принимаю. Действительно, не стоило мне говорить, что оно истинно "во всех смыслах". В смысле материальной импликации оно как раз не истинно. Я имел в виду, все, так сказать, интуитивные смыслы. Потом я столкнул интуитивные смыслы с материальной импликацией, чтобы показать, что это ведет к противоречию. В принципе, та проблема, на которой я хотел заострить внимание, все равно остается: есть противоречие между пониманием двойного союза если-то в русском языке и в математике.

"значение утверждения не определено" - это не дополнительная истинность, это просто булева переменная, которой еще не присвоили значения.

Post a comment in response:

This account has disabled anonymous posting.
If you don't have an account you can create one now.
HTML doesn't work in the subject.
More info about formatting