[ Минуточку, у меня пасмурно(5) = true, идет дождь(5) = true. Подставляем в утверждение о погоде. ]
Такое возражение принимаю. Действительно, не стоило мне говорить, что оно истинно "во всех смыслах". В смысле материальной импликации оно как раз не истинно. Я имел в виду, все, так сказать, интуитивные смыслы. Потом я столкнул интуитивные смыслы с материальной импликацией, чтобы показать, что это ведет к противоречию. В принципе, та проблема, на которой я хотел заострить внимание, все равно остается: есть противоречие между пониманием двойного союза если-то в русском языке и в математике.
"значение утверждения не определено" - это не дополнительная истинность, это просто булева переменная, которой еще не присвоили значения.
Re: Ошибка формализации.
Такое возражение принимаю. Действительно, не стоило мне говорить, что оно истинно "во всех смыслах". В смысле материальной импликации оно как раз не истинно. Я имел в виду, все, так сказать, интуитивные смыслы. Потом я столкнул интуитивные смыслы с материальной импликацией, чтобы показать, что это ведет к противоречию. В принципе, та проблема, на которой я хотел заострить внимание, все равно остается: есть противоречие между пониманием двойного союза если-то в русском языке и в математике.
"значение утверждения не определено" - это не дополнительная истинность, это просто булева переменная, которой еще не присвоили значения.