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