|
lqp - July 19th, 2012
[Recent Entries][Archive][Friends][User Info]
|
09:15 pm
[Link] |
false, ложь и ошибка
(в продолжение длинной серии постов)
В формальной логике, а отчасти и в английском языке, утверждение ошибочное и утверждение лживое обозначается одним и тем же словом - false. Поэтому люди, имеющие навык логических рассуждений приходят к привычному представлению, что они и не должны различать ошибочное от лживого. Не только в формально-логическом выводе, в котором эти утверждения являются предикатами, но и вообще всегда.
Это ошибка. За пределами формальной логики/булевой алгебры ошибочность и лживость - существенно разные характеристики утверждения. Настолько разные, что не проводя этого различия мы вряд-ли вообще далеко уйдем в познании мира. (Начиная уже с того, что вообще любое конечное утверждение о реальном мире неполно и поэтому где-то, в чем-то ошибочно)
Tags: термины
|
|