lqp Голосов: 4 Адрес блога: http://lj.rossia.org/users/lqp/ Добавлен: 2007-10-25 23:50:07 блограйдером Lurk

false, ложь и ошибка

2012-07-19 16:15:20 (читать в оригинале)

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

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

Тэги: термин