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

Это ошибка. За пределами формальной логики/булевой алгебры ошибочность и лживость - существенно разные характеристики утверждения. Нстолько разные, что не проводя этого различия мы вряд-ли вообще далеко уйдем в познании мира. (Начиная уже с того, что вообще любое конечное утверждение о реальном мире неполно и поэтому где-то, в чем-то ошибочно)